019b477e-d9e3-704f-bb8a-e064a3a609b4
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 |
|---|---|---|---|---|
| 29369 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29370 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 73264 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 73265 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 73266 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 73267 | validation.fork | complete | 1 / 3 | 3 weeks ago |
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 0x004d 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x24600fc3 00000018: EQ 00000019: PUSH2 0x0058 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x2d4576a2 00000023: EQ 00000024: PUSH2 0x006e 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x8da5cb5b 0000002e: EQ 0000002f: PUSH2 0x009e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x94ab67fe 00000039: EQ 0000003a: PUSH2 0x00c8 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x9800a1d6 00000044: EQ 00000045: PUSH2 0x00f0 00000048: JUMPI 00000049: PUSH2 0x0054 0000004c: JUMP 0000004d: JUMPDEST 0000004e: CALLDATASIZE 0000004f: PUSH2 0x0054 00000052: JUMPI 00000053: STOP 00000054: JUMPDEST 00000055: PUSH0 00000056: DUP1 00000057: REVERT 00000058: JUMPDEST 00000059: CALLVALUE 0000005a: DUP1 0000005b: ISZERO 0000005c: PUSH2 0x0063 0000005f: JUMPI 00000060: PUSH0 00000061: DUP1 00000062: REVERT 00000063: JUMPDEST 00000064: POP 00000065: PUSH2 0x006c 00000068: PUSH2 0x012c 0000006b: JUMP 0000006c: JUMPDEST 0000006d: STOP 0000006e: JUMPDEST 0000006f: PUSH2 0x0088 00000072: PUSH1 0x04 00000074: DUP1 00000075: CALLDATASIZE 00000076: SUB 00000077: DUP2 00000078: ADD 00000079: SWAP1 0000007a: PUSH2 0x0083 0000007d: SWAP2 0000007e: SWAP1 0000007f: PUSH2 0x0847 00000082: JUMP 00000083: JUMPDEST 00000084: PUSH2 0x021e 00000087: JUMP 00000088: JUMPDEST 00000089: PUSH1 0x40 0000008b: MLOAD 0000008c: PUSH2 0x0095 0000008f: SWAP2 00000090: SWAP1 00000091: PUSH2 0x0927 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH1 0x40 00000098: MLOAD 00000099: DUP1 0000009a: SWAP2 0000009b: SUB 0000009c: SWAP1 0000009d: RETURN 0000009e: JUMPDEST 0000009f: CALLVALUE 000000a0: DUP1 000000a1: ISZERO 000000a2: PUSH2 0x00a9 000000a5: JUMPI 000000a6: PUSH0 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: POP 000000ab: PUSH2 0x00b2 000000ae: PUSH2 0x04a5 000000b1: JUMP 000000b2: JUMPDEST 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: PUSH2 0x00bf 000000b9: SWAP2 000000ba: SWAP1 000000bb: PUSH2 0x0956 000000be: JUMP 000000bf: JUMPDEST 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: DUP1 000000c4: SWAP2 000000c5: SUB 000000c6: SWAP1 000000c7: RETURN 000000c8: JUMPDEST 000000c9: CALLVALUE 000000ca: DUP1 000000cb: ISZERO 000000cc: PUSH2 0x00d3 000000cf: JUMPI 000000d0: PUSH0 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00ee 000000d8: PUSH1 0x04 000000da: DUP1 000000db: CALLDATASIZE 000000dc: SUB 000000dd: DUP2 000000de: ADD 000000df: SWAP1 000000e0: PUSH2 0x00e9 000000e3: SWAP2 000000e4: SWAP1 000000e5: PUSH2 0x096f 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x04c8 000000ed: JUMP 000000ee: JUMPDEST 000000ef: STOP 000000f0: JUMPDEST 000000f1: CALLVALUE 000000f2: DUP1 000000f3: ISZERO 000000f4: PUSH2 0x00fb 000000f7: JUMPI 000000f8: PUSH0 000000f9: DUP1 000000fa: REVERT 000000fb: JUMPDEST 000000fc: POP 000000fd: PUSH2 0x0116 00000100: PUSH1 0x04 00000102: DUP1 00000103: CALLDATASIZE 00000104: SUB 00000105: DUP2 00000106: ADD 00000107: SWAP1 00000108: PUSH2 0x0111 0000010b: SWAP2 0000010c: SWAP1 0000010d: PUSH2 0x09ad 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x05e7 00000115: JUMP 00000116: JUMPDEST 00000117: PUSH1 0x40 00000119: MLOAD 0000011a: PUSH2 0x0123 0000011d: SWAP2 0000011e: SWAP1 0000011f: PUSH2 0x09fa 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH1 0x40 00000126: MLOAD 00000127: DUP1 00000128: SWAP2 00000129: SUB 0000012a: SWAP1 0000012b: RETURN 0000012c: JUMPDEST 0000012d: PUSH0 0000012e: DUP1 0000012f: SLOAD 00000130: SWAP1 00000131: PUSH2 0x0100 00000134: EXP 00000135: SWAP1 00000136: DIV 00000137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014c: AND 0000014d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000162: AND 00000163: CALLER 00000164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000179: AND 0000017a: EQ 0000017b: PUSH2 0x01b9 0000017e: JUMPI 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x04 000001a7: ADD 000001a8: PUSH2 0x01b0 000001ab: SWAP1 000001ac: PUSH2 0x0a6d 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: PUSH0 000001bb: DUP1 000001bc: SLOAD 000001bd: SWAP1 000001be: PUSH2 0x0100 000001c1: EXP 000001c2: SWAP1 000001c3: DIV 000001c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d9: AND 000001da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ef: AND 000001f0: PUSH2 0x08fc 000001f3: SELFBALANCE 000001f4: SWAP1 000001f5: DUP2 000001f6: ISZERO 000001f7: MUL 000001f8: SWAP1 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: PUSH0 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: DUP1 00000201: DUP4 00000202: SUB 00000203: DUP2 00000204: DUP6 00000205: DUP9 00000206: DUP9 00000207: CALL 00000208: SWAP4 00000209: POP 0000020a: POP 0000020b: POP 0000020c: POP 0000020d: ISZERO 0000020e: DUP1 0000020f: ISZERO 00000210: PUSH2 0x021b 00000213: JUMPI 00000214: RETURNDATASIZE 00000215: PUSH0 00000216: DUP1 00000217: RETURNDATACOPY 00000218: RETURNDATASIZE 00000219: PUSH0 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x60 00000221: PUSH0 00000222: DUP1 00000223: SLOAD 00000224: SWAP1 00000225: PUSH2 0x0100 00000228: EXP 00000229: SWAP1 0000022a: DIV 0000022b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000240: AND 00000241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000256: AND 00000257: CALLER 00000258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026d: AND 0000026e: EQ 0000026f: PUSH2 0x02ad 00000272: JUMPI 00000273: PUSH1 0x40 00000275: MLOAD 00000276: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x04 0000029b: ADD 0000029c: PUSH2 0x02a4 0000029f: SWAP1 000002a0: PUSH2 0x0a6d 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: DUP1 000002a9: SWAP2 000002aa: SUB 000002ab: SWAP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: PUSH0 000002af: DUP5 000002b0: SWAP1 000002b1: POP 000002b2: PUSH0 000002b3: DUP2 000002b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c9: AND 000002ca: PUSH4 0x70a08231 000002cf: ADDRESS 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: DUP3 000002d4: PUSH4 0xffffffff 000002d9: AND 000002da: PUSH1 0xe0 000002dc: SHL 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x04 000002e1: ADD 000002e2: PUSH2 0x02eb 000002e5: SWAP2 000002e6: SWAP1 000002e7: PUSH2 0x0956 000002ea: JUMP 000002eb: JUMPDEST 000002ec: PUSH1 0x20 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: DUP1 000002f2: DUP4 000002f3: SUB 000002f4: DUP2 000002f5: DUP7 000002f6: GAS 000002f7: STATICCALL 000002f8: ISZERO 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0306 000002fe: JUMPI 000002ff: RETURNDATASIZE 00000300: PUSH0 00000301: DUP1 00000302: RETURNDATACOPY 00000303: RETURNDATASIZE 00000304: PUSH0 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: POP 00000309: POP 0000030a: POP 0000030b: PUSH1 0x40 0000030d: MLOAD 0000030e: RETURNDATASIZE 0000030f: PUSH1 0x1f 00000311: NOT 00000312: PUSH1 0x1f 00000314: DUP3 00000315: ADD 00000316: AND 00000317: DUP3 00000318: ADD 00000319: DUP1 0000031a: PUSH1 0x40 0000031c: MSTORE 0000031d: POP 0000031e: DUP2 0000031f: ADD 00000320: SWAP1 00000321: PUSH2 0x032a 00000324: SWAP2 00000325: SWAP1 00000326: PUSH2 0x0a9f 00000329: JUMP 0000032a: JUMPDEST 0000032b: SWAP1 0000032c: POP 0000032d: PUSH0 0000032e: DUP1 0000032f: DUP9 00000330: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000345: AND 00000346: DUP7 00000347: DUP9 00000348: PUSH1 0x40 0000034a: MLOAD 0000034b: PUSH2 0x0354 0000034e: SWAP2 0000034f: SWAP1 00000350: PUSH2 0x0b04 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH0 00000356: PUSH1 0x40 00000358: MLOAD 00000359: DUP1 0000035a: DUP4 0000035b: SUB 0000035c: DUP2 0000035d: DUP6 0000035e: DUP8 0000035f: GAS 00000360: CALL 00000361: SWAP3 00000362: POP 00000363: POP 00000364: POP 00000365: RETURNDATASIZE 00000366: DUP1 00000367: PUSH0 00000368: DUP2 00000369: EQ 0000036a: PUSH2 0x038e 0000036d: JUMPI 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: SWAP2 00000372: POP 00000373: PUSH1 0x1f 00000375: NOT 00000376: PUSH1 0x3f 00000378: RETURNDATASIZE 00000379: ADD 0000037a: AND 0000037b: DUP3 0000037c: ADD 0000037d: PUSH1 0x40 0000037f: MSTORE 00000380: RETURNDATASIZE 00000381: DUP3 00000382: MSTORE 00000383: RETURNDATASIZE 00000384: PUSH0 00000385: PUSH1 0x20 00000387: DUP5 00000388: ADD 00000389: RETURNDATACOPY 0000038a: PUSH2 0x0393 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x60 00000391: SWAP2 00000392: POP 00000393: JUMPDEST 00000394: POP 00000395: SWAP2 00000396: POP 00000397: SWAP2 00000398: POP 00000399: DUP2 0000039a: PUSH2 0x03d8 0000039d: JUMPI 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003c2: DUP2 000003c3: MSTORE 000003c4: PUSH1 0x04 000003c6: ADD 000003c7: PUSH2 0x03cf 000003ca: SWAP1 000003cb: PUSH2 0x0b64 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: DUP1 000003d4: SWAP2 000003d5: SUB 000003d6: SWAP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: PUSH0 000003da: DUP5 000003db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f0: AND 000003f1: PUSH4 0x70a08231 000003f6: ADDRESS 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP3 000003fb: PUSH4 0xffffffff 00000400: AND 00000401: PUSH1 0xe0 00000403: SHL 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x04 00000408: ADD 00000409: PUSH2 0x0412 0000040c: SWAP2 0000040d: SWAP1 0000040e: PUSH2 0x0956 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x20 00000415: PUSH1 0x40 00000417: MLOAD 00000418: DUP1 00000419: DUP4 0000041a: SUB 0000041b: DUP2 0000041c: DUP7 0000041d: GAS 0000041e: STATICCALL 0000041f: ISZERO 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042d 00000425: JUMPI 00000426: RETURNDATASIZE 00000427: PUSH0 00000428: DUP1 00000429: RETURNDATACOPY 0000042a: RETURNDATASIZE 0000042b: PUSH0 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: POP 00000430: POP 00000431: POP 00000432: PUSH1 0x40 00000434: MLOAD 00000435: RETURNDATASIZE 00000436: PUSH1 0x1f 00000438: NOT 00000439: PUSH1 0x1f 0000043b: DUP3 0000043c: ADD 0000043d: AND 0000043e: DUP3 0000043f: ADD 00000440: DUP1 00000441: PUSH1 0x40 00000443: MSTORE 00000444: POP 00000445: DUP2 00000446: ADD 00000447: SWAP1 00000448: PUSH2 0x0451 0000044b: SWAP2 0000044c: SWAP1 0000044d: PUSH2 0x0a9f 00000450: JUMP 00000451: JUMPDEST 00000452: SWAP1 00000453: POP 00000454: DUP4 00000455: DUP2 00000456: GT 00000457: PUSH2 0x0495 0000045a: JUMPI 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x04 00000483: ADD 00000484: PUSH2 0x048c 00000487: SWAP1 00000488: PUSH2 0x0bcc 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: SWAP2 00000492: SUB 00000493: SWAP1 00000494: REVERT 00000495: JUMPDEST 00000496: DUP2 00000497: SWAP6 00000498: POP 00000499: POP 0000049a: POP 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: SWAP5 0000049f: SWAP4 000004a0: POP 000004a1: POP 000004a2: POP 000004a3: POP 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH0 000004a7: DUP1 000004a8: SLOAD 000004a9: SWAP1 000004aa: PUSH2 0x0100 000004ad: EXP 000004ae: SWAP1 000004af: DIV 000004b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c5: AND 000004c6: DUP2 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH0 000004ca: DUP1 000004cb: SLOAD 000004cc: SWAP1 000004cd: PUSH2 0x0100 000004d0: EXP 000004d1: SWAP1 000004d2: DIV 000004d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e8: AND 000004e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fe: AND 000004ff: CALLER 00000500: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000515: AND 00000516: EQ 00000517: PUSH2 0x0555 0000051a: JUMPI 0000051b: PUSH1 0x40 0000051d: MLOAD 0000051e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000053f: DUP2 00000540: MSTORE 00000541: PUSH1 0x04 00000543: ADD 00000544: PUSH2 0x054c 00000547: SWAP1 00000548: PUSH2 0x0a6d 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x40 0000054f: MLOAD 00000550: DUP1 00000551: SWAP2 00000552: SUB 00000553: SWAP1 00000554: REVERT 00000555: JUMPDEST 00000556: PUSH0 00000557: DUP3 00000558: SWAP1 00000559: POP 0000055a: DUP1 0000055b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000570: AND 00000571: PUSH4 0x42842e0e 00000576: ADDRESS 00000577: PUSH0 00000578: DUP1 00000579: SLOAD 0000057a: SWAP1 0000057b: PUSH2 0x0100 0000057e: EXP 0000057f: SWAP1 00000580: DIV 00000581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000596: AND 00000597: DUP6 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: DUP5 0000059c: PUSH4 0xffffffff 000005a1: AND 000005a2: PUSH1 0xe0 000005a4: SHL 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x04 000005a9: ADD 000005aa: PUSH2 0x05b5 000005ad: SWAP4 000005ae: SWAP3 000005af: SWAP2 000005b0: SWAP1 000005b1: PUSH2 0x0bea 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH0 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP1 000005bb: DUP4 000005bc: SUB 000005bd: DUP2 000005be: PUSH0 000005bf: DUP8 000005c0: DUP1 000005c1: EXTCODESIZE 000005c2: ISZERO 000005c3: DUP1 000005c4: ISZERO 000005c5: PUSH2 0x05cc 000005c8: JUMPI 000005c9: PUSH0 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: POP 000005ce: GAS 000005cf: CALL 000005d0: ISZERO 000005d1: DUP1 000005d2: ISZERO 000005d3: PUSH2 0x05de 000005d6: JUMPI 000005d7: RETURNDATASIZE 000005d8: PUSH0 000005d9: DUP1 000005da: RETURNDATACOPY 000005db: RETURNDATASIZE 000005dc: PUSH0 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: POP 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH0 000005e9: DUP1 000005ea: DUP4 000005eb: SWAP1 000005ec: POP 000005ed: DUP1 000005ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000603: AND 00000604: PUSH4 0x70a08231 00000609: DUP5 0000060a: PUSH1 0x40 0000060c: MLOAD 0000060d: DUP3 0000060e: PUSH4 0xffffffff 00000613: AND 00000614: PUSH1 0xe0 00000616: SHL 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x04 0000061b: ADD 0000061c: PUSH2 0x0625 0000061f: SWAP2 00000620: SWAP1 00000621: PUSH2 0x0956 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH1 0x20 00000628: PUSH1 0x40 0000062a: MLOAD 0000062b: DUP1 0000062c: DUP4 0000062d: SUB 0000062e: DUP2 0000062f: DUP7 00000630: GAS 00000631: STATICCALL 00000632: ISZERO 00000633: DUP1 00000634: ISZERO 00000635: PUSH2 0x0640 00000638: JUMPI 00000639: RETURNDATASIZE 0000063a: PUSH0 0000063b: DUP1 0000063c: RETURNDATACOPY 0000063d: RETURNDATASIZE 0000063e: PUSH0 0000063f: REVERT 00000640: JUMPDEST 00000641: POP 00000642: POP 00000643: POP 00000644: POP 00000645: PUSH1 0x40 00000647: MLOAD 00000648: RETURNDATASIZE 00000649: PUSH1 0x1f 0000064b: NOT 0000064c: PUSH1 0x1f 0000064e: DUP3 0000064f: ADD 00000650: AND 00000651: DUP3 00000652: ADD 00000653: DUP1 00000654: PUSH1 0x40 00000656: MSTORE 00000657: POP 00000658: DUP2 00000659: ADD 0000065a: SWAP1 0000065b: PUSH2 0x0664 0000065e: SWAP2 0000065f: SWAP1 00000660: PUSH2 0x0a9f 00000663: JUMP 00000664: JUMPDEST 00000665: SWAP2 00000666: POP 00000667: POP 00000668: SWAP3 00000669: SWAP2 0000066a: POP 0000066b: POP 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH0 0000066f: PUSH1 0x40 00000671: MLOAD 00000672: SWAP1 00000673: POP 00000674: SWAP1 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH0 00000678: DUP1 00000679: REVERT 0000067a: JUMPDEST 0000067b: PUSH0 0000067c: DUP1 0000067d: REVERT 0000067e: JUMPDEST 0000067f: PUSH0 00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000695: DUP3 00000696: AND 00000697: SWAP1 00000698: POP 00000699: SWAP2 0000069a: SWAP1 0000069b: POP 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH0 0000069f: PUSH2 0x06a7 000006a2: DUP3 000006a3: PUSH2 0x067e 000006a6: JUMP 000006a7: JUMPDEST 000006a8: SWAP1 000006a9: POP 000006aa: SWAP2 000006ab: SWAP1 000006ac: POP 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH2 0x06b7 000006b2: DUP2 000006b3: PUSH2 0x069d 000006b6: JUMP 000006b7: JUMPDEST 000006b8: DUP2 000006b9: EQ 000006ba: PUSH2 0x06c1 000006bd: JUMPI 000006be: PUSH0 000006bf: DUP1 000006c0: REVERT 000006c1: JUMPDEST 000006c2: POP 000006c3: JUMP 000006c4: JUMPDEST 000006c5: PUSH0 000006c6: DUP2 000006c7: CALLDATALOAD 000006c8: SWAP1 000006c9: POP 000006ca: PUSH2 0x06d2 000006cd: DUP2 000006ce: PUSH2 0x06ae 000006d1: JUMP 000006d2: JUMPDEST 000006d3: SWAP3 000006d4: SWAP2 000006d5: POP 000006d6: POP 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH0 000006da: DUP1 000006db: REVERT 000006dc: JUMPDEST 000006dd: PUSH0 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: PUSH0 000006e2: PUSH1 0x1f 000006e4: NOT 000006e5: PUSH1 0x1f 000006e7: DUP4 000006e8: ADD 000006e9: AND 000006ea: SWAP1 000006eb: POP 000006ec: SWAP2 000006ed: SWAP1 000006ee: POP 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000712: PUSH0 00000713: MSTORE 00000714: PUSH1 0x41 00000716: PUSH1 0x04 00000718: MSTORE 00000719: PUSH1 0x24 0000071b: PUSH0 0000071c: REVERT 0000071d: JUMPDEST 0000071e: PUSH2 0x0726 00000721: DUP3 00000722: PUSH2 0x06e0 00000725: JUMP 00000726: JUMPDEST 00000727: DUP2 00000728: ADD 00000729: DUP2 0000072a: DUP2 0000072b: LT 0000072c: PUSH8 0xffffffffffffffff 00000735: DUP3 00000736: GT 00000737: OR 00000738: ISZERO 00000739: PUSH2 0x0745 0000073c: JUMPI 0000073d: PUSH2 0x0744 00000740: PUSH2 0x06f0 00000743: JUMP 00000744: JUMPDEST 00000745: JUMPDEST 00000746: DUP1 00000747: PUSH1 0x40 00000749: MSTORE 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH0 00000750: PUSH2 0x0757 00000753: PUSH2 0x066d 00000756: JUMP 00000757: JUMPDEST 00000758: SWAP1 00000759: POP 0000075a: PUSH2 0x0763 0000075d: DUP3 0000075e: DUP3 0000075f: PUSH2 0x071d 00000762: JUMP 00000763: JUMPDEST 00000764: SWAP2 00000765: SWAP1 00000766: POP 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH0 0000076a: PUSH8 0xffffffffffffffff 00000773: DUP3 00000774: GT 00000775: ISZERO 00000776: PUSH2 0x0782 00000779: JUMPI 0000077a: PUSH2 0x0781 0000077d: PUSH2 0x06f0 00000780: JUMP 00000781: JUMPDEST 00000782: JUMPDEST 00000783: PUSH2 0x078b 00000786: DUP3 00000787: PUSH2 0x06e0 0000078a: JUMP 0000078b: JUMPDEST 0000078c: SWAP1 0000078d: POP 0000078e: PUSH1 0x20 00000790: DUP2 00000791: ADD 00000792: SWAP1 00000793: POP 00000794: SWAP2 00000795: SWAP1 00000796: POP 00000797: JUMP 00000798: JUMPDEST 00000799: DUP3 0000079a: DUP2 0000079b: DUP4 0000079c: CALLDATACOPY 0000079d: PUSH0 0000079e: DUP4 0000079f: DUP4 000007a0: ADD 000007a1: MSTORE 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: JUMP 000007a6: JUMPDEST 000007a7: PUSH0 000007a8: PUSH2 0x07b8 000007ab: PUSH2 0x07b3 000007ae: DUP5 000007af: PUSH2 0x0768 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH2 0x074e 000007b7: JUMP 000007b8: JUMPDEST 000007b9: SWAP1 000007ba: POP 000007bb: DUP3 000007bc: DUP2 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: DUP2 000007c1: ADD 000007c2: DUP5 000007c3: DUP5 000007c4: DUP5 000007c5: ADD 000007c6: GT 000007c7: ISZERO 000007c8: PUSH2 0x07d4 000007cb: JUMPI 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x06dc 000007d2: JUMP 000007d3: JUMPDEST 000007d4: JUMPDEST 000007d5: PUSH2 0x07df 000007d8: DUP5 000007d9: DUP3 000007da: DUP6 000007db: PUSH2 0x0798 000007de: JUMP 000007df: JUMPDEST 000007e0: POP 000007e1: SWAP4 000007e2: SWAP3 000007e3: POP 000007e4: POP 000007e5: POP 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH0 000007e9: DUP3 000007ea: PUSH1 0x1f 000007ec: DUP4 000007ed: ADD 000007ee: SLT 000007ef: PUSH2 0x07fb 000007f2: JUMPI 000007f3: PUSH2 0x07fa 000007f6: PUSH2 0x06d8 000007f9: JUMP 000007fa: JUMPDEST 000007fb: JUMPDEST 000007fc: DUP2 000007fd: CALLDATALOAD 000007fe: PUSH2 0x080b 00000801: DUP5 00000802: DUP3 00000803: PUSH1 0x20 00000805: DUP7 00000806: ADD 00000807: PUSH2 0x07a6 0000080a: JUMP 0000080b: JUMPDEST 0000080c: SWAP2 0000080d: POP 0000080e: POP 0000080f: SWAP3 00000810: SWAP2 00000811: POP 00000812: POP 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH0 00000816: DUP2 00000817: SWAP1 00000818: POP 00000819: SWAP2 0000081a: SWAP1 0000081b: POP 0000081c: JUMP 0000081d: JUMPDEST 0000081e: PUSH2 0x0826 00000821: DUP2 00000822: PUSH2 0x0814 00000825: JUMP 00000826: JUMPDEST 00000827: DUP2 00000828: EQ 00000829: PUSH2 0x0830 0000082c: JUMPI 0000082d: PUSH0 0000082e: DUP1 0000082f: REVERT 00000830: JUMPDEST 00000831: POP 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH0 00000835: DUP2 00000836: CALLDATALOAD 00000837: SWAP1 00000838: POP 00000839: PUSH2 0x0841 0000083c: DUP2 0000083d: PUSH2 0x081d 00000840: JUMP 00000841: JUMPDEST 00000842: SWAP3 00000843: SWAP2 00000844: POP 00000845: POP 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH0 00000849: DUP1 0000084a: PUSH0 0000084b: DUP1 0000084c: PUSH1 0x80 0000084e: DUP6 0000084f: DUP8 00000850: SUB 00000851: SLT 00000852: ISZERO 00000853: PUSH2 0x085f 00000856: JUMPI 00000857: PUSH2 0x085e 0000085a: PUSH2 0x0676 0000085d: JUMP 0000085e: JUMPDEST 0000085f: JUMPDEST 00000860: PUSH0 00000861: PUSH2 0x086c 00000864: DUP8 00000865: DUP3 00000866: DUP9 00000867: ADD 00000868: PUSH2 0x06c4 0000086b: JUMP 0000086c: JUMPDEST 0000086d: SWAP5 0000086e: POP 0000086f: POP 00000870: PUSH1 0x20 00000872: PUSH2 0x087d 00000875: DUP8 00000876: DUP3 00000877: DUP9 00000878: ADD 00000879: PUSH2 0x06c4 0000087c: JUMP 0000087d: JUMPDEST 0000087e: SWAP4 0000087f: POP 00000880: POP 00000881: PUSH1 0x40 00000883: DUP6 00000884: ADD 00000885: CALLDATALOAD 00000886: PUSH8 0xffffffffffffffff 0000088f: DUP2 00000890: GT 00000891: ISZERO 00000892: PUSH2 0x089e 00000895: JUMPI 00000896: PUSH2 0x089d 00000899: PUSH2 0x067a 0000089c: JUMP 0000089d: JUMPDEST 0000089e: JUMPDEST 0000089f: PUSH2 0x08aa 000008a2: DUP8 000008a3: DUP3 000008a4: DUP9 000008a5: ADD 000008a6: PUSH2 0x07e7 000008a9: JUMP 000008aa: JUMPDEST 000008ab: SWAP3 000008ac: POP 000008ad: POP 000008ae: PUSH1 0x60 000008b0: PUSH2 0x08bb 000008b3: DUP8 000008b4: DUP3 000008b5: DUP9 000008b6: ADD 000008b7: PUSH2 0x0833 000008ba: JUMP 000008bb: JUMPDEST 000008bc: SWAP2 000008bd: POP 000008be: POP 000008bf: SWAP3 000008c0: SWAP6 000008c1: SWAP2 000008c2: SWAP5 000008c3: POP 000008c4: SWAP3 000008c5: POP 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH0 000008c9: DUP2 000008ca: MLOAD 000008cb: SWAP1 000008cc: POP 000008cd: SWAP2 000008ce: SWAP1 000008cf: POP 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH0 000008d3: DUP3 000008d4: DUP3 000008d5: MSTORE 000008d6: PUSH1 0x20 000008d8: DUP3 000008d9: ADD 000008da: SWAP1 000008db: POP 000008dc: SWAP3 000008dd: SWAP2 000008de: POP 000008df: POP 000008e0: JUMP 000008e1: JUMPDEST 000008e2: DUP3 000008e3: DUP2 000008e4: DUP4 000008e5: MCOPY 000008e6: PUSH0 000008e7: DUP4 000008e8: DUP4 000008e9: ADD 000008ea: MSTORE 000008eb: POP 000008ec: POP 000008ed: POP 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH0 000008f1: PUSH2 0x08f9 000008f4: DUP3 000008f5: PUSH2 0x08c7 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH2 0x0903 000008fd: DUP2 000008fe: DUP6 000008ff: PUSH2 0x08d1 00000902: JUMP 00000903: JUMPDEST 00000904: SWAP4 00000905: POP 00000906: PUSH2 0x0913 00000909: DUP2 0000090a: DUP6 0000090b: PUSH1 0x20 0000090d: DUP7 0000090e: ADD 0000090f: PUSH2 0x08e1 00000912: JUMP 00000913: JUMPDEST 00000914: PUSH2 0x091c 00000917: DUP2 00000918: PUSH2 0x06e0 0000091b: JUMP 0000091c: JUMPDEST 0000091d: DUP5 0000091e: ADD 0000091f: SWAP2 00000920: POP 00000921: POP 00000922: SWAP3 00000923: SWAP2 00000924: POP 00000925: POP 00000926: JUMP 00000927: JUMPDEST 00000928: PUSH0 00000929: PUSH1 0x20 0000092b: DUP3 0000092c: ADD 0000092d: SWAP1 0000092e: POP 0000092f: DUP2 00000930: DUP2 00000931: SUB 00000932: PUSH0 00000933: DUP4 00000934: ADD 00000935: MSTORE 00000936: PUSH2 0x093f 00000939: DUP2 0000093a: DUP5 0000093b: PUSH2 0x08ef 0000093e: JUMP 0000093f: JUMPDEST 00000940: SWAP1 00000941: POP 00000942: SWAP3 00000943: SWAP2 00000944: POP 00000945: POP 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH2 0x0950 0000094b: DUP2 0000094c: PUSH2 0x069d 0000094f: JUMP 00000950: JUMPDEST 00000951: DUP3 00000952: MSTORE 00000953: POP 00000954: POP 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH0 00000958: PUSH1 0x20 0000095a: DUP3 0000095b: ADD 0000095c: SWAP1 0000095d: POP 0000095e: PUSH2 0x0969 00000961: PUSH0 00000962: DUP4 00000963: ADD 00000964: DUP5 00000965: PUSH2 0x0947 00000968: JUMP 00000969: JUMPDEST 0000096a: SWAP3 0000096b: SWAP2 0000096c: POP 0000096d: POP 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH0 00000971: DUP1 00000972: PUSH1 0x40 00000974: DUP4 00000975: DUP6 00000976: SUB 00000977: SLT 00000978: ISZERO 00000979: PUSH2 0x0985 0000097c: JUMPI 0000097d: PUSH2 0x0984 00000980: PUSH2 0x0676 00000983: JUMP 00000984: JUMPDEST 00000985: JUMPDEST 00000986: PUSH0 00000987: PUSH2 0x0992 0000098a: DUP6 0000098b: DUP3 0000098c: DUP7 0000098d: ADD 0000098e: PUSH2 0x06c4 00000991: JUMP 00000992: JUMPDEST 00000993: SWAP3 00000994: POP 00000995: POP 00000996: PUSH1 0x20 00000998: PUSH2 0x09a3 0000099b: DUP6 0000099c: DUP3 0000099d: DUP7 0000099e: ADD 0000099f: PUSH2 0x0833 000009a2: JUMP 000009a3: JUMPDEST 000009a4: SWAP2 000009a5: POP 000009a6: POP 000009a7: SWAP3 000009a8: POP 000009a9: SWAP3 000009aa: SWAP1 000009ab: POP 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH0 000009af: DUP1 000009b0: PUSH1 0x40 000009b2: DUP4 000009b3: DUP6 000009b4: SUB 000009b5: SLT 000009b6: ISZERO 000009b7: PUSH2 0x09c3 000009ba: JUMPI 000009bb: PUSH2 0x09c2 000009be: PUSH2 0x0676 000009c1: JUMP 000009c2: JUMPDEST 000009c3: JUMPDEST 000009c4: PUSH0 000009c5: PUSH2 0x09d0 000009c8: DUP6 000009c9: DUP3 000009ca: DUP7 000009cb: ADD 000009cc: PUSH2 0x06c4 000009cf: JUMP 000009d0: JUMPDEST 000009d1: SWAP3 000009d2: POP 000009d3: POP 000009d4: PUSH1 0x20 000009d6: PUSH2 0x09e1 000009d9: DUP6 000009da: DUP3 000009db: DUP7 000009dc: ADD 000009dd: PUSH2 0x06c4 000009e0: JUMP 000009e1: JUMPDEST 000009e2: SWAP2 000009e3: POP 000009e4: POP 000009e5: SWAP3 000009e6: POP 000009e7: SWAP3 000009e8: SWAP1 000009e9: POP 000009ea: JUMP 000009eb: JUMPDEST 000009ec: PUSH2 0x09f4 000009ef: DUP2 000009f0: PUSH2 0x0814 000009f3: JUMP 000009f4: JUMPDEST 000009f5: DUP3 000009f6: MSTORE 000009f7: POP 000009f8: POP 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH0 000009fc: PUSH1 0x20 000009fe: DUP3 000009ff: ADD 00000a00: SWAP1 00000a01: POP 00000a02: PUSH2 0x0a0d 00000a05: PUSH0 00000a06: DUP4 00000a07: ADD 00000a08: DUP5 00000a09: PUSH2 0x09eb 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: SWAP3 00000a0f: SWAP2 00000a10: POP 00000a11: POP 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH0 00000a15: DUP3 00000a16: DUP3 00000a17: MSTORE 00000a18: PUSH1 0x20 00000a1a: DUP3 00000a1b: ADD 00000a1c: SWAP1 00000a1d: POP 00000a1e: SWAP3 00000a1f: SWAP2 00000a20: POP 00000a21: POP 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH32 0x4e6f7420746865206f776e657200000000000000000000000000000000000000 00000a45: PUSH0 00000a46: DUP3 00000a47: ADD 00000a48: MSTORE 00000a49: POP 00000a4a: JUMP 00000a4b: JUMPDEST 00000a4c: PUSH0 00000a4d: PUSH2 0x0a57 00000a50: PUSH1 0x0d 00000a52: DUP4 00000a53: PUSH2 0x0a13 00000a56: JUMP 00000a57: JUMPDEST 00000a58: SWAP2 00000a59: POP 00000a5a: PUSH2 0x0a62 00000a5d: DUP3 00000a5e: PUSH2 0x0a23 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x20 00000a65: DUP3 00000a66: ADD 00000a67: SWAP1 00000a68: POP 00000a69: SWAP2 00000a6a: SWAP1 00000a6b: POP 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH0 00000a6f: PUSH1 0x20 00000a71: DUP3 00000a72: ADD 00000a73: SWAP1 00000a74: POP 00000a75: DUP2 00000a76: DUP2 00000a77: SUB 00000a78: PUSH0 00000a79: DUP4 00000a7a: ADD 00000a7b: MSTORE 00000a7c: PUSH2 0x0a84 00000a7f: DUP2 00000a80: PUSH2 0x0a4b 00000a83: JUMP 00000a84: JUMPDEST 00000a85: SWAP1 00000a86: POP 00000a87: SWAP2 00000a88: SWAP1 00000a89: POP 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH0 00000a8d: DUP2 00000a8e: MLOAD 00000a8f: SWAP1 00000a90: POP 00000a91: PUSH2 0x0a99 00000a94: DUP2 00000a95: PUSH2 0x081d 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: SWAP3 00000a9b: SWAP2 00000a9c: POP 00000a9d: POP 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: PUSH0 00000aa1: PUSH1 0x20 00000aa3: DUP3 00000aa4: DUP5 00000aa5: SUB 00000aa6: SLT 00000aa7: ISZERO 00000aa8: PUSH2 0x0ab4 00000aab: JUMPI 00000aac: PUSH2 0x0ab3 00000aaf: PUSH2 0x0676 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: JUMPDEST 00000ab5: PUSH0 00000ab6: PUSH2 0x0ac1 00000ab9: DUP5 00000aba: DUP3 00000abb: DUP6 00000abc: ADD 00000abd: PUSH2 0x0a8b 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: SWAP2 00000ac3: POP 00000ac4: POP 00000ac5: SWAP3 00000ac6: SWAP2 00000ac7: POP 00000ac8: POP 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: PUSH0 00000acc: DUP2 00000acd: SWAP1 00000ace: POP 00000acf: SWAP3 00000ad0: SWAP2 00000ad1: POP 00000ad2: POP 00000ad3: JUMP 00000ad4: JUMPDEST 00000ad5: PUSH0 00000ad6: PUSH2 0x0ade 00000ad9: DUP3 00000ada: PUSH2 0x08c7 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH2 0x0ae8 00000ae2: DUP2 00000ae3: DUP6 00000ae4: PUSH2 0x0aca 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: SWAP4 00000aea: POP 00000aeb: PUSH2 0x0af8 00000aee: DUP2 00000aef: DUP6 00000af0: PUSH1 0x20 00000af2: DUP7 00000af3: ADD 00000af4: PUSH2 0x08e1 00000af7: JUMP 00000af8: JUMPDEST 00000af9: DUP1 00000afa: DUP5 00000afb: ADD 00000afc: SWAP2 00000afd: POP 00000afe: POP 00000aff: SWAP3 00000b00: SWAP2 00000b01: POP 00000b02: POP 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH0 00000b06: PUSH2 0x0b0f 00000b09: DUP3 00000b0a: DUP5 00000b0b: PUSH2 0x0ad4 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: SWAP2 00000b11: POP 00000b12: DUP2 00000b13: SWAP1 00000b14: POP 00000b15: SWAP3 00000b16: SWAP2 00000b17: POP 00000b18: POP 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH32 0x46756e6374696f6e2063616c6c206661696c6564000000000000000000000000 00000b3c: PUSH0 00000b3d: DUP3 00000b3e: ADD 00000b3f: MSTORE 00000b40: POP 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH0 00000b44: PUSH2 0x0b4e 00000b47: PUSH1 0x14 00000b49: DUP4 00000b4a: PUSH2 0x0a13 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: SWAP2 00000b50: POP 00000b51: PUSH2 0x0b59 00000b54: DUP3 00000b55: PUSH2 0x0b1a 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: PUSH1 0x20 00000b5c: DUP3 00000b5d: ADD 00000b5e: SWAP1 00000b5f: POP 00000b60: SWAP2 00000b61: SWAP1 00000b62: POP 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH0 00000b66: PUSH1 0x20 00000b68: DUP3 00000b69: ADD 00000b6a: SWAP1 00000b6b: POP 00000b6c: DUP2 00000b6d: DUP2 00000b6e: SUB 00000b6f: PUSH0 00000b70: DUP4 00000b71: ADD 00000b72: MSTORE 00000b73: PUSH2 0x0b7b 00000b76: DUP2 00000b77: PUSH2 0x0b42 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: SWAP1 00000b7d: POP 00000b7e: SWAP2 00000b7f: SWAP1 00000b80: POP 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH32 0x4e46542062616c616e636520646964206e6f7420696e63726561736500000000 00000ba4: PUSH0 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: POP 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: PUSH0 00000bac: PUSH2 0x0bb6 00000baf: PUSH1 0x1c 00000bb1: DUP4 00000bb2: PUSH2 0x0a13 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: SWAP2 00000bb8: POP 00000bb9: PUSH2 0x0bc1 00000bbc: DUP3 00000bbd: PUSH2 0x0b82 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: PUSH1 0x20 00000bc4: DUP3 00000bc5: ADD 00000bc6: SWAP1 00000bc7: POP 00000bc8: SWAP2 00000bc9: SWAP1 00000bca: POP 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH0 00000bce: PUSH1 0x20 00000bd0: DUP3 00000bd1: ADD 00000bd2: SWAP1 00000bd3: POP 00000bd4: DUP2 00000bd5: DUP2 00000bd6: SUB 00000bd7: PUSH0 00000bd8: DUP4 00000bd9: ADD 00000bda: MSTORE 00000bdb: PUSH2 0x0be3 00000bde: DUP2 00000bdf: PUSH2 0x0baa 00000be2: JUMP 00000be3: JUMPDEST 00000be4: SWAP1 00000be5: POP 00000be6: SWAP2 00000be7: SWAP1 00000be8: POP 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH0 00000bec: PUSH1 0x60 00000bee: DUP3 00000bef: ADD 00000bf0: SWAP1 00000bf1: POP 00000bf2: PUSH2 0x0bfd 00000bf5: PUSH0 00000bf6: DUP4 00000bf7: ADD 00000bf8: DUP7 00000bf9: PUSH2 0x0947 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH2 0x0c0a 00000c01: PUSH1 0x20 00000c03: DUP4 00000c04: ADD 00000c05: DUP6 00000c06: PUSH2 0x0947 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH2 0x0c17 00000c0e: PUSH1 0x40 00000c10: DUP4 00000c11: ADD 00000c12: DUP5 00000c13: PUSH2 0x09eb 00000c16: JUMP 00000c17: JUMPDEST 00000c18: SWAP5 00000c19: SWAP4 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: JUMP 00000c1f: INVALID 00000c20: LOG2 00000c21: PUSH5 0x6970667358 00000c27: UNKNOWN(0x22) 00000c28: SLT 00000c29: KECCAK256 00000c2a: DUP12 00000c2b: PUSH30 0x8d0a19ee3acc7fe031ac77feb2854db8246c490dfe96dafbfc6c49cb2363 00000c4a: PUSH5 0x736f6c6343 00000c50: STOP 00000c51: ADDMOD 00000c52: BYTE 00000c53: STOP 00000c54: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb831607d10e522952c28e062cc86ee2a35c7fa61233f05353475e6d12e163c4f
call_targets:
0xdb3ed83153685ac6f74cc8bb91c816c36eda6c24
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb831607d10e522952c28e062cc86ee2a35c7fa61233f05353475e6d12e163c4f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb3ed83153685ac6f74cc8bb91c816c36eda6c24"
],
"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": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d4576a2",
"selector": "0x2d4576a2",
"calldata_variants": [
"0x2d4576a2",
"0x2d4576a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94ab67fe",
"selector": "0x94ab67fe",
"calldata_variants": [
"0x94ab67fe",
"0x94ab67fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9800a1d6",
"selector": "0x9800a1d6",
"calldata_variants": [
"0x9800a1d6",
"0x9800a1d60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 519,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 355,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 599,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1279,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb831607d10e522952c28e062cc86ee2a35c7fa61233f05353475e6d12e163c4f
call_targets:
0xdb3ed83153685ac6f74cc8bb91c816c36eda6c24
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb831607d10e522952c28e062cc86ee2a35c7fa61233f05353475e6d12e163c4f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb3ed83153685ac6f74cc8bb91c816c36eda6c24"
],
"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": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d4576a2",
"selector": "0x2d4576a2",
"calldata_variants": [
"0x2d4576a2",
"0x2d4576a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94ab67fe",
"selector": "0x94ab67fe",
"calldata_variants": [
"0x94ab67fe",
"0x94ab67fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9800a1d6",
"selector": "0x9800a1d6",
"calldata_variants": [
"0x9800a1d6",
"0x9800a1d60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 519,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 864,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 355,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 599,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1279,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|