019b3836-4df6-726c-9270-b9ae3fb34ea5
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 |
|---|---|---|---|---|
| 7297 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 7298 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109614 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109615 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109616 | detector.run | complete | 1 / 3 | 1 week ago |
| 109617 | 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 0x004b 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x19e44e32 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0089 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1d972d41 00000025: EQ 00000026: PUSH2 0x0092 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0xb00606a5 00000030: EQ 00000031: PUSH2 0x00ad 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0xba3ae0ce 0000003b: EQ 0000003c: PUSH2 0x00e5 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xda95ebf7 00000046: EQ 00000047: PUSH2 0x011f 0000004a: JUMPI 0000004b: JUMPDEST 0000004c: PUSH2 0x01dc 0000004f: PUSH1 0x01 00000051: PUSH1 0xa0 00000053: PUSH1 0x02 00000055: EXP 00000056: SUB 00000057: CALLER 00000058: AND 00000059: PUSH1 0x60 0000005b: SWAP1 0000005c: DUP2 0000005d: MSTORE 0000005e: CALLVALUE 0000005f: PUSH1 0x80 00000061: MSTORE 00000062: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000083: SWAP1 00000084: PUSH1 0x40 00000086: SWAP1 00000087: LOG1 00000088: JUMP 00000089: JUMPDEST 0000008a: PUSH2 0x01de 0000008d: PUSH1 0x00 0000008f: SLOAD 00000090: DUP2 00000091: JUMP 00000092: JUMPDEST 00000093: PUSH2 0x01de 00000096: PUSH1 0x04 00000098: CALLDATALOAD 00000099: PUSH1 0x01 0000009b: PUSH1 0x20 0000009d: MSTORE 0000009e: PUSH1 0x00 000000a0: SWAP1 000000a1: DUP2 000000a2: MSTORE 000000a3: PUSH1 0x40 000000a5: SWAP1 000000a6: KECCAK256 000000a7: SLOAD 000000a8: PUSH1 0xff 000000aa: AND 000000ab: DUP2 000000ac: JUMP 000000ad: JUMPDEST 000000ae: PUSH2 0x01de 000000b1: PUSH1 0x04 000000b3: CALLDATALOAD 000000b4: PUSH1 0x24 000000b6: CALLDATALOAD 000000b7: PUSH1 0x44 000000b9: CALLDATALOAD 000000ba: PUSH1 0x64 000000bc: CALLDATALOAD 000000bd: PUSH1 0x00 000000bf: DUP5 000000c0: DUP2 000000c1: MSTORE 000000c2: PUSH1 0x02 000000c4: PUSH1 0x20 000000c6: MSTORE 000000c7: PUSH1 0x40 000000c9: DUP2 000000ca: KECCAK256 000000cb: DUP1 000000cc: SLOAD 000000cd: DUP3 000000ce: SWAP1 000000cf: DUP2 000000d0: SWAP1 000000d1: PUSH1 0x01 000000d3: PUSH1 0xa0 000000d5: PUSH1 0x02 000000d7: EXP 000000d8: SUB 000000d9: AND 000000da: DUP2 000000db: EQ 000000dc: ISZERO 000000dd: PUSH2 0x0364 000000e0: JUMPI 000000e1: PUSH2 0x0002 000000e4: JUMP 000000e5: JUMPDEST 000000e6: PUSH2 0x01f0 000000e9: PUSH1 0x04 000000eb: CALLDATALOAD 000000ec: PUSH1 0x02 000000ee: PUSH1 0x20 000000f0: DUP2 000000f1: SWAP1 000000f2: MSTORE 000000f3: PUSH1 0x00 000000f5: SWAP2 000000f6: DUP3 000000f7: MSTORE 000000f8: PUSH1 0x40 000000fa: SWAP1 000000fb: SWAP2 000000fc: KECCAK256 000000fd: DUP1 000000fe: SLOAD 000000ff: PUSH1 0x01 00000101: DUP3 00000102: ADD 00000103: SLOAD 00000104: SWAP3 00000105: DUP3 00000106: ADD 00000107: SLOAD 00000108: PUSH1 0x03 0000010a: SWAP1 0000010b: SWAP3 0000010c: ADD 0000010d: SLOAD 0000010e: PUSH1 0x01 00000110: PUSH1 0xa0 00000112: PUSH1 0x02 00000114: EXP 00000115: SUB 00000116: SWAP2 00000117: DUP3 00000118: AND 00000119: SWAP4 0000011a: SWAP3 0000011b: SWAP2 0000011c: AND 0000011d: DUP5 0000011e: JUMP 0000011f: JUMPDEST 00000120: PUSH2 0x01de 00000123: PUSH1 0x04 00000125: CALLDATALOAD 00000126: PUSH1 0x24 00000128: CALLDATALOAD 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: SLOAD 0000012d: PUSH1 0x01 0000012f: SWAP1 00000130: DUP2 00000131: ADD 00000132: DUP1 00000133: DUP4 00000134: SSTORE 00000135: PUSH1 0x00 00000137: NOT 00000138: NUMBER 00000139: ADD 0000013a: BLOCKHASH 0000013b: XOR 0000013c: PUSH1 0x60 0000013e: DUP2 0000013f: DUP2 00000140: MSTORE 00000141: PUSH13 0x01000000000000000000000000 0000014f: PUSH1 0x01 00000151: PUSH1 0xa0 00000153: PUSH1 0x02 00000155: EXP 00000156: SUB 00000157: DUP8 00000158: AND 00000159: SWAP1 0000015a: DUP2 0000015b: MUL 0000015c: PUSH1 0x80 0000015e: SWAP1 0000015f: DUP2 00000160: MSTORE 00000161: PUSH1 0x94 00000163: DUP8 00000164: SWAP1 00000165: MSTORE 00000166: PUSH1 0x54 00000168: DUP4 00000169: KECCAK256 0000016a: DUP1 0000016b: DUP8 0000016c: MSTORE 0000016d: PUSH1 0x02 0000016f: PUSH1 0x20 00000171: DUP2 00000172: SWAP1 00000173: MSTORE 00000174: PUSH1 0x40 00000176: SWAP1 00000177: SWAP8 00000178: KECCAK256 00000179: DUP1 0000017a: SLOAD 0000017b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000190: NOT 00000191: AND 00000192: DUP11 00000193: OR 00000194: DUP2 00000195: SSTORE 00000196: SWAP6 00000197: DUP7 00000198: ADD 00000199: DUP9 0000019a: SWAP1 0000019b: SSTORE 0000019c: SWAP6 0000019d: DUP6 0000019e: ADD 0000019f: DUP5 000001a0: SWAP1 000001a1: SSTORE 000001a2: SWAP1 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0xa0 000001a7: DUP7 000001a8: SWAP1 000001a9: MSTORE 000001aa: PUSH1 0xc0 000001ac: DUP6 000001ad: SWAP1 000001ae: MSTORE 000001af: SWAP2 000001b0: SWAP3 000001b1: SWAP2 000001b2: PUSH32 0xd0df5d45cd50ae0aaff9013e6b3dbffdd1d9722cd6a2ecee1589e7bf64cf8375 000001d3: SWAP2 000001d4: LOG1 000001d5: POP 000001d6: POP 000001d7: SWAP3 000001d8: SWAP2 000001d9: POP 000001da: POP 000001db: JUMP 000001dc: JUMPDEST 000001dd: STOP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: DUP1 000001e2: MLOAD 000001e3: SWAP2 000001e4: DUP3 000001e5: MSTORE 000001e6: MLOAD 000001e7: SWAP1 000001e8: DUP2 000001e9: SWAP1 000001ea: SUB 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: PUSH1 0x60 000001f3: SWAP4 000001f4: DUP5 000001f5: MSTORE 000001f6: PUSH1 0x80 000001f8: SWAP3 000001f9: DUP4 000001fa: MSTORE 000001fb: PUSH1 0xa0 000001fd: SWAP2 000001fe: SWAP1 000001ff: SWAP2 00000200: MSTORE 00000201: PUSH1 0xc0 00000203: MSTORE 00000204: SWAP1 00000205: RETURN 00000206: JUMPDEST 00000207: DUP3 00000208: PUSH1 0x00 0000020a: ADD 0000020b: PUSH1 0x00 0000020d: SWAP1 0000020e: SLOAD 0000020f: SWAP1 00000210: PUSH2 0x0100 00000213: EXP 00000214: SWAP1 00000215: DIV 00000216: PUSH1 0x01 00000218: PUSH1 0xa0 0000021a: PUSH1 0x02 0000021c: EXP 0000021d: SUB 0000021e: AND 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: AND 00000228: PUSH1 0x00 0000022a: DUP5 0000022b: PUSH1 0x01 0000022d: ADD 0000022e: PUSH1 0x00 00000230: POP 00000231: SLOAD 00000232: PUSH1 0x40 00000234: MLOAD 00000235: DUP1 00000236: SWAP1 00000237: POP 00000238: PUSH1 0x00 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: DUP1 0000023e: DUP4 0000023f: SUB 00000240: DUP2 00000241: DUP6 00000242: DUP9 00000243: DUP9 00000244: CALL 00000245: SWAP4 00000246: POP 00000247: POP 00000248: POP 00000249: POP 0000024a: SWAP1 0000024b: POP 0000024c: DUP1 0000024d: ISZERO 0000024e: PUSH2 0x0355 00000251: JUMPI 00000252: PUSH32 0x94d3c694ab2f443abe65d90aba86027f8c9ba2f44f1073bb89390c7ca0bf866a 00000273: DUP4 00000274: PUSH1 0x00 00000276: ADD 00000277: PUSH1 0x00 00000279: SWAP1 0000027a: SLOAD 0000027b: SWAP1 0000027c: PUSH2 0x0100 0000027f: EXP 00000280: SWAP1 00000281: DIV 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: AND 0000028b: DUP5 0000028c: PUSH1 0x01 0000028e: ADD 0000028f: PUSH1 0x00 00000291: POP 00000292: SLOAD 00000293: DUP6 00000294: PUSH1 0x03 00000296: ADD 00000297: PUSH1 0x00 00000299: SWAP1 0000029a: SLOAD 0000029b: SWAP1 0000029c: PUSH2 0x0100 0000029f: EXP 000002a0: SWAP1 000002a1: DIV 000002a2: PUSH1 0x01 000002a4: PUSH1 0xa0 000002a6: PUSH1 0x02 000002a8: EXP 000002a9: SUB 000002aa: AND 000002ab: DUP6 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: DUP1 000002b0: DUP6 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: PUSH1 0x02 000002b7: EXP 000002b8: SUB 000002b9: AND 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x20 000002be: ADD 000002bf: DUP5 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: DUP4 000002c6: PUSH1 0x01 000002c8: PUSH1 0xa0 000002ca: PUSH1 0x02 000002cc: EXP 000002cd: SUB 000002ce: AND 000002cf: DUP2 000002d0: MSTORE 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: DUP3 000002d5: PUSH1 0x01 000002d7: PUSH1 0xa0 000002d9: PUSH1 0x02 000002db: EXP 000002dc: SUB 000002dd: AND 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP5 000002e4: POP 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: DUP1 000002ed: SWAP2 000002ee: SUB 000002ef: SWAP1 000002f0: LOG1 000002f1: PUSH1 0x02 000002f3: PUSH1 0x00 000002f5: POP 000002f6: PUSH1 0x00 000002f8: DUP10 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP1 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: PUSH1 0x00 00000306: KECCAK256 00000307: PUSH1 0x00 00000309: PUSH1 0x00 0000030b: DUP3 0000030c: ADD 0000030d: PUSH1 0x00 0000030f: PUSH2 0x0100 00000312: EXP 00000313: DUP2 00000314: SLOAD 00000315: SWAP1 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: PUSH1 0x02 0000031c: EXP 0000031d: SUB 0000031e: MUL 0000031f: NOT 00000320: AND 00000321: SWAP1 00000322: SSTORE 00000323: PUSH1 0x01 00000325: DUP3 00000326: ADD 00000327: PUSH1 0x00 00000329: POP 0000032a: PUSH1 0x00 0000032c: SWAP1 0000032d: SSTORE 0000032e: PUSH1 0x02 00000330: DUP3 00000331: ADD 00000332: PUSH1 0x00 00000334: POP 00000335: PUSH1 0x00 00000337: SWAP1 00000338: SSTORE 00000339: PUSH1 0x03 0000033b: DUP3 0000033c: ADD 0000033d: PUSH1 0x00 0000033f: PUSH2 0x0100 00000342: EXP 00000343: DUP2 00000344: SLOAD 00000345: SWAP1 00000346: PUSH1 0x01 00000348: PUSH1 0xa0 0000034a: PUSH1 0x02 0000034c: EXP 0000034d: SUB 0000034e: MUL 0000034f: NOT 00000350: AND 00000351: SWAP1 00000352: SSTORE 00000353: POP 00000354: POP 00000355: JUMPDEST 00000356: DUP1 00000357: SWAP4 00000358: POP 00000359: JUMPDEST 0000035a: POP 0000035b: POP 0000035c: POP 0000035d: SWAP5 0000035e: SWAP4 0000035f: POP 00000360: POP 00000361: POP 00000362: POP 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH1 0x60 00000367: DUP9 00000368: DUP2 00000369: MSTORE 0000036a: PUSH1 0xff 0000036c: DUP9 0000036d: AND 0000036e: PUSH1 0x80 00000370: SWAP1 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0xa0 00000375: DUP9 00000376: SWAP1 00000377: MSTORE 00000378: PUSH1 0xc0 0000037a: DUP8 0000037b: SWAP1 0000037c: MSTORE 0000037d: PUSH1 0x01 0000037f: SWAP2 00000380: PUSH1 0xe0 00000382: SWAP2 00000383: PUSH1 0x20 00000385: SWAP2 00000386: SWAP1 00000387: DUP2 00000388: DUP7 00000389: DUP7 0000038a: PUSH2 0x61da 0000038d: GAS 0000038e: SUB 0000038f: CALL 00000390: ISZERO 00000391: PUSH2 0x0002 00000394: JUMPI 00000395: POP 00000396: PUSH1 0x40 00000398: DUP1 00000399: MLOAD 0000039a: MLOAD 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: DUP2 000003a4: AND 000003a5: DUP5 000003a6: MSTORE 000003a7: PUSH1 0x20 000003a9: SWAP3 000003aa: SWAP1 000003ab: SWAP3 000003ac: MSTORE 000003ad: DUP3 000003ae: KECCAK256 000003af: SLOAD 000003b0: SWAP1 000003b1: SWAP3 000003b2: POP 000003b3: PUSH1 0xff 000003b5: AND 000003b6: ISZERO 000003b7: ISZERO 000003b8: PUSH2 0x03c0 000003bb: JUMPI 000003bc: PUSH2 0x0002 000003bf: JUMP 000003c0: JUMPDEST 000003c1: DUP3 000003c2: PUSH1 0x03 000003c4: ADD 000003c5: PUSH1 0x00 000003c7: SWAP1 000003c8: SLOAD 000003c9: SWAP1 000003ca: PUSH2 0x0100 000003cd: EXP 000003ce: SWAP1 000003cf: DIV 000003d0: PUSH1 0x01 000003d2: PUSH1 0xa0 000003d4: PUSH1 0x02 000003d6: EXP 000003d7: SUB 000003d8: AND 000003d9: PUSH1 0x01 000003db: PUSH1 0xa0 000003dd: PUSH1 0x02 000003df: EXP 000003e0: SUB 000003e1: AND 000003e2: PUSH1 0x00 000003e4: EQ 000003e5: ISZERO 000003e6: PUSH2 0x0485 000003e9: JUMPI 000003ea: DUP2 000003eb: DUP4 000003ec: PUSH1 0x03 000003ee: ADD 000003ef: PUSH1 0x00 000003f1: PUSH2 0x0100 000003f4: EXP 000003f5: DUP2 000003f6: SLOAD 000003f7: DUP2 000003f8: PUSH1 0x01 000003fa: PUSH1 0xa0 000003fc: PUSH1 0x02 000003fe: EXP 000003ff: SUB 00000400: MUL 00000401: NOT 00000402: AND 00000403: SWAP1 00000404: DUP4 00000405: MUL 00000406: OR 00000407: SWAP1 00000408: SSTORE 00000409: POP 0000040a: PUSH32 0xa0cf8a24caec31ed7663626cd6d6ad687b5b0004a7a743af24aabc3665ae24d2 0000042b: DUP4 0000042c: PUSH1 0x00 0000042e: ADD 0000042f: PUSH1 0x00 00000431: SWAP1 00000432: SLOAD 00000433: SWAP1 00000434: PUSH2 0x0100 00000437: EXP 00000438: SWAP1 00000439: DIV 0000043a: PUSH1 0x01 0000043c: PUSH1 0xa0 0000043e: PUSH1 0x02 00000440: EXP 00000441: SUB 00000442: AND 00000443: DUP5 00000444: PUSH1 0x01 00000446: ADD 00000447: PUSH1 0x00 00000449: POP 0000044a: SLOAD 0000044b: DUP5 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: DUP1 00000450: DUP5 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: PUSH1 0x02 00000457: EXP 00000458: SUB 00000459: AND 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: DUP4 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x20 00000464: ADD 00000465: DUP3 00000466: PUSH1 0x01 00000468: PUSH1 0xa0 0000046a: PUSH1 0x02 0000046c: EXP 0000046d: SUB 0000046e: AND 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x20 00000473: ADD 00000474: SWAP4 00000475: POP 00000476: POP 00000477: POP 00000478: POP 00000479: PUSH1 0x40 0000047b: MLOAD 0000047c: DUP1 0000047d: SWAP2 0000047e: SUB 0000047f: SWAP1 00000480: LOG1 00000481: PUSH2 0x0359 00000484: JUMP 00000485: JUMPDEST 00000486: DUP2 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: PUSH1 0x02 0000048d: EXP 0000048e: SUB 0000048f: AND 00000490: DUP4 00000491: PUSH1 0x03 00000493: ADD 00000494: PUSH1 0x00 00000496: SWAP1 00000497: SLOAD 00000498: SWAP1 00000499: PUSH2 0x0100 0000049c: EXP 0000049d: SWAP1 0000049e: DIV 0000049f: PUSH1 0x01 000004a1: PUSH1 0xa0 000004a3: PUSH1 0x02 000004a5: EXP 000004a6: SUB 000004a7: AND 000004a8: PUSH1 0x01 000004aa: PUSH1 0xa0 000004ac: PUSH1 0x02 000004ae: EXP 000004af: SUB 000004b0: AND 000004b1: EQ 000004b2: ISZERO 000004b3: PUSH2 0x0206 000004b6: JUMPI 000004b7: PUSH2 0x0002 000004ba: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x733b9ca147e910be96796553dd984d09f9501791a2f9103ddd31e0823667581f
call_targets:
0x61edcdf5bb737adffe5043706e7c5bb1f1a56eea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x733b9ca147e910be96796553dd984d09f9501791a2f9103ddd31e0823667581f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x61edcdf5bb737adffe5043706e7c5bb1f1a56eea"
],
"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": "0x19e44e32",
"selector": "0x19e44e32",
"calldata_variants": [
"0x19e44e32",
"0x19e44e320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d972d41",
"selector": "0x1d972d41",
"calldata_variants": [
"0x1d972d41",
"0x1d972d410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb00606a5",
"selector": "0xb00606a5",
"calldata_variants": [
"0xb00606a5",
"0xb00606a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba3ae0ce",
"selector": "0xba3ae0ce",
"calldata_variants": [
"0xba3ae0ce",
"0xba3ae0ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda95ebf7",
"selector": "0xda95ebf7",
"calldata_variants": [
"0xda95ebf7",
"0xda95ebf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 580,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 911,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x733b9ca147e910be96796553dd984d09f9501791a2f9103ddd31e0823667581f
call_targets:
0x61edcdf5bb737adffe5043706e7c5bb1f1a56eea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x733b9ca147e910be96796553dd984d09f9501791a2f9103ddd31e0823667581f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x61edcdf5bb737adffe5043706e7c5bb1f1a56eea"
],
"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": "0x19e44e32",
"selector": "0x19e44e32",
"calldata_variants": [
"0x19e44e32",
"0x19e44e320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d972d41",
"selector": "0x1d972d41",
"calldata_variants": [
"0x1d972d41",
"0x1d972d410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb00606a5",
"selector": "0xb00606a5",
"calldata_variants": [
"0xb00606a5",
"0xb00606a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba3ae0ce",
"selector": "0xba3ae0ce",
"calldata_variants": [
"0xba3ae0ce",
"0xba3ae0ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda95ebf7",
"selector": "0xda95ebf7",
"calldata_variants": [
"0xda95ebf7",
"0xda95ebf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 580,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 911,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|