019b3836-53b3-73d3-872f-7476758956e2
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 |
|---|---|---|---|---|
| 8067 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8068 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 51452 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 51453 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 51454 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 51455 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0095 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x4534e5f6 00000034: EQ 00000035: PUSH2 0x02a2 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x458e8a0a 0000003f: EQ 00000040: PUSH2 0x02c7 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x8da5cb5b 0000004a: EQ 0000004b: PUSH2 0x02ea 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0xa89a9ffb 00000055: EQ 00000056: PUSH2 0x0323 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xd77180db 00000060: EQ 00000061: PUSH2 0x033b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xdcb9c6f8 0000006b: EQ 0000006c: PUSH2 0x0405 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xdd287692 00000076: EQ 00000077: PUSH2 0x042f 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe1a02577 00000081: EQ 00000082: PUSH2 0x0468 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe90673f7 0000008c: EQ 0000008d: PUSH2 0x0492 00000090: JUMPI 00000091: PUSH2 0x0095 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH2 0x02a0 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: PUSH1 0x00 0000009e: PUSH1 0x00 000000a0: SWAP1 000000a1: SLOAD 000000a2: SWAP1 000000a3: PUSH2 0x0100 000000a6: EXP 000000a7: SWAP1 000000a8: DIV 000000a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000be: AND 000000bf: SWAP1 000000c0: POP 000000c1: PUSH1 0x28 000000c3: PUSH1 0x02 000000c5: PUSH1 0x00 000000c7: POP 000000c8: SLOAD 000000c9: GT 000000ca: ISZERO 000000cb: ISZERO 000000cc: PUSH2 0x0178 000000cf: JUMPI 000000d0: PUSH1 0x01 000000d2: PUSH1 0x02 000000d4: PUSH1 0x00 000000d6: DUP3 000000d7: DUP3 000000d8: DUP3 000000d9: POP 000000da: SLOAD 000000db: ADD 000000dc: SWAP3 000000dd: POP 000000de: POP 000000df: DUP2 000000e0: SWAP1 000000e1: SSTORE 000000e2: POP 000000e3: DUP1 000000e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f9: AND 000000fa: PUSH4 0x82661dc4 000000ff: PUSH1 0x01 00000101: PUSH20 0x79f09717c5b352078234832e5737651ddb333548 00000116: PUSH1 0x40 00000118: MLOAD 00000119: DUP4 0000011a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000138: MUL 00000139: DUP2 0000013a: MSTORE 0000013b: PUSH1 0x04 0000013d: ADD 0000013e: DUP1 0000013f: DUP4 00000140: DUP2 00000141: MSTORE 00000142: PUSH1 0x20 00000144: ADD 00000145: DUP3 00000146: DUP2 00000147: MSTORE 00000148: PUSH1 0x20 0000014a: ADD 0000014b: SWAP3 0000014c: POP 0000014d: POP 0000014e: POP 0000014f: PUSH1 0x20 00000151: PUSH1 0x40 00000153: MLOAD 00000154: DUP1 00000155: DUP4 00000156: SUB 00000157: DUP2 00000158: PUSH1 0x00 0000015a: DUP8 0000015b: PUSH2 0x61da 0000015e: GAS 0000015f: SUB 00000160: CALL 00000161: ISZERO 00000162: PUSH2 0x0002 00000165: JUMPI 00000166: POP 00000167: POP 00000168: POP 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: DUP1 0000016d: MLOAD 0000016e: SWAP1 0000016f: PUSH1 0x20 00000171: ADD 00000172: POP 00000173: POP 00000174: PUSH2 0x029c 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH1 0x00 0000017b: PUSH1 0x02 0000017d: PUSH1 0x00 0000017f: POP 00000180: DUP2 00000181: SWAP1 00000182: SSTORE 00000183: POP 00000184: DUP1 00000185: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019a: AND 0000019b: PUSH4 0xa9059cbb 000001a0: PUSH20 0xb6f2a1314470b0bb4a615b5a63f85efce522a399 000001b5: DUP4 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: AND 000001cc: PUSH4 0x70a08231 000001d1: ADDRESS 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP3 000001d6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000001f4: MUL 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x04 000001f9: ADD 000001fa: DUP1 000001fb: DUP3 000001fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000211: AND 00000212: DUP2 00000213: MSTORE 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP2 00000218: POP 00000219: POP 0000021a: PUSH1 0x20 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: DUP1 00000220: DUP4 00000221: SUB 00000222: DUP2 00000223: PUSH1 0x00 00000225: DUP8 00000226: PUSH2 0x61da 00000229: GAS 0000022a: SUB 0000022b: CALL 0000022c: ISZERO 0000022d: PUSH2 0x0002 00000230: JUMPI 00000231: POP 00000232: POP 00000233: POP 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: MLOAD 00000239: SWAP1 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: POP 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: DUP4 00000242: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000260: MUL 00000261: DUP2 00000262: MSTORE 00000263: PUSH1 0x04 00000265: ADD 00000266: DUP1 00000267: DUP4 00000268: DUP2 00000269: MSTORE 0000026a: PUSH1 0x20 0000026c: ADD 0000026d: DUP3 0000026e: DUP2 0000026f: MSTORE 00000270: PUSH1 0x20 00000272: ADD 00000273: SWAP3 00000274: POP 00000275: POP 00000276: POP 00000277: PUSH1 0x20 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: DUP4 0000027e: SUB 0000027f: DUP2 00000280: PUSH1 0x00 00000282: DUP8 00000283: PUSH2 0x61da 00000286: GAS 00000287: SUB 00000288: CALL 00000289: ISZERO 0000028a: PUSH2 0x0002 0000028d: JUMPI 0000028e: POP 0000028f: POP 00000290: POP 00000291: PUSH1 0x40 00000293: MLOAD 00000294: DUP1 00000295: MLOAD 00000296: SWAP1 00000297: PUSH1 0x20 00000299: ADD 0000029a: POP 0000029b: POP 0000029c: JUMPDEST 0000029d: JUMPDEST 0000029e: POP 0000029f: JUMP 000002a0: JUMPDEST 000002a1: STOP 000002a2: JUMPDEST 000002a3: PUSH2 0x02af 000002a6: PUSH1 0x04 000002a8: DUP1 000002a9: POP 000002aa: POP 000002ab: PUSH2 0x04c5 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH1 0x40 000002b2: MLOAD 000002b3: DUP1 000002b4: DUP3 000002b5: ISZERO 000002b6: ISZERO 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP2 000002bd: POP 000002be: POP 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: DUP1 000002c3: SWAP2 000002c4: SUB 000002c5: SWAP1 000002c6: RETURN 000002c7: JUMPDEST 000002c8: PUSH2 0x02d4 000002cb: PUSH1 0x04 000002cd: DUP1 000002ce: POP 000002cf: POP 000002d0: PUSH2 0x04d8 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH1 0x40 000002d7: MLOAD 000002d8: DUP1 000002d9: DUP3 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: ADD 000002df: SWAP2 000002e0: POP 000002e1: POP 000002e2: PUSH1 0x40 000002e4: MLOAD 000002e5: DUP1 000002e6: SWAP2 000002e7: SUB 000002e8: SWAP1 000002e9: RETURN 000002ea: JUMPDEST 000002eb: PUSH2 0x02f7 000002ee: PUSH1 0x04 000002f0: DUP1 000002f1: POP 000002f2: POP 000002f3: PUSH2 0x04e1 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: DUP1 000002fc: DUP3 000002fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000312: AND 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: SWAP2 00000319: POP 0000031a: POP 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: DUP1 0000031f: SWAP2 00000320: SUB 00000321: SWAP1 00000322: RETURN 00000323: JUMPDEST 00000324: PUSH2 0x0339 00000327: PUSH1 0x04 00000329: DUP1 0000032a: DUP1 0000032b: CALLDATALOAD 0000032c: SWAP1 0000032d: PUSH1 0x20 0000032f: ADD 00000330: SWAP1 00000331: SWAP2 00000332: SWAP1 00000333: POP 00000334: POP 00000335: PUSH2 0x0507 00000338: JUMP 00000339: JUMPDEST 0000033a: STOP 0000033b: JUMPDEST 0000033c: PUSH2 0x0403 0000033f: PUSH1 0x04 00000341: DUP1 00000342: DUP1 00000343: CALLDATALOAD 00000344: SWAP1 00000345: PUSH1 0x20 00000347: ADD 00000348: SWAP1 00000349: SWAP2 0000034a: SWAP1 0000034b: DUP1 0000034c: CALLDATALOAD 0000034d: SWAP1 0000034e: PUSH1 0x20 00000350: ADD 00000351: SWAP1 00000352: SWAP2 00000353: SWAP1 00000354: DUP1 00000355: CALLDATALOAD 00000356: SWAP1 00000357: PUSH1 0x20 00000359: ADD 0000035a: SWAP1 0000035b: SWAP2 0000035c: SWAP1 0000035d: DUP1 0000035e: CALLDATALOAD 0000035f: SWAP1 00000360: PUSH1 0x20 00000362: ADD 00000363: SWAP1 00000364: DUP3 00000365: ADD 00000366: DUP1 00000367: CALLDATALOAD 00000368: SWAP1 00000369: PUSH1 0x20 0000036b: ADD 0000036c: SWAP2 0000036d: SWAP2 0000036e: SWAP1 0000036f: DUP1 00000370: DUP1 00000371: PUSH1 0x1f 00000373: ADD 00000374: PUSH1 0x20 00000376: DUP1 00000377: SWAP2 00000378: DIV 00000379: MUL 0000037a: PUSH1 0x20 0000037c: ADD 0000037d: PUSH1 0x40 0000037f: MLOAD 00000380: SWAP1 00000381: DUP2 00000382: ADD 00000383: PUSH1 0x40 00000385: MSTORE 00000386: DUP1 00000387: SWAP4 00000388: SWAP3 00000389: SWAP2 0000038a: SWAP1 0000038b: DUP2 0000038c: DUP2 0000038d: MSTORE 0000038e: PUSH1 0x20 00000390: ADD 00000391: DUP4 00000392: DUP4 00000393: DUP1 00000394: DUP3 00000395: DUP5 00000396: CALLDATACOPY 00000397: DUP3 00000398: ADD 00000399: SWAP2 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: SWAP1 000003a1: SWAP1 000003a2: SWAP2 000003a3: SWAP1 000003a4: DUP1 000003a5: CALLDATALOAD 000003a6: SWAP1 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: SWAP1 000003ab: DUP3 000003ac: ADD 000003ad: DUP1 000003ae: CALLDATALOAD 000003af: SWAP1 000003b0: PUSH1 0x20 000003b2: ADD 000003b3: SWAP2 000003b4: SWAP2 000003b5: SWAP1 000003b6: DUP1 000003b7: DUP1 000003b8: PUSH1 0x1f 000003ba: ADD 000003bb: PUSH1 0x20 000003bd: DUP1 000003be: SWAP2 000003bf: DIV 000003c0: MUL 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: PUSH1 0x40 000003c6: MLOAD 000003c7: SWAP1 000003c8: DUP2 000003c9: ADD 000003ca: PUSH1 0x40 000003cc: MSTORE 000003cd: DUP1 000003ce: SWAP4 000003cf: SWAP3 000003d0: SWAP2 000003d1: SWAP1 000003d2: DUP2 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: DUP4 000003d9: DUP4 000003da: DUP1 000003db: DUP3 000003dc: DUP5 000003dd: CALLDATACOPY 000003de: DUP3 000003df: ADD 000003e0: SWAP2 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: POP 000003e6: POP 000003e7: SWAP1 000003e8: SWAP1 000003e9: SWAP2 000003ea: SWAP1 000003eb: DUP1 000003ec: CALLDATALOAD 000003ed: SWAP1 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: SWAP1 000003f2: SWAP2 000003f3: SWAP1 000003f4: DUP1 000003f5: CALLDATALOAD 000003f6: SWAP1 000003f7: PUSH1 0x20 000003f9: ADD 000003fa: SWAP1 000003fb: SWAP2 000003fc: SWAP1 000003fd: POP 000003fe: POP 000003ff: PUSH2 0x05ac 00000402: JUMP 00000403: JUMPDEST 00000404: STOP 00000405: JUMPDEST 00000406: PUSH2 0x042d 00000409: PUSH1 0x04 0000040b: DUP1 0000040c: DUP1 0000040d: CALLDATALOAD 0000040e: SWAP1 0000040f: PUSH1 0x20 00000411: ADD 00000412: SWAP1 00000413: SWAP2 00000414: SWAP1 00000415: DUP1 00000416: CALLDATALOAD 00000417: SWAP1 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP1 0000041c: SWAP2 0000041d: SWAP1 0000041e: DUP1 0000041f: CALLDATALOAD 00000420: SWAP1 00000421: PUSH1 0x20 00000423: ADD 00000424: SWAP1 00000425: SWAP2 00000426: SWAP1 00000427: POP 00000428: POP 00000429: PUSH2 0x0777 0000042c: JUMP 0000042d: JUMPDEST 0000042e: STOP 0000042f: JUMPDEST 00000430: PUSH2 0x043c 00000433: PUSH1 0x04 00000435: DUP1 00000436: POP 00000437: POP 00000438: PUSH2 0x08b9 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: DUP1 00000441: DUP3 00000442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000457: AND 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: SWAP2 0000045e: POP 0000045f: POP 00000460: PUSH1 0x40 00000462: MLOAD 00000463: DUP1 00000464: SWAP2 00000465: SUB 00000466: SWAP1 00000467: RETURN 00000468: JUMPDEST 00000469: PUSH2 0x0490 0000046c: PUSH1 0x04 0000046e: DUP1 0000046f: DUP1 00000470: CALLDATALOAD 00000471: SWAP1 00000472: PUSH1 0x20 00000474: ADD 00000475: SWAP1 00000476: SWAP2 00000477: SWAP1 00000478: DUP1 00000479: CALLDATALOAD 0000047a: SWAP1 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP1 0000047f: SWAP2 00000480: SWAP1 00000481: DUP1 00000482: CALLDATALOAD 00000483: SWAP1 00000484: PUSH1 0x20 00000486: ADD 00000487: SWAP1 00000488: SWAP2 00000489: SWAP1 0000048a: POP 0000048b: POP 0000048c: PUSH2 0x08df 0000048f: JUMP 00000490: JUMPDEST 00000491: STOP 00000492: JUMPDEST 00000493: PUSH2 0x04c3 00000496: PUSH1 0x04 00000498: DUP1 00000499: DUP1 0000049a: CALLDATALOAD 0000049b: SWAP1 0000049c: PUSH1 0x20 0000049e: ADD 0000049f: SWAP1 000004a0: SWAP2 000004a1: SWAP1 000004a2: DUP1 000004a3: CALLDATALOAD 000004a4: SWAP1 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: SWAP1 000004a9: SWAP2 000004aa: SWAP1 000004ab: DUP1 000004ac: CALLDATALOAD 000004ad: SWAP1 000004ae: PUSH1 0x20 000004b0: ADD 000004b1: SWAP1 000004b2: SWAP2 000004b3: SWAP1 000004b4: DUP1 000004b5: CALLDATALOAD 000004b6: SWAP1 000004b7: PUSH1 0x20 000004b9: ADD 000004ba: SWAP1 000004bb: SWAP2 000004bc: SWAP1 000004bd: POP 000004be: POP 000004bf: PUSH2 0x09eb 000004c2: JUMP 000004c3: JUMPDEST 000004c4: STOP 000004c5: JUMPDEST 000004c6: PUSH1 0x03 000004c8: PUSH1 0x00 000004ca: SWAP1 000004cb: SLOAD 000004cc: SWAP1 000004cd: PUSH2 0x0100 000004d0: EXP 000004d1: SWAP1 000004d2: DIV 000004d3: PUSH1 0xff 000004d5: AND 000004d6: DUP2 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH1 0x02 000004db: PUSH1 0x00 000004dd: POP 000004de: SLOAD 000004df: DUP2 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x01 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: SLOAD 000004e8: SWAP1 000004e9: PUSH2 0x0100 000004ec: EXP 000004ed: SWAP1 000004ee: DIV 000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000504: AND 00000505: DUP2 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x01 0000050a: PUSH1 0x00 0000050c: SWAP1 0000050d: SLOAD 0000050e: SWAP1 0000050f: PUSH2 0x0100 00000512: EXP 00000513: SWAP1 00000514: DIV 00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052a: AND 0000052b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000540: AND 00000541: CALLER 00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000557: AND 00000558: EQ 00000559: ISZERO 0000055a: PUSH2 0x05a8 0000055d: JUMPI 0000055e: DUP1 0000055f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000574: AND 00000575: PUSH1 0x00 00000577: ADDRESS 00000578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058d: AND 0000058e: BALANCE 0000058f: PUSH1 0x40 00000591: MLOAD 00000592: DUP1 00000593: SWAP1 00000594: POP 00000595: PUSH1 0x00 00000597: PUSH1 0x40 00000599: MLOAD 0000059a: DUP1 0000059b: DUP4 0000059c: SUB 0000059d: DUP2 0000059e: DUP6 0000059f: DUP9 000005a0: DUP9 000005a1: CALL 000005a2: SWAP4 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: JUMPDEST 000005a9: JUMPDEST 000005aa: POP 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x00 000005af: PUSH1 0x01 000005b1: PUSH1 0x00 000005b3: SWAP1 000005b4: SLOAD 000005b5: SWAP1 000005b6: PUSH2 0x0100 000005b9: EXP 000005ba: SWAP1 000005bb: DIV 000005bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d1: AND 000005d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e7: AND 000005e8: CALLER 000005e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fe: AND 000005ff: EQ 00000600: ISZERO 00000601: PUSH2 0x076c 00000604: JUMPI 00000605: DUP8 00000606: SWAP1 00000607: POP 00000608: DUP1 00000609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061e: AND 0000061f: PUSH4 0x612e45a3 00000624: DUP9 00000625: DUP9 00000626: DUP9 00000627: DUP9 00000628: DUP9 00000629: DUP9 0000062a: PUSH1 0x40 0000062c: MLOAD 0000062d: DUP8 0000062e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000064c: MUL 0000064d: DUP2 0000064e: MSTORE 0000064f: PUSH1 0x04 00000651: ADD 00000652: DUP1 00000653: DUP8 00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000669: AND 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: DUP7 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x20 00000674: ADD 00000675: DUP1 00000676: PUSH1 0x20 00000678: ADD 00000679: DUP1 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: DUP6 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: ADD 00000683: DUP5 00000684: ISZERO 00000685: ISZERO 00000686: DUP2 00000687: MSTORE 00000688: PUSH1 0x20 0000068a: ADD 0000068b: DUP4 0000068c: DUP2 0000068d: SUB 0000068e: DUP4 0000068f: MSTORE 00000690: DUP8 00000691: DUP2 00000692: DUP2 00000693: MLOAD 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: SWAP2 0000069a: POP 0000069b: DUP1 0000069c: MLOAD 0000069d: SWAP1 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: SWAP1 000006a2: DUP1 000006a3: DUP4 000006a4: DUP4 000006a5: DUP3 000006a6: SWAP1 000006a7: PUSH1 0x00 000006a9: PUSH1 0x04 000006ab: PUSH1 0x20 000006ad: DUP5 000006ae: PUSH1 0x1f 000006b0: ADD 000006b1: DIV 000006b2: PUSH1 0x0f 000006b4: MUL 000006b5: PUSH1 0x03 000006b7: ADD 000006b8: CALL 000006b9: POP 000006ba: SWAP1 000006bb: POP 000006bc: SWAP1 000006bd: DUP2 000006be: ADD 000006bf: SWAP1 000006c0: PUSH1 0x1f 000006c2: AND 000006c3: DUP1 000006c4: ISZERO 000006c5: PUSH2 0x06e2 000006c8: JUMPI 000006c9: DUP1 000006ca: DUP3 000006cb: SUB 000006cc: DUP1 000006cd: MLOAD 000006ce: PUSH1 0x01 000006d0: DUP4 000006d1: PUSH1 0x20 000006d3: SUB 000006d4: PUSH2 0x0100 000006d7: EXP 000006d8: SUB 000006d9: NOT 000006da: AND 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x20 000006df: ADD 000006e0: SWAP2 000006e1: POP 000006e2: JUMPDEST 000006e3: POP 000006e4: DUP4 000006e5: DUP2 000006e6: SUB 000006e7: DUP3 000006e8: MSTORE 000006e9: DUP7 000006ea: DUP2 000006eb: DUP2 000006ec: MLOAD 000006ed: DUP2 000006ee: MSTORE 000006ef: PUSH1 0x20 000006f1: ADD 000006f2: SWAP2 000006f3: POP 000006f4: DUP1 000006f5: MLOAD 000006f6: SWAP1 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: SWAP1 000006fb: DUP1 000006fc: DUP4 000006fd: DUP4 000006fe: DUP3 000006ff: SWAP1 00000700: PUSH1 0x00 00000702: PUSH1 0x04 00000704: PUSH1 0x20 00000706: DUP5 00000707: PUSH1 0x1f 00000709: ADD 0000070a: DIV 0000070b: PUSH1 0x0f 0000070d: MUL 0000070e: PUSH1 0x03 00000710: ADD 00000711: CALL 00000712: POP 00000713: SWAP1 00000714: POP 00000715: SWAP1 00000716: DUP2 00000717: ADD 00000718: SWAP1 00000719: PUSH1 0x1f 0000071b: AND 0000071c: DUP1 0000071d: ISZERO 0000071e: PUSH2 0x073b 00000721: JUMPI 00000722: DUP1 00000723: DUP3 00000724: SUB 00000725: DUP1 00000726: MLOAD 00000727: PUSH1 0x01 00000729: DUP4 0000072a: PUSH1 0x20 0000072c: SUB 0000072d: PUSH2 0x0100 00000730: EXP 00000731: SUB 00000732: NOT 00000733: AND 00000734: DUP2 00000735: MSTORE 00000736: PUSH1 0x20 00000738: ADD 00000739: SWAP2 0000073a: POP 0000073b: JUMPDEST 0000073c: POP 0000073d: SWAP9 0000073e: POP 0000073f: POP 00000740: POP 00000741: POP 00000742: POP 00000743: POP 00000744: POP 00000745: POP 00000746: POP 00000747: PUSH1 0x20 00000749: PUSH1 0x40 0000074b: MLOAD 0000074c: DUP1 0000074d: DUP4 0000074e: SUB 0000074f: DUP2 00000750: PUSH1 0x00 00000752: DUP8 00000753: PUSH2 0x61da 00000756: GAS 00000757: SUB 00000758: CALL 00000759: ISZERO 0000075a: PUSH2 0x0002 0000075d: JUMPI 0000075e: POP 0000075f: POP 00000760: POP 00000761: PUSH1 0x40 00000763: MLOAD 00000764: DUP1 00000765: MLOAD 00000766: SWAP1 00000767: PUSH1 0x20 00000769: ADD 0000076a: POP 0000076b: POP 0000076c: JUMPDEST 0000076d: JUMPDEST 0000076e: POP 0000076f: POP 00000770: POP 00000771: POP 00000772: POP 00000773: POP 00000774: POP 00000775: POP 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x00 0000077a: PUSH1 0x01 0000077c: PUSH1 0x00 0000077e: SWAP1 0000077f: SLOAD 00000780: SWAP1 00000781: PUSH2 0x0100 00000784: EXP 00000785: SWAP1 00000786: DIV 00000787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079c: AND 0000079d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b2: AND 000007b3: CALLER 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: AND 000007ca: EQ 000007cb: ISZERO 000007cc: PUSH2 0x08b2 000007cf: JUMPI 000007d0: DUP4 000007d1: PUSH1 0x00 000007d3: PUSH1 0x00 000007d5: PUSH2 0x0100 000007d8: EXP 000007d9: DUP2 000007da: SLOAD 000007db: DUP2 000007dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f1: MUL 000007f2: NOT 000007f3: AND 000007f4: SWAP1 000007f5: DUP4 000007f6: MUL 000007f7: OR 000007f8: SWAP1 000007f9: SSTORE 000007fa: POP 000007fb: PUSH1 0x00 000007fd: PUSH1 0x00 000007ff: SWAP1 00000800: SLOAD 00000801: SWAP1 00000802: PUSH2 0x0100 00000805: EXP 00000806: SWAP1 00000807: DIV 00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081d: AND 0000081e: SWAP1 0000081f: POP 00000820: DUP1 00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000836: AND 00000837: PUSH4 0xa9059cbb 0000083c: DUP5 0000083d: DUP5 0000083e: PUSH1 0x40 00000840: MLOAD 00000841: DUP4 00000842: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000860: MUL 00000861: DUP2 00000862: MSTORE 00000863: PUSH1 0x04 00000865: ADD 00000866: DUP1 00000867: DUP4 00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087d: AND 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: ADD 00000883: DUP3 00000884: DUP2 00000885: MSTORE 00000886: PUSH1 0x20 00000888: ADD 00000889: SWAP3 0000088a: POP 0000088b: POP 0000088c: POP 0000088d: PUSH1 0x20 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: DUP1 00000893: DUP4 00000894: SUB 00000895: DUP2 00000896: PUSH1 0x00 00000898: DUP8 00000899: PUSH2 0x61da 0000089c: GAS 0000089d: SUB 0000089e: CALL 0000089f: ISZERO 000008a0: PUSH2 0x0002 000008a3: JUMPI 000008a4: POP 000008a5: POP 000008a6: POP 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: MLOAD 000008ac: SWAP1 000008ad: PUSH1 0x20 000008af: ADD 000008b0: POP 000008b1: POP 000008b2: JUMPDEST 000008b3: JUMPDEST 000008b4: POP 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: JUMP 000008b9: JUMPDEST 000008ba: PUSH1 0x00 000008bc: PUSH1 0x00 000008be: SWAP1 000008bf: SLOAD 000008c0: SWAP1 000008c1: PUSH2 0x0100 000008c4: EXP 000008c5: SWAP1 000008c6: DIV 000008c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008dc: AND 000008dd: DUP2 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0x00 000008e2: PUSH1 0x01 000008e4: PUSH1 0x00 000008e6: SWAP1 000008e7: SLOAD 000008e8: SWAP1 000008e9: PUSH2 0x0100 000008ec: EXP 000008ed: SWAP1 000008ee: DIV 000008ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000904: AND 00000905: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091a: AND 0000091b: CALLER 0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000931: AND 00000932: EQ 00000933: ISZERO 00000934: PUSH2 0x09e4 00000937: JUMPI 00000938: DUP4 00000939: PUSH1 0x00 0000093b: PUSH1 0x00 0000093d: PUSH2 0x0100 00000940: EXP 00000941: DUP2 00000942: SLOAD 00000943: DUP2 00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000959: MUL 0000095a: NOT 0000095b: AND 0000095c: SWAP1 0000095d: DUP4 0000095e: MUL 0000095f: OR 00000960: SWAP1 00000961: SSTORE 00000962: POP 00000963: DUP4 00000964: SWAP1 00000965: POP 00000966: DUP1 00000967: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097c: AND 0000097d: PUSH4 0xc9d27afe 00000982: DUP5 00000983: DUP5 00000984: PUSH1 0x40 00000986: MLOAD 00000987: DUP4 00000988: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000009a6: MUL 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x04 000009ab: ADD 000009ac: DUP1 000009ad: DUP4 000009ae: DUP2 000009af: MSTORE 000009b0: PUSH1 0x20 000009b2: ADD 000009b3: DUP3 000009b4: ISZERO 000009b5: ISZERO 000009b6: DUP2 000009b7: MSTORE 000009b8: PUSH1 0x20 000009ba: ADD 000009bb: SWAP3 000009bc: POP 000009bd: POP 000009be: POP 000009bf: PUSH1 0x20 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: DUP4 000009c6: SUB 000009c7: DUP2 000009c8: PUSH1 0x00 000009ca: DUP8 000009cb: PUSH2 0x61da 000009ce: GAS 000009cf: SUB 000009d0: CALL 000009d1: ISZERO 000009d2: PUSH2 0x0002 000009d5: JUMPI 000009d6: POP 000009d7: POP 000009d8: POP 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: DUP1 000009dd: MLOAD 000009de: SWAP1 000009df: PUSH1 0x20 000009e1: ADD 000009e2: POP 000009e3: POP 000009e4: JUMPDEST 000009e5: JUMPDEST 000009e6: POP 000009e7: POP 000009e8: POP 000009e9: POP 000009ea: JUMP 000009eb: JUMPDEST 000009ec: PUSH1 0x00 000009ee: PUSH1 0x01 000009f0: PUSH1 0x00 000009f2: SWAP1 000009f3: SLOAD 000009f4: SWAP1 000009f5: PUSH2 0x0100 000009f8: EXP 000009f9: SWAP1 000009fa: DIV 000009fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a10: AND 00000a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a26: AND 00000a27: CALLER 00000a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3d: AND 00000a3e: EQ 00000a3f: ISZERO 00000a40: PUSH2 0x0ae3 00000a43: JUMPI 00000a44: DUP5 00000a45: SWAP1 00000a46: POP 00000a47: DUP2 00000a48: PUSH1 0x02 00000a4a: PUSH1 0x00 00000a4c: POP 00000a4d: DUP2 00000a4e: SWAP1 00000a4f: SSTORE 00000a50: POP 00000a51: DUP1 00000a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a67: AND 00000a68: PUSH4 0x82661dc4 00000a6d: DUP6 00000a6e: DUP6 00000a6f: PUSH1 0x40 00000a71: MLOAD 00000a72: DUP4 00000a73: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a91: MUL 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x04 00000a96: ADD 00000a97: DUP1 00000a98: DUP4 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x20 00000a9d: ADD 00000a9e: DUP3 00000a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab4: AND 00000ab5: DUP2 00000ab6: MSTORE 00000ab7: PUSH1 0x20 00000ab9: ADD 00000aba: SWAP3 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: PUSH1 0x20 00000ac0: PUSH1 0x40 00000ac2: MLOAD 00000ac3: DUP1 00000ac4: DUP4 00000ac5: SUB 00000ac6: DUP2 00000ac7: PUSH1 0x00 00000ac9: DUP8 00000aca: PUSH2 0x61da 00000acd: GAS 00000ace: SUB 00000acf: CALL 00000ad0: ISZERO 00000ad1: PUSH2 0x0002 00000ad4: JUMPI 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: PUSH1 0x40 00000ada: MLOAD 00000adb: DUP1 00000adc: MLOAD 00000add: SWAP1 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: POP 00000ae2: POP 00000ae3: JUMPDEST 00000ae4: JUMPDEST 00000ae5: POP 00000ae6: POP 00000ae7: POP 00000ae8: POP 00000ae9: POP 00000aea: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9f499f20c7b5e5d0a3a22aa6a30475a3171806492dc673d658dd4a5caec8bba5
call_targets:
0xb3db672097232a3eeb352b091e814d2edbc8b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9f499f20c7b5e5d0a3a22aa6a30475a3171806492dc673d658dd4a5caec8bba5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb3db672097232a3eeb352b091e814d2edbc8b35d"
],
"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": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa89a9ffb",
"selector": "0xa89a9ffb",
"calldata_variants": [
"0xa89a9ffb",
"0xa89a9ffb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd77180db",
"selector": "0xd77180db",
"calldata_variants": [
"0xd77180db",
"0xd77180db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcb9c6f8",
"selector": "0xdcb9c6f8",
"calldata_variants": [
"0xdcb9c6f8",
"0xdcb9c6f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd287692",
"selector": "0xdd287692",
"calldata_variants": [
"0xdd287692",
"0xdd2876920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1a02577",
"selector": "0xe1a02577",
"calldata_variants": [
"0xe1a02577",
"0xe1a025770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 555,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 648,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 1345,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1971,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2599,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9f499f20c7b5e5d0a3a22aa6a30475a3171806492dc673d658dd4a5caec8bba5
call_targets:
0xb3db672097232a3eeb352b091e814d2edbc8b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9f499f20c7b5e5d0a3a22aa6a30475a3171806492dc673d658dd4a5caec8bba5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb3db672097232a3eeb352b091e814d2edbc8b35d"
],
"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": "0x4534e5f6",
"selector": "0x4534e5f6",
"calldata_variants": [
"0x4534e5f6",
"0x4534e5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x458e8a0a",
"selector": "0x458e8a0a",
"calldata_variants": [
"0x458e8a0a",
"0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa89a9ffb",
"selector": "0xa89a9ffb",
"calldata_variants": [
"0xa89a9ffb",
"0xa89a9ffb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd77180db",
"selector": "0xd77180db",
"calldata_variants": [
"0xd77180db",
"0xd77180db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcb9c6f8",
"selector": "0xdcb9c6f8",
"calldata_variants": [
"0xdcb9c6f8",
"0xdcb9c6f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd287692",
"selector": "0xdd287692",
"calldata_variants": [
"0xdd287692",
"0xdd2876920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1a02577",
"selector": "0xe1a02577",
"calldata_variants": [
"0xe1a02577",
"0xe1a025770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 555,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 648,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 1345,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1971,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2599,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|