019b477e-d2ce-7376-b4bc-c308800b7e1c
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 |
|---|---|---|---|---|
| 28023 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28024 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102988 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102989 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102990 | detector.run | complete | 1 / 3 | 1 week ago |
| 102991 | validation.fork | complete | 1 / 3 | 1 week 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xb61d27f6 00000019: GT 0000001a: PUSH2 0x0063 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe30c3978 00000024: GT 00000025: PUSH2 0x004b 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe30c3978 0000002f: EQ 00000030: PUSH2 0x0214 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf23a6e61 0000003a: EQ 0000003b: PUSH2 0x0241 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0287 00000049: JUMPI 0000004a: STOP 0000004b: JUMPDEST 0000004c: DUP1 0000004d: PUSH4 0xb61d27f6 00000052: EQ 00000053: PUSH2 0x01ac 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xbc197c81 0000005d: EQ 0000005e: PUSH2 0x01cc 00000061: JUMPI 00000062: STOP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x01ffc9a7 0000006a: EQ 0000006b: PUSH2 0x009a 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x150b7a02 00000075: EQ 00000076: PUSH2 0x00cf 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x79ba5097 00000080: EQ 00000081: PUSH2 0x0145 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x8da5cb5b 0000008b: EQ 0000008c: PUSH2 0x015a 0000008f: JUMPI 00000090: STOP 00000091: JUMPDEST 00000092: CALLDATASIZE 00000093: PUSH2 0x0098 00000096: JUMPI 00000097: STOP 00000098: JUMPDEST 00000099: STOP 0000009a: JUMPDEST 0000009b: CALLVALUE 0000009c: DUP1 0000009d: ISZERO 0000009e: PUSH2 0x00a6 000000a1: JUMPI 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: POP 000000a8: PUSH2 0x00ba 000000ab: PUSH2 0x00b5 000000ae: CALLDATASIZE 000000af: PUSH1 0x04 000000b1: PUSH2 0x0703 000000b4: JUMP 000000b5: JUMPDEST 000000b6: PUSH2 0x02a7 000000b9: JUMP 000000ba: JUMPDEST 000000bb: PUSH1 0x40 000000bd: MLOAD 000000be: SWAP1 000000bf: ISZERO 000000c0: ISZERO 000000c1: DUP2 000000c2: MSTORE 000000c3: PUSH1 0x20 000000c5: ADD 000000c6: JUMPDEST 000000c7: PUSH1 0x40 000000c9: MLOAD 000000ca: DUP1 000000cb: SWAP2 000000cc: SUB 000000cd: SWAP1 000000ce: RETURN 000000cf: JUMPDEST 000000d0: CALLVALUE 000000d1: DUP1 000000d2: ISZERO 000000d3: PUSH2 0x00db 000000d6: JUMPI 000000d7: PUSH1 0x00 000000d9: DUP1 000000da: REVERT 000000db: JUMPDEST 000000dc: POP 000000dd: PUSH2 0x0114 000000e0: PUSH2 0x00ea 000000e3: CALLDATASIZE 000000e4: PUSH1 0x04 000000e6: PUSH2 0x07be 000000e9: JUMP 000000ea: JUMPDEST 000000eb: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 0000010c: SWAP6 0000010d: SWAP5 0000010e: POP 0000010f: POP 00000110: POP 00000111: POP 00000112: POP 00000113: JUMP 00000114: JUMPDEST 00000115: PUSH1 0x40 00000117: MLOAD 00000118: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000139: SWAP1 0000013a: SWAP2 0000013b: AND 0000013c: DUP2 0000013d: MSTORE 0000013e: PUSH1 0x20 00000140: ADD 00000141: PUSH2 0x00c6 00000144: JUMP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x0098 00000156: PUSH2 0x038c 00000159: JUMP 0000015a: JUMPDEST 0000015b: CALLVALUE 0000015c: DUP1 0000015d: ISZERO 0000015e: PUSH2 0x0166 00000161: JUMPI 00000162: PUSH1 0x00 00000164: DUP1 00000165: REVERT 00000166: JUMPDEST 00000167: POP 00000168: PUSH1 0x00 0000016a: SLOAD 0000016b: PUSH2 0x0187 0000016e: SWAP1 0000016f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000184: AND 00000185: DUP2 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a0: SWAP1 000001a1: SWAP2 000001a2: AND 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: PUSH2 0x00c6 000001ab: JUMP 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x00ba 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x085c 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x04cb 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d8 000001d3: JUMPI 000001d4: PUSH1 0x00 000001d6: DUP1 000001d7: REVERT 000001d8: JUMPDEST 000001d9: POP 000001da: PUSH2 0x0114 000001dd: PUSH2 0x01e7 000001e0: CALLDATASIZE 000001e1: PUSH1 0x04 000001e3: PUSH2 0x098a 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000 00000209: SWAP9 0000020a: SWAP8 0000020b: POP 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: POP 00000210: POP 00000211: POP 00000212: POP 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: PUSH1 0x01 00000224: SLOAD 00000225: PUSH2 0x0187 00000228: SWAP1 00000229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023e: AND 0000023f: DUP2 00000240: JUMP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0114 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x0a45 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000 0000027e: SWAP7 0000027f: SWAP6 00000280: POP 00000281: POP 00000282: POP 00000283: POP 00000284: POP 00000285: POP 00000286: JUMP 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x0098 00000298: PUSH2 0x02a2 0000029b: CALLDATASIZE 0000029c: PUSH1 0x04 0000029e: PUSH2 0x0abd 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH2 0x05e6 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x00 000002aa: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000002cb: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000002ec: DUP4 000002ed: AND 000002ee: EQ 000002ef: DUP1 000002f0: PUSH2 0x033a 000002f3: JUMPI 000002f4: POP 000002f5: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00000316: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000337: DUP4 00000338: AND 00000339: EQ 0000033a: JUMPDEST 0000033b: DUP1 0000033c: PUSH2 0x0386 0000033f: JUMPI 00000340: POP 00000341: PUSH32 0x4e2312e000000000000000000000000000000000000000000000000000000000 00000362: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000383: DUP4 00000384: AND 00000385: EQ 00000386: JUMPDEST 00000387: SWAP3 00000388: SWAP2 00000389: POP 0000038a: POP 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x01 0000038f: SLOAD 00000390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a5: AND 000003a6: CALLER 000003a7: EQ 000003a8: PUSH2 0x0438 000003ab: JUMPI 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x20 000003d4: PUSH1 0x04 000003d6: DUP3 000003d7: ADD 000003d8: MSTORE 000003d9: PUSH1 0x29 000003db: PUSH1 0x24 000003dd: DUP3 000003de: ADD 000003df: MSTORE 000003e0: PUSH32 0x4f776e61626c6532537465703a2063616c6c6572206973206e6f742074686520 00000401: PUSH1 0x44 00000403: DUP3 00000404: ADD 00000405: MSTORE 00000406: PUSH32 0x6e6577206f776e65720000000000000000000000000000000000000000000000 00000427: PUSH1 0x64 00000429: DUP3 0000042a: ADD 0000042b: MSTORE 0000042c: PUSH1 0x84 0000042e: ADD 0000042f: JUMPDEST 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: SWAP2 00000435: SUB 00000436: SWAP1 00000437: REVERT 00000438: JUMPDEST 00000439: PUSH1 0x01 0000043b: SLOAD 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: SLOAD 00000440: PUSH1 0x40 00000442: MLOAD 00000443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000458: SWAP4 00000459: DUP5 0000045a: AND 0000045b: SWAP4 0000045c: SWAP1 0000045d: SWAP2 0000045e: AND 0000045f: SWAP2 00000460: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000481: SWAP2 00000482: LOG3 00000483: PUSH1 0x01 00000485: SLOAD 00000486: PUSH1 0x00 00000488: DUP1 00000489: SLOAD 0000048a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000004ab: AND 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: SWAP1 000004c2: SWAP3 000004c3: AND 000004c4: SWAP2 000004c5: SWAP1 000004c6: SWAP2 000004c7: OR 000004c8: SWAP1 000004c9: SSTORE 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: SLOAD 000004d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e5: AND 000004e6: CALLER 000004e7: EQ 000004e8: PUSH2 0x0573 000004eb: JUMPI 000004ec: PUSH1 0x40 000004ee: MLOAD 000004ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000510: DUP2 00000511: MSTORE 00000512: PUSH1 0x20 00000514: PUSH1 0x04 00000516: DUP3 00000517: ADD 00000518: MSTORE 00000519: PUSH1 0x25 0000051b: PUSH1 0x24 0000051d: DUP3 0000051e: ADD 0000051f: MSTORE 00000520: PUSH32 0x4f776e61626c6532537465703a2063616c6c6572206973206e6f742074686520 00000541: PUSH1 0x44 00000543: DUP3 00000544: ADD 00000545: MSTORE 00000546: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 00000567: PUSH1 0x64 00000569: DUP3 0000056a: ADD 0000056b: MSTORE 0000056c: PUSH1 0x84 0000056e: ADD 0000056f: PUSH2 0x042f 00000572: JUMP 00000573: JUMPDEST 00000574: DUP4 00000575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058a: AND 0000058b: DUP4 0000058c: DUP4 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH2 0x0599 00000593: SWAP2 00000594: SWAP1 00000595: PUSH2 0x0ad8 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x00 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: DUP1 000005a0: DUP4 000005a1: SUB 000005a2: DUP2 000005a3: DUP6 000005a4: DUP8 000005a5: GAS 000005a6: CALL 000005a7: SWAP3 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: RETURNDATASIZE 000005ac: DUP1 000005ad: PUSH1 0x00 000005af: DUP2 000005b0: EQ 000005b1: PUSH2 0x05d6 000005b4: JUMPI 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: SWAP2 000005b9: POP 000005ba: PUSH1 0x1f 000005bc: NOT 000005bd: PUSH1 0x3f 000005bf: RETURNDATASIZE 000005c0: ADD 000005c1: AND 000005c2: DUP3 000005c3: ADD 000005c4: PUSH1 0x40 000005c6: MSTORE 000005c7: RETURNDATASIZE 000005c8: DUP3 000005c9: MSTORE 000005ca: RETURNDATASIZE 000005cb: PUSH1 0x00 000005cd: PUSH1 0x20 000005cf: DUP5 000005d0: ADD 000005d1: RETURNDATACOPY 000005d2: PUSH2 0x05db 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x60 000005d9: SWAP2 000005da: POP 000005db: JUMPDEST 000005dc: POP 000005dd: SWAP1 000005de: SWAP6 000005df: SWAP5 000005e0: POP 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: POP 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH1 0x00 000005e9: SLOAD 000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ff: AND 00000600: CALLER 00000601: EQ 00000602: PUSH2 0x068d 00000605: JUMPI 00000606: PUSH1 0x40 00000608: MLOAD 00000609: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: PUSH1 0x04 00000630: DUP3 00000631: ADD 00000632: MSTORE 00000633: PUSH1 0x25 00000635: PUSH1 0x24 00000637: DUP3 00000638: ADD 00000639: MSTORE 0000063a: PUSH32 0x4f776e61626c6532537465703a2063616c6c6572206973206e6f742074686520 0000065b: PUSH1 0x44 0000065d: DUP3 0000065e: ADD 0000065f: MSTORE 00000660: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 00000681: PUSH1 0x64 00000683: DUP3 00000684: ADD 00000685: MSTORE 00000686: PUSH1 0x84 00000688: ADD 00000689: PUSH2 0x042f 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x01 00000690: DUP1 00000691: SLOAD 00000692: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000006b3: AND 000006b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c9: DUP4 000006ca: DUP2 000006cb: AND 000006cc: SWAP2 000006cd: DUP3 000006ce: OR 000006cf: SWAP1 000006d0: SWAP3 000006d1: SSTORE 000006d2: PUSH1 0x00 000006d4: DUP1 000006d5: SLOAD 000006d6: PUSH1 0x40 000006d8: MLOAD 000006d9: SWAP3 000006da: SWAP4 000006db: AND 000006dc: SWAP2 000006dd: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700 000006fe: SWAP2 000006ff: SWAP1 00000700: LOG3 00000701: POP 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH1 0x00 00000706: PUSH1 0x20 00000708: DUP3 00000709: DUP5 0000070a: SUB 0000070b: SLT 0000070c: ISZERO 0000070d: PUSH2 0x0715 00000710: JUMPI 00000711: PUSH1 0x00 00000713: DUP1 00000714: REVERT 00000715: JUMPDEST 00000716: DUP2 00000717: CALLDATALOAD 00000718: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000739: DUP2 0000073a: AND 0000073b: DUP2 0000073c: EQ 0000073d: PUSH2 0x0745 00000740: JUMPI 00000741: PUSH1 0x00 00000743: DUP1 00000744: REVERT 00000745: JUMPDEST 00000746: SWAP4 00000747: SWAP3 00000748: POP 00000749: POP 0000074a: POP 0000074b: JUMP 0000074c: JUMPDEST 0000074d: DUP1 0000074e: CALLDATALOAD 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: DUP2 00000765: AND 00000766: DUP2 00000767: EQ 00000768: PUSH2 0x0770 0000076b: JUMPI 0000076c: PUSH1 0x00 0000076e: DUP1 0000076f: REVERT 00000770: JUMPDEST 00000771: SWAP2 00000772: SWAP1 00000773: POP 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x00 00000778: DUP1 00000779: DUP4 0000077a: PUSH1 0x1f 0000077c: DUP5 0000077d: ADD 0000077e: SLT 0000077f: PUSH2 0x0787 00000782: JUMPI 00000783: PUSH1 0x00 00000785: DUP1 00000786: REVERT 00000787: JUMPDEST 00000788: POP 00000789: DUP2 0000078a: CALLDATALOAD 0000078b: PUSH8 0xffffffffffffffff 00000794: DUP2 00000795: GT 00000796: ISZERO 00000797: PUSH2 0x079f 0000079a: JUMPI 0000079b: PUSH1 0x00 0000079d: DUP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: PUSH1 0x20 000007a2: DUP4 000007a3: ADD 000007a4: SWAP2 000007a5: POP 000007a6: DUP4 000007a7: PUSH1 0x20 000007a9: DUP3 000007aa: DUP6 000007ab: ADD 000007ac: ADD 000007ad: GT 000007ae: ISZERO 000007af: PUSH2 0x07b7 000007b2: JUMPI 000007b3: PUSH1 0x00 000007b5: DUP1 000007b6: REVERT 000007b7: JUMPDEST 000007b8: SWAP3 000007b9: POP 000007ba: SWAP3 000007bb: SWAP1 000007bc: POP 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: PUSH1 0x00 000007c4: DUP1 000007c5: PUSH1 0x00 000007c7: PUSH1 0x80 000007c9: DUP7 000007ca: DUP9 000007cb: SUB 000007cc: SLT 000007cd: ISZERO 000007ce: PUSH2 0x07d6 000007d1: JUMPI 000007d2: PUSH1 0x00 000007d4: DUP1 000007d5: REVERT 000007d6: JUMPDEST 000007d7: PUSH2 0x07df 000007da: DUP7 000007db: PUSH2 0x074c 000007de: JUMP 000007df: JUMPDEST 000007e0: SWAP5 000007e1: POP 000007e2: PUSH2 0x07ed 000007e5: PUSH1 0x20 000007e7: DUP8 000007e8: ADD 000007e9: PUSH2 0x074c 000007ec: JUMP 000007ed: JUMPDEST 000007ee: SWAP4 000007ef: POP 000007f0: PUSH1 0x40 000007f2: DUP7 000007f3: ADD 000007f4: CALLDATALOAD 000007f5: SWAP3 000007f6: POP 000007f7: PUSH1 0x60 000007f9: DUP7 000007fa: ADD 000007fb: CALLDATALOAD 000007fc: PUSH8 0xffffffffffffffff 00000805: DUP2 00000806: GT 00000807: ISZERO 00000808: PUSH2 0x0810 0000080b: JUMPI 0000080c: PUSH1 0x00 0000080e: DUP1 0000080f: REVERT 00000810: JUMPDEST 00000811: PUSH2 0x081c 00000814: DUP9 00000815: DUP3 00000816: DUP10 00000817: ADD 00000818: PUSH2 0x0775 0000081b: JUMP 0000081c: JUMPDEST 0000081d: SWAP7 0000081e: SWAP10 0000081f: SWAP6 00000820: SWAP9 00000821: POP 00000822: SWAP4 00000823: SWAP7 00000824: POP 00000825: SWAP3 00000826: SWAP5 00000827: SWAP4 00000828: SWAP3 00000829: POP 0000082a: POP 0000082b: POP 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000084f: PUSH1 0x00 00000851: MSTORE 00000852: PUSH1 0x41 00000854: PUSH1 0x04 00000856: MSTORE 00000857: PUSH1 0x24 00000859: PUSH1 0x00 0000085b: REVERT 0000085c: JUMPDEST 0000085d: PUSH1 0x00 0000085f: DUP1 00000860: PUSH1 0x00 00000862: PUSH1 0x60 00000864: DUP5 00000865: DUP7 00000866: SUB 00000867: SLT 00000868: ISZERO 00000869: PUSH2 0x0871 0000086c: JUMPI 0000086d: PUSH1 0x00 0000086f: DUP1 00000870: REVERT 00000871: JUMPDEST 00000872: PUSH2 0x087a 00000875: DUP5 00000876: PUSH2 0x074c 00000879: JUMP 0000087a: JUMPDEST 0000087b: SWAP3 0000087c: POP 0000087d: PUSH1 0x20 0000087f: DUP5 00000880: ADD 00000881: CALLDATALOAD 00000882: SWAP2 00000883: POP 00000884: PUSH1 0x40 00000886: DUP5 00000887: ADD 00000888: CALLDATALOAD 00000889: PUSH8 0xffffffffffffffff 00000892: DUP1 00000893: DUP3 00000894: GT 00000895: ISZERO 00000896: PUSH2 0x089e 00000899: JUMPI 0000089a: PUSH1 0x00 0000089c: DUP1 0000089d: REVERT 0000089e: JUMPDEST 0000089f: DUP2 000008a0: DUP7 000008a1: ADD 000008a2: SWAP2 000008a3: POP 000008a4: DUP7 000008a5: PUSH1 0x1f 000008a7: DUP4 000008a8: ADD 000008a9: SLT 000008aa: PUSH2 0x08b2 000008ad: JUMPI 000008ae: PUSH1 0x00 000008b0: DUP1 000008b1: REVERT 000008b2: JUMPDEST 000008b3: DUP2 000008b4: CALLDATALOAD 000008b5: DUP2 000008b6: DUP2 000008b7: GT 000008b8: ISZERO 000008b9: PUSH2 0x08c4 000008bc: JUMPI 000008bd: PUSH2 0x08c4 000008c0: PUSH2 0x082d 000008c3: JUMP 000008c4: JUMPDEST 000008c5: PUSH1 0x40 000008c7: MLOAD 000008c8: PUSH1 0x1f 000008ca: DUP3 000008cb: ADD 000008cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000008ed: SWAP1 000008ee: DUP2 000008ef: AND 000008f0: PUSH1 0x3f 000008f2: ADD 000008f3: AND 000008f4: DUP2 000008f5: ADD 000008f6: SWAP1 000008f7: DUP4 000008f8: DUP3 000008f9: GT 000008fa: DUP2 000008fb: DUP4 000008fc: LT 000008fd: OR 000008fe: ISZERO 000008ff: PUSH2 0x090a 00000902: JUMPI 00000903: PUSH2 0x090a 00000906: PUSH2 0x082d 00000909: JUMP 0000090a: JUMPDEST 0000090b: DUP2 0000090c: PUSH1 0x40 0000090e: MSTORE 0000090f: DUP3 00000910: DUP2 00000911: MSTORE 00000912: DUP10 00000913: PUSH1 0x20 00000915: DUP5 00000916: DUP8 00000917: ADD 00000918: ADD 00000919: GT 0000091a: ISZERO 0000091b: PUSH2 0x0923 0000091e: JUMPI 0000091f: PUSH1 0x00 00000921: DUP1 00000922: REVERT 00000923: JUMPDEST 00000924: DUP3 00000925: PUSH1 0x20 00000927: DUP7 00000928: ADD 00000929: PUSH1 0x20 0000092b: DUP4 0000092c: ADD 0000092d: CALLDATACOPY 0000092e: PUSH1 0x00 00000930: PUSH1 0x20 00000932: DUP5 00000933: DUP4 00000934: ADD 00000935: ADD 00000936: MSTORE 00000937: DUP1 00000938: SWAP6 00000939: POP 0000093a: POP 0000093b: POP 0000093c: POP 0000093d: POP 0000093e: POP 0000093f: SWAP3 00000940: POP 00000941: SWAP3 00000942: POP 00000943: SWAP3 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x00 00000948: DUP1 00000949: DUP4 0000094a: PUSH1 0x1f 0000094c: DUP5 0000094d: ADD 0000094e: SLT 0000094f: PUSH2 0x0957 00000952: JUMPI 00000953: PUSH1 0x00 00000955: DUP1 00000956: REVERT 00000957: JUMPDEST 00000958: POP 00000959: DUP2 0000095a: CALLDATALOAD 0000095b: PUSH8 0xffffffffffffffff 00000964: DUP2 00000965: GT 00000966: ISZERO 00000967: PUSH2 0x096f 0000096a: JUMPI 0000096b: PUSH1 0x00 0000096d: DUP1 0000096e: REVERT 0000096f: JUMPDEST 00000970: PUSH1 0x20 00000972: DUP4 00000973: ADD 00000974: SWAP2 00000975: POP 00000976: DUP4 00000977: PUSH1 0x20 00000979: DUP3 0000097a: PUSH1 0x05 0000097c: SHL 0000097d: DUP6 0000097e: ADD 0000097f: ADD 00000980: GT 00000981: ISZERO 00000982: PUSH2 0x07b7 00000985: JUMPI 00000986: PUSH1 0x00 00000988: DUP1 00000989: REVERT 0000098a: JUMPDEST 0000098b: PUSH1 0x00 0000098d: DUP1 0000098e: PUSH1 0x00 00000990: DUP1 00000991: PUSH1 0x00 00000993: DUP1 00000994: PUSH1 0x00 00000996: DUP1 00000997: PUSH1 0xa0 00000999: DUP10 0000099a: DUP12 0000099b: SUB 0000099c: SLT 0000099d: ISZERO 0000099e: PUSH2 0x09a6 000009a1: JUMPI 000009a2: PUSH1 0x00 000009a4: DUP1 000009a5: REVERT 000009a6: JUMPDEST 000009a7: PUSH2 0x09af 000009aa: DUP10 000009ab: PUSH2 0x074c 000009ae: JUMP 000009af: JUMPDEST 000009b0: SWAP8 000009b1: POP 000009b2: PUSH2 0x09bd 000009b5: PUSH1 0x20 000009b7: DUP11 000009b8: ADD 000009b9: PUSH2 0x074c 000009bc: JUMP 000009bd: JUMPDEST 000009be: SWAP7 000009bf: POP 000009c0: PUSH1 0x40 000009c2: DUP10 000009c3: ADD 000009c4: CALLDATALOAD 000009c5: PUSH8 0xffffffffffffffff 000009ce: DUP1 000009cf: DUP3 000009d0: GT 000009d1: ISZERO 000009d2: PUSH2 0x09da 000009d5: JUMPI 000009d6: PUSH1 0x00 000009d8: DUP1 000009d9: REVERT 000009da: JUMPDEST 000009db: PUSH2 0x09e6 000009de: DUP13 000009df: DUP4 000009e0: DUP14 000009e1: ADD 000009e2: PUSH2 0x0945 000009e5: JUMP 000009e6: JUMPDEST 000009e7: SWAP1 000009e8: SWAP9 000009e9: POP 000009ea: SWAP7 000009eb: POP 000009ec: PUSH1 0x60 000009ee: DUP12 000009ef: ADD 000009f0: CALLDATALOAD 000009f1: SWAP2 000009f2: POP 000009f3: DUP1 000009f4: DUP3 000009f5: GT 000009f6: ISZERO 000009f7: PUSH2 0x09ff 000009fa: JUMPI 000009fb: PUSH1 0x00 000009fd: DUP1 000009fe: REVERT 000009ff: JUMPDEST 00000a00: PUSH2 0x0a0b 00000a03: DUP13 00000a04: DUP4 00000a05: DUP14 00000a06: ADD 00000a07: PUSH2 0x0945 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: SWAP1 00000a0d: SWAP7 00000a0e: POP 00000a0f: SWAP5 00000a10: POP 00000a11: PUSH1 0x80 00000a13: DUP12 00000a14: ADD 00000a15: CALLDATALOAD 00000a16: SWAP2 00000a17: POP 00000a18: DUP1 00000a19: DUP3 00000a1a: GT 00000a1b: ISZERO 00000a1c: PUSH2 0x0a24 00000a1f: JUMPI 00000a20: PUSH1 0x00 00000a22: DUP1 00000a23: REVERT 00000a24: JUMPDEST 00000a25: POP 00000a26: PUSH2 0x0a31 00000a29: DUP12 00000a2a: DUP3 00000a2b: DUP13 00000a2c: ADD 00000a2d: PUSH2 0x0775 00000a30: JUMP 00000a31: JUMPDEST 00000a32: SWAP10 00000a33: SWAP13 00000a34: SWAP9 00000a35: SWAP12 00000a36: POP 00000a37: SWAP7 00000a38: SWAP10 00000a39: POP 00000a3a: SWAP5 00000a3b: SWAP8 00000a3c: SWAP4 00000a3d: SWAP7 00000a3e: SWAP3 00000a3f: SWAP6 00000a40: SWAP5 00000a41: POP 00000a42: POP 00000a43: POP 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH1 0x00 00000a48: DUP1 00000a49: PUSH1 0x00 00000a4b: DUP1 00000a4c: PUSH1 0x00 00000a4e: DUP1 00000a4f: PUSH1 0xa0 00000a51: DUP8 00000a52: DUP10 00000a53: SUB 00000a54: SLT 00000a55: ISZERO 00000a56: PUSH2 0x0a5e 00000a59: JUMPI 00000a5a: PUSH1 0x00 00000a5c: DUP1 00000a5d: REVERT 00000a5e: JUMPDEST 00000a5f: PUSH2 0x0a67 00000a62: DUP8 00000a63: PUSH2 0x074c 00000a66: JUMP 00000a67: JUMPDEST 00000a68: SWAP6 00000a69: POP 00000a6a: PUSH2 0x0a75 00000a6d: PUSH1 0x20 00000a6f: DUP9 00000a70: ADD 00000a71: PUSH2 0x074c 00000a74: JUMP 00000a75: JUMPDEST 00000a76: SWAP5 00000a77: POP 00000a78: PUSH1 0x40 00000a7a: DUP8 00000a7b: ADD 00000a7c: CALLDATALOAD 00000a7d: SWAP4 00000a7e: POP 00000a7f: PUSH1 0x60 00000a81: DUP8 00000a82: ADD 00000a83: CALLDATALOAD 00000a84: SWAP3 00000a85: POP 00000a86: PUSH1 0x80 00000a88: DUP8 00000a89: ADD 00000a8a: CALLDATALOAD 00000a8b: PUSH8 0xffffffffffffffff 00000a94: DUP2 00000a95: GT 00000a96: ISZERO 00000a97: PUSH2 0x0a9f 00000a9a: JUMPI 00000a9b: PUSH1 0x00 00000a9d: DUP1 00000a9e: REVERT 00000a9f: JUMPDEST 00000aa0: PUSH2 0x0aab 00000aa3: DUP10 00000aa4: DUP3 00000aa5: DUP11 00000aa6: ADD 00000aa7: PUSH2 0x0775 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: SWAP8 00000aad: SWAP11 00000aae: SWAP7 00000aaf: SWAP10 00000ab0: POP 00000ab1: SWAP5 00000ab2: SWAP8 00000ab3: POP 00000ab4: SWAP3 00000ab5: SWAP6 00000ab6: SWAP4 00000ab7: SWAP5 00000ab8: SWAP3 00000ab9: POP 00000aba: POP 00000abb: POP 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x00 00000ac0: PUSH1 0x20 00000ac2: DUP3 00000ac3: DUP5 00000ac4: SUB 00000ac5: SLT 00000ac6: ISZERO 00000ac7: PUSH2 0x0acf 00000aca: JUMPI 00000acb: PUSH1 0x00 00000acd: DUP1 00000ace: REVERT 00000acf: JUMPDEST 00000ad0: PUSH2 0x0745 00000ad3: DUP3 00000ad4: PUSH2 0x074c 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH1 0x00 00000adb: DUP3 00000adc: MLOAD 00000add: PUSH1 0x00 00000adf: JUMPDEST 00000ae0: DUP2 00000ae1: DUP2 00000ae2: LT 00000ae3: ISZERO 00000ae4: PUSH2 0x0af9 00000ae7: JUMPI 00000ae8: PUSH1 0x20 00000aea: DUP2 00000aeb: DUP7 00000aec: ADD 00000aed: DUP2 00000aee: ADD 00000aef: MLOAD 00000af0: DUP6 00000af1: DUP4 00000af2: ADD 00000af3: MSTORE 00000af4: ADD 00000af5: PUSH2 0x0adf 00000af8: JUMP 00000af9: JUMPDEST 00000afa: POP 00000afb: PUSH1 0x00 00000afd: SWAP3 00000afe: ADD 00000aff: SWAP2 00000b00: DUP3 00000b01: MSTORE 00000b02: POP 00000b03: SWAP2 00000b04: SWAP1 00000b05: POP 00000b06: JUMP 00000b07: INVALID 00000b08: LOG1 00000b09: PUSH5 0x736f6c6343 00000b0f: STOP 00000b10: ADDMOD 00000b11: ISZERO 00000b12: STOP 00000b13: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc5ea4ef0d454ca83d32f83ac076ca55fd661f77ae2346fe7b84381a0f76a1c44
call_targets:
0x000000de1e80ea5a234fb5488fee2584251bc7e8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5ea4ef0d454ca83d32f83ac076ca55fd661f77ae2346fe7b84381a0f76a1c44",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000000de1e80ea5a234fb5488fee2584251bc7e8"
],
"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": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb61d27f6",
"selector": "0xb61d27f6",
"calldata_variants": [
"0xb61d27f6",
"0xb61d27f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1446,
"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: 0xc5ea4ef0d454ca83d32f83ac076ca55fd661f77ae2346fe7b84381a0f76a1c44
call_targets:
0x000000de1e80ea5a234fb5488fee2584251bc7e8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5ea4ef0d454ca83d32f83ac076ca55fd661f77ae2346fe7b84381a0f76a1c44",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000000de1e80ea5a234fb5488fee2584251bc7e8"
],
"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": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb61d27f6",
"selector": "0xb61d27f6",
"calldata_variants": [
"0xb61d27f6",
"0xb61d27f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1446,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|