019b3836-303e-70d0-8846-982158074d82
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 |
|---|---|---|---|---|
| 2581 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 2582 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 79947 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 79948 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 79949 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 79950 | 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 0x0082 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x0d80fefd 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0093 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x3dbcc8d1 00000025: EQ 00000026: PUSH2 0x01b1 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x469c8110 00000030: EQ 00000031: PUSH2 0x01ba 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x723e046e 0000003b: EQ 0000003c: PUSH2 0x0211 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x8da5cb5b 00000046: EQ 00000047: PUSH2 0x021a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xae4b5cb8 00000051: EQ 00000052: PUSH2 0x022c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xe4b79a07 0000005c: EQ 0000005d: PUSH2 0x0278 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xe82935da 00000067: EQ 00000068: PUSH2 0x0281 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xef430aa6 00000072: EQ 00000073: PUSH2 0x02e0 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xf2fde38b 0000007d: EQ 0000007e: PUSH2 0x033d 00000081: JUMPI 00000082: JUMPDEST 00000083: PUSH2 0x0371 00000086: CALLVALUE 00000087: PUSH1 0x00 00000089: EQ 0000008a: ISZERO 0000008b: PUSH2 0x0373 0000008e: JUMPI 0000008f: PUSH2 0x0002 00000092: JUMP 00000093: JUMPDEST 00000094: PUSH2 0x03b2 00000097: PUSH1 0x04 00000099: CALLDATALOAD 0000009a: PUSH1 0x02 0000009c: DUP1 0000009d: SLOAD 0000009e: DUP3 0000009f: SWAP1 000000a0: DUP2 000000a1: LT 000000a2: ISZERO 000000a3: PUSH2 0x0002 000000a6: JUMPI 000000a7: POP 000000a8: PUSH1 0x00 000000aa: MSTORE 000000ab: PUSH1 0x08 000000ad: MUL 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: MLOAD 000000b2: PUSH1 0x20 000000b4: PUSH2 0x0a5c 000000b7: DUP4 000000b8: CODECOPY 000000b9: DUP2 000000ba: MLOAD 000000bb: SWAP2 000000bc: MSTORE 000000bd: DUP2 000000be: ADD 000000bf: SLOAD 000000c0: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5acf 000000e1: DUP3 000000e2: ADD 000000e3: SLOAD 000000e4: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad1 00000105: DUP4 00000106: ADD 00000107: SLOAD 00000108: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad2 00000129: DUP5 0000012a: ADD 0000012b: SLOAD 0000012c: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad3 0000014d: DUP6 0000014e: ADD 0000014f: SLOAD 00000150: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad5 00000171: DUP7 00000172: ADD 00000173: SLOAD 00000174: SWAP5 00000175: SWAP6 00000176: SWAP4 00000177: SWAP5 00000178: SWAP3 00000179: SWAP4 0000017a: PUSH1 0x01 0000017c: PUSH1 0xa0 0000017e: PUSH1 0x02 00000180: EXP 00000181: SUB 00000182: SWAP3 00000183: SWAP1 00000184: SWAP3 00000185: AND 00000186: SWAP3 00000187: SWAP1 00000188: SWAP2 00000189: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad4 000001aa: ADD 000001ab: SWAP1 000001ac: PUSH1 0xff 000001ae: AND 000001af: DUP8 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH2 0x0473 000001b5: PUSH1 0x05 000001b7: SLOAD 000001b8: DUP2 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: DUP1 000001be: MLOAD 000001bf: PUSH1 0x20 000001c1: PUSH1 0x04 000001c3: DUP1 000001c4: CALLDATALOAD 000001c5: DUP1 000001c6: DUP3 000001c7: ADD 000001c8: CALLDATALOAD 000001c9: PUSH1 0x1f 000001cb: DUP2 000001cc: ADD 000001cd: DUP5 000001ce: SWAP1 000001cf: DIV 000001d0: DUP5 000001d1: MUL 000001d2: DUP6 000001d3: ADD 000001d4: DUP5 000001d5: ADD 000001d6: SWAP1 000001d7: SWAP6 000001d8: MSTORE 000001d9: DUP5 000001da: DUP5 000001db: MSTORE 000001dc: PUSH2 0x0371 000001df: SWAP5 000001e0: SWAP2 000001e1: SWAP4 000001e2: PUSH1 0x24 000001e4: SWAP4 000001e5: SWAP1 000001e6: SWAP3 000001e7: SWAP2 000001e8: DUP5 000001e9: ADD 000001ea: SWAP2 000001eb: SWAP1 000001ec: DUP2 000001ed: SWAP1 000001ee: DUP5 000001ef: ADD 000001f0: DUP4 000001f1: DUP3 000001f2: DUP1 000001f3: DUP3 000001f4: DUP5 000001f5: CALLDATACOPY 000001f6: POP 000001f7: SWAP5 000001f8: SWAP7 000001f9: POP 000001fa: POP 000001fb: POP 000001fc: POP 000001fd: POP 000001fe: POP 000001ff: POP 00000200: JUMPDEST 00000201: PUSH3 0x0493e0 00000205: DUP2 00000206: MLOAD 00000207: GT 00000208: ISZERO 00000209: PUSH2 0x0513 0000020c: JUMPI 0000020d: PUSH2 0x0002 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH2 0x0473 00000215: PUSH1 0x03 00000217: SLOAD 00000218: DUP2 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH2 0x0485 0000021e: PUSH1 0x00 00000220: SLOAD 00000221: PUSH1 0x01 00000223: PUSH1 0xa0 00000225: PUSH1 0x02 00000227: EXP 00000228: SUB 00000229: AND 0000022a: DUP2 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x0371 00000230: PUSH1 0x04 00000232: CALLDATALOAD 00000233: PUSH1 0x24 00000235: CALLDATALOAD 00000236: PUSH1 0x00 00000238: SLOAD 00000239: PUSH1 0x01 0000023b: PUSH1 0xa0 0000023d: PUSH1 0x02 0000023f: EXP 00000240: SUB 00000241: SWAP1 00000242: DUP2 00000243: AND 00000244: CALLER 00000245: SWAP1 00000246: SWAP2 00000247: AND 00000248: EQ 00000249: ISZERO 0000024a: PUSH2 0x050f 0000024d: JUMPI 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: PUSH1 0x01 00000253: PUSH1 0xa0 00000255: PUSH1 0x02 00000257: EXP 00000258: SUB 00000259: DUP3 0000025a: AND 0000025b: SWAP1 0000025c: PUSH1 0x00 0000025e: SWAP1 0000025f: DUP5 00000260: SWAP1 00000261: DUP3 00000262: DUP2 00000263: DUP2 00000264: DUP2 00000265: DUP6 00000266: DUP9 00000267: DUP4 00000268: CALL 00000269: SWAP4 0000026a: POP 0000026b: POP 0000026c: POP 0000026d: POP 0000026e: ISZERO 0000026f: ISZERO 00000270: PUSH2 0x050f 00000273: JUMPI 00000274: PUSH2 0x0002 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x0473 0000027c: PUSH1 0x04 0000027e: SLOAD 0000027f: DUP2 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH2 0x0371 00000285: PUSH1 0x04 00000287: CALLDATALOAD 00000288: PUSH1 0x02 0000028a: DUP1 0000028b: SLOAD 0000028c: DUP3 0000028d: SWAP1 0000028e: DUP2 0000028f: LT 00000290: ISZERO 00000291: PUSH2 0x0002 00000294: JUMPI 00000295: POP 00000296: POP 00000297: PUSH1 0x01 00000299: PUSH1 0xa0 0000029b: PUSH1 0x02 0000029d: EXP 0000029e: SUB 0000029f: CALLER 000002a0: AND 000002a1: PUSH1 0x00 000002a3: SWAP1 000002a4: DUP2 000002a5: MSTORE 000002a6: PUSH1 0x08 000002a8: DUP3 000002a9: MUL 000002aa: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad0 000002cb: ADD 000002cc: PUSH1 0x20 000002ce: MSTORE 000002cf: PUSH1 0x40 000002d1: SWAP1 000002d2: KECCAK256 000002d3: SLOAD 000002d4: PUSH1 0xff 000002d6: AND 000002d7: ISZERO 000002d8: PUSH2 0x082f 000002db: JUMPI 000002dc: PUSH2 0x0002 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: DUP1 000002e4: MLOAD 000002e5: PUSH1 0x01 000002e7: DUP1 000002e8: SLOAD 000002e9: PUSH1 0x20 000002eb: PUSH1 0x02 000002ed: DUP3 000002ee: DUP5 000002ef: AND 000002f0: ISZERO 000002f1: PUSH2 0x0100 000002f4: MUL 000002f5: PUSH1 0x00 000002f7: NOT 000002f8: ADD 000002f9: SWAP1 000002fa: SWAP3 000002fb: AND 000002fc: SWAP2 000002fd: SWAP1 000002fe: SWAP2 000002ff: DIV 00000300: PUSH1 0x1f 00000302: DUP2 00000303: ADD 00000304: DUP3 00000305: SWAP1 00000306: DIV 00000307: DUP3 00000308: MUL 00000309: DUP5 0000030a: ADD 0000030b: DUP3 0000030c: ADD 0000030d: SWAP1 0000030e: SWAP5 0000030f: MSTORE 00000310: DUP4 00000311: DUP4 00000312: MSTORE 00000313: PUSH2 0x04a1 00000316: SWAP4 00000317: SWAP1 00000318: DUP4 00000319: ADD 0000031a: DUP3 0000031b: DUP3 0000031c: DUP1 0000031d: ISZERO 0000031e: PUSH2 0x0a54 00000321: JUMPI 00000322: DUP1 00000323: PUSH1 0x1f 00000325: LT 00000326: PUSH2 0x0a29 00000329: JUMPI 0000032a: PUSH2 0x0100 0000032d: DUP1 0000032e: DUP4 0000032f: SLOAD 00000330: DIV 00000331: MUL 00000332: DUP4 00000333: MSTORE 00000334: SWAP2 00000335: PUSH1 0x20 00000337: ADD 00000338: SWAP2 00000339: PUSH2 0x0a54 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH2 0x0371 00000341: PUSH1 0x04 00000343: CALLDATALOAD 00000344: PUSH1 0x00 00000346: SLOAD 00000347: PUSH1 0x01 00000349: PUSH1 0xa0 0000034b: PUSH1 0x02 0000034d: EXP 0000034e: SUB 0000034f: SWAP1 00000350: DUP2 00000351: AND 00000352: CALLER 00000353: SWAP1 00000354: SWAP2 00000355: AND 00000356: EQ 00000357: ISZERO 00000358: PUSH2 0x036e 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: SLOAD 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: PUSH1 0x02 00000366: EXP 00000367: SUB 00000368: NOT 00000369: AND 0000036a: DUP3 0000036b: OR 0000036c: SWAP1 0000036d: SSTORE 0000036e: JUMPDEST 0000036f: POP 00000370: JUMP 00000371: JUMPDEST 00000372: STOP 00000373: JUMPDEST 00000374: PUSH1 0x40 00000376: DUP1 00000377: MLOAD 00000378: DUP1 00000379: DUP3 0000037a: ADD 0000037b: SWAP1 0000037c: SWAP2 0000037d: MSTORE 0000037e: PUSH1 0x0c 00000380: DUP2 00000381: MSTORE 00000382: PUSH32 0x5f4920646f6e61746564215f0000000000000000000000000000000000000000 000003a3: PUSH1 0x20 000003a5: DUP3 000003a6: ADD 000003a7: MSTORE 000003a8: PUSH2 0x03b0 000003ab: SWAP1 000003ac: PUSH2 0x0200 000003af: JUMP 000003b0: JUMPDEST 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x40 000003b5: DUP1 000003b6: MLOAD 000003b7: DUP9 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x20 000003bc: DUP2 000003bd: ADD 000003be: DUP9 000003bf: SWAP1 000003c0: MSTORE 000003c1: SWAP1 000003c2: DUP2 000003c3: ADD 000003c4: DUP7 000003c5: SWAP1 000003c6: MSTORE 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: PUSH1 0x02 000003cd: EXP 000003ce: SUB 000003cf: DUP6 000003d0: AND 000003d1: PUSH1 0x60 000003d3: DUP3 000003d4: ADD 000003d5: MSTORE 000003d6: PUSH1 0x80 000003d8: DUP2 000003d9: ADD 000003da: DUP5 000003db: SWAP1 000003dc: MSTORE 000003dd: PUSH1 0xc0 000003df: DUP2 000003e0: ADD 000003e1: DUP3 000003e2: SWAP1 000003e3: MSTORE 000003e4: PUSH1 0xe0 000003e6: PUSH1 0xa0 000003e8: DUP3 000003e9: ADD 000003ea: DUP2 000003eb: DUP2 000003ec: MSTORE 000003ed: DUP5 000003ee: SLOAD 000003ef: PUSH1 0x02 000003f1: PUSH1 0x01 000003f3: DUP3 000003f4: AND 000003f5: ISZERO 000003f6: PUSH2 0x0100 000003f9: SWAP1 000003fa: DUP2 000003fb: MUL 000003fc: PUSH1 0x00 000003fe: NOT 000003ff: ADD 00000400: SWAP1 00000401: SWAP3 00000402: AND 00000403: DIV 00000404: SWAP3 00000405: DUP5 00000406: ADD 00000407: DUP4 00000408: SWAP1 00000409: MSTORE 0000040a: SWAP1 0000040b: SWAP2 0000040c: SWAP1 0000040d: DUP4 0000040e: ADD 0000040f: SWAP1 00000410: DUP6 00000411: SWAP1 00000412: DUP1 00000413: ISZERO 00000414: PUSH2 0x045e 00000417: JUMPI 00000418: DUP1 00000419: PUSH1 0x1f 0000041b: LT 0000041c: PUSH2 0x0433 0000041f: JUMPI 00000420: PUSH2 0x0100 00000423: DUP1 00000424: DUP4 00000425: SLOAD 00000426: DIV 00000427: MUL 00000428: DUP4 00000429: MSTORE 0000042a: SWAP2 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: SWAP2 0000042f: PUSH2 0x045e 00000432: JUMP 00000433: JUMPDEST 00000434: DUP3 00000435: ADD 00000436: SWAP2 00000437: SWAP1 00000438: PUSH1 0x00 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: PUSH1 0x00 0000043f: KECCAK256 00000440: SWAP1 00000441: JUMPDEST 00000442: DUP2 00000443: SLOAD 00000444: DUP2 00000445: MSTORE 00000446: SWAP1 00000447: PUSH1 0x01 00000449: ADD 0000044a: SWAP1 0000044b: PUSH1 0x20 0000044d: ADD 0000044e: DUP1 0000044f: DUP4 00000450: GT 00000451: PUSH2 0x0441 00000454: JUMPI 00000455: DUP3 00000456: SWAP1 00000457: SUB 00000458: PUSH1 0x1f 0000045a: AND 0000045b: DUP3 0000045c: ADD 0000045d: SWAP2 0000045e: JUMPDEST 0000045f: POP 00000460: POP 00000461: SWAP9 00000462: POP 00000463: POP 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: POP 00000469: POP 0000046a: POP 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: SWAP2 00000470: SUB 00000471: SWAP1 00000472: RETURN 00000473: JUMPDEST 00000474: PUSH1 0x40 00000476: DUP1 00000477: MLOAD 00000478: SWAP2 00000479: DUP3 0000047a: MSTORE 0000047b: MLOAD 0000047c: SWAP1 0000047d: DUP2 0000047e: SWAP1 0000047f: SUB 00000480: PUSH1 0x20 00000482: ADD 00000483: SWAP1 00000484: RETURN 00000485: JUMPDEST 00000486: PUSH1 0x40 00000488: DUP1 00000489: MLOAD 0000048a: PUSH1 0x01 0000048c: PUSH1 0xa0 0000048e: PUSH1 0x02 00000490: EXP 00000491: SUB 00000492: SWAP1 00000493: SWAP3 00000494: AND 00000495: DUP3 00000496: MSTORE 00000497: MLOAD 00000498: SWAP1 00000499: DUP2 0000049a: SWAP1 0000049b: SUB 0000049c: PUSH1 0x20 0000049e: ADD 0000049f: SWAP1 000004a0: RETURN 000004a1: JUMPDEST 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: DUP1 000004a6: DUP1 000004a7: PUSH1 0x20 000004a9: ADD 000004aa: DUP3 000004ab: DUP2 000004ac: SUB 000004ad: DUP3 000004ae: MSTORE 000004af: DUP4 000004b0: DUP2 000004b1: DUP2 000004b2: MLOAD 000004b3: DUP2 000004b4: MSTORE 000004b5: PUSH1 0x20 000004b7: ADD 000004b8: SWAP2 000004b9: POP 000004ba: DUP1 000004bb: MLOAD 000004bc: SWAP1 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: SWAP1 000004c1: DUP1 000004c2: DUP4 000004c3: DUP4 000004c4: DUP3 000004c5: SWAP1 000004c6: PUSH1 0x00 000004c8: PUSH1 0x04 000004ca: PUSH1 0x20 000004cc: DUP5 000004cd: PUSH1 0x1f 000004cf: ADD 000004d0: DIV 000004d1: PUSH1 0x0f 000004d3: MUL 000004d4: PUSH1 0x03 000004d6: ADD 000004d7: CALL 000004d8: POP 000004d9: SWAP1 000004da: POP 000004db: SWAP1 000004dc: DUP2 000004dd: ADD 000004de: SWAP1 000004df: PUSH1 0x1f 000004e1: AND 000004e2: DUP1 000004e3: ISZERO 000004e4: PUSH2 0x0501 000004e7: JUMPI 000004e8: DUP1 000004e9: DUP3 000004ea: SUB 000004eb: DUP1 000004ec: MLOAD 000004ed: PUSH1 0x01 000004ef: DUP4 000004f0: PUSH1 0x20 000004f2: SUB 000004f3: PUSH2 0x0100 000004f6: EXP 000004f7: SUB 000004f8: NOT 000004f9: AND 000004fa: DUP2 000004fb: MSTORE 000004fc: PUSH1 0x20 000004fe: ADD 000004ff: SWAP2 00000500: POP 00000501: JUMPDEST 00000502: POP 00000503: SWAP3 00000504: POP 00000505: POP 00000506: POP 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: DUP1 0000050b: SWAP2 0000050c: SUB 0000050d: SWAP1 0000050e: RETURN 0000050f: JUMPDEST 00000510: POP 00000511: POP 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH1 0x02 00000516: DUP1 00000517: SLOAD 00000518: PUSH1 0x05 0000051a: DUP2 0000051b: SWAP1 0000051c: SSTORE 0000051d: PUSH1 0x01 0000051f: DUP2 00000520: ADD 00000521: DUP1 00000522: DUP4 00000523: SSTORE 00000524: SWAP2 00000525: SWAP1 00000526: DUP3 00000527: SWAP1 00000528: DUP1 00000529: ISZERO 0000052a: DUP3 0000052b: SWAP1 0000052c: GT 0000052d: PUSH2 0x054f 00000530: JUMPI 00000531: PUSH1 0x08 00000533: MUL 00000534: DUP2 00000535: PUSH1 0x08 00000537: MUL 00000538: DUP4 00000539: PUSH1 0x00 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: PUSH1 0x00 00000540: KECCAK256 00000541: SWAP2 00000542: DUP3 00000543: ADD 00000544: SWAP2 00000545: ADD 00000546: PUSH2 0x054f 00000549: SWAP2 0000054a: SWAP1 0000054b: PUSH2 0x0659 0000054e: JUMP 0000054f: JUMPDEST 00000550: POP 00000551: POP 00000552: PUSH1 0x02 00000554: DUP1 00000555: SLOAD 00000556: PUSH1 0x05 00000558: SLOAD 00000559: CALLER 0000055a: SWAP5 0000055b: POP 0000055c: SWAP2 0000055d: SWAP3 0000055e: POP 0000055f: DUP2 00000560: LT 00000561: ISZERO 00000562: PUSH2 0x0002 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP3 00000569: SWAP1 0000056a: MSTORE 0000056b: PUSH1 0x08 0000056d: MUL 0000056e: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad2 0000058f: ADD 00000590: DUP1 00000591: SLOAD 00000592: PUSH1 0x01 00000594: PUSH1 0xa0 00000596: PUSH1 0x02 00000598: EXP 00000599: SUB 0000059a: NOT 0000059b: AND 0000059c: SWAP1 0000059d: SWAP3 0000059e: OR 0000059f: SWAP1 000005a0: SWAP2 000005a1: SSTORE 000005a2: DUP1 000005a3: SLOAD 000005a4: PUSH1 0x05 000005a6: SLOAD 000005a7: CALLVALUE 000005a8: SWAP3 000005a9: SWAP2 000005aa: DUP2 000005ab: LT 000005ac: ISZERO 000005ad: PUSH2 0x0002 000005b0: JUMPI 000005b1: PUSH1 0x08 000005b3: MUL 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: MLOAD 000005b8: PUSH1 0x20 000005ba: PUSH2 0x0a5c 000005bd: DUP4 000005be: CODECOPY 000005bf: DUP2 000005c0: MLOAD 000005c1: SWAP2 000005c2: MSTORE 000005c3: ADD 000005c4: SWAP2 000005c5: SWAP1 000005c6: SWAP2 000005c7: SSTORE 000005c8: DUP1 000005c9: SLOAD 000005ca: PUSH1 0x05 000005cc: SLOAD 000005cd: DUP4 000005ce: SWAP3 000005cf: SWAP2 000005d0: DUP2 000005d1: LT 000005d2: ISZERO 000005d3: PUSH2 0x0002 000005d6: JUMPI 000005d7: PUSH1 0x00 000005d9: SWAP2 000005da: DUP3 000005db: MSTORE 000005dc: PUSH1 0x08 000005de: MUL 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: MLOAD 000005e3: PUSH1 0x20 000005e5: PUSH2 0x0a5c 000005e8: DUP4 000005e9: CODECOPY 000005ea: DUP2 000005eb: MLOAD 000005ec: SWAP2 000005ed: MSTORE 000005ee: ADD 000005ef: SWAP1 000005f0: POP 000005f1: PUSH1 0x06 000005f3: ADD 000005f4: PUSH1 0x00 000005f6: POP 000005f7: SWAP1 000005f8: DUP1 000005f9: MLOAD 000005fa: SWAP1 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: SWAP1 000005ff: DUP3 00000600: DUP1 00000601: SLOAD 00000602: PUSH1 0x01 00000604: DUP2 00000605: PUSH1 0x01 00000607: AND 00000608: ISZERO 00000609: PUSH2 0x0100 0000060c: MUL 0000060d: SUB 0000060e: AND 0000060f: PUSH1 0x02 00000611: SWAP1 00000612: DIV 00000613: SWAP1 00000614: PUSH1 0x00 00000616: MSTORE 00000617: PUSH1 0x20 00000619: PUSH1 0x00 0000061b: KECCAK256 0000061c: SWAP1 0000061d: PUSH1 0x1f 0000061f: ADD 00000620: PUSH1 0x20 00000622: SWAP1 00000623: DIV 00000624: DUP2 00000625: ADD 00000626: SWAP3 00000627: DUP3 00000628: PUSH1 0x1f 0000062a: LT 0000062b: PUSH2 0x06ec 0000062e: JUMPI 0000062f: DUP1 00000630: MLOAD 00000631: PUSH1 0xff 00000633: NOT 00000634: AND 00000635: DUP4 00000636: DUP1 00000637: ADD 00000638: OR 00000639: DUP6 0000063a: SSTORE 0000063b: JUMPDEST 0000063c: POP 0000063d: PUSH2 0x071c 00000640: SWAP3 00000641: SWAP2 00000642: POP 00000643: PUSH2 0x06d4 00000646: JUMP 00000647: JUMPDEST 00000648: POP 00000649: POP 0000064a: PUSH1 0x07 0000064c: DUP2 0000064d: ADD 0000064e: DUP1 0000064f: SLOAD 00000650: PUSH1 0xff 00000652: NOT 00000653: AND 00000654: SWAP1 00000655: SSTORE 00000656: PUSH1 0x01 00000658: ADD 00000659: JUMPDEST 0000065a: DUP1 0000065b: DUP3 0000065c: GT 0000065d: ISZERO 0000065e: PUSH2 0x06e8 00000661: JUMPI 00000662: PUSH1 0x00 00000664: DUP1 00000665: DUP3 00000666: SSTORE 00000667: PUSH1 0x01 00000669: DUP3 0000066a: DUP2 0000066b: ADD 0000066c: DUP3 0000066d: SWAP1 0000066e: SSTORE 0000066f: PUSH1 0x03 00000671: DUP4 00000672: ADD 00000673: DUP3 00000674: SWAP1 00000675: SSTORE 00000676: PUSH1 0x04 00000678: DUP4 00000679: ADD 0000067a: DUP1 0000067b: SLOAD 0000067c: PUSH1 0x01 0000067e: PUSH1 0xa0 00000680: PUSH1 0x02 00000682: EXP 00000683: SUB 00000684: NOT 00000685: AND 00000686: SWAP1 00000687: SSTORE 00000688: PUSH1 0x05 0000068a: DUP4 0000068b: ADD 0000068c: DUP3 0000068d: SWAP1 0000068e: SSTORE 0000068f: PUSH1 0x06 00000691: DUP4 00000692: ADD 00000693: DUP1 00000694: SLOAD 00000695: DUP4 00000696: DUP3 00000697: SSTORE 00000698: SWAP1 00000699: SWAP2 0000069a: PUSH1 0x02 0000069c: SWAP1 0000069d: DUP3 0000069e: AND 0000069f: ISZERO 000006a0: PUSH2 0x0100 000006a3: MUL 000006a4: PUSH1 0x00 000006a6: NOT 000006a7: ADD 000006a8: SWAP1 000006a9: SWAP2 000006aa: AND 000006ab: DIV 000006ac: PUSH1 0x1f 000006ae: DUP2 000006af: SWAP1 000006b0: LT 000006b1: PUSH2 0x06ba 000006b4: JUMPI 000006b5: POP 000006b6: PUSH2 0x0647 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH1 0x1f 000006bd: ADD 000006be: PUSH1 0x20 000006c0: SWAP1 000006c1: DIV 000006c2: SWAP1 000006c3: PUSH1 0x00 000006c5: MSTORE 000006c6: PUSH1 0x20 000006c8: PUSH1 0x00 000006ca: KECCAK256 000006cb: SWAP1 000006cc: DUP2 000006cd: ADD 000006ce: SWAP1 000006cf: PUSH2 0x0647 000006d2: SWAP2 000006d3: SWAP1 000006d4: JUMPDEST 000006d5: DUP1 000006d6: DUP3 000006d7: GT 000006d8: ISZERO 000006d9: PUSH2 0x06e8 000006dc: JUMPI 000006dd: PUSH1 0x00 000006df: DUP2 000006e0: SSTORE 000006e1: PUSH1 0x01 000006e3: ADD 000006e4: PUSH2 0x06d4 000006e7: JUMP 000006e8: JUMPDEST 000006e9: POP 000006ea: SWAP1 000006eb: JUMP 000006ec: JUMPDEST 000006ed: DUP3 000006ee: DUP1 000006ef: ADD 000006f0: PUSH1 0x01 000006f2: ADD 000006f3: DUP6 000006f4: SSTORE 000006f5: DUP3 000006f6: ISZERO 000006f7: PUSH2 0x063b 000006fa: JUMPI 000006fb: SWAP2 000006fc: DUP3 000006fd: ADD 000006fe: JUMPDEST 000006ff: DUP3 00000700: DUP2 00000701: GT 00000702: ISZERO 00000703: PUSH2 0x063b 00000706: JUMPI 00000707: DUP3 00000708: MLOAD 00000709: DUP3 0000070a: PUSH1 0x00 0000070c: POP 0000070d: SSTORE 0000070e: SWAP2 0000070f: PUSH1 0x20 00000711: ADD 00000712: SWAP2 00000713: SWAP1 00000714: PUSH1 0x01 00000716: ADD 00000717: SWAP1 00000718: PUSH2 0x06fe 0000071b: JUMP 0000071c: JUMPDEST 0000071d: POP 0000071e: POP 0000071f: PUSH1 0x02 00000721: DUP1 00000722: SLOAD 00000723: PUSH1 0x05 00000725: SLOAD 00000726: TIMESTAMP 00000727: SWAP3 00000728: SWAP2 00000729: DUP2 0000072a: LT 0000072b: ISZERO 0000072c: PUSH2 0x0002 0000072f: JUMPI 00000730: PUSH1 0x00 00000732: SWAP2 00000733: DUP3 00000734: MSTORE 00000735: PUSH1 0x08 00000737: MUL 00000738: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad3 00000759: ADD 0000075a: SWAP2 0000075b: SWAP1 0000075c: SWAP2 0000075d: SSTORE 0000075e: PUSH1 0x40 00000760: MLOAD 00000761: PUSH1 0x05 00000763: SLOAD 00000764: SWAP2 00000765: PUSH32 0xb06d4e59b43a14f44108296b851e7b48a2afaa842f02996132f2fe83a3482735 00000786: SWAP2 00000787: LOG2 00000788: PUSH1 0x02 0000078a: DUP1 0000078b: SLOAD 0000078c: PUSH1 0x03 0000078e: SLOAD 0000078f: SWAP1 00000790: DUP2 00000791: LT 00000792: ISZERO 00000793: PUSH2 0x0002 00000796: JUMPI 00000797: PUSH1 0x08 00000799: MUL 0000079a: PUSH1 0x00 0000079c: DUP1 0000079d: MLOAD 0000079e: PUSH1 0x20 000007a0: PUSH2 0x0a5c 000007a3: DUP4 000007a4: CODECOPY 000007a5: DUP2 000007a6: MLOAD 000007a7: SWAP2 000007a8: MSTORE 000007a9: ADD 000007aa: SLOAD 000007ab: CALLVALUE 000007ac: GT 000007ad: ISZERO 000007ae: SWAP1 000007af: POP 000007b0: PUSH2 0x036e 000007b3: JUMPI 000007b4: PUSH1 0x02 000007b6: DUP1 000007b7: SLOAD 000007b8: PUSH1 0x05 000007ba: SLOAD 000007bb: PUSH1 0x01 000007bd: SWAP3 000007be: SWAP2 000007bf: DUP2 000007c0: LT 000007c1: ISZERO 000007c2: PUSH2 0x0002 000007c5: JUMPI 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: PUSH1 0x08 000007cb: SWAP2 000007cc: SWAP1 000007cd: SWAP2 000007ce: MUL 000007cf: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad5 000007f0: ADD 000007f1: DUP1 000007f2: SLOAD 000007f3: PUSH1 0xff 000007f5: NOT 000007f6: AND 000007f7: SWAP1 000007f8: SWAP4 000007f9: OR 000007fa: SWAP1 000007fb: SWAP3 000007fc: SSTORE 000007fd: POP 000007fe: PUSH1 0x05 00000800: SLOAD 00000801: PUSH1 0x03 00000803: DUP2 00000804: SWAP1 00000805: SSTORE 00000806: SWAP1 00000807: PUSH32 0x8c33660fa6a32af7fd647213c713ee95d57ff6aa71973b0905d4af4cdffc37f7 00000828: SWAP1 00000829: PUSH1 0x00 0000082b: SWAP1 0000082c: LOG2 0000082d: POP 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x02 00000832: SLOAD 00000833: DUP2 00000834: LT 00000835: PUSH2 0x083d 00000838: JUMPI 00000839: PUSH2 0x0002 0000083c: JUMP 0000083d: JUMPDEST 0000083e: PUSH1 0x01 00000840: PUSH1 0x02 00000842: PUSH1 0x00 00000844: POP 00000845: DUP3 00000846: DUP2 00000847: SLOAD 00000848: DUP2 00000849: LT 0000084a: ISZERO 0000084b: PUSH2 0x0002 0000084e: JUMPI 0000084f: POP 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: PUSH1 0x02 00000856: EXP 00000857: SUB 00000858: CALLER 00000859: AND 0000085a: PUSH1 0x00 0000085c: SWAP1 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad0 00000880: PUSH1 0x08 00000882: DUP6 00000883: MUL 00000884: ADD 00000885: PUSH1 0x20 00000887: MSTORE 00000888: PUSH1 0x40 0000088a: SWAP1 0000088b: KECCAK256 0000088c: DUP1 0000088d: SLOAD 0000088e: PUSH1 0xff 00000890: NOT 00000891: AND 00000892: SWAP1 00000893: SWAP3 00000894: OR 00000895: SWAP1 00000896: SWAP2 00000897: SSTORE 00000898: DUP1 00000899: SLOAD 0000089a: DUP3 0000089b: SWAP1 0000089c: DUP2 0000089d: LT 0000089e: ISZERO 0000089f: PUSH2 0x0002 000008a2: JUMPI 000008a3: POP 000008a4: PUSH1 0x00 000008a6: DUP2 000008a7: SWAP1 000008a8: MSTORE 000008a9: PUSH1 0x08 000008ab: DUP3 000008ac: MUL 000008ad: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5acf 000008ce: ADD 000008cf: DUP1 000008d0: SLOAD 000008d1: PUSH1 0x01 000008d3: ADD 000008d4: SWAP1 000008d5: SSTORE 000008d6: DUP1 000008d7: SLOAD 000008d8: PUSH1 0x04 000008da: SLOAD 000008db: SWAP1 000008dc: DUP2 000008dd: LT 000008de: ISZERO 000008df: PUSH2 0x0002 000008e2: JUMPI 000008e3: DUP2 000008e4: SLOAD 000008e5: PUSH1 0x08 000008e7: SWAP2 000008e8: SWAP1 000008e9: SWAP2 000008ea: MUL 000008eb: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5acf 0000090c: ADD 0000090d: SLOAD 0000090e: SWAP2 0000090f: SWAP1 00000910: DUP4 00000911: SWAP1 00000912: DUP2 00000913: LT 00000914: ISZERO 00000915: PUSH2 0x0002 00000918: JUMPI 00000919: SWAP1 0000091a: PUSH1 0x00 0000091c: MSTORE 0000091d: PUSH1 0x20 0000091f: PUSH1 0x00 00000921: KECCAK256 00000922: SWAP1 00000923: PUSH1 0x08 00000925: MUL 00000926: ADD 00000927: PUSH1 0x00 00000929: POP 0000092a: PUSH1 0x01 0000092c: ADD 0000092d: SLOAD 0000092e: GT 0000092f: ISZERO 00000930: PUSH2 0x0939 00000933: JUMPI 00000934: PUSH1 0x04 00000936: DUP2 00000937: SWAP1 00000938: SSTORE 00000939: JUMPDEST 0000093a: PUSH1 0x00 0000093c: CALLVALUE 0000093d: GT 0000093e: ISZERO 0000093f: PUSH2 0x09e4 00000942: JUMPI 00000943: CALLVALUE 00000944: PUSH1 0x02 00000946: PUSH1 0x00 00000948: POP 00000949: DUP3 0000094a: DUP2 0000094b: SLOAD 0000094c: DUP2 0000094d: LT 0000094e: ISZERO 0000094f: PUSH2 0x0002 00000952: JUMPI 00000953: POP 00000954: PUSH1 0x00 00000956: DUP2 00000957: SWAP1 00000958: MSTORE 00000959: PUSH1 0x08 0000095b: DUP4 0000095c: MUL 0000095d: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad1 0000097e: ADD 0000097f: DUP1 00000980: SLOAD 00000981: SWAP1 00000982: SWAP3 00000983: ADD 00000984: SWAP1 00000985: SWAP2 00000986: SSTORE 00000987: DUP1 00000988: SLOAD 00000989: DUP3 0000098a: SWAP1 0000098b: DUP2 0000098c: LT 0000098d: ISZERO 0000098e: PUSH2 0x0002 00000991: JUMPI 00000992: POP 00000993: POP 00000994: PUSH1 0x40 00000996: MLOAD 00000997: PUSH1 0x08 00000999: DUP3 0000099a: MUL 0000099b: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ad2 000009bc: ADD 000009bd: SLOAD 000009be: PUSH1 0x01 000009c0: PUSH1 0xa0 000009c2: PUSH1 0x02 000009c4: EXP 000009c5: SUB 000009c6: AND 000009c7: SWAP1 000009c8: PUSH1 0x00 000009ca: SWAP1 000009cb: CALLVALUE 000009cc: SWAP1 000009cd: DUP3 000009ce: DUP2 000009cf: DUP2 000009d0: DUP2 000009d1: DUP6 000009d2: DUP9 000009d3: DUP4 000009d4: CALL 000009d5: SWAP4 000009d6: POP 000009d7: POP 000009d8: POP 000009d9: POP 000009da: ISZERO 000009db: ISZERO 000009dc: PUSH2 0x09e4 000009df: JUMPI 000009e0: PUSH2 0x0002 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH1 0x40 000009e7: DUP1 000009e8: MLOAD 000009e9: CALLER 000009ea: PUSH1 0x01 000009ec: PUSH1 0xa0 000009ee: PUSH1 0x02 000009f0: EXP 000009f1: SUB 000009f2: AND 000009f3: DUP2 000009f4: MSTORE 000009f5: CALLVALUE 000009f6: PUSH1 0x20 000009f8: DUP3 000009f9: ADD 000009fa: MSTORE 000009fb: DUP2 000009fc: MLOAD 000009fd: DUP4 000009fe: SWAP3 000009ff: PUSH32 0xb460a54340d1568fb87e4f0559f484886ac898b348dac030bcfa5dc4b28ee401 00000a20: SWAP3 00000a21: DUP3 00000a22: SWAP1 00000a23: SUB 00000a24: ADD 00000a25: SWAP1 00000a26: LOG2 00000a27: POP 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: DUP3 00000a2b: ADD 00000a2c: SWAP2 00000a2d: SWAP1 00000a2e: PUSH1 0x00 00000a30: MSTORE 00000a31: PUSH1 0x20 00000a33: PUSH1 0x00 00000a35: KECCAK256 00000a36: SWAP1 00000a37: JUMPDEST 00000a38: DUP2 00000a39: SLOAD 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: SWAP1 00000a3d: PUSH1 0x01 00000a3f: ADD 00000a40: SWAP1 00000a41: PUSH1 0x20 00000a43: ADD 00000a44: DUP1 00000a45: DUP4 00000a46: GT 00000a47: PUSH2 0x0a37 00000a4a: JUMPI 00000a4b: DUP3 00000a4c: SWAP1 00000a4d: SUB 00000a4e: PUSH1 0x1f 00000a50: AND 00000a51: DUP3 00000a52: ADD 00000a53: SWAP2 00000a54: JUMPDEST 00000a55: POP 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: POP 00000a5a: DUP2 00000a5b: JUMP 00000a5c: BLOCKHASH 00000a5d: JUMPI 00000a5e: DUP8 00000a5f: STATICCALL 00000a60: SLT 00000a61: UNKNOWN(0xA8) 00000a62: UNKNOWN(0x23) 00000a63: UNKNOWN(0xE0) 00000a64: CALLCODE 00000a65: UNKNOWN(0xB7) 00000a66: PUSH4 0x1cc41b3b 00000a6b: UNKNOWN(0xA8) 00000a6c: DUP3 00000a6d: DUP12 00000a6e: CALLER 00000a6f: UNKNOWN(0x21) 00000a70: UNKNOWN(0xCA) 00000a71: DUP2 00000a72: GT 00000a73: GT 00000a74: STATICCALL 00000a75: PUSH22
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: 0x2a577a8b3f788a318a21f1c2962352e3a42d26a11a1af41950eec02b84874bba
call_targets:
0x37c9886582deb98648976a96f661056723bb21b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a577a8b3f788a318a21f1c2962352e3a42d26a11a1af41950eec02b84874bba",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37c9886582deb98648976a96f661056723bb21b3"
],
"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": "0x0d80fefd",
"selector": "0x0d80fefd",
"calldata_variants": [
"0x0d80fefd",
"0x0d80fefd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3dbcc8d1",
"selector": "0x3dbcc8d1",
"calldata_variants": [
"0x3dbcc8d1",
"0x3dbcc8d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x469c8110",
"selector": "0x469c8110",
"calldata_variants": [
"0x469c8110",
"0x469c81100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x723e046e",
"selector": "0x723e046e",
"calldata_variants": [
"0x723e046e",
"0x723e046e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae4b5cb8",
"selector": "0xae4b5cb8",
"calldata_variants": [
"0xae4b5cb8",
"0xae4b5cb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe4b79a07",
"selector": "0xe4b79a07",
"calldata_variants": [
"0xe4b79a07",
"0xe4b79a070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe82935da",
"selector": "0xe82935da",
"calldata_variants": [
"0xe82935da",
"0xe82935da0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 616,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2516,
"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: 0x2a577a8b3f788a318a21f1c2962352e3a42d26a11a1af41950eec02b84874bba
call_targets:
0x37c9886582deb98648976a96f661056723bb21b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a577a8b3f788a318a21f1c2962352e3a42d26a11a1af41950eec02b84874bba",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37c9886582deb98648976a96f661056723bb21b3"
],
"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": "0x0d80fefd",
"selector": "0x0d80fefd",
"calldata_variants": [
"0x0d80fefd",
"0x0d80fefd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3dbcc8d1",
"selector": "0x3dbcc8d1",
"calldata_variants": [
"0x3dbcc8d1",
"0x3dbcc8d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x469c8110",
"selector": "0x469c8110",
"calldata_variants": [
"0x469c8110",
"0x469c81100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x723e046e",
"selector": "0x723e046e",
"calldata_variants": [
"0x723e046e",
"0x723e046e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae4b5cb8",
"selector": "0xae4b5cb8",
"calldata_variants": [
"0xae4b5cb8",
"0xae4b5cb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe4b79a07",
"selector": "0xe4b79a07",
"calldata_variants": [
"0xe4b79a07",
"0xe4b79a070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe82935da",
"selector": "0xe82935da",
"calldata_variants": [
"0xe82935da",
"0xe82935da0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 616,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2516,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|