019b3836-3a56-73e5-acd4-c75ffd7a5a36
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 |
|---|---|---|---|---|
| 4217 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4218 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47604 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47605 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47606 | detector.run | complete | 1 / 3 | 1 week ago |
| 47607 | validation.fork | complete | 1 / 3 | 1 week 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 0x00ae 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x11bcd830 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00b9 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13af4035 00000025: EQ 00000026: PUSH2 0x00c2 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x148bea6b 00000030: EQ 00000031: PUSH2 0x00f5 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3f1887e9 0000003b: EQ 0000003c: PUSH2 0x0156 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x45596e2e 00000046: EQ 00000047: PUSH2 0x015f 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5e377b51 00000051: EQ 00000052: PUSH2 0x0181 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8a3a84a8 0000005c: EQ 0000005d: PUSH2 0x018a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0193 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8fcc9cfb 00000072: EQ 00000073: PUSH2 0x01a5 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xabe2a16e 0000007d: EQ 0000007e: PUSH2 0x01c7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb034d5aa 00000088: EQ 00000089: PUSH2 0x01d0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd0bcfc0c 00000093: EQ 00000094: PUSH2 0x01d9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xe97dcb62 0000009e: EQ 0000009f: PUSH2 0x01e2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xfd330b26 000000a9: EQ 000000aa: PUSH2 0x026b 000000ad: JUMPI 000000ae: JUMPDEST 000000af: PUSH2 0x0274 000000b2: PUSH2 0x0276 000000b5: PUSH2 0x01e6 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH2 0x0278 000000bd: PUSH1 0x08 000000bf: SLOAD 000000c0: DUP2 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH2 0x0274 000000c6: PUSH1 0x04 000000c8: CALLDATALOAD 000000c9: PUSH1 0x09 000000cb: SLOAD 000000cc: CALLER 000000cd: PUSH1 0x01 000000cf: PUSH1 0xa0 000000d1: PUSH1 0x02 000000d3: EXP 000000d4: SUB 000000d5: SWAP1 000000d6: DUP2 000000d7: AND 000000d8: SWAP2 000000d9: AND 000000da: EQ 000000db: ISZERO 000000dc: PUSH2 0x00f2 000000df: JUMPI 000000e0: PUSH1 0x09 000000e2: DUP1 000000e3: SLOAD 000000e4: PUSH1 0x01 000000e6: PUSH1 0xa0 000000e8: PUSH1 0x02 000000ea: EXP 000000eb: SUB 000000ec: NOT 000000ed: AND 000000ee: DUP3 000000ef: OR 000000f0: SWAP1 000000f1: SSTORE 000000f2: JUMPDEST 000000f3: POP 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH2 0x028a 000000f9: PUSH1 0x04 000000fb: CALLDATALOAD 000000fc: PUSH1 0x00 000000fe: DUP1 000000ff: SLOAD 00000100: DUP3 00000101: SWAP1 00000102: DUP2 00000103: LT 00000104: ISZERO 00000105: PUSH2 0x0002 00000108: JUMPI 00000109: POP 0000010a: DUP1 0000010b: MSTORE 0000010c: PUSH1 0x02 0000010e: MUL 0000010f: PUSH1 0x00 00000111: DUP1 00000112: MLOAD 00000113: PUSH1 0x20 00000115: PUSH2 0x0579 00000118: DUP4 00000119: CODECOPY 0000011a: DUP2 0000011b: MLOAD 0000011c: SWAP2 0000011d: MSTORE 0000011e: DUP2 0000011f: ADD 00000120: SLOAD 00000121: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000142: SWAP2 00000143: SWAP1 00000144: SWAP2 00000145: ADD 00000146: SLOAD 00000147: PUSH1 0x01 00000149: PUSH1 0xa0 0000014b: PUSH1 0x02 0000014d: EXP 0000014e: SUB 0000014f: SWAP2 00000150: SWAP1 00000151: SWAP2 00000152: AND 00000153: SWAP1 00000154: DUP3 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x0278 0000015a: PUSH1 0x01 0000015c: SLOAD 0000015d: DUP2 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH2 0x0274 00000163: PUSH1 0x04 00000165: CALLDATALOAD 00000166: PUSH1 0x09 00000168: SLOAD 00000169: CALLER 0000016a: PUSH1 0x01 0000016c: PUSH1 0xa0 0000016e: PUSH1 0x02 00000170: EXP 00000171: SUB 00000172: SWAP1 00000173: DUP2 00000174: AND 00000175: SWAP2 00000176: AND 00000177: EQ 00000178: ISZERO 00000179: PUSH2 0x00f2 0000017c: JUMPI 0000017d: PUSH1 0x03 0000017f: SSTORE 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH2 0x0278 00000185: PUSH1 0x05 00000187: SLOAD 00000188: DUP2 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH2 0x0278 0000018e: PUSH1 0x07 00000190: SLOAD 00000191: DUP2 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x02b0 00000197: PUSH1 0x09 00000199: SLOAD 0000019a: PUSH1 0x01 0000019c: PUSH1 0xa0 0000019e: PUSH1 0x02 000001a0: EXP 000001a1: SUB 000001a2: AND 000001a3: DUP2 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x0274 000001a9: PUSH1 0x04 000001ab: CALLDATALOAD 000001ac: PUSH1 0x09 000001ae: SLOAD 000001af: CALLER 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: SWAP1 000001b9: DUP2 000001ba: AND 000001bb: SWAP2 000001bc: AND 000001bd: EQ 000001be: ISZERO 000001bf: PUSH2 0x00f2 000001c2: JUMPI 000001c3: PUSH1 0x08 000001c5: SSTORE 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x0278 000001cb: PUSH1 0x03 000001cd: SLOAD 000001ce: DUP2 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH2 0x0278 000001d4: PUSH1 0x06 000001d6: SLOAD 000001d7: DUP2 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH2 0x0278 000001dd: PUSH1 0x04 000001df: SLOAD 000001e0: DUP2 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH2 0x0274 000001e6: JUMPDEST 000001e7: PUSH1 0x00 000001e9: PUSH1 0x00 000001eb: PUSH1 0x00 000001ed: PUSH1 0x00 000001ef: PUSH1 0x00 000001f1: PUSH1 0x00 000001f3: PUSH7 0x2386f26fc10000 000001fb: CALLVALUE 000001fc: GT 000001fd: ISZERO 000001fe: PUSH2 0x0571 00000201: JUMPI 00000202: DUP1 00000203: SLOAD 00000204: PUSH1 0x01 00000206: DUP1 00000207: DUP3 00000208: ADD 00000209: PUSH1 0x02 0000020b: DUP2 0000020c: SWAP1 0000020d: SSTORE 0000020e: PUSH1 0x28 00000210: DUP1 00000211: DUP3 00000212: MOD 00000213: SWAP1 00000214: SUB 00000215: SWAP1 00000216: SWAP2 00000217: SSTORE 00000218: DUP1 00000219: DUP4 0000021a: SSTORE 0000021b: CALLVALUE 0000021c: SWAP8 0000021d: POP 0000021e: SWAP1 0000021f: SWAP5 00000220: DUP2 00000221: DUP7 00000222: DUP1 00000223: ISZERO 00000224: DUP3 00000225: SWAP1 00000226: GT 00000227: PUSH2 0x02cd 0000022a: JUMPI 0000022b: PUSH1 0x02 0000022d: MUL 0000022e: DUP2 0000022f: PUSH1 0x02 00000231: MUL 00000232: DUP4 00000233: PUSH1 0x00 00000235: MSTORE 00000236: PUSH1 0x20 00000238: PUSH1 0x00 0000023a: KECCAK256 0000023b: SWAP2 0000023c: DUP3 0000023d: ADD 0000023e: SWAP2 0000023f: ADD 00000240: PUSH2 0x02cd 00000243: SWAP2 00000244: SWAP1 00000245: JUMPDEST 00000246: DUP1 00000247: DUP3 00000248: GT 00000249: ISZERO 0000024a: PUSH2 0x043b 0000024d: JUMPI 0000024e: DUP1 0000024f: SLOAD 00000250: PUSH1 0x01 00000252: PUSH1 0xa0 00000254: PUSH1 0x02 00000256: EXP 00000257: SUB 00000258: NOT 00000259: AND 0000025a: DUP2 0000025b: SSTORE 0000025c: PUSH1 0x00 0000025e: PUSH1 0x01 00000260: SWAP2 00000261: SWAP1 00000262: SWAP2 00000263: ADD 00000264: SWAP1 00000265: DUP2 00000266: SSTORE 00000267: PUSH2 0x0245 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH2 0x0278 0000026f: PUSH1 0x02 00000271: SLOAD 00000272: DUP2 00000273: JUMP 00000274: JUMPDEST 00000275: STOP 00000276: JUMPDEST 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH1 0x40 0000027b: DUP1 0000027c: MLOAD 0000027d: SWAP2 0000027e: DUP3 0000027f: MSTORE 00000280: MLOAD 00000281: SWAP1 00000282: DUP2 00000283: SWAP1 00000284: SUB 00000285: PUSH1 0x20 00000287: ADD 00000288: SWAP1 00000289: RETURN 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: DUP1 0000028f: DUP4 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: PUSH1 0x02 00000296: EXP 00000297: SUB 00000298: AND 00000299: DUP2 0000029a: MSTORE 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: DUP3 0000029f: DUP2 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: SWAP3 000002a5: POP 000002a6: POP 000002a7: POP 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: SWAP2 000002ad: SUB 000002ae: SWAP1 000002af: RETURN 000002b0: JUMPDEST 000002b1: PUSH1 0x40 000002b3: DUP1 000002b4: MLOAD 000002b5: PUSH1 0x01 000002b7: PUSH1 0xa0 000002b9: PUSH1 0x02 000002bb: EXP 000002bc: SUB 000002bd: SWAP3 000002be: SWAP1 000002bf: SWAP3 000002c0: AND 000002c1: DUP3 000002c2: MSTORE 000002c3: MLOAD 000002c4: SWAP1 000002c5: DUP2 000002c6: SWAP1 000002c7: SUB 000002c8: PUSH1 0x20 000002ca: ADD 000002cb: SWAP1 000002cc: RETURN 000002cd: JUMPDEST 000002ce: POP 000002cf: POP 000002d0: POP 000002d1: POP 000002d2: CALLER 000002d3: PUSH1 0x00 000002d5: PUSH1 0x00 000002d7: POP 000002d8: DUP6 000002d9: DUP2 000002da: SLOAD 000002db: DUP2 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x0002 000002e1: JUMPI 000002e2: DUP2 000002e3: DUP1 000002e4: MSTORE 000002e5: PUSH1 0x02 000002e7: MUL 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: MLOAD 000002ec: PUSH1 0x20 000002ee: PUSH2 0x0579 000002f1: DUP4 000002f2: CODECOPY 000002f3: DUP2 000002f4: MLOAD 000002f5: SWAP2 000002f6: MSTORE 000002f7: ADD 000002f8: DUP1 000002f9: SLOAD 000002fa: PUSH1 0x01 000002fc: PUSH1 0xa0 000002fe: PUSH1 0x02 00000300: EXP 00000301: SUB 00000302: NOT 00000303: AND 00000304: SWAP1 00000305: SWAP3 00000306: OR 00000307: SWAP1 00000308: SWAP2 00000309: SSTORE 0000030a: DUP1 0000030b: SLOAD 0000030c: DUP8 0000030d: SWAP2 0000030e: SWAP1 0000030f: DUP7 00000310: SWAP1 00000311: DUP2 00000312: LT 00000313: ISZERO 00000314: PUSH2 0x0002 00000317: JUMPI 00000318: PUSH1 0x02 0000031a: MUL 0000031b: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 0000033c: ADD 0000033d: SWAP2 0000033e: SWAP1 0000033f: SWAP2 00000340: SSTORE 00000341: PUSH1 0x06 00000343: DUP1 00000344: SLOAD 00000345: DUP9 00000346: ADD 00000347: SWAP1 00000348: SSTORE 00000349: PUSH1 0x03 0000034b: SLOAD 0000034c: PUSH1 0x64 0000034e: SWAP1 0000034f: DUP9 00000350: MUL 00000351: DUP2 00000352: SWAP1 00000353: DIV 00000354: PUSH1 0x0a 00000356: DUP2 00000357: SWAP1 00000358: SSTORE 00000359: PUSH1 0x04 0000035b: DUP1 0000035c: SLOAD 0000035d: SWAP10 0000035e: DUP3 0000035f: SWAP1 00000360: SUB 00000361: PUSH1 0x50 00000363: DUP2 00000364: MUL 00000365: SWAP4 00000366: SWAP1 00000367: SWAP4 00000368: DIV 00000369: SWAP10 0000036a: DUP11 0000036b: ADD 0000036c: SWAP1 0000036d: SSTORE 0000036e: PUSH1 0x05 00000370: DUP1 00000371: SLOAD 00000372: SWAP10 00000373: SWAP1 00000374: SWAP3 00000375: SUB 00000376: SWAP9 00000377: DUP10 00000378: ADD 00000379: SWAP1 0000037a: SWAP2 0000037b: SSTORE 0000037c: EQ 0000037d: PUSH2 0x03c3 00000380: JUMPI 00000381: PUSH1 0x0a 00000383: SLOAD 00000384: PUSH8 0x1b9de674df070000 0000038d: SWAP4 0000038e: POP 0000038f: DUP4 00000390: SWAP1 00000391: LT 00000392: ISZERO 00000393: PUSH2 0x043f 00000396: JUMPI 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH1 0x0a 0000039c: SLOAD 0000039d: PUSH1 0x09 0000039f: SLOAD 000003a0: PUSH1 0x01 000003a2: PUSH1 0xa0 000003a4: PUSH1 0x02 000003a6: EXP 000003a7: SUB 000003a8: AND 000003a9: SWAP2 000003aa: PUSH1 0x00 000003ac: SWAP2 000003ad: SWAP1 000003ae: DUP3 000003af: DUP2 000003b0: DUP2 000003b1: DUP2 000003b2: DUP6 000003b3: DUP9 000003b4: DUP4 000003b5: CALL 000003b6: POP 000003b7: POP 000003b8: PUSH1 0x07 000003ba: DUP1 000003bb: SLOAD 000003bc: SWAP1 000003bd: SWAP2 000003be: ADD 000003bf: SWAP1 000003c0: SSTORE 000003c1: POP 000003c2: POP 000003c3: JUMPDEST 000003c4: PUSH1 0x08 000003c6: SLOAD 000003c7: CALLVALUE 000003c8: LT 000003c9: PUSH2 0x0571 000003cc: JUMPI 000003cd: PUSH1 0x28 000003cf: DUP5 000003d0: MOD 000003d1: PUSH1 0x00 000003d3: EQ 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03e2 000003d9: JUMPI 000003da: POP 000003db: PUSH1 0x05 000003dd: SLOAD 000003de: PUSH1 0x00 000003e0: SWAP1 000003e1: GT 000003e2: JUMPDEST 000003e3: ISZERO 000003e4: PUSH2 0x049a 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: SLOAD 000003ec: DUP6 000003ed: SWAP1 000003ee: DUP2 000003ef: LT 000003f0: ISZERO 000003f1: PUSH2 0x0002 000003f4: JUMPI 000003f5: DUP2 000003f6: DUP1 000003f7: MSTORE 000003f8: PUSH1 0x05 000003fa: SLOAD 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: PUSH1 0x02 00000400: SWAP3 00000401: SWAP1 00000402: SWAP3 00000403: MUL 00000404: PUSH1 0x00 00000406: DUP1 00000407: MLOAD 00000408: PUSH1 0x20 0000040a: PUSH2 0x0579 0000040d: DUP4 0000040e: CODECOPY 0000040f: DUP2 00000410: MLOAD 00000411: SWAP2 00000412: MSTORE 00000413: ADD 00000414: SLOAD 00000415: PUSH1 0x01 00000417: PUSH1 0xa0 00000419: PUSH1 0x02 0000041b: EXP 0000041c: SUB 0000041d: AND 0000041e: SWAP3 0000041f: SWAP2 00000420: DUP3 00000421: DUP2 00000422: DUP2 00000423: DUP2 00000424: DUP6 00000425: DUP9 00000426: DUP4 00000427: CALL 00000428: POP 00000429: POP 0000042a: PUSH1 0x07 0000042c: DUP1 0000042d: SLOAD 0000042e: SWAP1 0000042f: SWAP2 00000430: ADD 00000431: SWAP1 00000432: SSTORE 00000433: PUSH1 0x05 00000435: SSTORE 00000436: POP 00000437: PUSH2 0x0571 0000043a: JUMP 0000043b: JUMPDEST 0000043c: POP 0000043d: SWAP1 0000043e: JUMP 0000043f: JUMPDEST 00000440: POP 00000441: POP 00000442: PUSH1 0x0a 00000444: SLOAD 00000445: DUP2 00000446: SWAP1 00000447: DIV 00000448: PUSH1 0x00 0000044a: JUMPDEST 0000044b: DUP2 0000044c: DUP2 0000044d: LT 0000044e: ISZERO 0000044f: PUSH2 0x03c3 00000452: JUMPI 00000453: PUSH1 0x0a 00000455: SLOAD 00000456: PUSH1 0x00 00000458: SWAP1 00000459: GT 0000045a: ISZERO 0000045b: PUSH2 0x0492 0000045e: JUMPI 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: PUSH1 0x09 00000464: SLOAD 00000465: PUSH1 0x01 00000467: PUSH1 0xa0 00000469: PUSH1 0x02 0000046b: EXP 0000046c: SUB 0000046d: AND 0000046e: SWAP1 0000046f: PUSH1 0x00 00000471: SWAP1 00000472: DUP6 00000473: SWAP1 00000474: DUP3 00000475: DUP2 00000476: DUP2 00000477: DUP2 00000478: DUP6 00000479: DUP9 0000047a: DUP4 0000047b: CALL 0000047c: POP 0000047d: POP 0000047e: PUSH1 0x0a 00000480: DUP1 00000481: SLOAD 00000482: PUSH1 0x07 00000484: DUP1 00000485: SLOAD 00000486: DUP3 00000487: ADD 00000488: SWAP1 00000489: SSTORE 0000048a: SWAP2 0000048b: SWAP1 0000048c: SWAP2 0000048d: SUB 0000048e: SWAP1 0000048f: SSTORE 00000490: POP 00000491: POP 00000492: JUMPDEST 00000493: PUSH1 0x01 00000495: ADD 00000496: PUSH2 0x044a 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x02 0000049d: GAS 0000049e: PUSH1 0x40 000004a0: DUP1 000004a1: MLOAD 000004a2: SWAP2 000004a3: DUP3 000004a4: MSTORE 000004a5: MLOAD 000004a6: SWAP1 000004a7: DUP2 000004a8: SWAP1 000004a9: SUB 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: SWAP1 000004ae: KECCAK256 000004af: PUSH1 0x00 000004b1: DUP1 000004b2: SLOAD 000004b3: SWAP3 000004b4: SWAP1 000004b5: SWAP2 000004b6: MOD 000004b7: SWAP2 000004b8: DUP7 000004b9: SWAP1 000004ba: DUP2 000004bb: LT 000004bc: ISZERO 000004bd: PUSH2 0x0002 000004c0: JUMPI 000004c1: DUP2 000004c2: DUP1 000004c3: MSTORE 000004c4: PUSH1 0x02 000004c6: MUL 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: MLOAD 000004cb: PUSH1 0x20 000004cd: PUSH2 0x0579 000004d0: DUP4 000004d1: CODECOPY 000004d2: DUP2 000004d3: MLOAD 000004d4: SWAP2 000004d5: MSTORE 000004d6: ADD 000004d7: SWAP1 000004d8: POP 000004d9: PUSH1 0x40 000004db: DUP1 000004dc: MLOAD 000004dd: SWAP2 000004de: SLOAD 000004df: PUSH1 0x01 000004e1: PUSH1 0xa0 000004e3: PUSH1 0x02 000004e5: EXP 000004e6: SUB 000004e7: AND 000004e8: PUSH13 0x01000000000000000000000000 000004f6: MUL 000004f7: DUP3 000004f8: MSTORE 000004f9: PUSH1 0x14 000004fb: DUP3 000004fc: ADD 000004fd: DUP8 000004fe: SWAP1 000004ff: MSTORE 00000500: MLOAD 00000501: SWAP1 00000502: DUP2 00000503: SWAP1 00000504: SUB 00000505: PUSH1 0x34 00000507: ADD 00000508: SWAP1 00000509: KECCAK256 0000050a: ADD 0000050b: PUSH1 0x00 0000050d: EQ 0000050e: DUP1 0000050f: ISZERO 00000510: PUSH2 0x051c 00000513: JUMPI 00000514: POP 00000515: PUSH1 0x04 00000517: SLOAD 00000518: PUSH1 0x00 0000051a: SWAP1 0000051b: GT 0000051c: JUMPDEST 0000051d: ISZERO 0000051e: PUSH2 0x0571 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: SLOAD 00000526: DUP6 00000527: SWAP1 00000528: DUP2 00000529: LT 0000052a: ISZERO 0000052b: PUSH2 0x0002 0000052e: JUMPI 0000052f: DUP2 00000530: DUP1 00000531: MSTORE 00000532: PUSH1 0x04 00000534: SLOAD 00000535: PUSH1 0x40 00000537: MLOAD 00000538: PUSH1 0x02 0000053a: SWAP3 0000053b: SWAP1 0000053c: SWAP3 0000053d: MUL 0000053e: PUSH1 0x00 00000540: DUP1 00000541: MLOAD 00000542: PUSH1 0x20 00000544: PUSH2 0x0579 00000547: DUP4 00000548: CODECOPY 00000549: DUP2 0000054a: MLOAD 0000054b: SWAP2 0000054c: MSTORE 0000054d: ADD 0000054e: SLOAD 0000054f: PUSH1 0x01 00000551: PUSH1 0xa0 00000553: PUSH1 0x02 00000555: EXP 00000556: SUB 00000557: AND 00000558: SWAP3 00000559: SWAP2 0000055a: DUP3 0000055b: DUP2 0000055c: DUP2 0000055d: DUP2 0000055e: DUP6 0000055f: DUP9 00000560: DUP4 00000561: CALL 00000562: POP 00000563: POP 00000564: PUSH1 0x07 00000566: DUP1 00000567: SLOAD 00000568: SWAP1 00000569: SWAP2 0000056a: ADD 0000056b: SWAP1 0000056c: SSTORE 0000056d: PUSH1 0x04 0000056f: SSTORE 00000570: POP 00000571: JUMPDEST 00000572: POP 00000573: POP 00000574: POP 00000575: POP 00000576: POP 00000577: POP 00000578: JUMP 00000579: UNKNOWN(0x29) 0000057a: UNKNOWN(0x0D) 0000057b: UNKNOWN(0xEC) 0000057c: UNKNOWN(0xD9) 0000057d: SLOAD 0000057e: DUP12 0000057f: PUSH3 0xa8d603 00000583: GASLIMIT 00000584: UNKNOWN(0xA9) 00000585: DUP9 00000586: CODESIZE 00000587: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000598: PUSH4
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x10d0d240d87101577e4f6fbab43b0f43f2abedbd9c67f4f1349b9d0722687df0
call_targets:
0x237f29bbfd52c768a02980ea8d4d983a1d234edc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10d0d240d87101577e4f6fbab43b0f43f2abedbd9c67f4f1349b9d0722687df0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x237f29bbfd52c768a02980ea8d4d983a1d234edc"
],
"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": "0x11bcd830",
"selector": "0x11bcd830",
"calldata_variants": [
"0x11bcd830",
"0x11bcd8300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x148bea6b",
"selector": "0x148bea6b",
"calldata_variants": [
"0x148bea6b",
"0x148bea6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f1887e9",
"selector": "0x3f1887e9",
"calldata_variants": [
"0x3f1887e9",
"0x3f1887e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45596e2e",
"selector": "0x45596e2e",
"calldata_variants": [
"0x45596e2e",
"0x45596e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e377b51",
"selector": "0x5e377b51",
"calldata_variants": [
"0x5e377b51",
"0x5e377b510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a3a84a8",
"selector": "0x8a3a84a8",
"calldata_variants": [
"0x8a3a84a8",
"0x8a3a84a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 949,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x10d0d240d87101577e4f6fbab43b0f43f2abedbd9c67f4f1349b9d0722687df0
call_targets:
0x237f29bbfd52c768a02980ea8d4d983a1d234edc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10d0d240d87101577e4f6fbab43b0f43f2abedbd9c67f4f1349b9d0722687df0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x237f29bbfd52c768a02980ea8d4d983a1d234edc"
],
"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": "0x11bcd830",
"selector": "0x11bcd830",
"calldata_variants": [
"0x11bcd830",
"0x11bcd8300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x148bea6b",
"selector": "0x148bea6b",
"calldata_variants": [
"0x148bea6b",
"0x148bea6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f1887e9",
"selector": "0x3f1887e9",
"calldata_variants": [
"0x3f1887e9",
"0x3f1887e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45596e2e",
"selector": "0x45596e2e",
"calldata_variants": [
"0x45596e2e",
"0x45596e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e377b51",
"selector": "0x5e377b51",
"calldata_variants": [
"0x5e377b51",
"0x5e377b510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a3a84a8",
"selector": "0x8a3a84a8",
"calldata_variants": [
"0x8a3a84a8",
"0x8a3a84a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 949,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|