019ba927-e47d-73a9-870c-c83e8030bccb
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 35039 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35040 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35041 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35042 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35043 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35044 | detector.run | complete | 1 / 3 | 3 months ago |
| 35045 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00f6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7c77b616 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbdf2a43c 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbdf2a43c 0000002f: EQ 00000030: PUSH2 0x02ba 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd3335553 0000003a: EQ 0000003b: PUSH2 0x02ea 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x030a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfabc1cbc 00000050: EQ 00000051: PUSH2 0x032a 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x7c77b616 00000060: EQ 00000061: PUSH2 0x0214 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x7cbc2373 0000006b: EQ 0000006c: PUSH2 0x0234 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x0254 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xab1945c7 00000081: EQ 00000082: PUSH2 0x0286 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x23845fb5 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x23845fb5 0000009c: EQ 0000009d: PUSH2 0x0191 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x629fc99e 000000a7: EQ 000000a8: PUSH2 0x01b1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x01c4 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x72905132 000000bd: EQ 000000be: PUSH2 0x01d9 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH3 0xd5d435 000000cc: EQ 000000cd: PUSH2 0x0102 000000d0: JUMPI 000000d1: DUP1 000000d2: PUSH4 0x031bd689 000000d7: EQ 000000d8: PUSH2 0x0119 000000db: JUMPI 000000dc: DUP1 000000dd: PUSH4 0x0c68ba21 000000e2: EQ 000000e3: PUSH2 0x012c 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x136439dd 000000ed: EQ 000000ee: PUSH2 0x0171 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: DUP1 000000f5: REVERT 000000f6: JUMPDEST 000000f7: CALLDATASIZE 000000f8: PUSH2 0x00fd 000000fb: JUMPI 000000fc: STOP 000000fd: JUMPDEST 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0117 00000113: PUSH2 0x034a 00000116: JUMP 00000117: JUMPDEST 00000118: STOP 00000119: JUMPDEST 0000011a: PUSH2 0x0117 0000011d: PUSH2 0x0127 00000120: CALLDATASIZE 00000121: PUSH1 0x04 00000123: PUSH2 0x0cd6 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0470 0000012b: JUMP 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: DUP1 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: POP 0000013a: PUSH2 0x015c 0000013d: PUSH2 0x0147 00000140: CALLDATASIZE 00000141: PUSH1 0x04 00000143: PUSH2 0x0d0d 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x65 0000014a: PUSH1 0x20 0000014c: MSTORE 0000014d: PUSH1 0x00 0000014f: SWAP1 00000150: DUP2 00000151: MSTORE 00000152: PUSH1 0x40 00000154: SWAP1 00000155: KECCAK256 00000156: SLOAD 00000157: PUSH1 0xff 00000159: AND 0000015a: DUP2 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH1 0x40 0000015f: MLOAD 00000160: SWAP1 00000161: ISZERO 00000162: ISZERO 00000163: DUP2 00000164: MSTORE 00000165: PUSH1 0x20 00000167: ADD 00000168: JUMPDEST 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: DUP1 0000016d: SWAP2 0000016e: SUB 0000016f: SWAP1 00000170: RETURN 00000171: JUMPDEST 00000172: CALLVALUE 00000173: DUP1 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH2 0x0117 00000182: PUSH2 0x018c 00000185: CALLDATASIZE 00000186: PUSH1 0x04 00000188: PUSH2 0x0d31 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH2 0x04c9 00000190: JUMP 00000191: JUMPDEST 00000192: CALLVALUE 00000193: DUP1 00000194: ISZERO 00000195: PUSH2 0x019d 00000198: JUMPI 00000199: PUSH1 0x00 0000019b: DUP1 0000019c: REVERT 0000019d: JUMPDEST 0000019e: POP 0000019f: PUSH2 0x0117 000001a2: PUSH2 0x01ac 000001a5: CALLDATASIZE 000001a6: PUSH1 0x04 000001a8: PUSH2 0x0d58 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH2 0x054a 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH2 0x0117 000001b5: PUSH2 0x01bf 000001b8: CALLDATASIZE 000001b9: PUSH1 0x04 000001bb: PUSH2 0x0d31 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x05b5 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH2 0x0117 000001d5: PUSH2 0x0747 000001d8: JUMP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x0206 000001ea: PUSH2 0x01f4 000001ed: CALLDATASIZE 000001ee: PUSH1 0x04 000001f0: PUSH2 0x0d31 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x67 000001f7: PUSH1 0x20 000001f9: MSTORE 000001fa: PUSH1 0x00 000001fc: SWAP1 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x40 00000201: SWAP1 00000202: KECCAK256 00000203: SLOAD 00000204: DUP2 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: SWAP1 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: ADD 00000210: PUSH2 0x0168 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x0117 00000225: PUSH2 0x022f 00000228: CALLDATASIZE 00000229: PUSH1 0x04 0000022b: PUSH2 0x0d31 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH2 0x075b 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0117 00000245: PUSH2 0x024f 00000248: CALLDATASIZE 00000249: PUSH1 0x04 0000024b: PUSH2 0x0cd6 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH2 0x07a2 00000253: JUMP 00000254: JUMPDEST 00000255: CALLVALUE 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: POP 00000262: PUSH1 0x33 00000264: SLOAD 00000265: PUSH1 0x01 00000267: PUSH1 0x01 00000269: PUSH1 0xa0 0000026b: SHL 0000026c: SUB 0000026d: AND 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: PUSH1 0x01 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: SHL 00000279: SUB 0000027a: SWAP1 0000027b: SWAP2 0000027c: AND 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x20 00000281: ADD 00000282: PUSH2 0x0168 00000285: JUMP 00000286: JUMPDEST 00000287: CALLVALUE 00000288: DUP1 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: POP 00000294: PUSH2 0x026e 00000297: PUSH32 0x000000000000000000000000be86f647b167567525ccaafcd6f881f1ee558216 000002b8: DUP2 000002b9: JUMP 000002ba: JUMPDEST 000002bb: CALLVALUE 000002bc: DUP1 000002bd: ISZERO 000002be: PUSH2 0x02c6 000002c1: JUMPI 000002c2: PUSH1 0x00 000002c4: DUP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: POP 000002c8: PUSH2 0x015c 000002cb: PUSH2 0x02d5 000002ce: CALLDATASIZE 000002cf: PUSH1 0x04 000002d1: PUSH2 0x0d31 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x66 000002d8: PUSH1 0x20 000002da: MSTORE 000002db: PUSH1 0x00 000002dd: SWAP1 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x40 000002e2: SWAP1 000002e3: KECCAK256 000002e4: SLOAD 000002e5: PUSH1 0xff 000002e7: AND 000002e8: DUP2 000002e9: JUMP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x0117 000002fb: PUSH2 0x0305 000002fe: CALLDATASIZE 000002ff: PUSH1 0x04 00000301: PUSH2 0x0d31 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH2 0x0950 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x0117 0000031b: PUSH2 0x0325 0000031e: CALLDATASIZE 0000031f: PUSH1 0x04 00000321: PUSH2 0x0d0d 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x0962 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x0117 0000033b: PUSH2 0x0345 0000033e: CALLDATASIZE 0000033f: PUSH1 0x04 00000341: PUSH2 0x0d31 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x09ef 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x00 0000034d: SLOAD 0000034e: PUSH2 0x0100 00000351: SWAP1 00000352: DIV 00000353: PUSH1 0xff 00000355: AND 00000356: ISZERO 00000357: DUP1 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x036a 0000035d: JUMPI 0000035e: POP 0000035f: PUSH1 0x00 00000361: SLOAD 00000362: PUSH1 0x01 00000364: PUSH1 0xff 00000366: SWAP1 00000367: SWAP2 00000368: AND 00000369: LT 0000036a: JUMPDEST 0000036b: DUP1 0000036c: PUSH2 0x0384 0000036f: JUMPI 00000370: POP 00000371: ADDRESS 00000372: EXTCODESIZE 00000373: ISZERO 00000374: DUP1 00000375: ISZERO 00000376: PUSH2 0x0384 00000379: JUMPI 0000037a: POP 0000037b: PUSH1 0x00 0000037d: SLOAD 0000037e: PUSH1 0xff 00000380: AND 00000381: PUSH1 0x01 00000383: EQ 00000384: JUMPDEST 00000385: PUSH2 0x03fb 00000388: JUMPI 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: PUSH3 0x461bcd 00000390: PUSH1 0xe5 00000392: SHL 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x20 00000397: PUSH1 0x04 00000399: DUP3 0000039a: ADD 0000039b: MSTORE 0000039c: PUSH1 0x2e 0000039e: PUSH1 0x24 000003a0: DUP3 000003a1: ADD 000003a2: MSTORE 000003a3: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000003c4: PUSH1 0x44 000003c6: DUP3 000003c7: ADD 000003c8: MSTORE 000003c9: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 000003ea: PUSH1 0x64 000003ec: DUP3 000003ed: ADD 000003ee: MSTORE 000003ef: PUSH1 0x84 000003f1: ADD 000003f2: JUMPDEST 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: DUP1 000003f7: SWAP2 000003f8: SUB 000003f9: SWAP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: SLOAD 00000400: PUSH1 0xff 00000402: NOT 00000403: AND 00000404: PUSH1 0x01 00000406: OR 00000407: SWAP1 00000408: SSTORE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x041e 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: SLOAD 00000413: PUSH2 0xff00 00000416: NOT 00000417: AND 00000418: PUSH2 0x0100 0000041b: OR 0000041c: SWAP1 0000041d: SSTORE 0000041e: JUMPDEST 0000041f: PUSH2 0x0426 00000422: PUSH2 0x0a44 00000425: JUMP 00000426: JUMPDEST 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x046d 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: SLOAD 00000431: PUSH2 0xff00 00000434: NOT 00000435: AND 00000436: SWAP1 00000437: SSTORE 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: PUSH1 0x01 0000043d: DUP2 0000043e: MSTORE 0000043f: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000460: SWAP1 00000461: PUSH1 0x20 00000463: ADD 00000464: JUMPDEST 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: SWAP2 0000046a: SUB 0000046b: SWAP1 0000046c: LOG1 0000046d: JUMPDEST 0000046e: POP 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH2 0x0478 00000474: PUSH2 0x0ab7 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH1 0x00 0000047b: DUP3 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH1 0x67 00000480: PUSH1 0x20 00000482: MSTORE 00000483: PUSH1 0x40 00000485: SWAP1 00000486: DUP2 00000487: SWAP1 00000488: KECCAK256 00000489: DUP3 0000048a: SWAP1 0000048b: SSTORE 0000048c: MLOAD 0000048d: DUP3 0000048e: SWAP1 0000048f: PUSH32 0x53715826aaa155ba7d694f14e29fe52ea0094f3850a842a289d5a611151dcf1a 000004b0: SWAP1 000004b1: PUSH2 0x04bd 000004b4: SWAP1 000004b5: DUP5 000004b6: DUP2 000004b7: MSTORE 000004b8: PUSH1 0x20 000004ba: ADD 000004bb: SWAP1 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH1 0x40 000004c0: MLOAD 000004c1: DUP1 000004c2: SWAP2 000004c3: SUB 000004c4: SWAP1 000004c5: LOG2 000004c6: POP 000004c7: POP 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLER 000004cb: PUSH1 0x00 000004cd: SWAP1 000004ce: DUP2 000004cf: MSTORE 000004d0: PUSH1 0x65 000004d2: PUSH1 0x20 000004d4: MSTORE 000004d5: PUSH1 0x40 000004d7: SWAP1 000004d8: KECCAK256 000004d9: SLOAD 000004da: PUSH1 0xff 000004dc: AND 000004dd: PUSH2 0x04f9 000004e0: JUMPI 000004e1: PUSH1 0x40 000004e3: MLOAD 000004e4: PUSH4 0x77b68781 000004e9: PUSH1 0xe1 000004eb: SHL 000004ec: DUP2 000004ed: MSTORE 000004ee: PUSH1 0x04 000004f0: ADD 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: SWAP2 000004f6: SUB 000004f7: SWAP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: PUSH1 0x00 000004fc: DUP2 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x66 00000501: PUSH1 0x20 00000503: SWAP1 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x40 00000508: SWAP2 00000509: DUP3 0000050a: SWAP1 0000050b: KECCAK256 0000050c: DUP1 0000050d: SLOAD 0000050e: PUSH1 0xff 00000510: NOT 00000511: AND 00000512: PUSH1 0x01 00000514: SWAP1 00000515: DUP2 00000516: OR 00000517: SWAP1 00000518: SWAP2 00000519: SSTORE 0000051a: DUP3 0000051b: MLOAD 0000051c: DUP5 0000051d: DUP2 0000051e: MSTORE 0000051f: SWAP2 00000520: DUP3 00000521: ADD 00000522: MSTORE 00000523: PUSH32 0x77f1fcfcce67dc392d64f842056d2ec06c80986c47c910f7e79c5b23a2738d74 00000544: SWAP2 00000545: ADD 00000546: PUSH2 0x0464 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0552 0000054e: PUSH2 0x0ab7 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x01 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: SHL 0000055a: SUB 0000055b: DUP3 0000055c: AND 0000055d: PUSH1 0x00 0000055f: DUP2 00000560: DUP2 00000561: MSTORE 00000562: PUSH1 0x65 00000564: PUSH1 0x20 00000566: SWAP1 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x40 0000056b: SWAP2 0000056c: DUP3 0000056d: SWAP1 0000056e: KECCAK256 0000056f: DUP1 00000570: SLOAD 00000571: PUSH1 0xff 00000573: NOT 00000574: AND 00000575: DUP6 00000576: ISZERO 00000577: ISZERO 00000578: SWAP1 00000579: DUP2 0000057a: OR 0000057b: SWAP1 0000057c: SWAP2 0000057d: SSTORE 0000057e: DUP3 0000057f: MLOAD 00000580: SWAP4 00000581: DUP5 00000582: MSTORE 00000583: SWAP1 00000584: DUP4 00000585: ADD 00000586: MSTORE 00000587: PUSH32 0xd0b6b573d5442f7c29fd50d9735ae341581c25c6ed07748d50eda519f1ffa88a 000005a8: SWAP2 000005a9: ADD 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: DUP1 000005ae: SWAP2 000005af: SUB 000005b0: SWAP1 000005b1: LOG1 000005b2: POP 000005b3: POP 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH2 0x05bd 000005b9: PUSH2 0x0ab7 000005bc: JUMP 000005bd: JUMPDEST 000005be: CALLVALUE 000005bf: PUSH1 0x00 000005c1: SUB 000005c2: PUSH2 0x05de 000005c5: JUMPI 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: PUSH4 0x0b7cc7c3 000005ce: PUSH1 0xe1 000005d0: SHL 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x04 000005d5: ADD 000005d6: PUSH1 0x40 000005d8: MLOAD 000005d9: DUP1 000005da: SWAP2 000005db: SUB 000005dc: SWAP1 000005dd: REVERT 000005de: JUMPDEST 000005df: PUSH1 0x40 000005e1: MLOAD 000005e2: PUSH4 0x40d1b7db 000005e7: PUSH1 0xe1 000005e9: SHL 000005ea: DUP2 000005eb: MSTORE 000005ec: PUSH1 0x04 000005ee: DUP2 000005ef: ADD 000005f0: DUP3 000005f1: SWAP1 000005f2: MSTORE 000005f3: PUSH1 0x00 000005f5: SWAP1 000005f6: PUSH32 0x000000000000000000000000be86f647b167567525ccaafcd6f881f1ee558216 00000617: PUSH1 0x01 00000619: PUSH1 0x01 0000061b: PUSH1 0xa0 0000061d: SHL 0000061e: SUB 0000061f: AND 00000620: SWAP1 00000621: PUSH4 0x81a36fb6 00000626: SWAP1 00000627: PUSH1 0x24 00000629: ADD 0000062a: PUSH1 0x20 0000062c: PUSH1 0x40 0000062e: MLOAD 0000062f: DUP1 00000630: DUP4 00000631: SUB 00000632: DUP2 00000633: DUP7 00000634: GAS 00000635: STATICCALL 00000636: ISZERO 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0646 0000063c: JUMPI 0000063d: RETURNDATASIZE 0000063e: PUSH1 0x00 00000640: DUP1 00000641: RETURNDATACOPY 00000642: RETURNDATASIZE 00000643: PUSH1 0x00 00000645: REVERT 00000646: JUMPDEST 00000647: POP 00000648: POP 00000649: POP 0000064a: POP 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: RETURNDATASIZE 0000064f: PUSH1 0x1f 00000651: NOT 00000652: PUSH1 0x1f 00000654: DUP3 00000655: ADD 00000656: AND 00000657: DUP3 00000658: ADD 00000659: DUP1 0000065a: PUSH1 0x40 0000065c: MSTORE 0000065d: POP 0000065e: DUP2 0000065f: ADD 00000660: SWAP1 00000661: PUSH2 0x066a 00000664: SWAP2 00000665: SWAP1 00000666: PUSH2 0x0d91 00000669: JUMP 0000066a: JUMPDEST 0000066b: SWAP1 0000066c: POP 0000066d: PUSH1 0x00 0000066f: DUP2 00000670: PUSH1 0x01 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: SHL 00000677: SUB 00000678: AND 00000679: PUSH4 0x18160ddd 0000067e: PUSH1 0x40 00000680: MLOAD 00000681: DUP2 00000682: PUSH4 0xffffffff 00000687: AND 00000688: PUSH1 0xe0 0000068a: SHL 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x04 0000068f: ADD 00000690: PUSH1 0x20 00000692: PUSH1 0x40 00000694: MLOAD 00000695: DUP1 00000696: DUP4 00000697: SUB 00000698: DUP2 00000699: DUP7 0000069a: GAS 0000069b: STATICCALL 0000069c: ISZERO 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06ac 000006a2: JUMPI 000006a3: RETURNDATASIZE 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: RETURNDATACOPY 000006a8: RETURNDATASIZE 000006a9: PUSH1 0x00 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: RETURNDATASIZE 000006b5: PUSH1 0x1f 000006b7: NOT 000006b8: PUSH1 0x1f 000006ba: DUP3 000006bb: ADD 000006bc: AND 000006bd: DUP3 000006be: ADD 000006bf: DUP1 000006c0: PUSH1 0x40 000006c2: MSTORE 000006c3: POP 000006c4: DUP2 000006c5: ADD 000006c6: SWAP1 000006c7: PUSH2 0x06d0 000006ca: SWAP2 000006cb: SWAP1 000006cc: PUSH2 0x0dae 000006cf: JUMP 000006d0: JUMPDEST 000006d1: SWAP1 000006d2: POP 000006d3: PUSH1 0x00 000006d5: DUP2 000006d6: PUSH2 0x06e7 000006d9: PUSH8 0x0de0b6b3a7640000 000006e2: CALLVALUE 000006e3: PUSH2 0x0dc7 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH2 0x06f1 000006eb: SWAP2 000006ec: SWAP1 000006ed: PUSH2 0x0df4 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x00 000006f4: DUP6 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x67 000006f9: PUSH1 0x20 000006fb: MSTORE 000006fc: PUSH1 0x40 000006fe: SWAP1 000006ff: DUP2 00000700: SWAP1 00000701: KECCAK256 00000702: DUP3 00000703: SWAP1 00000704: SSTORE 00000705: MLOAD 00000706: SWAP1 00000707: SWAP2 00000708: POP 00000709: DUP5 0000070a: SWAP1 0000070b: PUSH32 0x53715826aaa155ba7d694f14e29fe52ea0094f3850a842a289d5a611151dcf1a 0000072c: SWAP1 0000072d: PUSH2 0x0739 00000730: SWAP1 00000731: DUP5 00000732: DUP2 00000733: MSTORE 00000734: PUSH1 0x20 00000736: ADD 00000737: SWAP1 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH1 0x40 0000073c: MLOAD 0000073d: DUP1 0000073e: SWAP2 0000073f: SUB 00000740: SWAP1 00000741: LOG2 00000742: POP 00000743: POP 00000744: POP 00000745: POP 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH2 0x074f 0000074b: PUSH2 0x0ab7 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH2 0x0759 00000753: PUSH1 0x00 00000755: PUSH2 0x0b11 00000758: JUMP 00000759: JUMPDEST 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x00 0000075e: DUP2 0000075f: DUP2 00000760: MSTORE 00000761: PUSH1 0x66 00000763: PUSH1 0x20 00000765: MSTORE 00000766: PUSH1 0x40 00000768: SWAP1 00000769: KECCAK256 0000076a: SLOAD 0000076b: PUSH1 0xff 0000076d: AND 0000076e: DUP1 0000076f: ISZERO 00000770: PUSH2 0x0784 00000773: JUMPI 00000774: POP 00000775: PUSH1 0x33 00000777: SLOAD 00000778: PUSH1 0x01 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: SHL 0000077f: SUB 00000780: AND 00000781: CALLER 00000782: EQ 00000783: ISZERO 00000784: JUMPDEST 00000785: ISZERO 00000786: PUSH2 0x046d 00000789: JUMPI 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: PUSH4 0x13d0ff59 00000792: PUSH1 0xe3 00000794: SHL 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x04 00000799: ADD 0000079a: PUSH1 0x40 0000079c: MLOAD 0000079d: DUP1 0000079e: SWAP2 0000079f: SUB 000007a0: SWAP1 000007a1: REVERT 000007a2: JUMPDEST 000007a3: PUSH2 0x07ac 000007a6: PUSH1 0x00 000007a8: PUSH2 0x075b 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH1 0x00 000007af: DUP3 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x67 000007b4: PUSH1 0x20 000007b6: MSTORE 000007b7: PUSH1 0x40 000007b9: DUP2 000007ba: KECCAK256 000007bb: SLOAD 000007bc: SWAP1 000007bd: DUP2 000007be: SWAP1 000007bf: SUB 000007c0: PUSH2 0x07dc 000007c3: JUMPI 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: PUSH4 0xf5c89687 000007cc: PUSH1 0xe0 000007ce: SHL 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x04 000007d3: ADD 000007d4: PUSH1 0x40 000007d6: MLOAD 000007d7: DUP1 000007d8: SWAP2 000007d9: SUB 000007da: SWAP1 000007db: REVERT 000007dc: JUMPDEST 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: PUSH4 0x40d1b7db 000007e5: PUSH1 0xe1 000007e7: SHL 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x04 000007ec: DUP2 000007ed: ADD 000007ee: DUP5 000007ef: SWAP1 000007f0: MSTORE 000007f1: PUSH1 0x00 000007f3: SWAP1 000007f4: PUSH32 0x000000000000000000000000be86f647b167567525ccaafcd6f881f1ee558216 00000815: PUSH1 0x01 00000817: PUSH1 0x01 00000819: PUSH1 0xa0 0000081b: SHL 0000081c: SUB 0000081d: AND 0000081e: SWAP1 0000081f: PUSH4 0x81a36fb6 00000824: SWAP1 00000825: PUSH1 0x24 00000827: ADD 00000828: PUSH1 0x20 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: DUP1 0000082e: DUP4 0000082f: SUB 00000830: DUP2 00000831: DUP7 00000832: GAS 00000833: STATICCALL 00000834: ISZERO 00000835: DUP1 00000836: ISZERO 00000837: PUSH2 0x0844 0000083a: JUMPI 0000083b: RETURNDATASIZE 0000083c: PUSH1 0x00 0000083e: DUP1 0000083f: RETURNDATACOPY 00000840: RETURNDATASIZE 00000841: PUSH1 0x00 00000843: REVERT 00000844: JUMPDEST 00000845: POP 00000846: POP 00000847: POP 00000848: POP 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: RETURNDATASIZE 0000084d: PUSH1 0x1f 0000084f: NOT 00000850: PUSH1 0x1f 00000852: DUP3 00000853: ADD 00000854: AND 00000855: DUP3 00000856: ADD 00000857: DUP1 00000858: PUSH1 0x40 0000085a: MSTORE 0000085b: POP 0000085c: DUP2 0000085d: ADD 0000085e: SWAP1 0000085f: PUSH2 0x0868 00000862: SWAP2 00000863: SWAP1 00000864: PUSH2 0x0d91 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH1 0x40 0000086b: MLOAD 0000086c: PUSH4 0x23b872dd 00000871: PUSH1 0xe0 00000873: SHL 00000874: DUP2 00000875: MSTORE 00000876: CALLER 00000877: PUSH1 0x04 00000879: DUP3 0000087a: ADD 0000087b: MSTORE 0000087c: ADDRESS 0000087d: PUSH1 0x24 0000087f: DUP3 00000880: ADD 00000881: MSTORE 00000882: PUSH1 0x44 00000884: DUP2 00000885: ADD 00000886: DUP6 00000887: SWAP1 00000888: MSTORE 00000889: SWAP1 0000088a: SWAP2 0000088b: POP 0000088c: PUSH1 0x01 0000088e: PUSH1 0x01 00000890: PUSH1 0xa0 00000892: SHL 00000893: SUB 00000894: DUP3 00000895: AND 00000896: SWAP1 00000897: PUSH4 0x23b872dd 0000089c: SWAP1 0000089d: PUSH1 0x64 0000089f: ADD 000008a0: PUSH1 0x20 000008a2: PUSH1 0x40 000008a4: MLOAD 000008a5: DUP1 000008a6: DUP4 000008a7: SUB 000008a8: DUP2 000008a9: PUSH1 0x00 000008ab: DUP8 000008ac: GAS 000008ad: CALL 000008ae: ISZERO 000008af: DUP1 000008b0: ISZERO 000008b1: PUSH2 0x08be 000008b4: JUMPI 000008b5: RETURNDATASIZE 000008b6: PUSH1 0x00 000008b8: DUP1 000008b9: RETURNDATACOPY 000008ba: RETURNDATASIZE 000008bb: PUSH1 0x00 000008bd: REVERT 000008be: JUMPDEST 000008bf: POP 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: PUSH1 0x40 000008c5: MLOAD 000008c6: RETURNDATASIZE 000008c7: PUSH1 0x1f 000008c9: NOT 000008ca: PUSH1 0x1f 000008cc: DUP3 000008cd: ADD 000008ce: AND 000008cf: DUP3 000008d0: ADD 000008d1: DUP1 000008d2: PUSH1 0x40 000008d4: MSTORE 000008d5: POP 000008d6: DUP2 000008d7: ADD 000008d8: SWAP1 000008d9: PUSH2 0x08e2 000008dc: SWAP2 000008dd: SWAP1 000008de: PUSH2 0x0e16 000008e1: JUMP 000008e2: JUMPDEST 000008e3: POP 000008e4: PUSH1 0x00 000008e6: PUSH8 0x0de0b6b3a7640000 000008ef: PUSH2 0x08f8 000008f2: DUP5 000008f3: DUP7 000008f4: PUSH2 0x0dc7 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH2 0x0902 000008fc: SWAP2 000008fd: SWAP1 000008fe: PUSH2 0x0df4 00000901: JUMP 00000902: JUMPDEST 00000903: SWAP1 00000904: POP 00000905: PUSH2 0x090e 00000908: CALLER 00000909: DUP3 0000090a: PUSH2 0x0b7b 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH1 0x40 00000911: DUP1 00000912: MLOAD 00000913: DUP6 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x20 00000918: DUP2 00000919: ADD 0000091a: DUP4 0000091b: SWAP1 0000091c: MSTORE 0000091d: DUP7 0000091e: SWAP2 0000091f: PUSH32 0x87efe79f362036cc4820341f6a35939a512b18c3432c5e367a6cfd09d41d7483 00000940: SWAP2 00000941: ADD 00000942: PUSH1 0x40 00000944: MLOAD 00000945: DUP1 00000946: SWAP2 00000947: SUB 00000948: SWAP1 00000949: LOG2 0000094a: POP 0000094b: POP 0000094c: POP 0000094d: POP 0000094e: POP 0000094f: JUMP 00000950: JUMPDEST 00000951: PUSH2 0x0958 00000954: PUSH2 0x0ab7 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH2 0x046d 0000095c: CALLER 0000095d: DUP3 0000095e: PUSH2 0x0b7b 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH2 0x096a 00000966: PUSH2 0x0ab7 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x01 0000096d: PUSH1 0x01 0000096f: PUSH1 0xa0 00000971: SHL 00000972: SUB 00000973: DUP2 00000974: AND 00000975: PUSH2 0x09e6 00000978: JUMPI 00000979: PUSH1 0x40 0000097b: MLOAD 0000097c: PUSH3 0x461bcd 00000980: PUSH1 0xe5 00000982: SHL 00000983: DUP2 00000984: MSTORE 00000985: PUSH1 0x20 00000987: PUSH1 0x04 00000989: DUP3 0000098a: ADD 0000098b: MSTORE 0000098c: PUSH1 0x26 0000098e: PUSH1 0x24 00000990: DUP3 00000991: ADD 00000992: MSTORE 00000993: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000009b4: PUSH1 0x44 000009b6: DUP3 000009b7: ADD 000009b8: MSTORE 000009b9: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000009da: PUSH1 0x64 000009dc: DUP3 000009dd: ADD 000009de: MSTORE 000009df: PUSH1 0x84 000009e1: ADD 000009e2: PUSH2 0x03f2 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH2 0x046d 000009ea: DUP2 000009eb: PUSH2 0x0b11 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH2 0x09f7 000009f3: PUSH2 0x0ab7 000009f6: JUMP 000009f7: JUMPDEST 000009f8: PUSH1 0x00 000009fa: DUP2 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x66 000009ff: PUSH1 0x20 00000a01: SWAP1 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x40 00000a06: DUP1 00000a07: DUP4 00000a08: KECCAK256 00000a09: DUP1 00000a0a: SLOAD 00000a0b: PUSH1 0xff 00000a0d: NOT 00000a0e: AND 00000a0f: SWAP1 00000a10: SSTORE 00000a11: DUP1 00000a12: MLOAD 00000a13: DUP5 00000a14: DUP2 00000a15: MSTORE 00000a16: SWAP2 00000a17: DUP3 00000a18: ADD 00000a19: SWAP3 00000a1a: SWAP1 00000a1b: SWAP3 00000a1c: MSTORE 00000a1d: PUSH32 0x77f1fcfcce67dc392d64f842056d2ec06c80986c47c910f7e79c5b23a2738d74 00000a3e: SWAP2 00000a3f: ADD 00000a40: PUSH2 0x0464 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x00 00000a47: SLOAD 00000a48: PUSH2 0x0100 00000a4b: SWAP1 00000a4c: DIV 00000a4d: PUSH1 0xff 00000a4f: AND 00000a50: PUSH2 0x0aaf 00000a53: JUMPI 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH3 0x461bcd 00000a5b: PUSH1 0xe5 00000a5d: SHL 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: PUSH1 0x04 00000a64: DUP3 00000a65: ADD 00000a66: MSTORE 00000a67: PUSH1 0x2b 00000a69: PUSH1 0x24 00000a6b: DUP3 00000a6c: ADD 00000a6d: MSTORE 00000a6e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00000a8f: PUSH1 0x44 00000a91: DUP3 00000a92: ADD 00000a93: MSTORE 00000a94: PUSH11 0x6e697469616c697a696e67 00000aa0: PUSH1 0xa8 00000aa2: SHL 00000aa3: PUSH1 0x64 00000aa5: DUP3 00000aa6: ADD 00000aa7: MSTORE 00000aa8: PUSH1 0x84 00000aaa: ADD 00000aab: PUSH2 0x03f2 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH2 0x0759 00000ab3: PUSH2 0x0bf4 00000ab6: JUMP 00000ab7: JUMPDEST 00000ab8: PUSH1 0x33 00000aba: SLOAD 00000abb: PUSH1 0x01 00000abd: PUSH1 0x01 00000abf: PUSH1 0xa0 00000ac1: SHL 00000ac2: SUB 00000ac3: AND 00000ac4: CALLER 00000ac5: EQ 00000ac6: PUSH2 0x0759 00000ac9: JUMPI 00000aca: PUSH1 0x40 00000acc: MLOAD 00000acd: PUSH3 0x461bcd 00000ad1: PUSH1 0xe5 00000ad3: SHL 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x20 00000ad8: PUSH1 0x04 00000ada: DUP3 00000adb: ADD 00000adc: DUP2 00000add: SWAP1 00000ade: MSTORE 00000adf: PUSH1 0x24 00000ae1: DUP3 00000ae2: ADD 00000ae3: MSTORE 00000ae4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b05: PUSH1 0x44 00000b07: DUP3 00000b08: ADD 00000b09: MSTORE 00000b0a: PUSH1 0x64 00000b0c: ADD 00000b0d: PUSH2 0x03f2 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x33 00000b14: DUP1 00000b15: SLOAD 00000b16: PUSH1 0x01 00000b18: PUSH1 0x01 00000b1a: PUSH1 0xa0 00000b1c: SHL 00000b1d: SUB 00000b1e: DUP4 00000b1f: DUP2 00000b20: AND 00000b21: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b42: DUP4 00000b43: AND 00000b44: DUP2 00000b45: OR 00000b46: SWAP1 00000b47: SWAP4 00000b48: SSTORE 00000b49: PUSH1 0x40 00000b4b: MLOAD 00000b4c: SWAP2 00000b4d: AND 00000b4e: SWAP2 00000b4f: SWAP1 00000b50: DUP3 00000b51: SWAP1 00000b52: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b73: SWAP1 00000b74: PUSH1 0x00 00000b76: SWAP1 00000b77: LOG3 00000b78: POP 00000b79: POP 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: DUP3 00000b7f: PUSH1 0x01 00000b81: PUSH1 0x01 00000b83: PUSH1 0xa0 00000b85: SHL 00000b86: SUB 00000b87: AND 00000b88: DUP3 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: PUSH1 0x00 00000b8e: PUSH1 0x40 00000b90: MLOAD 00000b91: DUP1 00000b92: DUP4 00000b93: SUB 00000b94: DUP2 00000b95: DUP6 00000b96: DUP8 00000b97: GAS 00000b98: CALL 00000b99: SWAP3 00000b9a: POP 00000b9b: POP 00000b9c: POP 00000b9d: RETURNDATASIZE 00000b9e: DUP1 00000b9f: PUSH1 0x00 00000ba1: DUP2 00000ba2: EQ 00000ba3: PUSH2 0x0bc8 00000ba6: JUMPI 00000ba7: PUSH1 0x40 00000ba9: MLOAD 00000baa: SWAP2 00000bab: POP 00000bac: PUSH1 0x1f 00000bae: NOT 00000baf: PUSH1 0x3f 00000bb1: RETURNDATASIZE 00000bb2: ADD 00000bb3: AND 00000bb4: DUP3 00000bb5: ADD 00000bb6: PUSH1 0x40 00000bb8: MSTORE 00000bb9: RETURNDATASIZE 00000bba: DUP3 00000bbb: MSTORE 00000bbc: RETURNDATASIZE 00000bbd: PUSH1 0x00 00000bbf: PUSH1 0x20 00000bc1: DUP5 00000bc2: ADD 00000bc3: RETURNDATACOPY 00000bc4: PUSH2 0x0bcd 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x60 00000bcb: SWAP2 00000bcc: POP 00000bcd: JUMPDEST 00000bce: POP 00000bcf: POP 00000bd0: SWAP1 00000bd1: POP 00000bd2: DUP1 00000bd3: PUSH2 0x0bef 00000bd6: JUMPI 00000bd7: PUSH1 0x40 00000bd9: MLOAD 00000bda: PUSH4 0x260e7d5b 00000bdf: PUSH1 0xe1 00000be1: SHL 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x04 00000be6: ADD 00000be7: PUSH1 0x40 00000be9: MLOAD 00000bea: DUP1 00000beb: SWAP2 00000bec: SUB 00000bed: SWAP1 00000bee: REVERT 00000bef: JUMPDEST 00000bf0: POP 00000bf1: POP 00000bf2: POP 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x00 00000bf7: SLOAD 00000bf8: PUSH2 0x0100 00000bfb: SWAP1 00000bfc: DIV 00000bfd: PUSH1 0xff 00000bff: AND 00000c00: PUSH2 0x0c5f 00000c03: JUMPI 00000c04: PUSH1 0x40 00000c06: MLOAD 00000c07: PUSH3 0x461bcd 00000c0b: PUSH1 0xe5 00000c0d: SHL 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x20 00000c12: PUSH1 0x04 00000c14: DUP3 00000c15: ADD 00000c16: MSTORE 00000c17: PUSH1 0x2b 00000c19: PUSH1 0x24 00000c1b: DUP3 00000c1c: ADD 00000c1d: MSTORE 00000c1e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00000c3f: PUSH1 0x44 00000c41: DUP3 00000c42: ADD 00000c43: MSTORE 00000c44: PUSH11 0x6e697469616c697a696e67 00000c50: PUSH1 0xa8 00000c52: SHL 00000c53: PUSH1 0x64 00000c55: DUP3 00000c56: ADD 00000c57: MSTORE 00000c58: PUSH1 0x84 00000c5a: ADD 00000c5b: PUSH2 0x03f2 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH2 0x0759 00000c63: PUSH1 0x00 00000c65: SLOAD 00000c66: PUSH2 0x0100 00000c69: SWAP1 00000c6a: DIV 00000c6b: PUSH1 0xff 00000c6d: AND 00000c6e: PUSH2 0x0ccd 00000c71: JUMPI 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: PUSH3 0x461bcd 00000c79: PUSH1 0xe5 00000c7b: SHL 00000c7c: DUP2 00000c7d: MSTORE 00000c7e: PUSH1 0x20 00000c80: PUSH1 0x04 00000c82: DUP3 00000c83: ADD 00000c84: MSTORE 00000c85: PUSH1 0x2b 00000c87: PUSH1 0x24 00000c89: DUP3 00000c8a: ADD 00000c8b: MSTORE 00000c8c: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00000cad: PUSH1 0x44 00000caf: DUP3 00000cb0: ADD 00000cb1: MSTORE 00000cb2: PUSH11 0x6e697469616c697a696e67 00000cbe: PUSH1 0xa8 00000cc0: SHL 00000cc1: PUSH1 0x64 00000cc3: DUP3 00000cc4: ADD 00000cc5: MSTORE 00000cc6: PUSH1 0x84 00000cc8: ADD 00000cc9: PUSH2 0x03f2 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH2 0x0759 00000cd1: CALLER 00000cd2: PUSH2 0x0b11 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x00 00000cd9: DUP1 00000cda: PUSH1 0x40 00000cdc: DUP4 00000cdd: DUP6 00000cde: SUB 00000cdf: SLT 00000ce0: ISZERO 00000ce1: PUSH2 0x0ce9 00000ce4: JUMPI 00000ce5: PUSH1 0x00 00000ce7: DUP1 00000ce8: REVERT 00000ce9: JUMPDEST 00000cea: POP 00000ceb: POP 00000cec: DUP1 00000ced: CALLDATALOAD 00000cee: SWAP3 00000cef: PUSH1 0x20 00000cf1: SWAP1 00000cf2: SWAP2 00000cf3: ADD 00000cf4: CALLDATALOAD 00000cf5: SWAP2 00000cf6: POP 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x01 00000cfb: PUSH1 0x01 00000cfd: PUSH1 0xa0 00000cff: SHL 00000d00: SUB 00000d01: DUP2 00000d02: AND 00000d03: DUP2 00000d04: EQ 00000d05: PUSH2 0x046d 00000d08: JUMPI 00000d09: PUSH1 0x00 00000d0b: DUP1 00000d0c: REVERT 00000d0d: JUMPDEST 00000d0e: PUSH1 0x00 00000d10: PUSH1 0x20 00000d12: DUP3 00000d13: DUP5 00000d14: SUB 00000d15: SLT 00000d16: ISZERO 00000d17: PUSH2 0x0d1f 00000d1a: JUMPI 00000d1b: PUSH1 0x00 00000d1d: DUP1 00000d1e: REVERT 00000d1f: JUMPDEST 00000d20: DUP2 00000d21: CALLDATALOAD 00000d22: PUSH2 0x0d2a 00000d25: DUP2 00000d26: PUSH2 0x0cf8 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: SWAP4 00000d2c: SWAP3 00000d2d: POP 00000d2e: POP 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH1 0x00 00000d34: PUSH1 0x20 00000d36: DUP3 00000d37: DUP5 00000d38: SUB 00000d39: SLT 00000d3a: ISZERO 00000d3b: PUSH2 0x0d43 00000d3e: JUMPI 00000d3f: PUSH1 0x00 00000d41: DUP1 00000d42: REVERT 00000d43: JUMPDEST 00000d44: POP 00000d45: CALLDATALOAD 00000d46: SWAP2 00000d47: SWAP1 00000d48: POP 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: DUP1 00000d4c: ISZERO 00000d4d: ISZERO 00000d4e: DUP2 00000d4f: EQ 00000d50: PUSH2 0x046d 00000d53: JUMPI 00000d54: PUSH1 0x00 00000d56: DUP1 00000d57: REVERT 00000d58: JUMPDEST 00000d59: PUSH1 0x00 00000d5b: DUP1 00000d5c: PUSH1 0x40 00000d5e: DUP4 00000d5f: DUP6 00000d60: SUB 00000d61: SLT 00000d62: ISZERO 00000d63: PUSH2 0x0d6b 00000d66: JUMPI 00000d67: PUSH1 0x00 00000d69: DUP1 00000d6a: REVERT 00000d6b: JUMPDEST 00000d6c: DUP3 00000d6d: CALLDATALOAD 00000d6e: PUSH2 0x0d76 00000d71: DUP2 00000d72: PUSH2 0x0cf8 00000d75: JUMP 00000d76: JUMPDEST 00000d77: SWAP2 00000d78: POP 00000d79: PUSH1 0x20 00000d7b: DUP4 00000d7c: ADD 00000d7d: CALLDATALOAD 00000d7e: PUSH2 0x0d86 00000d81: DUP2 00000d82: PUSH2 0x0d4a 00000d85: JUMP 00000d86: JUMPDEST 00000d87: DUP1 00000d88: SWAP2 00000d89: POP 00000d8a: POP 00000d8b: SWAP3 00000d8c: POP 00000d8d: SWAP3 00000d8e: SWAP1 00000d8f: POP 00000d90: JUMP 00000d91: JUMPDEST 00000d92: PUSH1 0x00 00000d94: PUSH1 0x20 00000d96: DUP3 00000d97: DUP5 00000d98: SUB 00000d99: SLT 00000d9a: ISZERO 00000d9b: PUSH2 0x0da3 00000d9e: JUMPI 00000d9f: PUSH1 0x00 00000da1: DUP1 00000da2: REVERT 00000da3: JUMPDEST 00000da4: DUP2 00000da5: MLOAD 00000da6: PUSH2 0x0d2a 00000da9: DUP2 00000daa: PUSH2 0x0cf8 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH1 0x00 00000db1: PUSH1 0x20 00000db3: DUP3 00000db4: DUP5 00000db5: SUB 00000db6: SLT 00000db7: ISZERO 00000db8: PUSH2 0x0dc0 00000dbb: JUMPI 00000dbc: PUSH1 0x00 00000dbe: DUP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: POP 00000dc2: MLOAD 00000dc3: SWAP2 00000dc4: SWAP1 00000dc5: POP 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x00 00000dca: DUP2 00000dcb: PUSH1 0x00 00000dcd: NOT 00000dce: DIV 00000dcf: DUP4 00000dd0: GT 00000dd1: DUP3 00000dd2: ISZERO 00000dd3: ISZERO 00000dd4: AND 00000dd5: ISZERO 00000dd6: PUSH2 0x0def 00000dd9: JUMPI 00000dda: PUSH4 0x4e487b71 00000ddf: PUSH1 0xe0 00000de1: SHL 00000de2: PUSH1 0x00 00000de4: MSTORE 00000de5: PUSH1 0x11 00000de7: PUSH1 0x04 00000de9: MSTORE 00000dea: PUSH1 0x24 00000dec: PUSH1 0x00 00000dee: REVERT 00000def: JUMPDEST 00000df0: POP 00000df1: MUL 00000df2: SWAP1 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH1 0x00 00000df7: DUP3 00000df8: PUSH2 0x0e11 00000dfb: JUMPI 00000dfc: PUSH4 0x4e487b71 00000e01: PUSH1 0xe0 00000e03: SHL 00000e04: PUSH1 0x00 00000e06: MSTORE 00000e07: PUSH1 0x12 00000e09: PUSH1 0x04 00000e0b: MSTORE 00000e0c: PUSH1 0x24 00000e0e: PUSH1 0x00 00000e10: REVERT 00000e11: JUMPDEST 00000e12: POP 00000e13: DIV 00000e14: SWAP1 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x00 00000e19: PUSH1 0x20 00000e1b: DUP3 00000e1c: DUP5 00000e1d: SUB 00000e1e: SLT 00000e1f: ISZERO 00000e20: PUSH2 0x0e28 00000e23: JUMPI 00000e24: PUSH1 0x00 00000e26: DUP1 00000e27: REVERT 00000e28: JUMPDEST 00000e29: DUP2 00000e2a: MLOAD 00000e2b: PUSH2 0x0d2a 00000e2e: DUP2 00000e2f: PUSH2 0x0d4a 00000e32: JUMP 00000e33: INVALID 00000e34: LOG1 00000e35: PUSH5 0x736f6c6343 00000e3b: STOP 00000e3c: ADDMOD 00000e3d: UNKNOWN(0x0F) 00000e3e: STOP 00000e3f: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa1cd2ff9afee0b187b2dad28e549485f8b33a52bc26a116046e509d72a39d84e
call_targets:
0x31333df4a9c32c1a74c2869d8bb8de3225172d5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1cd2ff9afee0b187b2dad28e549485f8b33a52bc26a116046e509d72a39d84e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31333df4a9c32c1a74c2869d8bb8de3225172d5a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xbdf2a43c",
"selector": "0xbdf2a43c",
"calldata_variants": [
"0xbdf2a43c",
"0xbdf2a43c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfabc1cbc",
"selector": "0xfabc1cbc",
"calldata_variants": [
"0xfabc1cbc",
"0xfabc1cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c77b616",
"selector": "0x7c77b616",
"calldata_variants": [
"0x7c77b616",
"0x7c77b6160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cbc2373",
"selector": "0x7cbc2373",
"calldata_variants": [
"0x7cbc2373",
"0x7cbc23730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab1945c7",
"selector": "0xab1945c7",
"calldata_variants": [
"0xab1945c7",
"0xab1945c70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2221,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa1cd2ff9afee0b187b2dad28e549485f8b33a52bc26a116046e509d72a39d84e
call_targets:
0x31333df4a9c32c1a74c2869d8bb8de3225172d5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1cd2ff9afee0b187b2dad28e549485f8b33a52bc26a116046e509d72a39d84e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31333df4a9c32c1a74c2869d8bb8de3225172d5a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xbdf2a43c",
"selector": "0xbdf2a43c",
"calldata_variants": [
"0xbdf2a43c",
"0xbdf2a43c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfabc1cbc",
"selector": "0xfabc1cbc",
"calldata_variants": [
"0xfabc1cbc",
"0xfabc1cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c77b616",
"selector": "0x7c77b616",
"calldata_variants": [
"0x7c77b616",
"0x7c77b6160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cbc2373",
"selector": "0x7cbc2373",
"calldata_variants": [
"0x7cbc2373",
"0x7cbc23730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab1945c7",
"selector": "0xab1945c7",
"calldata_variants": [
"0xab1945c7",
"0xab1945c70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2221,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|