019b3836-32f1-7080-bc3a-d1f395c69c29
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 |
|---|---|---|---|---|
| 3031 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 3032 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 79711 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 79712 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 79713 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 79714 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0082 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x04b07a5e 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0084 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06005754 00000025: EQ 00000026: PUSH2 0x00bd 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x31d98b3f 00000030: EQ 00000031: PUSH2 0x00d9 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x41c0e1b5 0000003b: EQ 0000003c: PUSH2 0x00f4 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x43d24a5e 00000046: EQ 00000047: PUSH2 0x0136 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xa550f86d 00000051: EQ 00000052: PUSH2 0x0172 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xa6f9dae1 0000005c: EQ 0000005d: PUSH2 0x0182 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xd45c4435 00000067: EQ 00000068: PUSH2 0x01c4 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xd5064ed1 00000072: EQ 00000073: PUSH2 0x01de 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xdc555090 0000007d: EQ 0000007e: PUSH2 0x0345 00000081: JUMPI 00000082: JUMPDEST 00000083: STOP 00000084: JUMPDEST 00000085: PUSH2 0x0082 00000088: PUSH1 0x04 0000008a: CALLDATALOAD 0000008b: PUSH1 0x01 0000008d: SLOAD 0000008e: PUSH1 0x01 00000090: PUSH1 0xa0 00000092: PUSH1 0x02 00000094: EXP 00000095: SUB 00000096: SWAP1 00000097: DUP2 00000098: AND 00000099: CALLER 0000009a: SWAP2 0000009b: SWAP1 0000009c: SWAP2 0000009d: AND 0000009e: EQ 0000009f: ISZERO 000000a0: PUSH2 0x01c1 000000a3: JUMPI 000000a4: PUSH1 0x01 000000a6: PUSH1 0xa0 000000a8: PUSH1 0x02 000000aa: EXP 000000ab: SUB 000000ac: AND 000000ad: PUSH1 0x00 000000af: SWAP1 000000b0: DUP2 000000b1: MSTORE 000000b2: PUSH1 0x04 000000b4: PUSH1 0x20 000000b6: MSTORE 000000b7: PUSH1 0x40 000000b9: DUP2 000000ba: KECCAK256 000000bb: SSTORE 000000bc: JUMP 000000bd: JUMPDEST 000000be: PUSH2 0x034e 000000c1: JUMPDEST 000000c2: PUSH20 0x985509582b2c38010bfaa3c8d2be60022d3d00da 000000d7: SWAP1 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH2 0x036b 000000dd: PUSH1 0x04 000000df: CALLDATALOAD 000000e0: PUSH1 0x00 000000e2: DUP2 000000e3: DUP2 000000e4: MSTORE 000000e5: PUSH1 0x02 000000e7: PUSH1 0x20 000000e9: MSTORE 000000ea: PUSH1 0x40 000000ec: SWAP1 000000ed: KECCAK256 000000ee: SLOAD 000000ef: JUMPDEST 000000f0: SWAP2 000000f1: SWAP1 000000f2: POP 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x0082 000000f8: PUSH1 0x01 000000fa: SLOAD 000000fb: PUSH1 0x01 000000fd: PUSH1 0xa0 000000ff: PUSH1 0x02 00000101: EXP 00000102: SUB 00000103: SWAP1 00000104: DUP2 00000105: AND 00000106: CALLER 00000107: SWAP2 00000108: SWAP1 00000109: SWAP2 0000010a: AND 0000010b: EQ 0000010c: ISZERO 0000010d: PUSH2 0x037d 00000110: JUMPI 00000111: PUSH1 0x01 00000113: SLOAD 00000114: PUSH1 0x01 00000116: PUSH1 0xa0 00000118: PUSH1 0x02 0000011a: EXP 0000011b: SUB 0000011c: SWAP1 0000011d: DUP2 0000011e: AND 0000011f: CALLER 00000120: SWAP1 00000121: SWAP2 00000122: AND 00000123: EQ 00000124: ISZERO 00000125: PUSH2 0x037d 00000128: JUMPI 00000129: PUSH1 0x01 0000012b: SLOAD 0000012c: PUSH1 0x01 0000012e: PUSH1 0xa0 00000130: PUSH1 0x02 00000132: EXP 00000133: SUB 00000134: AND 00000135: SELFDESTRUCT 00000136: JUMPDEST 00000137: PUSH2 0x0082 0000013a: PUSH1 0x04 0000013c: CALLDATALOAD 0000013d: PUSH1 0x01 0000013f: SLOAD 00000140: PUSH1 0x01 00000142: PUSH1 0xa0 00000144: PUSH1 0x02 00000146: EXP 00000147: SUB 00000148: SWAP1 00000149: DUP2 0000014a: AND 0000014b: CALLER 0000014c: SWAP2 0000014d: SWAP1 0000014e: SWAP2 0000014f: AND 00000150: EQ 00000151: ISZERO 00000152: PUSH2 0x01c1 00000155: JUMPI 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: PUSH1 0x02 0000015c: EXP 0000015d: SUB 0000015e: AND 0000015f: PUSH1 0x00 00000161: SWAP1 00000162: DUP2 00000163: MSTORE 00000164: PUSH1 0x04 00000166: PUSH1 0x20 00000168: MSTORE 00000169: PUSH1 0x40 0000016b: SWAP1 0000016c: KECCAK256 0000016d: PUSH1 0x01 0000016f: SWAP1 00000170: SSTORE 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH2 0x034e 00000176: PUSH1 0x04 00000178: CALLDATALOAD 00000179: PUSH1 0x00 0000017b: PUSH2 0x037f 0000017e: PUSH2 0x00c1 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x0082 00000186: PUSH1 0x04 00000188: CALLDATALOAD 00000189: PUSH1 0x01 0000018b: SLOAD 0000018c: PUSH1 0x01 0000018e: PUSH1 0xa0 00000190: PUSH1 0x02 00000192: EXP 00000193: SUB 00000194: SWAP1 00000195: DUP2 00000196: AND 00000197: CALLER 00000198: SWAP2 00000199: SWAP1 0000019a: SWAP2 0000019b: AND 0000019c: EQ 0000019d: ISZERO 0000019e: PUSH2 0x01c1 000001a1: JUMPI 000001a2: PUSH1 0x01 000001a4: DUP1 000001a5: SLOAD 000001a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bb: NOT 000001bc: AND 000001bd: DUP3 000001be: OR 000001bf: SWAP1 000001c0: SSTORE 000001c1: JUMPDEST 000001c2: POP 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x036b 000001c8: PUSH1 0x04 000001ca: CALLDATALOAD 000001cb: PUSH1 0x00 000001cd: DUP2 000001ce: DUP2 000001cf: MSTORE 000001d0: PUSH1 0x03 000001d2: PUSH1 0x20 000001d4: MSTORE 000001d5: PUSH1 0x40 000001d7: SWAP1 000001d8: KECCAK256 000001d9: SLOAD 000001da: PUSH2 0x00ef 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: DUP1 000001e2: MLOAD 000001e3: PUSH1 0x04 000001e5: DUP1 000001e6: CALLDATALOAD 000001e7: DUP1 000001e8: DUP3 000001e9: ADD 000001ea: CALLDATALOAD 000001eb: PUSH1 0x20 000001ed: DUP2 000001ee: DUP2 000001ef: MUL 000001f0: DUP6 000001f1: DUP2 000001f2: ADD 000001f3: DUP3 000001f4: ADD 000001f5: SWAP1 000001f6: SWAP7 000001f7: MSTORE 000001f8: DUP2 000001f9: DUP6 000001fa: MSTORE 000001fb: PUSH2 0x0082 000001fe: SWAP6 000001ff: SWAP4 00000200: SWAP5 00000201: PUSH1 0x24 00000203: SWAP5 00000204: SWAP1 00000205: SWAP4 00000206: DUP6 00000207: ADD 00000208: SWAP3 00000209: SWAP2 0000020a: DUP3 0000020b: SWAP2 0000020c: SWAP1 0000020d: DUP6 0000020e: ADD 0000020f: SWAP1 00000210: DUP5 00000211: SWAP1 00000212: DUP1 00000213: DUP3 00000214: DUP5 00000215: CALLDATACOPY 00000216: POP 00000217: POP 00000218: PUSH1 0x40 0000021a: DUP1 0000021b: MLOAD 0000021c: DUP8 0000021d: CALLDATALOAD 0000021e: DUP1 0000021f: DUP11 00000220: ADD 00000221: CALLDATALOAD 00000222: PUSH1 0x20 00000224: DUP2 00000225: DUP2 00000226: MUL 00000227: DUP5 00000228: DUP2 00000229: ADD 0000022a: DUP3 0000022b: ADD 0000022c: SWAP1 0000022d: SWAP6 0000022e: MSTORE 0000022f: DUP2 00000230: DUP5 00000231: MSTORE 00000232: SWAP9 00000233: SWAP11 00000234: SWAP10 00000235: PUSH1 0x44 00000237: SWAP10 00000238: SWAP4 00000239: SWAP9 0000023a: POP 0000023b: SWAP2 0000023c: SWAP1 0000023d: SWAP2 0000023e: ADD 0000023f: SWAP6 00000240: POP 00000241: SWAP4 00000242: POP 00000243: DUP4 00000244: SWAP3 00000245: POP 00000246: DUP6 00000247: ADD 00000248: SWAP1 00000249: DUP5 0000024a: SWAP1 0000024b: DUP1 0000024c: DUP3 0000024d: DUP5 0000024e: CALLDATACOPY 0000024f: POP 00000250: POP 00000251: PUSH1 0x40 00000253: DUP1 00000254: MLOAD 00000255: SWAP7 00000256: CALLDATALOAD 00000257: DUP1 00000258: DUP10 00000259: ADD 0000025a: CALLDATALOAD 0000025b: PUSH1 0x20 0000025d: DUP2 0000025e: DUP2 0000025f: MUL 00000260: DUP11 00000261: DUP2 00000262: ADD 00000263: DUP3 00000264: ADD 00000265: SWAP1 00000266: SWAP5 00000267: MSTORE 00000268: DUP2 00000269: DUP11 0000026a: MSTORE 0000026b: SWAP8 0000026c: SWAP10 0000026d: SWAP9 0000026e: PUSH1 0x64 00000270: SWAP9 00000271: SWAP1 00000272: SWAP8 00000273: POP 00000274: PUSH1 0x24 00000276: SWAP3 00000277: SWAP1 00000278: SWAP3 00000279: ADD 0000027a: SWAP6 0000027b: POP 0000027c: SWAP4 0000027d: POP 0000027e: DUP4 0000027f: SWAP3 00000280: POP 00000281: DUP6 00000282: ADD 00000283: SWAP1 00000284: DUP5 00000285: SWAP1 00000286: DUP1 00000287: DUP3 00000288: DUP5 00000289: CALLDATACOPY 0000028a: POP 0000028b: SWAP5 0000028c: SWAP7 0000028d: POP 0000028e: POP 0000028f: POP 00000290: POP 00000291: POP 00000292: POP 00000293: POP 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: PUSH1 0x02 0000029a: EXP 0000029b: SUB 0000029c: CALLER 0000029d: AND 0000029e: PUSH1 0x00 000002a0: SWAP1 000002a1: DUP2 000002a2: MSTORE 000002a3: PUSH1 0x04 000002a5: PUSH1 0x20 000002a7: MSTORE 000002a8: PUSH1 0x40 000002aa: DUP2 000002ab: KECCAK256 000002ac: SLOAD 000002ad: PUSH1 0x01 000002af: EQ 000002b0: ISZERO 000002b1: PUSH2 0x03cd 000002b4: JUMPI 000002b5: TIMESTAMP 000002b6: DUP2 000002b7: SSTORE 000002b8: JUMPDEST 000002b9: DUP4 000002ba: MLOAD 000002bb: DUP2 000002bc: LT 000002bd: ISZERO 000002be: PUSH2 0x03cd 000002c1: JUMPI 000002c2: DUP3 000002c3: DUP2 000002c4: DUP2 000002c5: MLOAD 000002c6: DUP2 000002c7: LT 000002c8: ISZERO 000002c9: PUSH2 0x0002 000002cc: JUMPI 000002cd: SWAP1 000002ce: PUSH1 0x20 000002d0: ADD 000002d1: SWAP1 000002d2: PUSH1 0x20 000002d4: MUL 000002d5: ADD 000002d6: MLOAD 000002d7: PUSH1 0x02 000002d9: PUSH1 0x00 000002db: POP 000002dc: PUSH1 0x00 000002de: DUP7 000002df: DUP5 000002e0: DUP2 000002e1: MLOAD 000002e2: DUP2 000002e3: LT 000002e4: ISZERO 000002e5: PUSH2 0x0002 000002e8: JUMPI 000002e9: PUSH1 0x20 000002eb: SWAP1 000002ec: DUP2 000002ed: MUL 000002ee: SWAP1 000002ef: SWAP2 000002f0: ADD 000002f1: DUP2 000002f2: ADD 000002f3: MLOAD 000002f4: DUP3 000002f5: MSTORE 000002f6: SWAP2 000002f7: SWAP1 000002f8: SWAP2 000002f9: MSTORE 000002fa: PUSH1 0x40 000002fc: SWAP1 000002fd: KECCAK256 000002fe: SSTORE 000002ff: DUP2 00000300: MLOAD 00000301: DUP3 00000302: SWAP1 00000303: DUP3 00000304: SWAP1 00000305: DUP2 00000306: LT 00000307: ISZERO 00000308: PUSH2 0x0002 0000030b: JUMPI 0000030c: SWAP1 0000030d: PUSH1 0x20 0000030f: ADD 00000310: SWAP1 00000311: PUSH1 0x20 00000313: MUL 00000314: ADD 00000315: MLOAD 00000316: PUSH1 0x03 00000318: PUSH1 0x00 0000031a: POP 0000031b: PUSH1 0x00 0000031d: DUP7 0000031e: DUP5 0000031f: DUP2 00000320: MLOAD 00000321: DUP2 00000322: LT 00000323: ISZERO 00000324: PUSH2 0x0002 00000327: JUMPI 00000328: PUSH1 0x20 0000032a: SWAP1 0000032b: DUP2 0000032c: MUL 0000032d: SWAP1 0000032e: SWAP2 0000032f: ADD 00000330: DUP2 00000331: ADD 00000332: MLOAD 00000333: DUP3 00000334: MSTORE 00000335: SWAP2 00000336: SWAP1 00000337: SWAP2 00000338: MSTORE 00000339: PUSH1 0x40 0000033b: SWAP1 0000033c: KECCAK256 0000033d: SSTORE 0000033e: PUSH1 0x01 00000340: ADD 00000341: PUSH2 0x02b8 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x036b 00000349: PUSH1 0x00 0000034b: SLOAD 0000034c: DUP2 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH1 0x40 00000351: DUP1 00000352: MLOAD 00000353: PUSH1 0x01 00000355: PUSH1 0xa0 00000357: PUSH1 0x02 00000359: EXP 0000035a: SUB 0000035b: SWAP3 0000035c: SWAP1 0000035d: SWAP3 0000035e: AND 0000035f: DUP3 00000360: MSTORE 00000361: MLOAD 00000362: SWAP1 00000363: DUP2 00000364: SWAP1 00000365: SUB 00000366: PUSH1 0x20 00000368: ADD 00000369: SWAP1 0000036a: RETURN 0000036b: JUMPDEST 0000036c: PUSH1 0x40 0000036e: DUP1 0000036f: MLOAD 00000370: SWAP2 00000371: DUP3 00000372: MSTORE 00000373: MLOAD 00000374: SWAP1 00000375: DUP2 00000376: SWAP1 00000377: SUB 00000378: PUSH1 0x20 0000037a: ADD 0000037b: SWAP1 0000037c: RETURN 0000037d: JUMPDEST 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: PUSH1 0x02 00000386: EXP 00000387: SUB 00000388: AND 00000389: PUSH4 0xbb34534c 0000038e: DUP4 0000038f: PUSH1 0x40 00000391: MLOAD 00000392: DUP3 00000393: PUSH1 0xe0 00000395: PUSH1 0x02 00000397: EXP 00000398: MUL 00000399: DUP2 0000039a: MSTORE 0000039b: PUSH1 0x04 0000039d: ADD 0000039e: DUP1 0000039f: DUP3 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x20 000003a4: ADD 000003a5: SWAP2 000003a6: POP 000003a7: POP 000003a8: PUSH1 0x20 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: DUP1 000003ae: DUP4 000003af: SUB 000003b0: DUP2 000003b1: PUSH1 0x00 000003b3: DUP8 000003b4: PUSH2 0x61da 000003b7: GAS 000003b8: SUB 000003b9: CALL 000003ba: ISZERO 000003bb: PUSH2 0x0002 000003be: JUMPI 000003bf: POP 000003c0: POP 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: MLOAD 000003c5: SWAP2 000003c6: POP 000003c7: PUSH2 0x00ef 000003ca: SWAP1 000003cb: POP 000003cc: JUMP 000003cd: JUMPDEST 000003ce: POP 000003cf: POP 000003d0: POP 000003d1: POP 000003d2: 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: 0xf89320ceea4076458585ec0c3d629102a8d94e92c95e200fce494d8f5bf0125a
call_targets:
0x2f3fb98ce74a5391f664b47fe9d183ad7fc538c5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf89320ceea4076458585ec0c3d629102a8d94e92c95e200fce494d8f5bf0125a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2f3fb98ce74a5391f664b47fe9d183ad7fc538c5"
],
"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": "0x04b07a5e",
"selector": "0x04b07a5e",
"calldata_variants": [
"0x04b07a5e",
"0x04b07a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06005754",
"selector": "0x06005754",
"calldata_variants": [
"0x06005754",
"0x060057540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31d98b3f",
"selector": "0x31d98b3f",
"calldata_variants": [
"0x31d98b3f",
"0x31d98b3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d24a5e",
"selector": "0x43d24a5e",
"calldata_variants": [
"0x43d24a5e",
"0x43d24a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa550f86d",
"selector": "0xa550f86d",
"calldata_variants": [
"0xa550f86d",
"0xa550f86d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd45c4435",
"selector": "0xd45c4435",
"calldata_variants": [
"0xd45c4435",
"0xd45c44350000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf89320ceea4076458585ec0c3d629102a8d94e92c95e200fce494d8f5bf0125a
call_targets:
0x2f3fb98ce74a5391f664b47fe9d183ad7fc538c5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf89320ceea4076458585ec0c3d629102a8d94e92c95e200fce494d8f5bf0125a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2f3fb98ce74a5391f664b47fe9d183ad7fc538c5"
],
"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": "0x04b07a5e",
"selector": "0x04b07a5e",
"calldata_variants": [
"0x04b07a5e",
"0x04b07a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06005754",
"selector": "0x06005754",
"calldata_variants": [
"0x06005754",
"0x060057540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31d98b3f",
"selector": "0x31d98b3f",
"calldata_variants": [
"0x31d98b3f",
"0x31d98b3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d24a5e",
"selector": "0x43d24a5e",
"calldata_variants": [
"0x43d24a5e",
"0x43d24a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa550f86d",
"selector": "0xa550f86d",
"calldata_variants": [
"0xa550f86d",
"0xa550f86d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd45c4435",
"selector": "0xd45c4435",
"calldata_variants": [
"0xd45c4435",
"0xd45c44350000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x62888deb9f8a9706abdb6379f46c3fcb91c8f42c7e7e7ccda8df67f3d1e2fce7
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 20,
"trace_id": "0x62888deb9f8a9706abdb6379f46c3fcb91c8f42c7e7e7ccda8df67f3d1e2fce7",
"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": "0x04b07a5e",
"selector": "0x04b07a5e",
"calldata_variants": [
"0x04b07a5e",
"0x04b07a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06005754",
"selector": "0x06005754",
"calldata_variants": [
"0x06005754",
"0x060057540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31d98b3f",
"selector": "0x31d98b3f",
"calldata_variants": [
"0x31d98b3f",
"0x31d98b3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d24a5e",
"selector": "0x43d24a5e",
"calldata_variants": [
"0x43d24a5e",
"0x43d24a5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa550f86d",
"selector": "0xa550f86d",
"calldata_variants": [
"0xa550f86d",
"0xa550f86d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd45c4435",
"selector": "0xd45c4435",
"calldata_variants": [
"0xd45c4435",
"0xd45c44350000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|