019b3844-911b-7015-9149-c9f422e5b918
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 |
|---|---|---|---|---|
| 12709 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12710 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 84820 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 84821 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 84822 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 84823 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0062 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0c7caded 0000003c: EQ 0000003d: PUSH2 0x0064 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x321f0013 00000047: EQ 00000048: PUSH2 0x007b 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3ccfd60b 00000052: EQ 00000053: PUSH2 0x0092 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x6ab108f9 0000005d: EQ 0000005e: PUSH2 0x00a9 00000061: JUMPI 00000062: JUMPDEST 00000063: STOP 00000064: JUMPDEST 00000065: CALLVALUE 00000066: DUP1 00000067: ISZERO 00000068: PUSH2 0x0070 0000006b: JUMPI 0000006c: PUSH1 0x00 0000006e: DUP1 0000006f: REVERT 00000070: JUMPDEST 00000071: POP 00000072: PUSH2 0x0079 00000075: PUSH2 0x00d6 00000078: JUMP 00000079: JUMPDEST 0000007a: STOP 0000007b: JUMPDEST 0000007c: CALLVALUE 0000007d: DUP1 0000007e: ISZERO 0000007f: PUSH2 0x0087 00000082: JUMPI 00000083: PUSH1 0x00 00000085: DUP1 00000086: REVERT 00000087: JUMPDEST 00000088: POP 00000089: PUSH2 0x0090 0000008c: PUSH2 0x013d 0000008f: JUMP 00000090: JUMPDEST 00000091: STOP 00000092: JUMPDEST 00000093: CALLVALUE 00000094: DUP1 00000095: ISZERO 00000096: PUSH2 0x009e 00000099: JUMPI 0000009a: PUSH1 0x00 0000009c: DUP1 0000009d: REVERT 0000009e: JUMPDEST 0000009f: POP 000000a0: PUSH2 0x00a7 000000a3: PUSH2 0x013f 000000a6: JUMP 000000a7: JUMPDEST 000000a8: STOP 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: DUP1 000000ac: ISZERO 000000ad: PUSH2 0x00b5 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x00d4 000000ba: PUSH1 0x04 000000bc: DUP1 000000bd: CALLDATASIZE 000000be: SUB 000000bf: DUP2 000000c0: ADD 000000c1: SWAP1 000000c2: DUP1 000000c3: DUP1 000000c4: CALLDATALOAD 000000c5: SWAP1 000000c6: PUSH1 0x20 000000c8: ADD 000000c9: SWAP1 000000ca: SWAP3 000000cb: SWAP2 000000cc: SWAP1 000000cd: POP 000000ce: POP 000000cf: POP 000000d0: PUSH2 0x0201 000000d3: JUMP 000000d4: JUMPDEST 000000d5: STOP 000000d6: JUMPDEST 000000d7: PUSH20 0x18659fe8ed05949595b15e8e7d3a5d151fc78fca 000000ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000101: AND 00000102: CALLER 00000103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000118: AND 00000119: EQ 0000011a: ISZERO 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: ADDRESS 00000126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013b: AND 0000013c: SELFDESTRUCT 0000013d: JUMPDEST 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH20 0x18659fe8ed05949595b15e8e7d3a5d151fc78fca 00000155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016a: AND 0000016b: CALLER 0000016c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000181: AND 00000182: EQ 00000183: ISZERO 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: PUSH20 0x18659fe8ed05949595b15e8e7d3a5d151fc78fca 000001a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b8: AND 000001b9: PUSH2 0x08fc 000001bc: ADDRESS 000001bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d2: AND 000001d3: BALANCE 000001d4: SWAP1 000001d5: DUP2 000001d6: ISZERO 000001d7: MUL 000001d8: SWAP1 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: PUSH1 0x00 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: DUP1 000001e2: DUP4 000001e3: SUB 000001e4: DUP2 000001e5: DUP6 000001e6: DUP9 000001e7: DUP9 000001e8: CALL 000001e9: SWAP4 000001ea: POP 000001eb: POP 000001ec: POP 000001ed: POP 000001ee: ISZERO 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01fe 000001f4: JUMPI 000001f5: RETURNDATASIZE 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: RETURNDATACOPY 000001fa: RETURNDATASIZE 000001fb: PUSH1 0x00 000001fd: REVERT 000001fe: JUMPDEST 000001ff: POP 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH1 0x00 00000204: PUSH1 0x01 00000206: PUSH1 0x00 00000208: SWAP1 00000209: SLOAD 0000020a: SWAP1 0000020b: PUSH2 0x0100 0000020e: EXP 0000020f: SWAP1 00000210: DIV 00000211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000226: AND 00000227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023c: AND 0000023d: PUSH4 0x78bd7935 00000242: DUP4 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP3 00000247: PUSH4 0xffffffff 0000024c: AND 0000024d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000026b: MUL 0000026c: DUP2 0000026d: MSTORE 0000026e: PUSH1 0x04 00000270: ADD 00000271: DUP1 00000272: DUP3 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: SWAP2 00000279: POP 0000027a: POP 0000027b: PUSH1 0xa0 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: DUP4 00000282: SUB 00000283: DUP2 00000284: PUSH1 0x00 00000286: DUP8 00000287: DUP1 00000288: EXTCODESIZE 00000289: ISZERO 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: GAS 00000297: CALL 00000298: ISZERO 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a8 0000029e: JUMPI 0000029f: RETURNDATASIZE 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: RETURNDATACOPY 000002a4: RETURNDATASIZE 000002a5: PUSH1 0x00 000002a7: REVERT 000002a8: JUMPDEST 000002a9: POP 000002aa: POP 000002ab: POP 000002ac: POP 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: RETURNDATASIZE 000002b1: PUSH1 0xa0 000002b3: DUP2 000002b4: LT 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: DUP2 000002c0: ADD 000002c1: SWAP1 000002c2: DUP1 000002c3: DUP1 000002c4: MLOAD 000002c5: SWAP1 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: SWAP1 000002ca: SWAP3 000002cb: SWAP2 000002cc: SWAP1 000002cd: DUP1 000002ce: MLOAD 000002cf: SWAP1 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP1 000002d4: SWAP3 000002d5: SWAP2 000002d6: SWAP1 000002d7: DUP1 000002d8: MLOAD 000002d9: SWAP1 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: SWAP3 000002df: SWAP2 000002e0: SWAP1 000002e1: DUP1 000002e2: MLOAD 000002e3: SWAP1 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: SWAP1 000002e8: SWAP3 000002e9: SWAP2 000002ea: SWAP1 000002eb: DUP1 000002ec: MLOAD 000002ed: SWAP1 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: SWAP1 000002f2: SWAP3 000002f3: SWAP2 000002f4: SWAP1 000002f5: POP 000002f6: POP 000002f7: POP 000002f8: SWAP1 000002f9: SWAP2 000002fa: SWAP3 000002fb: POP 000002fc: SWAP1 000002fd: SWAP2 000002fe: POP 000002ff: SWAP1 00000300: POP 00000301: POP 00000302: DUP1 00000303: SWAP2 00000304: POP 00000305: POP 00000306: PUSH20 0x06012c8cf97bead5deae237070f9587f8e7a266d 0000031b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000330: AND 00000331: DUP2 00000332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000347: AND 00000348: EQ 00000349: ISZERO 0000034a: PUSH2 0x04cc 0000034d: JUMPI 0000034e: PUSH1 0x01 00000350: PUSH1 0x00 00000352: SWAP1 00000353: SLOAD 00000354: SWAP1 00000355: PUSH2 0x0100 00000358: EXP 00000359: SWAP1 0000035a: DIV 0000035b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000370: AND 00000371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000386: AND 00000387: PUSH4 0x454a2ab3 0000038c: PUSH1 0x01 0000038e: PUSH1 0x00 00000390: SWAP1 00000391: SLOAD 00000392: SWAP1 00000393: PUSH2 0x0100 00000396: EXP 00000397: SWAP1 00000398: DIV 00000399: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ae: AND 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: PUSH4 0xc55d0f56 000003ca: DUP6 000003cb: PUSH1 0x40 000003cd: MLOAD 000003ce: DUP3 000003cf: PUSH4 0xffffffff 000003d4: AND 000003d5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000003f3: MUL 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x04 000003f8: ADD 000003f9: DUP1 000003fa: DUP3 000003fb: DUP2 000003fc: MSTORE 000003fd: PUSH1 0x20 000003ff: ADD 00000400: SWAP2 00000401: POP 00000402: POP 00000403: PUSH1 0x20 00000405: PUSH1 0x40 00000407: MLOAD 00000408: DUP1 00000409: DUP4 0000040a: SUB 0000040b: DUP2 0000040c: PUSH1 0x00 0000040e: DUP8 0000040f: DUP1 00000410: EXTCODESIZE 00000411: ISZERO 00000412: DUP1 00000413: ISZERO 00000414: PUSH2 0x041c 00000417: JUMPI 00000418: PUSH1 0x00 0000041a: DUP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: POP 0000041e: GAS 0000041f: CALL 00000420: ISZERO 00000421: DUP1 00000422: ISZERO 00000423: PUSH2 0x0430 00000426: JUMPI 00000427: RETURNDATASIZE 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: RETURNDATACOPY 0000042c: RETURNDATASIZE 0000042d: PUSH1 0x00 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: POP 00000433: POP 00000434: POP 00000435: PUSH1 0x40 00000437: MLOAD 00000438: RETURNDATASIZE 00000439: PUSH1 0x20 0000043b: DUP2 0000043c: LT 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: DUP2 00000448: ADD 00000449: SWAP1 0000044a: DUP1 0000044b: DUP1 0000044c: MLOAD 0000044d: SWAP1 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP1 00000452: SWAP3 00000453: SWAP2 00000454: SWAP1 00000455: POP 00000456: POP 00000457: POP 00000458: DUP5 00000459: PUSH1 0x40 0000045b: MLOAD 0000045c: DUP4 0000045d: PUSH4 0xffffffff 00000462: AND 00000463: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000481: MUL 00000482: DUP2 00000483: MSTORE 00000484: PUSH1 0x04 00000486: ADD 00000487: DUP1 00000488: DUP3 00000489: DUP2 0000048a: MSTORE 0000048b: PUSH1 0x20 0000048d: ADD 0000048e: SWAP2 0000048f: POP 00000490: POP 00000491: PUSH1 0x00 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: DUP4 00000498: SUB 00000499: DUP2 0000049a: DUP6 0000049b: DUP9 0000049c: DUP1 0000049d: EXTCODESIZE 0000049e: ISZERO 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: GAS 000004ac: CALL 000004ad: ISZERO 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04bd 000004b3: JUMPI 000004b4: RETURNDATASIZE 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: RETURNDATACOPY 000004b9: RETURNDATASIZE 000004ba: PUSH1 0x00 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: POP 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: PUSH2 0x04cb 000004c6: DUP3 000004c7: PUSH2 0x04d0 000004ca: JUMP 000004cb: JUMPDEST 000004cc: JUMPDEST 000004cd: POP 000004ce: POP 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: SWAP1 000004d5: SLOAD 000004d6: SWAP1 000004d7: PUSH2 0x0100 000004da: EXP 000004db: SWAP1 000004dc: DIV 000004dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f2: AND 000004f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000508: AND 00000509: PUSH4 0xa9059cbb 0000050e: PUSH20 0x405c5d327d18243ae73e76bd48c5053104fee89f 00000523: DUP4 00000524: PUSH1 0x40 00000526: MLOAD 00000527: DUP4 00000528: PUSH4 0xffffffff 0000052d: AND 0000052e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000054c: MUL 0000054d: DUP2 0000054e: MSTORE 0000054f: PUSH1 0x04 00000551: ADD 00000552: DUP1 00000553: DUP4 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057f: AND 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: DUP3 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP3 0000058c: POP 0000058d: POP 0000058e: POP 0000058f: PUSH1 0x00 00000591: PUSH1 0x40 00000593: MLOAD 00000594: DUP1 00000595: DUP4 00000596: SUB 00000597: DUP2 00000598: PUSH1 0x00 0000059a: DUP8 0000059b: DUP1 0000059c: EXTCODESIZE 0000059d: ISZERO 0000059e: DUP1 0000059f: ISZERO 000005a0: PUSH2 0x05a8 000005a3: JUMPI 000005a4: PUSH1 0x00 000005a6: DUP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: POP 000005aa: GAS 000005ab: CALL 000005ac: ISZERO 000005ad: DUP1 000005ae: ISZERO 000005af: PUSH2 0x05bc 000005b2: JUMPI 000005b3: RETURNDATASIZE 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: RETURNDATACOPY 000005b8: RETURNDATASIZE 000005b9: PUSH1 0x00 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: JUMP 000005c3: STOP 000005c4: LOG1 000005c5: PUSH6 0x627a7a723058 000005cc: KECCAK256 000005cd: UNKNOWN(0xD5) 000005ce: DUP6 000005cf: INVALID 000005d0: CALLDATALOAD 000005d1: PUSH7 0x2111010d7c3671 000005d9: RETURNDATACOPY 000005da: CALLDATASIZE 000005db: EXP 000005dc: PUSH15 0x384d62711fd68db018e04862eb5884 000005ec: UNKNOWN(0xC5) 000005ed: STOP 000005ee: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x403a43b5e09731abfc741cf7380db377b2dc4b3ce0bd8106ce13e36dee0c9a60
call_targets:
0x3c963c17e9168df1680af1a1fdab473192bf026f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x403a43b5e09731abfc741cf7380db377b2dc4b3ce0bd8106ce13e36dee0c9a60",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3c963c17e9168df1680af1a1fdab473192bf026f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c7caded",
"selector": "0x0c7caded",
"calldata_variants": [
"0x0c7caded",
"0x0c7caded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x321f0013",
"selector": "0x321f0013",
"calldata_variants": [
"0x321f0013",
"0x321f00130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ab108f9",
"selector": "0x6ab108f9",
"calldata_variants": [
"0x6ab108f9",
"0x6ab108f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 488,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 663,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 258,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 363,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x403a43b5e09731abfc741cf7380db377b2dc4b3ce0bd8106ce13e36dee0c9a60
call_targets:
0x3c963c17e9168df1680af1a1fdab473192bf026f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x403a43b5e09731abfc741cf7380db377b2dc4b3ce0bd8106ce13e36dee0c9a60",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3c963c17e9168df1680af1a1fdab473192bf026f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c7caded",
"selector": "0x0c7caded",
"calldata_variants": [
"0x0c7caded",
"0x0c7caded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x321f0013",
"selector": "0x321f0013",
"calldata_variants": [
"0x321f0013",
"0x321f00130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ab108f9",
"selector": "0x6ab108f9",
"calldata_variants": [
"0x6ab108f9",
"0x6ab108f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 488,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 663,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 258,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 363,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xf59585a54bf278cf5032543811371dff3cb314bc3e910f98dc39856cb3d85ff2
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0xf59585a54bf278cf5032543811371dff3cb314bc3e910f98dc39856cb3d85ff2",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c7caded",
"selector": "0x0c7caded",
"calldata_variants": [
"0x0c7caded",
"0x0c7caded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x321f0013",
"selector": "0x321f0013",
"calldata_variants": [
"0x321f0013",
"0x321f00130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ab108f9",
"selector": "0x6ab108f9",
"calldata_variants": [
"0x6ab108f9",
"0x6ab108f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 258,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 363,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|