019b477e-b2dc-736f-abdb-1c957eda36d5
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 |
|---|---|---|---|---|
| 22439 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22440 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65602 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65603 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65604 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65605 | 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 0x00a3 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x163ce272 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x02ea 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x18160ddd 00000046: EQ 00000047: PUSH2 0x0311 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x40a1bad6 00000051: EQ 00000052: PUSH2 0x0326 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x42a59155 0000005c: EQ 0000005d: PUSH2 0x0349 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x6f7bc9be 00000067: EQ 00000068: PUSH2 0x036a 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xc0592340 00000072: EQ 00000073: PUSH2 0x03ab 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xc4970cbb 0000007d: EQ 0000007e: PUSH2 0x03d4 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xdbb686cf 00000088: EQ 00000089: PUSH2 0x03e9 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xf3f7d633 00000093: EQ 00000094: PUSH2 0x041a 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf9bb8687 0000009e: EQ 0000009f: PUSH2 0x042f 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: CALLER 000000a5: PUSH1 0x00 000000a7: SWAP1 000000a8: DUP2 000000a9: MSTORE 000000aa: PUSH1 0x20 000000ac: DUP2 000000ad: SWAP1 000000ae: MSTORE 000000af: PUSH1 0x40 000000b1: DUP2 000000b2: KECCAK256 000000b3: SWAP1 000000b4: DUP1 000000b5: DUP1 000000b6: DUP1 000000b7: DUP1 000000b8: CALLVALUE 000000b9: DUP2 000000ba: LT 000000bb: ISZERO 000000bc: PUSH2 0x01c4 000000bf: JUMPI 000000c0: PUSH1 0x02 000000c2: SLOAD 000000c3: PUSH1 0xff 000000c5: AND 000000c6: ISZERO 000000c7: PUSH2 0x00cf 000000ca: JUMPI 000000cb: PUSH1 0x00 000000cd: DUP1 000000ce: REVERT 000000cf: JUMPDEST 000000d0: PUSH1 0x05 000000d2: SLOAD 000000d3: PUSH1 0x01 000000d5: PUSH1 0xa0 000000d7: PUSH1 0x02 000000d9: EXP 000000da: SUB 000000db: AND 000000dc: CALLER 000000dd: EQ 000000de: DUP1 000000df: ISZERO 000000e0: SWAP1 000000e1: PUSH2 0x00f2 000000e4: JUMPI 000000e5: POP 000000e6: PUSH8 0x016345785d8a0000 000000ef: CALLVALUE 000000f0: LT 000000f1: ISZERO 000000f2: JUMPDEST 000000f3: ISZERO 000000f4: PUSH2 0x01bf 000000f7: JUMPI 000000f8: PUSH1 0x06 000000fa: SLOAD 000000fb: PUSH1 0x40 000000fd: DUP1 000000fe: MLOAD 000000ff: PUSH32 0x29dc492800000000000000000000000000000000000000000000000000000000 00000120: DUP2 00000121: MSTORE 00000122: CALLER 00000123: PUSH1 0x04 00000125: DUP3 00000126: ADD 00000127: MSTORE 00000128: SWAP1 00000129: MLOAD 0000012a: PUSH1 0x01 0000012c: PUSH1 0xa0 0000012e: PUSH1 0x02 00000130: EXP 00000131: SUB 00000132: SWAP1 00000133: SWAP3 00000134: AND 00000135: SWAP2 00000136: PUSH4 0x29dc4928 0000013b: SWAP2 0000013c: PUSH1 0x24 0000013e: DUP1 0000013f: DUP3 00000140: ADD 00000141: SWAP3 00000142: PUSH1 0x60 00000144: SWAP3 00000145: SWAP1 00000146: SWAP2 00000147: SWAP1 00000148: DUP3 00000149: SWAP1 0000014a: SUB 0000014b: ADD 0000014c: DUP2 0000014d: PUSH1 0x00 0000014f: DUP8 00000150: DUP1 00000151: EXTCODESIZE 00000152: ISZERO 00000153: DUP1 00000154: ISZERO 00000155: PUSH2 0x015d 00000158: JUMPI 00000159: PUSH1 0x00 0000015b: DUP1 0000015c: REVERT 0000015d: JUMPDEST 0000015e: POP 0000015f: GAS 00000160: CALL 00000161: ISZERO 00000162: DUP1 00000163: ISZERO 00000164: PUSH2 0x0171 00000167: JUMPI 00000168: RETURNDATASIZE 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: RETURNDATACOPY 0000016d: RETURNDATASIZE 0000016e: PUSH1 0x00 00000170: REVERT 00000171: JUMPDEST 00000172: POP 00000173: POP 00000174: POP 00000175: POP 00000176: PUSH1 0x40 00000178: MLOAD 00000179: RETURNDATASIZE 0000017a: PUSH1 0x60 0000017c: DUP2 0000017d: LT 0000017e: ISZERO 0000017f: PUSH2 0x0187 00000182: JUMPI 00000183: PUSH1 0x00 00000185: DUP1 00000186: REVERT 00000187: JUMPDEST 00000188: POP 00000189: DUP1 0000018a: MLOAD 0000018b: PUSH1 0x20 0000018d: DUP3 0000018e: ADD 0000018f: MLOAD 00000190: PUSH1 0x40 00000192: SWAP1 00000193: SWAP3 00000194: ADD 00000195: MLOAD 00000196: PUSH1 0x02 00000198: DUP10 00000199: ADD 0000019a: DUP1 0000019b: SLOAD 0000019c: PUSH1 0xff 0000019e: NOT 0000019f: AND 000001a0: SWAP2 000001a1: ISZERO 000001a2: ISZERO 000001a3: SWAP2 000001a4: SWAP1 000001a5: SWAP2 000001a6: OR 000001a7: SWAP1 000001a8: SSTORE 000001a9: PUSH1 0x01 000001ab: DUP1 000001ac: SLOAD 000001ad: DUP2 000001ae: ADD 000001af: SWAP1 000001b0: SSTORE 000001b1: SWAP6 000001b2: POP 000001b3: SWAP4 000001b4: POP 000001b5: PUSH2 0x01bf 000001b8: CALLER 000001b9: DUP7 000001ba: DUP7 000001bb: PUSH2 0x0456 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x02e2 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: ISZERO 000001c7: ISZERO 000001c8: PUSH2 0x02e2 000001cb: JUMPI 000001cc: PUSH1 0x01 000001ce: DUP7 000001cf: ADD 000001d0: SLOAD 000001d1: DUP7 000001d2: SLOAD 000001d3: PUSH2 0x01e1 000001d6: SWAP2 000001d7: PUSH4 0xffffffff 000001dc: PUSH2 0x05b9 000001df: AND 000001e0: JUMP 000001e1: JUMPDEST 000001e2: PUSH1 0x04 000001e4: SLOAD 000001e5: SWAP1 000001e6: SWAP4 000001e7: POP 000001e8: PUSH2 0x0208 000001eb: SWAP1 000001ec: PUSH2 0x01fc 000001ef: DUP6 000001f0: PUSH1 0x64 000001f2: PUSH4 0xffffffff 000001f7: PUSH2 0x05cd 000001fa: AND 000001fb: JUMP 000001fc: JUMPDEST 000001fd: SWAP1 000001fe: PUSH4 0xffffffff 00000203: PUSH2 0x05f8 00000206: AND 00000207: JUMP 00000208: JUMPDEST 00000209: SWAP2 0000020a: POP 0000020b: PUSH2 0x0230 0000020e: DUP3 0000020f: PUSH2 0x0224 00000212: PUSH1 0x64 00000214: PUSH1 0x03 00000216: SLOAD 00000217: PUSH2 0x05f8 0000021a: SWAP1 0000021b: SWAP2 0000021c: SWAP1 0000021d: PUSH4 0xffffffff 00000222: AND 00000223: JUMP 00000224: JUMPDEST 00000225: SWAP1 00000226: PUSH4 0xffffffff 0000022b: PUSH2 0x05cd 0000022e: AND 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x02 00000233: SLOAD 00000234: SWAP1 00000235: SWAP2 00000236: POP 00000237: PUSH1 0xff 00000239: AND 0000023a: DUP1 0000023b: ISZERO 0000023c: PUSH2 0x0249 0000023f: JUMPI 00000240: POP 00000241: PUSH1 0x02 00000243: DUP7 00000244: ADD 00000245: SLOAD 00000246: PUSH1 0xff 00000248: AND 00000249: JUMPDEST 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0255 0000024f: JUMPI 00000250: POP 00000251: PUSH1 0x00 00000253: DUP4 00000254: GT 00000255: JUMPDEST 00000256: ISZERO 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: PUSH1 0x02 00000263: DUP7 00000264: ADD 00000265: DUP1 00000266: SLOAD 00000267: PUSH1 0xff 00000269: NOT 0000026a: AND 0000026b: SWAP1 0000026c: SSTORE 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: CALLER 00000271: SWAP1 00000272: DUP3 00000273: ISZERO 00000274: PUSH2 0x08fc 00000277: MUL 00000278: SWAP1 00000279: DUP4 0000027a: SWAP1 0000027b: PUSH1 0x00 0000027d: DUP2 0000027e: DUP2 0000027f: DUP2 00000280: DUP6 00000281: DUP9 00000282: DUP9 00000283: CALL 00000284: SWAP4 00000285: POP 00000286: POP 00000287: POP 00000288: POP 00000289: ISZERO 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0299 0000028f: JUMPI 00000290: RETURNDATASIZE 00000291: PUSH1 0x00 00000293: DUP1 00000294: RETURNDATACOPY 00000295: RETURNDATASIZE 00000296: PUSH1 0x00 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH1 0x40 0000029d: DUP1 0000029e: MLOAD 0000029f: CALLER 000002a0: DUP2 000002a1: MSTORE 000002a2: PUSH1 0x20 000002a4: DUP2 000002a5: ADD 000002a6: DUP4 000002a7: SWAP1 000002a8: MSTORE 000002a9: DUP1 000002aa: DUP3 000002ab: ADD 000002ac: DUP6 000002ad: SWAP1 000002ae: MSTORE 000002af: PUSH1 0x60 000002b1: DUP2 000002b2: ADD 000002b3: DUP5 000002b4: SWAP1 000002b5: MSTORE 000002b6: SWAP1 000002b7: MLOAD 000002b8: PUSH32 0x1ff60751a354563b8db02f735046d6cecdd1ec33b27b453a7925da806b529adb 000002d9: SWAP2 000002da: DUP2 000002db: SWAP1 000002dc: SUB 000002dd: PUSH1 0x80 000002df: ADD 000002e0: SWAP1 000002e1: LOG1 000002e2: JUMPDEST 000002e3: POP 000002e4: POP 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: STOP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x02ff 000002fb: PUSH2 0x060f 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH1 0x40 00000302: DUP1 00000303: MLOAD 00000304: SWAP2 00000305: DUP3 00000306: MSTORE 00000307: MLOAD 00000308: SWAP1 00000309: DUP2 0000030a: SWAP1 0000030b: SUB 0000030c: PUSH1 0x20 0000030e: ADD 0000030f: SWAP1 00000310: RETURN 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x02ff 00000322: PUSH2 0x0615 00000325: JUMP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x0347 00000337: PUSH1 0x01 00000339: PUSH1 0xa0 0000033b: PUSH1 0x02 0000033d: EXP 0000033e: SUB 0000033f: PUSH1 0x04 00000341: CALLDATALOAD 00000342: AND 00000343: PUSH2 0x061b 00000346: JUMP 00000347: JUMPDEST 00000348: STOP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x0347 0000035a: PUSH1 0x01 0000035c: PUSH1 0xa0 0000035e: PUSH1 0x02 00000360: EXP 00000361: SUB 00000362: PUSH1 0x04 00000364: CALLDATALOAD 00000365: AND 00000366: PUSH2 0x06d0 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x038b 0000037b: PUSH1 0x01 0000037d: PUSH1 0xa0 0000037f: PUSH1 0x02 00000381: EXP 00000382: SUB 00000383: PUSH1 0x04 00000385: CALLDATALOAD 00000386: AND 00000387: PUSH2 0x0722 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: DUP1 0000038f: MLOAD 00000390: SWAP4 00000391: DUP5 00000392: MSTORE 00000393: PUSH1 0x20 00000395: DUP5 00000396: ADD 00000397: SWAP3 00000398: SWAP1 00000399: SWAP3 0000039a: MSTORE 0000039b: ISZERO 0000039c: ISZERO 0000039d: DUP3 0000039e: DUP3 0000039f: ADD 000003a0: MSTORE 000003a1: MLOAD 000003a2: SWAP1 000003a3: DUP2 000003a4: SWAP1 000003a5: SUB 000003a6: PUSH1 0x60 000003a8: ADD 000003a9: SWAP1 000003aa: RETURN 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x03c0 000003bc: PUSH2 0x0746 000003bf: JUMP 000003c0: JUMPDEST 000003c1: PUSH1 0x40 000003c3: DUP1 000003c4: MLOAD 000003c5: SWAP2 000003c6: ISZERO 000003c7: ISZERO 000003c8: DUP3 000003c9: MSTORE 000003ca: MLOAD 000003cb: SWAP1 000003cc: DUP2 000003cd: SWAP1 000003ce: SUB 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: RETURN 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x0347 000003e5: PUSH2 0x074f 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x03fe 000003fa: PUSH2 0x0796 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x40 00000401: DUP1 00000402: MLOAD 00000403: PUSH1 0x01 00000405: PUSH1 0xa0 00000407: PUSH1 0x02 00000409: EXP 0000040a: SUB 0000040b: SWAP1 0000040c: SWAP3 0000040d: AND 0000040e: DUP3 0000040f: MSTORE 00000410: MLOAD 00000411: SWAP1 00000412: DUP2 00000413: SWAP1 00000414: SUB 00000415: PUSH1 0x20 00000417: ADD 00000418: SWAP1 00000419: RETURN 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: DUP1 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: PUSH2 0x02ff 0000042b: PUSH2 0x07a5 0000042e: JUMP 0000042f: JUMPDEST 00000430: CALLVALUE 00000431: DUP1 00000432: ISZERO 00000433: PUSH2 0x043b 00000436: JUMPI 00000437: PUSH1 0x00 00000439: DUP1 0000043a: REVERT 0000043b: JUMPDEST 0000043c: POP 0000043d: PUSH2 0x0347 00000440: PUSH1 0x01 00000442: PUSH1 0xa0 00000444: PUSH1 0x02 00000446: EXP 00000447: SUB 00000448: PUSH1 0x04 0000044a: CALLDATALOAD 0000044b: AND 0000044c: PUSH1 0x24 0000044e: CALLDATALOAD 0000044f: PUSH1 0x44 00000451: CALLDATALOAD 00000452: PUSH2 0x07ab 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x02 00000459: SLOAD 0000045a: PUSH1 0x00 0000045c: SWAP1 0000045d: DUP2 0000045e: SWAP1 0000045f: PUSH1 0xff 00000461: AND 00000462: ISZERO 00000463: ISZERO 00000464: PUSH2 0x05b2 00000467: JUMPI 00000468: PUSH1 0x01 0000046a: PUSH1 0xa0 0000046c: PUSH1 0x02 0000046e: EXP 0000046f: SUB 00000470: DUP6 00000471: AND 00000472: PUSH1 0x00 00000474: SWAP1 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x20 00000479: DUP2 0000047a: SWAP1 0000047b: MSTORE 0000047c: PUSH1 0x40 0000047e: SWAP1 0000047f: KECCAK256 00000480: DUP1 00000481: SLOAD 00000482: SWAP1 00000483: SWAP3 00000484: POP 00000485: DUP5 00000486: EQ 00000487: PUSH2 0x04b7 0000048a: JUMPI 0000048b: DUP2 0000048c: SLOAD 0000048d: PUSH2 0x04b0 00000490: SWAP1 00000491: PUSH2 0x04a1 00000494: SWAP1 00000495: DUP7 00000496: SWAP1 00000497: PUSH4 0xffffffff 0000049c: PUSH2 0x05b9 0000049f: AND 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x04 000004a4: SLOAD 000004a5: SWAP1 000004a6: PUSH4 0xffffffff 000004ab: PUSH2 0x0834 000004ae: AND 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x04 000004b3: SSTORE 000004b4: DUP4 000004b5: DUP3 000004b6: SSTORE 000004b7: JUMPDEST 000004b8: PUSH1 0x01 000004ba: DUP3 000004bb: ADD 000004bc: SLOAD 000004bd: DUP4 000004be: EQ 000004bf: PUSH2 0x0558 000004c2: JUMPI 000004c3: DUP3 000004c4: DUP5 000004c5: GT 000004c6: PUSH2 0x050c 000004c9: JUMPI 000004ca: PUSH2 0x04d9 000004cd: DUP5 000004ce: DUP5 000004cf: PUSH4 0xffffffff 000004d4: PUSH2 0x05b9 000004d7: AND 000004d8: JUMP 000004d9: JUMPDEST 000004da: SWAP1 000004db: POP 000004dc: DUP1 000004dd: PUSH1 0x04 000004df: SLOAD 000004e0: LT 000004e1: ISZERO 000004e2: ISZERO 000004e3: PUSH2 0x0501 000004e6: JUMPI 000004e7: PUSH1 0x04 000004e9: SLOAD 000004ea: PUSH2 0x04f9 000004ed: SWAP1 000004ee: DUP3 000004ef: PUSH4 0xffffffff 000004f4: PUSH2 0x05b9 000004f7: AND 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH1 0x04 000004fc: SSTORE 000004fd: PUSH2 0x0507 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x00 00000504: PUSH1 0x04 00000506: SSTORE 00000507: JUMPDEST 00000508: PUSH2 0x0550 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x01 0000050f: DUP3 00000510: ADD 00000511: SLOAD 00000512: PUSH2 0x0522 00000515: SWAP1 00000516: DUP5 00000517: SWAP1 00000518: PUSH4 0xffffffff 0000051d: PUSH2 0x05b9 00000520: AND 00000521: JUMP 00000522: JUMPDEST 00000523: SWAP1 00000524: POP 00000525: DUP1 00000526: PUSH1 0x04 00000528: SLOAD 00000529: LT 0000052a: ISZERO 0000052b: ISZERO 0000052c: PUSH2 0x054a 0000052f: JUMPI 00000530: PUSH1 0x04 00000532: SLOAD 00000533: PUSH2 0x0542 00000536: SWAP1 00000537: DUP3 00000538: PUSH4 0xffffffff 0000053d: PUSH2 0x05b9 00000540: AND 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH1 0x04 00000545: SSTORE 00000546: PUSH2 0x0550 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x00 0000054d: PUSH1 0x04 0000054f: SSTORE 00000550: JUMPDEST 00000551: PUSH1 0x01 00000553: DUP3 00000554: ADD 00000555: DUP4 00000556: SWAP1 00000557: SSTORE 00000558: JUMPDEST 00000559: PUSH1 0x04 0000055b: SLOAD 0000055c: DUP3 0000055d: SLOAD 0000055e: PUSH1 0x01 00000560: DUP5 00000561: ADD 00000562: SLOAD 00000563: PUSH1 0x40 00000565: DUP1 00000566: MLOAD 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: PUSH1 0x02 0000056d: EXP 0000056e: SUB 0000056f: DUP11 00000570: AND 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x20 00000575: DUP2 00000576: ADD 00000577: SWAP5 00000578: SWAP1 00000579: SWAP5 0000057a: MSTORE 0000057b: DUP4 0000057c: DUP2 0000057d: ADD 0000057e: SWAP3 0000057f: SWAP1 00000580: SWAP3 00000581: MSTORE 00000582: PUSH1 0x60 00000584: DUP4 00000585: ADD 00000586: MSTORE 00000587: MLOAD 00000588: PUSH32 0xd6a9872449a5768506e317afb415057b85159dcb4890d3b0c03ed97dc358eee4 000005a9: SWAP2 000005aa: DUP2 000005ab: SWAP1 000005ac: SUB 000005ad: PUSH1 0x80 000005af: ADD 000005b0: SWAP1 000005b1: LOG1 000005b2: JUMPDEST 000005b3: POP 000005b4: POP 000005b5: POP 000005b6: POP 000005b7: POP 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x00 000005bc: PUSH2 0x05c7 000005bf: DUP4 000005c0: DUP4 000005c1: GT 000005c2: ISZERO 000005c3: PUSH2 0x0841 000005c6: JUMP 000005c7: JUMPDEST 000005c8: POP 000005c9: SWAP1 000005ca: SUB 000005cb: SWAP1 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH1 0x00 000005d0: DUP3 000005d1: DUP3 000005d2: MUL 000005d3: PUSH2 0x05f1 000005d6: DUP5 000005d7: ISZERO 000005d8: DUP1 000005d9: PUSH2 0x05ec 000005dc: JUMPI 000005dd: POP 000005de: DUP4 000005df: DUP6 000005e0: DUP4 000005e1: DUP2 000005e2: ISZERO 000005e3: ISZERO 000005e4: PUSH2 0x05e9 000005e7: JUMPI 000005e8: INVALID 000005e9: JUMPDEST 000005ea: DIV 000005eb: EQ 000005ec: JUMPDEST 000005ed: PUSH2 0x0841 000005f0: JUMP 000005f1: JUMPDEST 000005f2: SWAP4 000005f3: SWAP3 000005f4: POP 000005f5: POP 000005f6: POP 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x00 000005fb: DUP1 000005fc: DUP3 000005fd: DUP5 000005fe: DUP2 000005ff: ISZERO 00000600: ISZERO 00000601: PUSH2 0x0606 00000604: JUMPI 00000605: INVALID 00000606: JUMPDEST 00000607: DIV 00000608: SWAP5 00000609: SWAP4 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x04 00000612: SLOAD 00000613: DUP2 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH1 0x03 00000618: SLOAD 00000619: DUP2 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x05 0000061e: SLOAD 0000061f: PUSH1 0x00 00000621: SWAP1 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: AND 0000062b: CALLER 0000062c: EQ 0000062d: PUSH2 0x0697 00000630: JUMPI 00000631: PUSH1 0x40 00000633: DUP1 00000634: MLOAD 00000635: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000656: DUP2 00000657: MSTORE 00000658: PUSH1 0x20 0000065a: PUSH1 0x04 0000065c: DUP3 0000065d: ADD 0000065e: MSTORE 0000065f: PUSH1 0x0d 00000661: PUSH1 0x24 00000663: DUP3 00000664: ADD 00000665: MSTORE 00000666: PUSH32 0x6163636573732064656e69656400000000000000000000000000000000000000 00000687: PUSH1 0x44 00000689: DUP3 0000068a: ADD 0000068b: MSTORE 0000068c: SWAP1 0000068d: MLOAD 0000068e: SWAP1 0000068f: DUP2 00000690: SWAP1 00000691: SUB 00000692: PUSH1 0x64 00000694: ADD 00000695: SWAP1 00000696: REVERT 00000697: JUMPDEST 00000698: POP 00000699: PUSH1 0x01 0000069b: PUSH1 0xa0 0000069d: PUSH1 0x02 0000069f: EXP 000006a0: SUB 000006a1: AND 000006a2: PUSH1 0x00 000006a4: SWAP1 000006a5: DUP2 000006a6: MSTORE 000006a7: PUSH1 0x20 000006a9: DUP2 000006aa: SWAP1 000006ab: MSTORE 000006ac: PUSH1 0x40 000006ae: DUP2 000006af: KECCAK256 000006b0: DUP2 000006b1: DUP2 000006b2: SSTORE 000006b3: PUSH1 0x01 000006b5: DUP1 000006b6: DUP3 000006b7: ADD 000006b8: SWAP3 000006b9: SWAP1 000006ba: SWAP3 000006bb: SSTORE 000006bc: PUSH1 0x02 000006be: ADD 000006bf: DUP1 000006c0: SLOAD 000006c1: PUSH1 0xff 000006c3: NOT 000006c4: AND 000006c5: SWAP1 000006c6: SSTORE 000006c7: DUP1 000006c8: SLOAD 000006c9: PUSH1 0x00 000006cb: NOT 000006cc: ADD 000006cd: SWAP1 000006ce: SSTORE 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x05 000006d3: SLOAD 000006d4: PUSH1 0x01 000006d6: PUSH1 0xa0 000006d8: PUSH1 0x02 000006da: EXP 000006db: SUB 000006dc: AND 000006dd: ISZERO 000006de: PUSH2 0x06e6 000006e1: JUMPI 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: REVERT 000006e6: JUMPDEST 000006e7: PUSH1 0x05 000006e9: DUP1 000006ea: SLOAD 000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000700: NOT 00000701: SWAP1 00000702: DUP2 00000703: AND 00000704: PUSH1 0x01 00000706: PUSH1 0xa0 00000708: PUSH1 0x02 0000070a: EXP 0000070b: SUB 0000070c: SWAP4 0000070d: DUP5 0000070e: AND 0000070f: OR 00000710: SWAP2 00000711: DUP3 00000712: SWAP1 00000713: SSTORE 00000714: PUSH1 0x06 00000716: DUP1 00000717: SLOAD 00000718: SWAP3 00000719: SWAP1 0000071a: SWAP4 0000071b: AND 0000071c: SWAP2 0000071d: AND 0000071e: OR 0000071f: SWAP1 00000720: SSTORE 00000721: JUMP 00000722: JUMPDEST 00000723: PUSH1 0x00 00000725: PUSH1 0x20 00000727: DUP2 00000728: SWAP1 00000729: MSTORE 0000072a: SWAP1 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x40 0000072f: SWAP1 00000730: KECCAK256 00000731: DUP1 00000732: SLOAD 00000733: PUSH1 0x01 00000735: DUP3 00000736: ADD 00000737: SLOAD 00000738: PUSH1 0x02 0000073a: SWAP1 0000073b: SWAP3 0000073c: ADD 0000073d: SLOAD 0000073e: SWAP1 0000073f: SWAP2 00000740: SWAP1 00000741: PUSH1 0xff 00000743: AND 00000744: DUP4 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x02 00000749: SLOAD 0000074a: PUSH1 0xff 0000074c: AND 0000074d: DUP2 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x05 00000752: SLOAD 00000753: PUSH8 0x016345785d8a0000 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: PUSH1 0x02 00000762: EXP 00000763: SUB 00000764: SWAP1 00000765: SWAP2 00000766: AND 00000767: BALANCE 00000768: LT 00000769: DUP1 0000076a: ISZERO 0000076b: PUSH2 0x0777 0000076e: JUMPI 0000076f: POP 00000770: PUSH1 0x02 00000772: SLOAD 00000773: PUSH1 0xff 00000775: AND 00000776: ISZERO 00000777: JUMPDEST 00000778: ISZERO 00000779: ISZERO 0000077a: PUSH2 0x0782 0000077d: JUMPI 0000077e: PUSH1 0x00 00000780: DUP1 00000781: REVERT 00000782: JUMPDEST 00000783: PUSH1 0x02 00000785: DUP1 00000786: SLOAD 00000787: PUSH1 0xff 00000789: NOT 0000078a: AND 0000078b: PUSH1 0x01 0000078d: OR 0000078e: SWAP1 0000078f: SSTORE 00000790: ADDRESS 00000791: BALANCE 00000792: PUSH1 0x03 00000794: SSTORE 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x05 00000799: SLOAD 0000079a: PUSH1 0x01 0000079c: PUSH1 0xa0 0000079e: PUSH1 0x02 000007a0: EXP 000007a1: SUB 000007a2: AND 000007a3: DUP2 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH1 0x01 000007a8: SLOAD 000007a9: DUP2 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x05 000007ae: SLOAD 000007af: PUSH1 0x01 000007b1: PUSH1 0xa0 000007b3: PUSH1 0x02 000007b5: EXP 000007b6: SUB 000007b7: AND 000007b8: CALLER 000007b9: EQ 000007ba: PUSH2 0x0824 000007bd: JUMPI 000007be: PUSH1 0x40 000007c0: DUP1 000007c1: MLOAD 000007c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007e3: DUP2 000007e4: MSTORE 000007e5: PUSH1 0x20 000007e7: PUSH1 0x04 000007e9: DUP3 000007ea: ADD 000007eb: MSTORE 000007ec: PUSH1 0x0d 000007ee: PUSH1 0x24 000007f0: DUP3 000007f1: ADD 000007f2: MSTORE 000007f3: PUSH32 0x6163636573732064656e69656400000000000000000000000000000000000000 00000814: PUSH1 0x44 00000816: DUP3 00000817: ADD 00000818: MSTORE 00000819: SWAP1 0000081a: MLOAD 0000081b: SWAP1 0000081c: DUP2 0000081d: SWAP1 0000081e: SUB 0000081f: PUSH1 0x64 00000821: ADD 00000822: SWAP1 00000823: REVERT 00000824: JUMPDEST 00000825: PUSH2 0x082f 00000828: DUP4 00000829: DUP4 0000082a: DUP4 0000082b: PUSH2 0x0456 0000082e: JUMP 0000082f: JUMPDEST 00000830: POP 00000831: POP 00000832: POP 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x00 00000837: DUP3 00000838: DUP3 00000839: ADD 0000083a: PUSH2 0x05f1 0000083d: DUP5 0000083e: DUP3 0000083f: LT 00000840: ISZERO 00000841: JUMPDEST 00000842: DUP1 00000843: ISZERO 00000844: ISZERO 00000845: PUSH2 0x084d 00000848: JUMPI 00000849: PUSH1 0x00 0000084b: DUP1 0000084c: REVERT 0000084d: JUMPDEST 0000084e: POP 0000084f: JUMP 00000850: STOP 00000851: LOG1 00000852: PUSH6 0x627a7a723058 00000859: KECCAK256 0000085a: PUSH19 0x146425aa59b232e205d193b931bc2776334ae4 0000086e: MSTORE8 0000086f: BLOBBASEFEE 00000870: UNKNOWN(0x24) 00000871: UNKNOWN(0xC6) 00000872: BALANCE 00000873: XOR 00000874: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x80c014ab99adf4a6afdf554a9cc22fe0ca9e337cc81c61b225bd0108582ba547
call_targets:
0x861a174d677946d8c2bea8f9636a53fde1668215
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x80c014ab99adf4a6afdf554a9cc22fe0ca9e337cc81c61b225bd0108582ba547",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x861a174d677946d8c2bea8f9636a53fde1668215"
],
"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": "0x163ce272",
"selector": "0x163ce272",
"calldata_variants": [
"0x163ce272",
"0x163ce2720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40a1bad6",
"selector": "0x40a1bad6",
"calldata_variants": [
"0x40a1bad6",
"0x40a1bad60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42a59155",
"selector": "0x42a59155",
"calldata_variants": [
"0x42a59155",
"0x42a591550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f7bc9be",
"selector": "0x6f7bc9be",
"calldata_variants": [
"0x6f7bc9be",
"0x6f7bc9be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0592340",
"selector": "0xc0592340",
"calldata_variants": [
"0xc0592340",
"0xc05923400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4970cbb",
"selector": "0xc4970cbb",
"calldata_variants": [
"0xc4970cbb",
"0xc4970cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbb686cf",
"selector": "0xdbb686cf",
"calldata_variants": [
"0xdbb686cf",
"0xdbb686cf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 643,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x80c014ab99adf4a6afdf554a9cc22fe0ca9e337cc81c61b225bd0108582ba547
call_targets:
0x861a174d677946d8c2bea8f9636a53fde1668215
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x80c014ab99adf4a6afdf554a9cc22fe0ca9e337cc81c61b225bd0108582ba547",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x861a174d677946d8c2bea8f9636a53fde1668215"
],
"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": "0x163ce272",
"selector": "0x163ce272",
"calldata_variants": [
"0x163ce272",
"0x163ce2720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40a1bad6",
"selector": "0x40a1bad6",
"calldata_variants": [
"0x40a1bad6",
"0x40a1bad60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42a59155",
"selector": "0x42a59155",
"calldata_variants": [
"0x42a59155",
"0x42a591550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f7bc9be",
"selector": "0x6f7bc9be",
"calldata_variants": [
"0x6f7bc9be",
"0x6f7bc9be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0592340",
"selector": "0xc0592340",
"calldata_variants": [
"0xc0592340",
"0xc05923400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4970cbb",
"selector": "0xc4970cbb",
"calldata_variants": [
"0xc4970cbb",
"0xc4970cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbb686cf",
"selector": "0xdbb686cf",
"calldata_variants": [
"0xdbb686cf",
"0xdbb686cf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 643,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|