019b3836-4831-73d7-a580-b3e08022a617
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 |
|---|---|---|---|---|
| 6417 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6418 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50212 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50213 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50214 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50215 | 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 0x0056 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x38af3eed 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x006e 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x516dde43 00000025: EQ 00000026: PUSH2 0x0080 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x6e353a1d 00000030: EQ 00000031: PUSH2 0x0089 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x984474fb 0000003b: EQ 0000003c: PUSH2 0x00ab 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x9cc9299e 00000046: EQ 00000047: PUSH2 0x00b4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb69ef8a8 00000051: EQ 00000052: PUSH2 0x00d2 00000055: JUMPI 00000056: JUMPDEST 00000057: PUSH2 0x00db 0000005a: PUSH1 0x03 0000005c: SLOAD 0000005d: PUSH1 0x00 0000005f: SWAP1 00000060: DUP2 00000061: SWAP1 00000062: DUP2 00000063: SWAP1 00000064: TIMESTAMP 00000065: LT 00000066: PUSH2 0x00dd 00000069: JUMPI 0000006a: PUSH2 0x0002 0000006d: JUMP 0000006e: JUMPDEST 0000006f: PUSH2 0x0320 00000072: PUSH1 0x00 00000074: SLOAD 00000075: PUSH1 0x01 00000077: PUSH1 0xa0 00000079: PUSH1 0x02 0000007b: EXP 0000007c: SUB 0000007d: AND 0000007e: DUP2 0000007f: JUMP 00000080: JUMPDEST 00000081: PUSH2 0x0320 00000084: PUSH1 0x03 00000086: SLOAD 00000087: DUP2 00000088: JUMP 00000089: JUMPDEST 0000008a: PUSH2 0x00db 0000008d: PUSH1 0x04 0000008f: CALLDATALOAD 00000090: PUSH1 0x00 00000092: DUP1 00000093: SLOAD 00000094: CALLER 00000095: PUSH1 0x01 00000097: PUSH1 0xa0 00000099: PUSH1 0x02 0000009b: EXP 0000009c: SUB 0000009d: SWAP1 0000009e: DUP2 0000009f: AND 000000a0: SWAP2 000000a1: AND 000000a2: EQ 000000a3: PUSH2 0x0343 000000a6: JUMPI 000000a7: PUSH2 0x0002 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0320 000000af: PUSH1 0x02 000000b1: SLOAD 000000b2: DUP2 000000b3: JUMP 000000b4: JUMPDEST 000000b5: PUSH2 0x00db 000000b8: PUSH1 0x00 000000ba: SLOAD 000000bb: CALLER 000000bc: PUSH1 0x01 000000be: PUSH1 0xa0 000000c0: PUSH1 0x02 000000c2: EXP 000000c3: SUB 000000c4: SWAP1 000000c5: DUP2 000000c6: AND 000000c7: SWAP2 000000c8: AND 000000c9: EQ 000000ca: PUSH2 0x032a 000000cd: JUMPI 000000ce: PUSH2 0x0002 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH2 0x0320 000000d6: PUSH1 0x04 000000d8: SLOAD 000000d9: DUP2 000000da: JUMP 000000db: JUMPDEST 000000dc: STOP 000000dd: JUMPDEST 000000de: PUSH7 0x038d7ea4c68000 000000e6: CALLVALUE 000000e7: LT 000000e8: ISZERO 000000e9: PUSH2 0x00f1 000000ec: JUMPI 000000ed: PUSH2 0x0002 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x02 000000f4: SLOAD 000000f5: PUSH1 0x01 000000f7: SLOAD 000000f8: DUP3 000000f9: SLOAD 000000fa: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 0000011b: PUSH1 0x60 0000011d: SWAP1 0000011e: DUP2 0000011f: MSTORE 00000120: PUSH1 0x01 00000122: PUSH1 0xa0 00000124: PUSH1 0x02 00000126: EXP 00000127: SUB 00000128: SWAP2 00000129: DUP3 0000012a: AND 0000012b: PUSH1 0x64 0000012d: MSTORE 0000012e: ADDRESS 0000012f: DUP3 00000130: AND 00000131: PUSH1 0x84 00000133: MSTORE 00000134: PUSH8 0x0de0b6b3a7640000 0000013d: CALLVALUE 0000013e: MUL 0000013f: SWAP4 00000140: SWAP1 00000141: SWAP4 00000142: DIV 00000143: SWAP6 00000144: POP 00000145: AND 00000146: SWAP1 00000147: PUSH4 0xdd62ed3e 0000014c: SWAP1 0000014d: PUSH1 0xa4 0000014f: SWAP1 00000150: PUSH1 0x20 00000152: SWAP1 00000153: PUSH1 0x44 00000155: DUP2 00000156: DUP8 00000157: DUP8 00000158: PUSH2 0x61da 0000015b: GAS 0000015c: SUB 0000015d: CALL 0000015e: ISZERO 0000015f: PUSH2 0x0002 00000162: JUMPI 00000163: POP 00000164: POP 00000165: PUSH1 0x40 00000167: MLOAD 00000168: MLOAD 00000169: PUSH1 0x04 0000016b: DUP2 0000016c: SWAP1 0000016d: SSTORE 0000016e: CALLER 0000016f: SWAP4 00000170: POP 00000171: DUP5 00000172: SWAP1 00000173: LT 00000174: SWAP1 00000175: POP 00000176: PUSH2 0x022e 00000179: JUMPI 0000017a: PUSH1 0x01 0000017c: PUSH1 0x00 0000017e: SWAP1 0000017f: SLOAD 00000180: SWAP1 00000181: PUSH2 0x0100 00000184: EXP 00000185: SWAP1 00000186: DIV 00000187: PUSH1 0x01 00000189: PUSH1 0xa0 0000018b: PUSH1 0x02 0000018d: EXP 0000018e: SUB 0000018f: AND 00000190: PUSH1 0x01 00000192: PUSH1 0xa0 00000194: PUSH1 0x02 00000196: EXP 00000197: SUB 00000198: AND 00000199: PUSH4 0x23b872dd 0000019e: PUSH1 0x00 000001a0: PUSH1 0x00 000001a2: SWAP1 000001a3: SLOAD 000001a4: SWAP1 000001a5: PUSH2 0x0100 000001a8: EXP 000001a9: SWAP1 000001aa: DIV 000001ab: PUSH1 0x01 000001ad: PUSH1 0xa0 000001af: PUSH1 0x02 000001b1: EXP 000001b2: SUB 000001b3: AND 000001b4: CALLER 000001b5: DUP7 000001b6: PUSH1 0x40 000001b8: MLOAD 000001b9: DUP5 000001ba: PUSH1 0xe0 000001bc: PUSH1 0x02 000001be: EXP 000001bf: MUL 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x04 000001c4: ADD 000001c5: DUP1 000001c6: DUP5 000001c7: PUSH1 0x01 000001c9: PUSH1 0xa0 000001cb: PUSH1 0x02 000001cd: EXP 000001ce: SUB 000001cf: AND 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x20 000001d4: ADD 000001d5: DUP4 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: PUSH1 0x02 000001dc: EXP 000001dd: SUB 000001de: AND 000001df: DUP2 000001e0: MSTORE 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: DUP3 000001e5: DUP2 000001e6: MSTORE 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: SWAP4 000001eb: POP 000001ec: POP 000001ed: POP 000001ee: POP 000001ef: PUSH1 0x20 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: DUP4 000001f6: SUB 000001f7: DUP2 000001f8: PUSH1 0x00 000001fa: DUP8 000001fb: PUSH2 0x61da 000001fe: GAS 000001ff: SUB 00000200: CALL 00000201: ISZERO 00000202: PUSH2 0x0002 00000205: JUMPI 00000206: POP 00000207: POP 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP3 0000020c: SLOAD 0000020d: PUSH1 0x01 0000020f: PUSH1 0xa0 00000211: PUSH1 0x02 00000213: EXP 00000214: SUB 00000215: AND 00000216: SWAP2 00000217: POP 00000218: DUP3 00000219: SWAP1 0000021a: CALLVALUE 0000021b: SWAP1 0000021c: DUP3 0000021d: DUP2 0000021e: DUP2 0000021f: DUP2 00000220: DUP6 00000221: DUP9 00000222: DUP4 00000223: CALL 00000224: SWAP4 00000225: POP 00000226: POP 00000227: POP 00000228: POP 00000229: POP 0000022a: PUSH2 0x031b 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x01 00000231: PUSH1 0x00 00000233: SWAP1 00000234: SLOAD 00000235: SWAP1 00000236: PUSH2 0x0100 00000239: EXP 0000023a: SWAP1 0000023b: DIV 0000023c: PUSH1 0x01 0000023e: PUSH1 0xa0 00000240: PUSH1 0x02 00000242: EXP 00000243: SUB 00000244: AND 00000245: PUSH1 0x01 00000247: PUSH1 0xa0 00000249: PUSH1 0x02 0000024b: EXP 0000024c: SUB 0000024d: AND 0000024e: PUSH4 0x23b872dd 00000253: PUSH1 0x00 00000255: PUSH1 0x00 00000257: SWAP1 00000258: SLOAD 00000259: SWAP1 0000025a: PUSH2 0x0100 0000025d: EXP 0000025e: SWAP1 0000025f: DIV 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: AND 00000269: CALLER 0000026a: PUSH1 0x04 0000026c: PUSH1 0x00 0000026e: POP 0000026f: SLOAD 00000270: PUSH1 0x40 00000272: MLOAD 00000273: DUP5 00000274: PUSH1 0xe0 00000276: PUSH1 0x02 00000278: EXP 00000279: MUL 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x04 0000027e: ADD 0000027f: DUP1 00000280: DUP5 00000281: PUSH1 0x01 00000283: PUSH1 0xa0 00000285: PUSH1 0x02 00000287: EXP 00000288: SUB 00000289: AND 0000028a: DUP2 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: DUP4 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: PUSH1 0x02 00000296: EXP 00000297: SUB 00000298: AND 00000299: DUP2 0000029a: MSTORE 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: DUP3 0000029f: DUP2 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: SWAP4 000002a5: POP 000002a6: POP 000002a7: POP 000002a8: POP 000002a9: PUSH1 0x20 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: DUP4 000002b0: SUB 000002b1: DUP2 000002b2: PUSH1 0x00 000002b4: DUP8 000002b5: PUSH2 0x61da 000002b8: GAS 000002b9: SUB 000002ba: CALL 000002bb: ISZERO 000002bc: PUSH2 0x0002 000002bf: JUMPI 000002c0: POP 000002c1: POP 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: PUSH1 0x02 000002c7: SLOAD 000002c8: PUSH1 0x04 000002ca: SLOAD 000002cb: PUSH8 0x0de0b6b3a7640000 000002d4: SWAP1 000002d5: DUP8 000002d6: SUB 000002d7: SWAP1 000002d8: SWAP2 000002d9: MUL 000002da: DIV 000002db: SWAP3 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: PUSH1 0x02 000002e2: EXP 000002e3: SUB 000002e4: DUP6 000002e5: AND 000002e6: SWAP3 000002e7: POP 000002e8: SWAP1 000002e9: DUP4 000002ea: SWAP1 000002eb: DUP3 000002ec: DUP2 000002ed: DUP2 000002ee: DUP2 000002ef: DUP6 000002f0: DUP9 000002f1: DUP4 000002f2: CALL 000002f3: POP 000002f4: POP 000002f5: DUP2 000002f6: SLOAD 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: PUSH1 0x01 000002fc: PUSH1 0xa0 000002fe: PUSH1 0x02 00000300: EXP 00000301: SUB 00000302: SWAP2 00000303: SWAP1 00000304: SWAP2 00000305: AND 00000306: SWAP4 00000307: POP 00000308: CALLVALUE 00000309: SWAP2 0000030a: SWAP1 0000030b: SWAP2 0000030c: SUB 0000030d: SWAP1 0000030e: DUP3 0000030f: DUP2 00000310: DUP2 00000311: DUP2 00000312: DUP6 00000313: DUP9 00000314: DUP4 00000315: CALL 00000316: POP 00000317: POP 00000318: POP 00000319: POP 0000031a: POP 0000031b: JUMPDEST 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH1 0x60 00000323: SWAP1 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: SWAP1 00000329: RETURN 0000032a: JUMPDEST 0000032b: PUSH1 0x03 0000032d: SLOAD 0000032e: TIMESTAMP 0000032f: LT 00000330: PUSH2 0x0341 00000333: JUMPI 00000334: PUSH1 0x00 00000336: SLOAD 00000337: PUSH1 0x01 00000339: PUSH1 0xa0 0000033b: PUSH1 0x02 0000033d: EXP 0000033e: SUB 0000033f: AND 00000340: SELFDESTRUCT 00000341: JUMPDEST 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH1 0x01 00000346: SLOAD 00000347: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000368: PUSH1 0x60 0000036a: SWAP1 0000036b: DUP2 0000036c: MSTORE 0000036d: ADDRESS 0000036e: PUSH1 0x01 00000370: PUSH1 0xa0 00000372: PUSH1 0x02 00000374: EXP 00000375: SUB 00000376: SWAP1 00000377: DUP2 00000378: AND 00000379: PUSH1 0x64 0000037b: MSTORE 0000037c: SWAP1 0000037d: SWAP2 0000037e: AND 0000037f: SWAP1 00000380: PUSH4 0x70a08231 00000385: SWAP1 00000386: PUSH1 0x84 00000388: SWAP1 00000389: PUSH1 0x20 0000038b: SWAP1 0000038c: PUSH1 0x24 0000038e: DUP2 0000038f: DUP8 00000390: DUP8 00000391: PUSH2 0x61da 00000394: GAS 00000395: SUB 00000396: CALL 00000397: ISZERO 00000398: PUSH2 0x0002 0000039b: JUMPI 0000039c: POP 0000039d: POP 0000039e: PUSH1 0x40 000003a0: DUP1 000003a1: MLOAD 000003a2: DUP1 000003a3: MLOAD 000003a4: PUSH1 0x01 000003a6: SLOAD 000003a7: DUP6 000003a8: SLOAD 000003a9: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000003ca: DUP5 000003cb: MSTORE 000003cc: PUSH1 0x01 000003ce: PUSH1 0xa0 000003d0: PUSH1 0x02 000003d2: EXP 000003d3: SUB 000003d4: SWAP1 000003d5: DUP2 000003d6: AND 000003d7: PUSH1 0x04 000003d9: DUP6 000003da: ADD 000003db: MSTORE 000003dc: PUSH1 0x24 000003de: DUP5 000003df: ADD 000003e0: DUP4 000003e1: SWAP1 000003e2: MSTORE 000003e3: SWAP4 000003e4: MLOAD 000003e5: SWAP2 000003e6: SWAP6 000003e7: SWAP4 000003e8: AND 000003e9: SWAP4 000003ea: POP 000003eb: PUSH4 0xa9059cbb 000003f0: SWAP3 000003f1: PUSH1 0x44 000003f3: DUP4 000003f4: DUP2 000003f5: ADD 000003f6: SWAP4 000003f7: PUSH1 0x20 000003f9: SWAP4 000003fa: SWAP3 000003fb: SWAP1 000003fc: DUP4 000003fd: SWAP1 000003fe: SUB 000003ff: SWAP1 00000400: SWAP2 00000401: ADD 00000402: SWAP1 00000403: DUP3 00000404: SWAP1 00000405: DUP8 00000406: PUSH2 0x61da 00000409: GAS 0000040a: SUB 0000040b: CALL 0000040c: ISZERO 0000040d: PUSH2 0x0002 00000410: JUMPI 00000411: POP 00000412: POP 00000413: POP 00000414: POP 00000415: POP 00000416: 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: 0xb7bd9b9c264b5ff23217777a192d2d2b2fe2038fbe3f57fe83c9d0b4177bd885
call_targets:
0xa8e8848a0256da31aded7c124edc3dcbaaaf42d4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7bd9b9c264b5ff23217777a192d2d2b2fe2038fbe3f57fe83c9d0b4177bd885",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8e8848a0256da31aded7c124edc3dcbaaaf42d4"
],
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 512,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb7bd9b9c264b5ff23217777a192d2d2b2fe2038fbe3f57fe83c9d0b4177bd885
call_targets:
0xa8e8848a0256da31aded7c124edc3dcbaaaf42d4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7bd9b9c264b5ff23217777a192d2d2b2fe2038fbe3f57fe83c9d0b4177bd885",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8e8848a0256da31aded7c124edc3dcbaaaf42d4"
],
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 512,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x4c7173da88ce97bd791046ba4e6aefb634c1c14cafaf8113d3a238337ff75169
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0x4c7173da88ce97bd791046ba4e6aefb634c1c14cafaf8113d3a238337ff75169",
"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": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e353a1d",
"selector": "0x6e353a1d",
"calldata_variants": [
"0x6e353a1d",
"0x6e353a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984474fb",
"selector": "0x984474fb",
"calldata_variants": [
"0x984474fb",
"0x984474fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cc9299e",
"selector": "0x9cc9299e",
"calldata_variants": [
"0x9cc9299e",
"0x9cc9299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|