019b3836-3774-7299-b8d8-b05df1a071f2
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 |
|---|---|---|---|---|
| 3757 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3758 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105325 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 105326 | capability.graph | complete | 1 / 3 | 1 week ago |
| 105327 | detector.run | complete | 1 / 3 | 1 week ago |
| 105328 | 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 0x008d 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x025e7c27 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0095 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x11a7a4c0 00000025: EQ 00000026: PUSH2 0x00b6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x5487d480 00000030: EQ 00000031: PUSH2 0x0186 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x76577eae 0000003b: EQ 0000003c: PUSH2 0x01cf 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x9af1d35a 00000046: EQ 00000047: PUSH2 0x0293 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xa60f3588 00000051: EQ 00000052: PUSH2 0x029c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xb165c49f 0000005c: EQ 0000005d: PUSH2 0x02a5 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xb69ef8a8 00000067: EQ 00000068: PUSH2 0x02ae 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xbe414e97 00000072: EQ 00000073: PUSH2 0x02b7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xc8796572 0000007d: EQ 0000007e: PUSH2 0x02c0 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xf3c414fb 00000088: EQ 00000089: PUSH2 0x0320 0000008c: JUMPI 0000008d: JUMPDEST 0000008e: PUSH2 0x03b4 00000091: PUSH2 0x0002 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH2 0x03b8 00000099: PUSH1 0x04 0000009b: CALLDATALOAD 0000009c: PUSH1 0x06 0000009e: DUP2 0000009f: PUSH1 0x03 000000a1: DUP2 000000a2: LT 000000a3: ISZERO 000000a4: PUSH2 0x0002 000000a7: JUMPI 000000a8: POP 000000a9: ADD 000000aa: SLOAD 000000ab: PUSH1 0x01 000000ad: PUSH1 0xa0 000000af: PUSH1 0x02 000000b1: EXP 000000b2: SUB 000000b3: AND 000000b4: DUP2 000000b5: JUMP 000000b6: JUMPDEST 000000b7: PUSH2 0x03d5 000000ba: PUSH1 0x04 000000bc: CALLDATALOAD 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: SLOAD 000000c1: DUP3 000000c2: SWAP1 000000c3: DUP2 000000c4: LT 000000c5: ISZERO 000000c6: PUSH2 0x0002 000000c9: JUMPI 000000ca: POP 000000cb: DUP1 000000cc: MSTORE 000000cd: PUSH1 0x05 000000cf: MUL 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: MLOAD 000000d4: PUSH1 0x20 000000d6: PUSH2 0x0980 000000d9: DUP4 000000da: CODECOPY 000000db: DUP2 000000dc: MLOAD 000000dd: SWAP2 000000de: MSTORE 000000df: DUP2 000000e0: ADD 000000e1: SLOAD 000000e2: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567 00000103: DUP3 00000104: ADD 00000105: SLOAD 00000106: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000127: DUP4 00000128: ADD 00000129: SLOAD 0000012a: PUSH1 0x01 0000012c: PUSH1 0xa0 0000012e: PUSH1 0x02 00000130: EXP 00000131: SUB 00000132: SWAP3 00000133: SWAP1 00000134: SWAP3 00000135: AND 00000136: SWAP3 00000137: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565 00000158: DUP2 00000159: ADD 0000015a: SWAP2 0000015b: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566 0000017c: SWAP2 0000017d: SWAP1 0000017e: SWAP2 0000017f: ADD 00000180: SWAP1 00000181: PUSH1 0xff 00000183: AND 00000184: DUP6 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x03b4 0000018a: JUMPDEST 0000018b: PUSH1 0x05 0000018d: SLOAD 0000018e: PUSH1 0x04 00000190: SLOAD 00000191: ADD 00000192: TIMESTAMP 00000193: GT 00000194: ISZERO 00000195: PUSH2 0x03b6 00000198: JUMPI 00000199: TIMESTAMP 0000019a: PUSH1 0x04 0000019c: SSTORE 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: SLOAD 000001a1: DUP2 000001a2: DUP1 000001a3: SSTORE 000001a4: DUP2 000001a5: SWAP1 000001a6: DUP2 000001a7: SWAP1 000001a8: DUP1 000001a9: ISZERO 000001aa: DUP3 000001ab: SWAP1 000001ac: GT 000001ad: PUSH2 0x050c 000001b0: JUMPI 000001b1: PUSH1 0x05 000001b3: MUL 000001b4: DUP2 000001b5: PUSH1 0x05 000001b7: MUL 000001b8: DUP4 000001b9: PUSH1 0x00 000001bb: MSTORE 000001bc: PUSH1 0x20 000001be: PUSH1 0x00 000001c0: KECCAK256 000001c1: SWAP2 000001c2: DUP3 000001c3: ADD 000001c4: SWAP2 000001c5: ADD 000001c6: PUSH2 0x050c 000001c9: SWAP2 000001ca: SWAP1 000001cb: PUSH2 0x0529 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH2 0x03b4 000001d3: JUMPDEST 000001d4: PUSH1 0x01 000001d6: SLOAD 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: SLOAD 000001db: SWAP1 000001dc: SWAP2 000001dd: DUP3 000001de: SWAP2 000001df: DUP2 000001e0: LT 000001e1: ISZERO 000001e2: PUSH2 0x0002 000001e5: JUMPI 000001e6: SWAP1 000001e7: DUP1 000001e8: MSTORE 000001e9: PUSH1 0x02 000001eb: DUP1 000001ec: SLOAD 000001ed: PUSH1 0x05 000001ef: SWAP3 000001f0: SWAP1 000001f1: SWAP3 000001f2: MUL 000001f3: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000214: ADD 00000215: SLOAD 00000216: MUL 00000217: SWAP2 00000218: POP 00000219: DUP2 0000021a: SWAP1 0000021b: GT 0000021c: ISZERO 0000021d: PUSH2 0x0290 00000220: JUMPI 00000221: PUSH1 0x01 00000223: SLOAD 00000224: PUSH1 0x00 00000226: DUP1 00000227: SLOAD 00000228: SWAP1 00000229: SWAP2 0000022a: SWAP1 0000022b: DUP2 0000022c: LT 0000022d: ISZERO 0000022e: PUSH2 0x0002 00000231: JUMPI 00000232: DUP2 00000233: DUP1 00000234: MSTORE 00000235: PUSH1 0x05 00000237: MUL 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: MLOAD 0000023c: PUSH1 0x20 0000023e: PUSH2 0x0980 00000241: DUP4 00000242: CODECOPY 00000243: DUP2 00000244: MLOAD 00000245: SWAP2 00000246: MSTORE 00000247: ADD 00000248: SWAP1 00000249: POP 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: SWAP1 0000024e: SLOAD 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: PUSH1 0x02 00000255: EXP 00000256: SUB 00000257: AND 00000258: SWAP1 00000259: PUSH1 0x00 0000025b: SWAP1 0000025c: PUSH1 0x64 0000025e: DUP5 0000025f: DIV 00000260: PUSH1 0x55 00000262: MUL 00000263: SWAP1 00000264: DUP3 00000265: DUP2 00000266: DUP2 00000267: DUP2 00000268: DUP6 00000269: DUP9 0000026a: DUP4 0000026b: CALL 0000026c: POP 0000026d: POP 0000026e: PUSH1 0x03 00000270: DUP1 00000271: SLOAD 00000272: PUSH1 0x64 00000274: DUP7 00000275: DIV 00000276: PUSH1 0x0f 00000278: MUL 00000279: ADD 0000027a: SWAP1 0000027b: SSTORE 0000027c: POP 0000027d: POP 0000027e: PUSH1 0x02 00000280: DUP1 00000281: SLOAD 00000282: DUP4 00000283: SWAP1 00000284: SUB 00000285: SWAP1 00000286: SSTORE 00000287: POP 00000288: PUSH1 0x01 0000028a: DUP1 0000028b: SLOAD 0000028c: DUP2 0000028d: ADD 0000028e: SWAP1 0000028f: SSTORE 00000290: JUMPDEST 00000291: POP 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH2 0x04fa 00000297: PUSH1 0x03 00000299: SLOAD 0000029a: DUP2 0000029b: JUMP 0000029c: JUMPDEST 0000029d: PUSH2 0x04fa 000002a0: PUSH1 0x01 000002a2: SLOAD 000002a3: DUP2 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x04fa 000002a9: PUSH1 0x04 000002ab: SLOAD 000002ac: DUP2 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH2 0x04fa 000002b2: PUSH1 0x02 000002b4: SLOAD 000002b5: DUP2 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x04fa 000002bb: PUSH1 0x05 000002bd: SLOAD 000002be: DUP2 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x06 000002c3: SLOAD 000002c4: PUSH2 0x03b4 000002c7: SWAP1 000002c8: PUSH1 0x00 000002ca: SWAP1 000002cb: CALLER 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: PUSH1 0x02 000002d2: EXP 000002d3: SUB 000002d4: SWAP1 000002d5: DUP2 000002d6: AND 000002d7: SWAP2 000002d8: AND 000002d9: EQ 000002da: DUP1 000002db: PUSH2 0x02f2 000002de: JUMPI 000002df: POP 000002e0: PUSH1 0x07 000002e2: SLOAD 000002e3: CALLER 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: SWAP1 000002ed: DUP2 000002ee: AND 000002ef: SWAP2 000002f0: AND 000002f1: EQ 000002f2: JUMPDEST 000002f3: DUP1 000002f4: PUSH2 0x030b 000002f7: JUMPI 000002f8: POP 000002f9: PUSH1 0x08 000002fb: SLOAD 000002fc: CALLER 000002fd: PUSH1 0x01 000002ff: PUSH1 0xa0 00000301: PUSH1 0x02 00000303: EXP 00000304: SUB 00000305: SWAP1 00000306: DUP2 00000307: AND 00000308: SWAP2 00000309: AND 0000030a: EQ 0000030b: JUMPDEST 0000030c: ISZERO 0000030d: PUSH2 0x0290 00000310: JUMPI 00000311: PUSH1 0x03 00000313: SLOAD 00000314: PUSH1 0x00 00000316: EQ 00000317: ISZERO 00000318: PUSH2 0x091f 0000031b: JUMPI 0000031c: PUSH2 0x0290 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x03b4 00000324: PUSH1 0x04 00000326: DUP1 00000327: DUP1 00000328: CALLDATALOAD 00000329: SWAP1 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: SWAP1 0000032e: DUP3 0000032f: ADD 00000330: DUP1 00000331: CALLDATALOAD 00000332: SWAP1 00000333: PUSH1 0x20 00000335: ADD 00000336: SWAP2 00000337: SWAP2 00000338: SWAP1 00000339: DUP1 0000033a: DUP1 0000033b: PUSH1 0x1f 0000033d: ADD 0000033e: PUSH1 0x20 00000340: DUP1 00000341: SWAP2 00000342: DIV 00000343: MUL 00000344: PUSH1 0x20 00000346: ADD 00000347: PUSH1 0x40 00000349: MLOAD 0000034a: SWAP1 0000034b: DUP2 0000034c: ADD 0000034d: PUSH1 0x40 0000034f: MSTORE 00000350: DUP1 00000351: SWAP4 00000352: SWAP3 00000353: SWAP2 00000354: SWAP1 00000355: DUP2 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x20 0000035a: ADD 0000035b: DUP4 0000035c: DUP4 0000035d: DUP1 0000035e: DUP3 0000035f: DUP5 00000360: CALLDATACOPY 00000361: POP 00000362: POP 00000363: PUSH1 0x40 00000365: DUP1 00000366: MLOAD 00000367: PUSH1 0x20 00000369: DUP9 0000036a: CALLDATALOAD 0000036b: DUP1 0000036c: DUP12 0000036d: ADD 0000036e: CALLDATALOAD 0000036f: PUSH1 0x1f 00000371: DUP2 00000372: ADD 00000373: DUP4 00000374: SWAP1 00000375: DIV 00000376: DUP4 00000377: MUL 00000378: DUP5 00000379: ADD 0000037a: DUP4 0000037b: ADD 0000037c: SWAP1 0000037d: SWAP5 0000037e: MSTORE 0000037f: DUP4 00000380: DUP4 00000381: MSTORE 00000382: SWAP8 00000383: SWAP10 00000384: SWAP9 00000385: PUSH1 0x44 00000387: SWAP9 00000388: SWAP3 00000389: SWAP8 0000038a: POP 0000038b: SWAP2 0000038c: SWAP1 0000038d: SWAP2 0000038e: ADD 0000038f: SWAP5 00000390: POP 00000391: SWAP1 00000392: SWAP3 00000393: POP 00000394: DUP3 00000395: SWAP2 00000396: POP 00000397: DUP5 00000398: ADD 00000399: DUP4 0000039a: DUP3 0000039b: DUP1 0000039c: DUP3 0000039d: DUP5 0000039e: CALLDATACOPY 0000039f: POP 000003a0: SWAP5 000003a1: SWAP7 000003a2: POP 000003a3: POP 000003a4: SWAP4 000003a5: CALLDATALOAD 000003a6: SWAP4 000003a7: POP 000003a8: POP 000003a9: POP 000003aa: POP 000003ab: PUSH1 0x00 000003ad: PUSH2 0x05ea 000003b0: PUSH2 0x018a 000003b3: JUMP 000003b4: JUMPDEST 000003b5: STOP 000003b6: JUMPDEST 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: DUP1 000003bc: MLOAD 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: PUSH1 0x02 000003c3: EXP 000003c4: SUB 000003c5: SWAP3 000003c6: SWAP1 000003c7: SWAP3 000003c8: AND 000003c9: DUP3 000003ca: MSTORE 000003cb: MLOAD 000003cc: SWAP1 000003cd: DUP2 000003ce: SWAP1 000003cf: SUB 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: SWAP1 000003d4: RETURN 000003d5: JUMPDEST 000003d6: PUSH1 0x40 000003d8: DUP1 000003d9: MLOAD 000003da: PUSH1 0x01 000003dc: PUSH1 0xa0 000003de: PUSH1 0x02 000003e0: EXP 000003e1: SUB 000003e2: DUP8 000003e3: AND 000003e4: DUP2 000003e5: MSTORE 000003e6: PUSH1 0x20 000003e8: DUP2 000003e9: ADD 000003ea: DUP7 000003eb: SWAP1 000003ec: MSTORE 000003ed: PUSH1 0x80 000003ef: DUP2 000003f0: ADD 000003f1: DUP4 000003f2: SWAP1 000003f3: MSTORE 000003f4: PUSH1 0xa0 000003f6: SWAP2 000003f7: DUP2 000003f8: ADD 000003f9: DUP3 000003fa: DUP2 000003fb: MSTORE 000003fc: DUP6 000003fd: SLOAD 000003fe: PUSH1 0x02 00000400: PUSH1 0x01 00000402: DUP3 00000403: AND 00000404: ISZERO 00000405: PUSH2 0x0100 00000408: MUL 00000409: PUSH1 0x00 0000040b: NOT 0000040c: ADD 0000040d: SWAP1 0000040e: SWAP2 0000040f: AND 00000410: DIV 00000411: SWAP3 00000412: DUP3 00000413: ADD 00000414: DUP4 00000415: SWAP1 00000416: MSTORE 00000417: SWAP1 00000418: SWAP2 00000419: PUSH1 0x60 0000041b: DUP4 0000041c: ADD 0000041d: SWAP1 0000041e: PUSH1 0xc0 00000420: DUP5 00000421: ADD 00000422: SWAP1 00000423: DUP8 00000424: SWAP1 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x0471 0000042a: JUMPI 0000042b: DUP1 0000042c: PUSH1 0x1f 0000042e: LT 0000042f: PUSH2 0x0446 00000432: JUMPI 00000433: PUSH2 0x0100 00000436: DUP1 00000437: DUP4 00000438: SLOAD 00000439: DIV 0000043a: MUL 0000043b: DUP4 0000043c: MSTORE 0000043d: SWAP2 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP2 00000442: PUSH2 0x0471 00000445: JUMP 00000446: JUMPDEST 00000447: DUP3 00000448: ADD 00000449: SWAP2 0000044a: SWAP1 0000044b: PUSH1 0x00 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: PUSH1 0x00 00000452: KECCAK256 00000453: SWAP1 00000454: JUMPDEST 00000455: DUP2 00000456: SLOAD 00000457: DUP2 00000458: MSTORE 00000459: SWAP1 0000045a: PUSH1 0x01 0000045c: ADD 0000045d: SWAP1 0000045e: PUSH1 0x20 00000460: ADD 00000461: DUP1 00000462: DUP4 00000463: GT 00000464: PUSH2 0x0454 00000467: JUMPI 00000468: DUP3 00000469: SWAP1 0000046a: SUB 0000046b: PUSH1 0x1f 0000046d: AND 0000046e: DUP3 0000046f: ADD 00000470: SWAP2 00000471: JUMPDEST 00000472: POP 00000473: POP 00000474: DUP4 00000475: DUP2 00000476: SUB 00000477: DUP3 00000478: MSTORE 00000479: DUP6 0000047a: SLOAD 0000047b: PUSH1 0x02 0000047d: PUSH1 0x01 0000047f: DUP3 00000480: AND 00000481: ISZERO 00000482: PUSH2 0x0100 00000485: MUL 00000486: PUSH1 0x00 00000488: NOT 00000489: ADD 0000048a: SWAP1 0000048b: SWAP2 0000048c: AND 0000048d: DIV 0000048e: DUP1 0000048f: DUP3 00000490: MSTORE 00000491: PUSH1 0x20 00000493: SWAP2 00000494: SWAP1 00000495: SWAP2 00000496: ADD 00000497: SWAP1 00000498: DUP7 00000499: SWAP1 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04e6 0000049f: JUMPI 000004a0: DUP1 000004a1: PUSH1 0x1f 000004a3: LT 000004a4: PUSH2 0x04bb 000004a7: JUMPI 000004a8: PUSH2 0x0100 000004ab: DUP1 000004ac: DUP4 000004ad: SLOAD 000004ae: DIV 000004af: MUL 000004b0: DUP4 000004b1: MSTORE 000004b2: SWAP2 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: PUSH2 0x04e6 000004ba: JUMP 000004bb: JUMPDEST 000004bc: DUP3 000004bd: ADD 000004be: SWAP2 000004bf: SWAP1 000004c0: PUSH1 0x00 000004c2: MSTORE 000004c3: PUSH1 0x20 000004c5: PUSH1 0x00 000004c7: KECCAK256 000004c8: SWAP1 000004c9: JUMPDEST 000004ca: DUP2 000004cb: SLOAD 000004cc: DUP2 000004cd: MSTORE 000004ce: SWAP1 000004cf: PUSH1 0x01 000004d1: ADD 000004d2: SWAP1 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: DUP1 000004d7: DUP4 000004d8: GT 000004d9: PUSH2 0x04c9 000004dc: JUMPI 000004dd: DUP3 000004de: SWAP1 000004df: SUB 000004e0: PUSH1 0x1f 000004e2: AND 000004e3: DUP3 000004e4: ADD 000004e5: SWAP2 000004e6: JUMPDEST 000004e7: POP 000004e8: POP 000004e9: SWAP8 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: POP 000004ee: POP 000004ef: POP 000004f0: POP 000004f1: POP 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: DUP1 000004f6: SWAP2 000004f7: SUB 000004f8: SWAP1 000004f9: RETURN 000004fa: JUMPDEST 000004fb: PUSH1 0x40 000004fd: DUP1 000004fe: MLOAD 000004ff: SWAP2 00000500: DUP3 00000501: MSTORE 00000502: MLOAD 00000503: SWAP1 00000504: DUP2 00000505: SWAP1 00000506: SUB 00000507: PUSH1 0x20 00000509: ADD 0000050a: SWAP1 0000050b: RETURN 0000050c: JUMPDEST 0000050d: POP 0000050e: POP 0000050f: PUSH1 0x00 00000511: PUSH1 0x01 00000513: SSTORE 00000514: POP 00000515: POP 00000516: JUMP 00000517: JUMPDEST 00000518: POP 00000519: POP 0000051a: PUSH1 0x04 0000051c: DUP2 0000051d: ADD 0000051e: DUP1 0000051f: SLOAD 00000520: PUSH1 0xff 00000522: NOT 00000523: AND 00000524: SWAP1 00000525: SSTORE 00000526: PUSH1 0x01 00000528: ADD 00000529: JUMPDEST 0000052a: DUP1 0000052b: DUP3 0000052c: GT 0000052d: ISZERO 0000052e: PUSH2 0x05c8 00000531: JUMPI 00000532: DUP1 00000533: SLOAD 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: PUSH1 0x02 0000053a: EXP 0000053b: SUB 0000053c: NOT 0000053d: AND 0000053e: DUP2 0000053f: SSTORE 00000540: PUSH1 0x00 00000542: PUSH1 0x01 00000544: DUP3 00000545: DUP2 00000546: ADD 00000547: DUP3 00000548: SWAP1 00000549: SSTORE 0000054a: PUSH1 0x02 0000054c: DUP4 0000054d: DUP2 0000054e: ADD 0000054f: DUP1 00000550: SLOAD 00000551: DUP5 00000552: DUP3 00000553: SSTORE 00000554: SWAP1 00000555: SWAP3 00000556: DUP2 00000557: AND 00000558: ISZERO 00000559: PUSH2 0x0100 0000055c: MUL 0000055d: PUSH1 0x00 0000055f: NOT 00000560: ADD 00000561: AND 00000562: DIV 00000563: PUSH1 0x1f 00000565: DUP2 00000566: SWAP1 00000567: LT 00000568: PUSH2 0x059a 0000056b: JUMPI 0000056c: POP 0000056d: JUMPDEST 0000056e: POP 0000056f: PUSH1 0x03 00000571: DUP3 00000572: ADD 00000573: PUSH1 0x00 00000575: POP 00000576: DUP1 00000577: SLOAD 00000578: PUSH1 0x01 0000057a: DUP2 0000057b: PUSH1 0x01 0000057d: AND 0000057e: ISZERO 0000057f: PUSH2 0x0100 00000582: MUL 00000583: SUB 00000584: AND 00000585: PUSH1 0x02 00000587: SWAP1 00000588: DIV 00000589: PUSH1 0x00 0000058b: DUP3 0000058c: SSTORE 0000058d: DUP1 0000058e: PUSH1 0x1f 00000590: LT 00000591: PUSH2 0x05cc 00000594: JUMPI 00000595: POP 00000596: PUSH2 0x0517 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x1f 0000059d: ADD 0000059e: PUSH1 0x20 000005a0: SWAP1 000005a1: DIV 000005a2: SWAP1 000005a3: PUSH1 0x00 000005a5: MSTORE 000005a6: PUSH1 0x20 000005a8: PUSH1 0x00 000005aa: KECCAK256 000005ab: SWAP1 000005ac: DUP2 000005ad: ADD 000005ae: SWAP1 000005af: PUSH2 0x056d 000005b2: SWAP2 000005b3: SWAP1 000005b4: JUMPDEST 000005b5: DUP1 000005b6: DUP3 000005b7: GT 000005b8: ISZERO 000005b9: PUSH2 0x05c8 000005bc: JUMPI 000005bd: PUSH1 0x00 000005bf: DUP2 000005c0: SSTORE 000005c1: PUSH1 0x01 000005c3: ADD 000005c4: PUSH2 0x05b4 000005c7: JUMP 000005c8: JUMPDEST 000005c9: POP 000005ca: SWAP1 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x1f 000005cf: ADD 000005d0: PUSH1 0x20 000005d2: SWAP1 000005d3: DIV 000005d4: SWAP1 000005d5: PUSH1 0x00 000005d7: MSTORE 000005d8: PUSH1 0x20 000005da: PUSH1 0x00 000005dc: KECCAK256 000005dd: SWAP1 000005de: DUP2 000005df: ADD 000005e0: SWAP1 000005e1: PUSH2 0x0517 000005e4: SWAP2 000005e5: SWAP1 000005e6: PUSH2 0x05b4 000005e9: JUMP 000005ea: JUMPDEST 000005eb: POP 000005ec: PUSH1 0x00 000005ee: DUP1 000005ef: SLOAD 000005f0: PUSH1 0x01 000005f2: DUP2 000005f3: ADD 000005f4: DUP1 000005f5: DUP4 000005f6: SSTORE 000005f7: SWAP1 000005f8: SWAP2 000005f9: DUP2 000005fa: DUP4 000005fb: DUP1 000005fc: ISZERO 000005fd: DUP3 000005fe: SWAP1 000005ff: GT 00000600: PUSH2 0x0622 00000603: JUMPI 00000604: PUSH1 0x05 00000606: MUL 00000607: DUP2 00000608: PUSH1 0x05 0000060a: MUL 0000060b: DUP4 0000060c: PUSH1 0x00 0000060e: MSTORE 0000060f: PUSH1 0x20 00000611: PUSH1 0x00 00000613: KECCAK256 00000614: SWAP2 00000615: DUP3 00000616: ADD 00000617: SWAP2 00000618: ADD 00000619: PUSH2 0x0622 0000061c: SWAP2 0000061d: SWAP1 0000061e: PUSH2 0x0733 00000621: JUMP 00000622: JUMPDEST 00000623: POP 00000624: POP 00000625: POP 00000626: POP 00000627: CALLER 00000628: PUSH1 0x00 0000062a: PUSH1 0x00 0000062c: POP 0000062d: DUP3 0000062e: DUP2 0000062f: SLOAD 00000630: DUP2 00000631: LT 00000632: ISZERO 00000633: PUSH2 0x0002 00000636: JUMPI 00000637: DUP2 00000638: DUP1 00000639: MSTORE 0000063a: PUSH1 0x05 0000063c: DUP2 0000063d: MUL 0000063e: PUSH1 0x00 00000640: DUP1 00000641: MLOAD 00000642: PUSH1 0x20 00000644: PUSH2 0x0980 00000647: DUP4 00000648: CODECOPY 00000649: DUP2 0000064a: MLOAD 0000064b: SWAP2 0000064c: MSTORE 0000064d: ADD 0000064e: DUP1 0000064f: SLOAD 00000650: PUSH1 0x01 00000652: PUSH1 0xa0 00000654: PUSH1 0x02 00000656: EXP 00000657: SUB 00000658: NOT 00000659: AND 0000065a: SWAP1 0000065b: SWAP4 0000065c: OR 0000065d: SWAP1 0000065e: SWAP3 0000065f: SSTORE 00000660: DUP1 00000661: SLOAD 00000662: CALLVALUE 00000663: SWAP3 00000664: POP 00000665: DUP4 00000666: SWAP1 00000667: DUP2 00000668: LT 00000669: ISZERO 0000066a: PUSH2 0x0002 0000066d: JUMPI 0000066e: PUSH1 0x05 00000670: DUP2 00000671: MUL 00000672: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000693: ADD 00000694: SWAP3 00000695: SWAP1 00000696: SWAP3 00000697: SSTORE 00000698: DUP1 00000699: SLOAD 0000069a: DUP7 0000069b: SWAP3 0000069c: POP 0000069d: DUP4 0000069e: SWAP1 0000069f: DUP2 000006a0: LT 000006a1: ISZERO 000006a2: PUSH2 0x0002 000006a5: JUMPI 000006a6: POP 000006a7: SWAP1 000006a8: MLOAD 000006a9: PUSH1 0x05 000006ab: DUP4 000006ac: MUL 000006ad: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565 000006ce: ADD 000006cf: DUP1 000006d0: SLOAD 000006d1: DUP2 000006d2: DUP5 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: SWAP4 000006d7: DUP5 000006d8: SWAP1 000006d9: KECCAK256 000006da: SWAP2 000006db: SWAP4 000006dc: PUSH1 0x02 000006de: PUSH1 0x01 000006e0: DUP4 000006e1: AND 000006e2: ISZERO 000006e3: PUSH2 0x0100 000006e6: MUL 000006e7: PUSH1 0x00 000006e9: NOT 000006ea: ADD 000006eb: SWAP1 000006ec: SWAP3 000006ed: AND 000006ee: SWAP2 000006ef: SWAP1 000006f0: SWAP2 000006f1: DIV 000006f2: PUSH1 0x1f 000006f4: SWAP1 000006f5: DUP2 000006f6: ADD 000006f7: DUP3 000006f8: SWAP1 000006f9: DIV 000006fa: DUP4 000006fb: ADD 000006fc: SWAP4 000006fd: SWAP3 000006fe: SWAP2 000006ff: DUP10 00000700: ADD 00000701: SWAP1 00000702: DUP4 00000703: SWAP1 00000704: LT 00000705: PUSH2 0x07e0 00000708: JUMPI 00000709: DUP1 0000070a: MLOAD 0000070b: PUSH1 0xff 0000070d: NOT 0000070e: AND 0000070f: DUP4 00000710: DUP1 00000711: ADD 00000712: OR 00000713: DUP6 00000714: SSTORE 00000715: JUMPDEST 00000716: POP 00000717: PUSH2 0x0810 0000071a: SWAP3 0000071b: SWAP2 0000071c: POP 0000071d: PUSH2 0x05b4 00000720: JUMP 00000721: JUMPDEST 00000722: POP 00000723: POP 00000724: PUSH1 0x04 00000726: DUP2 00000727: ADD 00000728: DUP1 00000729: SLOAD 0000072a: PUSH1 0xff 0000072c: NOT 0000072d: AND 0000072e: SWAP1 0000072f: SSTORE 00000730: PUSH1 0x01 00000732: ADD 00000733: JUMPDEST 00000734: DUP1 00000735: DUP3 00000736: GT 00000737: ISZERO 00000738: PUSH2 0x05c8 0000073b: JUMPI 0000073c: DUP1 0000073d: SLOAD 0000073e: PUSH1 0x01 00000740: PUSH1 0xa0 00000742: PUSH1 0x02 00000744: EXP 00000745: SUB 00000746: NOT 00000747: AND 00000748: DUP2 00000749: SSTORE 0000074a: PUSH1 0x00 0000074c: PUSH1 0x01 0000074e: DUP3 0000074f: DUP2 00000750: ADD 00000751: DUP3 00000752: SWAP1 00000753: SSTORE 00000754: PUSH1 0x02 00000756: DUP4 00000757: DUP2 00000758: ADD 00000759: DUP1 0000075a: SLOAD 0000075b: DUP5 0000075c: DUP3 0000075d: SSTORE 0000075e: SWAP1 0000075f: SWAP3 00000760: DUP2 00000761: AND 00000762: ISZERO 00000763: PUSH2 0x0100 00000766: MUL 00000767: PUSH1 0x00 00000769: NOT 0000076a: ADD 0000076b: AND 0000076c: DIV 0000076d: PUSH1 0x1f 0000076f: DUP2 00000770: SWAP1 00000771: LT 00000772: PUSH2 0x07a4 00000775: JUMPI 00000776: POP 00000777: JUMPDEST 00000778: POP 00000779: PUSH1 0x03 0000077b: DUP3 0000077c: ADD 0000077d: PUSH1 0x00 0000077f: POP 00000780: DUP1 00000781: SLOAD 00000782: PUSH1 0x01 00000784: DUP2 00000785: PUSH1 0x01 00000787: AND 00000788: ISZERO 00000789: PUSH2 0x0100 0000078c: MUL 0000078d: SUB 0000078e: AND 0000078f: PUSH1 0x02 00000791: SWAP1 00000792: DIV 00000793: PUSH1 0x00 00000795: DUP3 00000796: SSTORE 00000797: DUP1 00000798: PUSH1 0x1f 0000079a: LT 0000079b: PUSH2 0x07c2 0000079e: JUMPI 0000079f: POP 000007a0: PUSH2 0x0721 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x1f 000007a7: ADD 000007a8: PUSH1 0x20 000007aa: SWAP1 000007ab: DIV 000007ac: SWAP1 000007ad: PUSH1 0x00 000007af: MSTORE 000007b0: PUSH1 0x20 000007b2: PUSH1 0x00 000007b4: KECCAK256 000007b5: SWAP1 000007b6: DUP2 000007b7: ADD 000007b8: SWAP1 000007b9: PUSH2 0x0777 000007bc: SWAP2 000007bd: SWAP1 000007be: PUSH2 0x05b4 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x1f 000007c5: ADD 000007c6: PUSH1 0x20 000007c8: SWAP1 000007c9: DIV 000007ca: SWAP1 000007cb: PUSH1 0x00 000007cd: MSTORE 000007ce: PUSH1 0x20 000007d0: PUSH1 0x00 000007d2: KECCAK256 000007d3: SWAP1 000007d4: DUP2 000007d5: ADD 000007d6: SWAP1 000007d7: PUSH2 0x0721 000007da: SWAP2 000007db: SWAP1 000007dc: PUSH2 0x05b4 000007df: JUMP 000007e0: JUMPDEST 000007e1: DUP3 000007e2: DUP1 000007e3: ADD 000007e4: PUSH1 0x01 000007e6: ADD 000007e7: DUP6 000007e8: SSTORE 000007e9: DUP3 000007ea: ISZERO 000007eb: PUSH2 0x0715 000007ee: JUMPI 000007ef: SWAP2 000007f0: DUP3 000007f1: ADD 000007f2: JUMPDEST 000007f3: DUP3 000007f4: DUP2 000007f5: GT 000007f6: ISZERO 000007f7: PUSH2 0x0715 000007fa: JUMPI 000007fb: DUP3 000007fc: MLOAD 000007fd: DUP3 000007fe: PUSH1 0x00 00000800: POP 00000801: SSTORE 00000802: SWAP2 00000803: PUSH1 0x20 00000805: ADD 00000806: SWAP2 00000807: SWAP1 00000808: PUSH1 0x01 0000080a: ADD 0000080b: SWAP1 0000080c: PUSH2 0x07f2 0000080f: JUMP 00000810: JUMPDEST 00000811: POP 00000812: POP 00000813: DUP3 00000814: PUSH1 0x00 00000816: PUSH1 0x00 00000818: POP 00000819: DUP3 0000081a: DUP2 0000081b: SLOAD 0000081c: DUP2 0000081d: LT 0000081e: ISZERO 0000081f: PUSH2 0x0002 00000822: JUMPI 00000823: POP 00000824: DUP1 00000825: DUP1 00000826: MSTORE 00000827: PUSH1 0x05 00000829: DUP4 0000082a: MUL 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: MLOAD 0000082f: PUSH1 0x20 00000831: PUSH2 0x0980 00000834: DUP4 00000835: CODECOPY 00000836: DUP2 00000837: MLOAD 00000838: SWAP2 00000839: MSTORE 0000083a: ADD 0000083b: SWAP1 0000083c: POP 0000083d: PUSH1 0x03 0000083f: ADD 00000840: PUSH1 0x00 00000842: POP 00000843: SWAP1 00000844: DUP1 00000845: MLOAD 00000846: SWAP1 00000847: PUSH1 0x20 00000849: ADD 0000084a: SWAP1 0000084b: DUP3 0000084c: DUP1 0000084d: SLOAD 0000084e: PUSH1 0x01 00000850: DUP2 00000851: PUSH1 0x01 00000853: AND 00000854: ISZERO 00000855: PUSH2 0x0100 00000858: MUL 00000859: SUB 0000085a: AND 0000085b: PUSH1 0x02 0000085d: SWAP1 0000085e: DIV 0000085f: SWAP1 00000860: PUSH1 0x00 00000862: MSTORE 00000863: PUSH1 0x20 00000865: PUSH1 0x00 00000867: KECCAK256 00000868: SWAP1 00000869: PUSH1 0x1f 0000086b: ADD 0000086c: PUSH1 0x20 0000086e: SWAP1 0000086f: DIV 00000870: DUP2 00000871: ADD 00000872: SWAP3 00000873: DUP3 00000874: PUSH1 0x1f 00000876: LT 00000877: PUSH2 0x0893 0000087a: JUMPI 0000087b: DUP1 0000087c: MLOAD 0000087d: PUSH1 0xff 0000087f: NOT 00000880: AND 00000881: DUP4 00000882: DUP1 00000883: ADD 00000884: OR 00000885: DUP6 00000886: SSTORE 00000887: JUMPDEST 00000888: POP 00000889: PUSH2 0x08c3 0000088c: SWAP3 0000088d: SWAP2 0000088e: POP 0000088f: PUSH2 0x05b4 00000892: JUMP 00000893: JUMPDEST 00000894: DUP3 00000895: DUP1 00000896: ADD 00000897: PUSH1 0x01 00000899: ADD 0000089a: DUP6 0000089b: SSTORE 0000089c: DUP3 0000089d: ISZERO 0000089e: PUSH2 0x0887 000008a1: JUMPI 000008a2: SWAP2 000008a3: DUP3 000008a4: ADD 000008a5: JUMPDEST 000008a6: DUP3 000008a7: DUP2 000008a8: GT 000008a9: ISZERO 000008aa: PUSH2 0x0887 000008ad: JUMPI 000008ae: DUP3 000008af: MLOAD 000008b0: DUP3 000008b1: PUSH1 0x00 000008b3: POP 000008b4: SSTORE 000008b5: SWAP2 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: SWAP2 000008ba: SWAP1 000008bb: PUSH1 0x01 000008bd: ADD 000008be: SWAP1 000008bf: PUSH2 0x08a5 000008c2: JUMP 000008c3: JUMPDEST 000008c4: POP 000008c5: POP 000008c6: DUP2 000008c7: PUSH1 0x00 000008c9: PUSH1 0x00 000008cb: POP 000008cc: DUP3 000008cd: DUP2 000008ce: SLOAD 000008cf: DUP2 000008d0: LT 000008d1: ISZERO 000008d2: PUSH2 0x0002 000008d5: JUMPI 000008d6: POP 000008d7: DUP1 000008d8: MSTORE 000008d9: POP 000008da: PUSH1 0x05 000008dc: DUP2 000008dd: MUL 000008de: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567 000008ff: ADD 00000900: DUP1 00000901: SLOAD 00000902: PUSH1 0xff 00000904: NOT 00000905: AND 00000906: DUP4 00000907: OR 00000908: SWAP1 00000909: SSTORE 0000090a: PUSH1 0x02 0000090c: DUP1 0000090d: SLOAD 0000090e: CALLVALUE 0000090f: ADD 00000910: SWAP1 00000911: SSTORE 00000912: PUSH2 0x0919 00000915: PUSH2 0x01d3 00000918: JUMP 00000919: JUMPDEST 0000091a: POP 0000091b: POP 0000091c: POP 0000091d: POP 0000091e: JUMP 0000091f: JUMPDEST 00000920: POP 00000921: PUSH1 0x03 00000923: DUP1 00000924: SLOAD 00000925: PUSH1 0x06 00000927: SLOAD 00000928: PUSH1 0x40 0000092a: MLOAD 0000092b: SWAP3 0000092c: SWAP1 0000092d: SWAP2 0000092e: DIV 0000092f: SWAP2 00000930: PUSH1 0x01 00000932: PUSH1 0xa0 00000934: PUSH1 0x02 00000936: EXP 00000937: SUB 00000938: SWAP1 00000939: SWAP2 0000093a: AND 0000093b: SWAP1 0000093c: PUSH1 0x00 0000093e: SWAP1 0000093f: DUP4 00000940: SWAP1 00000941: DUP3 00000942: DUP2 00000943: DUP2 00000944: DUP2 00000945: DUP6 00000946: DUP9 00000947: DUP4 00000948: CALL 00000949: POP 0000094a: PUSH1 0x07 0000094c: SLOAD 0000094d: PUSH1 0x01 0000094f: PUSH1 0xa0 00000951: PUSH1 0x02 00000953: EXP 00000954: SUB 00000955: AND 00000956: SWAP4 00000957: POP 00000958: DUP3 00000959: DUP2 0000095a: DUP2 0000095b: DUP2 0000095c: DUP6 0000095d: DUP9 0000095e: DUP4 0000095f: CALL 00000960: POP 00000961: PUSH1 0x08 00000963: SLOAD 00000964: PUSH1 0x01 00000966: PUSH1 0xa0 00000968: PUSH1 0x02 0000096a: EXP 0000096b: SUB 0000096c: AND 0000096d: SWAP4 0000096e: POP 0000096f: DUP3 00000970: DUP2 00000971: DUP2 00000972: DUP2 00000973: DUP6 00000974: DUP9 00000975: DUP4 00000976: CALL 00000977: POP 00000978: POP 00000979: POP 0000097a: PUSH1 0x03 0000097c: SSTORE 0000097d: POP 0000097e: POP 0000097f: JUMP 00000980: UNKNOWN(0x29) 00000981: UNKNOWN(0x0D) 00000982: UNKNOWN(0xEC) 00000983: UNKNOWN(0xD9) 00000984: SLOAD 00000985: DUP12 00000986: PUSH3 0xa8d603 0000098a: GASLIMIT 0000098b: UNKNOWN(0xA9) 0000098c: DUP9 0000098d: CODESIZE 0000098e: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 0000099f: 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: 0xa4f8f9e0aeb3c7bfe8a8b751439165d051444f3585af93014cdd77116ab1dbf1
call_targets:
0x0a17378002275b6b6fa25822415f517bc0fbba01
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa4f8f9e0aeb3c7bfe8a8b751439165d051444f3585af93014cdd77116ab1dbf1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0a17378002275b6b6fa25822415f517bc0fbba01"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11a7a4c0",
"selector": "0x11a7a4c0",
"calldata_variants": [
"0x11a7a4c0",
"0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5487d480",
"selector": "0x5487d480",
"calldata_variants": [
"0x5487d480",
"0x5487d4800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76577eae",
"selector": "0x76577eae",
"calldata_variants": [
"0x76577eae",
"0x76577eae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9af1d35a",
"selector": "0x9af1d35a",
"calldata_variants": [
"0x9af1d35a",
"0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb165c49f",
"selector": "0xb165c49f",
"calldata_variants": [
"0xb165c49f",
"0xb165c49f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 619,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2376,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"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: 0xa4f8f9e0aeb3c7bfe8a8b751439165d051444f3585af93014cdd77116ab1dbf1
call_targets:
0x0a17378002275b6b6fa25822415f517bc0fbba01
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa4f8f9e0aeb3c7bfe8a8b751439165d051444f3585af93014cdd77116ab1dbf1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0a17378002275b6b6fa25822415f517bc0fbba01"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11a7a4c0",
"selector": "0x11a7a4c0",
"calldata_variants": [
"0x11a7a4c0",
"0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5487d480",
"selector": "0x5487d480",
"calldata_variants": [
"0x5487d480",
"0x5487d4800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76577eae",
"selector": "0x76577eae",
"calldata_variants": [
"0x76577eae",
"0x76577eae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9af1d35a",
"selector": "0x9af1d35a",
"calldata_variants": [
"0x9af1d35a",
"0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb165c49f",
"selector": "0xb165c49f",
"calldata_variants": [
"0xb165c49f",
"0xb165c49f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 619,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2376,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|