019b477e-c385-70f1-b856-eddb61026943
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 |
|---|---|---|---|---|
| 25235 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25236 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68202 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68203 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68204 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68205 | validation.fork | complete | 1 / 3 | 2 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x3ccfd60b 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x0066 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x007d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x00a8 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x00d1 00000063: JUMP 00000064: JUMPDEST 00000065: STOP 00000066: JUMPDEST 00000067: CALLVALUE 00000068: DUP1 00000069: ISZERO 0000006a: PUSH2 0x0072 0000006d: JUMPI 0000006e: PUSH1 0x00 00000070: DUP1 00000071: REVERT 00000072: JUMPDEST 00000073: POP 00000074: PUSH2 0x007b 00000077: PUSH2 0x036b 0000007a: JUMP 0000007b: JUMPDEST 0000007c: STOP 0000007d: JUMPDEST 0000007e: CALLVALUE 0000007f: DUP1 00000080: ISZERO 00000081: PUSH2 0x0089 00000084: JUMPI 00000085: PUSH1 0x00 00000087: DUP1 00000088: REVERT 00000089: JUMPDEST 0000008a: POP 0000008b: PUSH2 0x0092 0000008e: PUSH2 0x03f3 00000091: JUMP 00000092: JUMPDEST 00000093: PUSH1 0x40 00000095: MLOAD 00000096: PUSH2 0x009f 00000099: SWAP2 0000009a: SWAP1 0000009b: PUSH2 0x0677 0000009e: JUMP 0000009f: JUMPDEST 000000a0: PUSH1 0x40 000000a2: MLOAD 000000a3: DUP1 000000a4: SWAP2 000000a5: SUB 000000a6: SWAP1 000000a7: RETURN 000000a8: JUMPDEST 000000a9: CALLVALUE 000000aa: DUP1 000000ab: ISZERO 000000ac: PUSH2 0x00b4 000000af: JUMPI 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: POP 000000b6: PUSH2 0x00cf 000000b9: PUSH1 0x04 000000bb: DUP1 000000bc: CALLDATASIZE 000000bd: SUB 000000be: DUP2 000000bf: ADD 000000c0: SWAP1 000000c1: PUSH2 0x00ca 000000c4: SWAP2 000000c5: SWAP1 000000c6: PUSH2 0x05f5 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH2 0x041c 000000ce: JUMP 000000cf: JUMPDEST 000000d0: STOP 000000d1: JUMPDEST 000000d2: PUSH2 0x00d9 000000d5: PUSH2 0x0514 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ef: AND 000000f0: PUSH2 0x00f7 000000f3: PUSH2 0x03f3 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010d: AND 0000010e: EQ 0000010f: PUSH2 0x014d 00000112: JUMPI 00000113: PUSH1 0x40 00000115: MLOAD 00000116: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000137: DUP2 00000138: MSTORE 00000139: PUSH1 0x04 0000013b: ADD 0000013c: PUSH2 0x0144 0000013f: SWAP1 00000140: PUSH2 0x06b2 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x40 00000147: MLOAD 00000148: DUP1 00000149: SWAP2 0000014a: SUB 0000014b: SWAP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: PUSH1 0x00 00000150: PUSH1 0x40 00000152: MLOAD 00000153: DUP1 00000154: PUSH1 0x60 00000156: ADD 00000157: PUSH1 0x40 00000159: MSTORE 0000015a: DUP1 0000015b: PUSH20 0x1f9fa3f21f92b5579c4e4d7232d9e412b0e89399 00000170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000185: AND 00000186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019b: AND 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: PUSH20 0xa81cfeda5fb92fdda1c2bb5bbd47b149a11bd927 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: AND 000001cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e1: AND 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: PUSH20 0x7fdbb61440985e094f2d2bfcc86b2aae976e96d0 000001fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000211: AND 00000212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000227: AND 00000228: DUP2 00000229: MSTORE 0000022a: POP 0000022b: SWAP1 0000022c: POP 0000022d: PUSH1 0x00 0000022f: PUSH1 0x40 00000231: MLOAD 00000232: DUP1 00000233: PUSH1 0x60 00000235: ADD 00000236: PUSH1 0x40 00000238: MSTORE 00000239: DUP1 0000023a: PUSH2 0x1fa4 0000023d: PUSH4 0xffffffff 00000242: AND 00000243: PUSH4 0xffffffff 00000248: AND 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: PUSH2 0x0190 00000251: PUSH4 0xffffffff 00000256: AND 00000257: PUSH4 0xffffffff 0000025c: AND 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: PUSH2 0x05dc 00000265: PUSH4 0xffffffff 0000026a: AND 0000026b: PUSH4 0xffffffff 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: POP 00000274: SWAP1 00000275: POP 00000276: PUSH1 0x00 00000278: SELFBALANCE 00000279: SWAP1 0000027a: POP 0000027b: PUSH1 0x00 0000027d: JUMPDEST 0000027e: PUSH1 0x03 00000280: DUP2 00000281: PUSH4 0xffffffff 00000286: AND 00000287: LT 00000288: ISZERO 00000289: PUSH2 0x0365 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: PUSH1 0x01 00000291: PUSH1 0x03 00000293: PUSH2 0x029c 00000296: SWAP2 00000297: SWAP1 00000298: PUSH2 0x076e 0000029b: JUMP 0000029c: JUMPDEST 0000029d: DUP3 0000029e: PUSH4 0xffffffff 000002a3: AND 000002a4: EQ 000002a5: PUSH2 0x02e9 000002a8: JUMPI 000002a9: PUSH2 0x2710 000002ac: DUP5 000002ad: DUP4 000002ae: PUSH4 0xffffffff 000002b3: AND 000002b4: PUSH1 0x03 000002b6: DUP2 000002b7: LT 000002b8: PUSH2 0x02c4 000002bb: JUMPI 000002bc: PUSH2 0x02c3 000002bf: PUSH2 0x0879 000002c2: JUMP 000002c3: JUMPDEST 000002c4: JUMPDEST 000002c5: PUSH1 0x20 000002c7: MUL 000002c8: ADD 000002c9: MLOAD 000002ca: PUSH4 0xffffffff 000002cf: AND 000002d0: DUP5 000002d1: PUSH2 0x02da 000002d4: SWAP2 000002d5: SWAP1 000002d6: PUSH2 0x0714 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x02e4 000002de: SWAP2 000002df: SWAP1 000002e0: PUSH2 0x06e3 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH2 0x02eb 000002e8: JUMP 000002e9: JUMPDEST 000002ea: SELFBALANCE 000002eb: JUMPDEST 000002ec: SWAP1 000002ed: POP 000002ee: DUP5 000002ef: DUP3 000002f0: PUSH4 0xffffffff 000002f5: AND 000002f6: PUSH1 0x03 000002f8: DUP2 000002f9: LT 000002fa: PUSH2 0x0306 000002fd: JUMPI 000002fe: PUSH2 0x0305 00000301: PUSH2 0x0879 00000304: JUMP 00000305: JUMPDEST 00000306: JUMPDEST 00000307: PUSH1 0x20 00000309: MUL 0000030a: ADD 0000030b: MLOAD 0000030c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000321: AND 00000322: PUSH2 0x08fc 00000325: DUP3 00000326: SWAP1 00000327: DUP2 00000328: ISZERO 00000329: MUL 0000032a: SWAP1 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: PUSH1 0x00 00000330: PUSH1 0x40 00000332: MLOAD 00000333: DUP1 00000334: DUP4 00000335: SUB 00000336: DUP2 00000337: DUP6 00000338: DUP9 00000339: DUP9 0000033a: CALL 0000033b: SWAP4 0000033c: POP 0000033d: POP 0000033e: POP 0000033f: POP 00000340: ISZERO 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x0350 00000346: JUMPI 00000347: RETURNDATASIZE 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: RETURNDATACOPY 0000034c: RETURNDATASIZE 0000034d: PUSH1 0x00 0000034f: REVERT 00000350: JUMPDEST 00000351: POP 00000352: POP 00000353: DUP1 00000354: DUP1 00000355: PUSH2 0x035d 00000358: SWAP1 00000359: PUSH2 0x07ee 0000035c: JUMP 0000035d: JUMPDEST 0000035e: SWAP2 0000035f: POP 00000360: POP 00000361: PUSH2 0x027d 00000364: JUMP 00000365: JUMPDEST 00000366: POP 00000367: POP 00000368: POP 00000369: POP 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH2 0x0373 0000036f: PUSH2 0x0514 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000389: AND 0000038a: PUSH2 0x0391 0000038d: PUSH2 0x03f3 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a7: AND 000003a8: EQ 000003a9: PUSH2 0x03e7 000003ac: JUMPI 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x04 000003d5: ADD 000003d6: PUSH2 0x03de 000003d9: SWAP1 000003da: PUSH2 0x06b2 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: DUP1 000003e3: SWAP2 000003e4: SUB 000003e5: SWAP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: PUSH2 0x03f1 000003eb: PUSH1 0x00 000003ed: PUSH2 0x051c 000003f0: JUMP 000003f1: JUMPDEST 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: PUSH1 0x00 000003f9: SWAP1 000003fa: SLOAD 000003fb: SWAP1 000003fc: PUSH2 0x0100 000003ff: EXP 00000400: SWAP1 00000401: DIV 00000402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000417: AND 00000418: SWAP1 00000419: POP 0000041a: SWAP1 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0424 00000420: PUSH2 0x0514 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043a: AND 0000043b: PUSH2 0x0442 0000043e: PUSH2 0x03f3 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000458: AND 00000459: EQ 0000045a: PUSH2 0x0498 0000045d: JUMPI 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000482: DUP2 00000483: MSTORE 00000484: PUSH1 0x04 00000486: ADD 00000487: PUSH2 0x048f 0000048a: SWAP1 0000048b: PUSH2 0x06b2 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x40 00000492: MLOAD 00000493: DUP1 00000494: SWAP2 00000495: SUB 00000496: SWAP1 00000497: REVERT 00000498: JUMPDEST 00000499: PUSH1 0x00 0000049b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b0: AND 000004b1: DUP2 000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c7: AND 000004c8: EQ 000004c9: ISZERO 000004ca: PUSH2 0x0508 000004cd: JUMPI 000004ce: PUSH1 0x40 000004d0: MLOAD 000004d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x04 000004f6: ADD 000004f7: PUSH2 0x04ff 000004fa: SWAP1 000004fb: PUSH2 0x0692 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x40 00000502: MLOAD 00000503: DUP1 00000504: SWAP2 00000505: SUB 00000506: SWAP1 00000507: REVERT 00000508: JUMPDEST 00000509: PUSH2 0x0511 0000050c: DUP2 0000050d: PUSH2 0x051c 00000510: JUMP 00000511: JUMPDEST 00000512: POP 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x00 00000517: CALLER 00000518: SWAP1 00000519: POP 0000051a: SWAP1 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: PUSH1 0x00 00000522: SWAP1 00000523: SLOAD 00000524: SWAP1 00000525: PUSH2 0x0100 00000528: EXP 00000529: SWAP1 0000052a: DIV 0000052b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000540: AND 00000541: SWAP1 00000542: POP 00000543: DUP2 00000544: PUSH1 0x00 00000546: DUP1 00000547: PUSH2 0x0100 0000054a: EXP 0000054b: DUP2 0000054c: SLOAD 0000054d: DUP2 0000054e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000563: MUL 00000564: NOT 00000565: AND 00000566: SWAP1 00000567: DUP4 00000568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057d: AND 0000057e: MUL 0000057f: OR 00000580: SWAP1 00000581: SSTORE 00000582: POP 00000583: DUP2 00000584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000599: AND 0000059a: DUP2 0000059b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b0: AND 000005b1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005d2: PUSH1 0x40 000005d4: MLOAD 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: DUP1 000005d9: SWAP2 000005da: SUB 000005db: SWAP1 000005dc: LOG3 000005dd: POP 000005de: POP 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x00 000005e3: DUP2 000005e4: CALLDATALOAD 000005e5: SWAP1 000005e6: POP 000005e7: PUSH2 0x05ef 000005ea: DUP2 000005eb: PUSH2 0x0925 000005ee: JUMP 000005ef: JUMPDEST 000005f0: SWAP3 000005f1: SWAP2 000005f2: POP 000005f3: POP 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: PUSH1 0x20 000005fa: DUP3 000005fb: DUP5 000005fc: SUB 000005fd: SLT 000005fe: ISZERO 000005ff: PUSH2 0x060b 00000602: JUMPI 00000603: PUSH2 0x060a 00000606: PUSH2 0x08a8 00000609: JUMP 0000060a: JUMPDEST 0000060b: JUMPDEST 0000060c: PUSH1 0x00 0000060e: PUSH2 0x0619 00000611: DUP5 00000612: DUP3 00000613: DUP6 00000614: ADD 00000615: PUSH2 0x05e0 00000618: JUMP 00000619: JUMPDEST 0000061a: SWAP2 0000061b: POP 0000061c: POP 0000061d: SWAP3 0000061e: SWAP2 0000061f: POP 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x062b 00000626: DUP2 00000627: PUSH2 0x07a2 0000062a: JUMP 0000062b: JUMPDEST 0000062c: DUP3 0000062d: MSTORE 0000062e: POP 0000062f: POP 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x00 00000634: PUSH2 0x063e 00000637: PUSH1 0x26 00000639: DUP4 0000063a: PUSH2 0x06d2 0000063d: JUMP 0000063e: JUMPDEST 0000063f: SWAP2 00000640: POP 00000641: PUSH2 0x0649 00000644: DUP3 00000645: PUSH2 0x08ad 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH1 0x40 0000064c: DUP3 0000064d: ADD 0000064e: SWAP1 0000064f: POP 00000650: SWAP2 00000651: SWAP1 00000652: POP 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x00 00000657: PUSH2 0x0661 0000065a: PUSH1 0x20 0000065c: DUP4 0000065d: PUSH2 0x06d2 00000660: JUMP 00000661: JUMPDEST 00000662: SWAP2 00000663: POP 00000664: PUSH2 0x066c 00000667: DUP3 00000668: PUSH2 0x08fc 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x20 0000066f: DUP3 00000670: ADD 00000671: SWAP1 00000672: POP 00000673: SWAP2 00000674: SWAP1 00000675: POP 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x00 0000067a: PUSH1 0x20 0000067c: DUP3 0000067d: ADD 0000067e: SWAP1 0000067f: POP 00000680: PUSH2 0x068c 00000683: PUSH1 0x00 00000685: DUP4 00000686: ADD 00000687: DUP5 00000688: PUSH2 0x0622 0000068b: JUMP 0000068c: JUMPDEST 0000068d: SWAP3 0000068e: SWAP2 0000068f: POP 00000690: POP 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH1 0x00 00000695: PUSH1 0x20 00000697: DUP3 00000698: ADD 00000699: SWAP1 0000069a: POP 0000069b: DUP2 0000069c: DUP2 0000069d: SUB 0000069e: PUSH1 0x00 000006a0: DUP4 000006a1: ADD 000006a2: MSTORE 000006a3: PUSH2 0x06ab 000006a6: DUP2 000006a7: PUSH2 0x0631 000006aa: JUMP 000006ab: JUMPDEST 000006ac: SWAP1 000006ad: POP 000006ae: SWAP2 000006af: SWAP1 000006b0: POP 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH1 0x00 000006b5: PUSH1 0x20 000006b7: DUP3 000006b8: ADD 000006b9: SWAP1 000006ba: POP 000006bb: DUP2 000006bc: DUP2 000006bd: SUB 000006be: PUSH1 0x00 000006c0: DUP4 000006c1: ADD 000006c2: MSTORE 000006c3: PUSH2 0x06cb 000006c6: DUP2 000006c7: PUSH2 0x0654 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP1 000006cd: POP 000006ce: SWAP2 000006cf: SWAP1 000006d0: POP 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x00 000006d5: DUP3 000006d6: DUP3 000006d7: MSTORE 000006d8: PUSH1 0x20 000006da: DUP3 000006db: ADD 000006dc: SWAP1 000006dd: POP 000006de: SWAP3 000006df: SWAP2 000006e0: POP 000006e1: POP 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x00 000006e6: PUSH2 0x06ee 000006e9: DUP3 000006ea: PUSH2 0x07d4 000006ed: JUMP 000006ee: JUMPDEST 000006ef: SWAP2 000006f0: POP 000006f1: PUSH2 0x06f9 000006f4: DUP4 000006f5: PUSH2 0x07d4 000006f8: JUMP 000006f9: JUMPDEST 000006fa: SWAP3 000006fb: POP 000006fc: DUP3 000006fd: PUSH2 0x0709 00000700: JUMPI 00000701: PUSH2 0x0708 00000704: PUSH2 0x084a 00000707: JUMP 00000708: JUMPDEST 00000709: JUMPDEST 0000070a: DUP3 0000070b: DUP3 0000070c: DIV 0000070d: SWAP1 0000070e: POP 0000070f: SWAP3 00000710: SWAP2 00000711: POP 00000712: POP 00000713: JUMP 00000714: JUMPDEST 00000715: PUSH1 0x00 00000717: PUSH2 0x071f 0000071a: DUP3 0000071b: PUSH2 0x07d4 0000071e: JUMP 0000071f: JUMPDEST 00000720: SWAP2 00000721: POP 00000722: PUSH2 0x072a 00000725: DUP4 00000726: PUSH2 0x07d4 00000729: JUMP 0000072a: JUMPDEST 0000072b: SWAP3 0000072c: POP 0000072d: DUP2 0000072e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000074f: DIV 00000750: DUP4 00000751: GT 00000752: DUP3 00000753: ISZERO 00000754: ISZERO 00000755: AND 00000756: ISZERO 00000757: PUSH2 0x0763 0000075a: JUMPI 0000075b: PUSH2 0x0762 0000075e: PUSH2 0x081b 00000761: JUMP 00000762: JUMPDEST 00000763: JUMPDEST 00000764: DUP3 00000765: DUP3 00000766: MUL 00000767: SWAP1 00000768: POP 00000769: SWAP3 0000076a: SWAP2 0000076b: POP 0000076c: POP 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x00 00000771: PUSH2 0x0779 00000774: DUP3 00000775: PUSH2 0x07d4 00000778: JUMP 00000779: JUMPDEST 0000077a: SWAP2 0000077b: POP 0000077c: PUSH2 0x0784 0000077f: DUP4 00000780: PUSH2 0x07d4 00000783: JUMP 00000784: JUMPDEST 00000785: SWAP3 00000786: POP 00000787: DUP3 00000788: DUP3 00000789: LT 0000078a: ISZERO 0000078b: PUSH2 0x0797 0000078e: JUMPI 0000078f: PUSH2 0x0796 00000792: PUSH2 0x081b 00000795: JUMP 00000796: JUMPDEST 00000797: JUMPDEST 00000798: DUP3 00000799: DUP3 0000079a: SUB 0000079b: SWAP1 0000079c: POP 0000079d: SWAP3 0000079e: SWAP2 0000079f: POP 000007a0: POP 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: PUSH2 0x07ad 000007a8: DUP3 000007a9: PUSH2 0x07b4 000007ac: JUMP 000007ad: JUMPDEST 000007ae: SWAP1 000007af: POP 000007b0: SWAP2 000007b1: SWAP1 000007b2: POP 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0x00 000007b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cc: DUP3 000007cd: AND 000007ce: SWAP1 000007cf: POP 000007d0: SWAP2 000007d1: SWAP1 000007d2: POP 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH1 0x00 000007d7: DUP2 000007d8: SWAP1 000007d9: POP 000007da: SWAP2 000007db: SWAP1 000007dc: POP 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x00 000007e1: PUSH4 0xffffffff 000007e6: DUP3 000007e7: AND 000007e8: SWAP1 000007e9: POP 000007ea: SWAP2 000007eb: SWAP1 000007ec: POP 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH1 0x00 000007f1: PUSH2 0x07f9 000007f4: DUP3 000007f5: PUSH2 0x07de 000007f8: JUMP 000007f9: JUMPDEST 000007fa: SWAP2 000007fb: POP 000007fc: PUSH4 0xffffffff 00000801: DUP3 00000802: EQ 00000803: ISZERO 00000804: PUSH2 0x0810 00000807: JUMPI 00000808: PUSH2 0x080f 0000080b: PUSH2 0x081b 0000080e: JUMP 0000080f: JUMPDEST 00000810: JUMPDEST 00000811: PUSH1 0x01 00000813: DUP3 00000814: ADD 00000815: SWAP1 00000816: POP 00000817: SWAP2 00000818: SWAP1 00000819: POP 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000083d: PUSH1 0x00 0000083f: MSTORE 00000840: PUSH1 0x11 00000842: PUSH1 0x04 00000844: MSTORE 00000845: PUSH1 0x24 00000847: PUSH1 0x00 00000849: REVERT 0000084a: JUMPDEST 0000084b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000086c: PUSH1 0x00 0000086e: MSTORE 0000086f: PUSH1 0x12 00000871: PUSH1 0x04 00000873: MSTORE 00000874: PUSH1 0x24 00000876: PUSH1 0x00 00000878: REVERT 00000879: JUMPDEST 0000087a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000089b: PUSH1 0x00 0000089d: MSTORE 0000089e: PUSH1 0x32 000008a0: PUSH1 0x04 000008a2: MSTORE 000008a3: PUSH1 0x24 000008a5: PUSH1 0x00 000008a7: REVERT 000008a8: JUMPDEST 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000008cf: PUSH1 0x00 000008d1: DUP3 000008d2: ADD 000008d3: MSTORE 000008d4: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000008f5: PUSH1 0x20 000008f7: DUP3 000008f8: ADD 000008f9: MSTORE 000008fa: POP 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000091e: PUSH1 0x00 00000920: DUP3 00000921: ADD 00000922: MSTORE 00000923: POP 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH2 0x092e 00000929: DUP2 0000092a: PUSH2 0x07a2 0000092d: JUMP 0000092e: JUMPDEST 0000092f: DUP2 00000930: EQ 00000931: PUSH2 0x0939 00000934: JUMPI 00000935: PUSH1 0x00 00000937: DUP1 00000938: REVERT 00000939: JUMPDEST 0000093a: POP 0000093b: JUMP 0000093c: INVALID 0000093d: LOG2 0000093e: PUSH5 0x6970667358 00000944: UNKNOWN(0x22) 00000945: SLT 00000946: KECCAK256 00000947: UNKNOWN(0xED) 00000948: SMOD 00000949: CALLDATASIZE 0000094a: UNKNOWN(0xD9) 0000094b: PUSH12 0x7c2d95d04f26bd0d7ebaf508 00000958: UNKNOWN(0xB6) 00000959: SWAP11 0000095a: UNKNOWN(0xD7) 0000095b: NOT 0000095c: SWAP15 0000095d: SWAP4 0000095e: SWAP6 0000095f: DIV 00000960: UNKNOWN(0x4C) 00000961: RETURN 00000962: UNKNOWN(0xD0) 00000963: UNKNOWN(0xCF) 00000964: UNKNOWN(0xB6) 00000965: UNKNOWN(0x23) 00000966: UNKNOWN(0xCD) 00000967: PUSH5 0x736f6c6343 0000096d: STOP 0000096e: ADDMOD 0000096f: SMOD 00000970: STOP 00000971: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0fdd6f0528b1ce2a5d94c4e246fd364d7d1e98643a56f19d3c72e223f85608ef
call_targets:
0xc037dc2199f8383684eada2c3b80f23855be39a1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0fdd6f0528b1ce2a5d94c4e246fd364d7d1e98643a56f19d3c72e223f85608ef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc037dc2199f8383684eada2c3b80f23855be39a1"
],
"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": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 826,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0fdd6f0528b1ce2a5d94c4e246fd364d7d1e98643a56f19d3c72e223f85608ef
call_targets:
0xc037dc2199f8383684eada2c3b80f23855be39a1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0fdd6f0528b1ce2a5d94c4e246fd364d7d1e98643a56f19d3c72e223f85608ef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc037dc2199f8383684eada2c3b80f23855be39a1"
],
"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": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 826,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|