019b3836-2d15-717a-a064-cb56e0637295
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 |
|---|---|---|---|---|
| 2035 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 2036 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 96518 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 96519 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 96520 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 96521 | 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: PUSH1 0x00 00000007: CALLDATALOAD 00000008: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000026: SWAP1 00000027: DIV 00000028: DUP1 00000029: PUSH4 0x3c6c2914 0000002e: EQ 0000002f: PUSH2 0x0065 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x41c0e1b5 00000039: EQ 0000003a: PUSH2 0x007d 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x8da5cb5b 00000044: EQ 00000045: PUSH2 0x008c 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xd30c60f4 0000004f: EQ 00000050: PUSH2 0x00c5 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdc0d3dff 0000005a: EQ 0000005b: PUSH2 0x00e8 0000005e: JUMPI 0000005f: PUSH2 0x0063 00000062: JUMP 00000063: JUMPDEST 00000064: STOP 00000065: JUMPDEST 00000066: PUSH2 0x007b 00000069: PUSH1 0x04 0000006b: DUP1 0000006c: DUP1 0000006d: CALLDATALOAD 0000006e: SWAP1 0000006f: PUSH1 0x20 00000071: ADD 00000072: SWAP1 00000073: SWAP2 00000074: SWAP1 00000075: POP 00000076: POP 00000077: PUSH2 0x01be 0000007a: JUMP 0000007b: JUMPDEST 0000007c: STOP 0000007d: JUMPDEST 0000007e: PUSH2 0x008a 00000081: PUSH1 0x04 00000083: DUP1 00000084: POP 00000085: POP 00000086: PUSH2 0x02f9 00000089: JUMP 0000008a: JUMPDEST 0000008b: STOP 0000008c: JUMPDEST 0000008d: PUSH2 0x0099 00000090: PUSH1 0x04 00000092: DUP1 00000093: POP 00000094: POP 00000095: PUSH2 0x0138 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH1 0x40 0000009c: MLOAD 0000009d: DUP1 0000009e: DUP3 0000009f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000b4: AND 000000b5: DUP2 000000b6: MSTORE 000000b7: PUSH1 0x20 000000b9: ADD 000000ba: SWAP2 000000bb: POP 000000bc: POP 000000bd: PUSH1 0x40 000000bf: MLOAD 000000c0: DUP1 000000c1: SWAP2 000000c2: SUB 000000c3: SWAP1 000000c4: RETURN 000000c5: JUMPDEST 000000c6: PUSH2 0x00d2 000000c9: PUSH1 0x04 000000cb: DUP1 000000cc: POP 000000cd: POP 000000ce: PUSH2 0x02e4 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH1 0x40 000000d5: MLOAD 000000d6: DUP1 000000d7: DUP3 000000d8: DUP2 000000d9: MSTORE 000000da: PUSH1 0x20 000000dc: ADD 000000dd: SWAP2 000000de: POP 000000df: POP 000000e0: PUSH1 0x40 000000e2: MLOAD 000000e3: DUP1 000000e4: SWAP2 000000e5: SUB 000000e6: SWAP1 000000e7: RETURN 000000e8: JUMPDEST 000000e9: PUSH2 0x00fe 000000ec: PUSH1 0x04 000000ee: DUP1 000000ef: DUP1 000000f0: CALLDATALOAD 000000f1: SWAP1 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: SWAP1 000000f6: SWAP2 000000f7: SWAP1 000000f8: POP 000000f9: POP 000000fa: PUSH2 0x015e 000000fd: JUMP 000000fe: JUMPDEST 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: DUP1 00000103: DUP5 00000104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000119: AND 0000011a: DUP2 0000011b: MSTORE 0000011c: PUSH1 0x20 0000011e: ADD 0000011f: DUP4 00000120: DUP2 00000121: MSTORE 00000122: PUSH1 0x20 00000124: ADD 00000125: DUP3 00000126: DUP2 00000127: MSTORE 00000128: PUSH1 0x20 0000012a: ADD 0000012b: SWAP4 0000012c: POP 0000012d: POP 0000012e: POP 0000012f: POP 00000130: PUSH1 0x40 00000132: MLOAD 00000133: DUP1 00000134: SWAP2 00000135: SUB 00000136: SWAP1 00000137: RETURN 00000138: JUMPDEST 00000139: PUSH1 0x00 0000013b: PUSH1 0x00 0000013d: SWAP1 0000013e: SLOAD 0000013f: SWAP1 00000140: PUSH2 0x0100 00000143: EXP 00000144: SWAP1 00000145: DIV 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: DUP2 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x01 00000161: PUSH1 0x00 00000163: POP 00000164: DUP2 00000165: DUP2 00000166: SLOAD 00000167: DUP2 00000168: LT 00000169: ISZERO 0000016a: PUSH2 0x0002 0000016d: JUMPI 0000016e: SWAP1 0000016f: PUSH1 0x00 00000171: MSTORE 00000172: PUSH1 0x20 00000174: PUSH1 0x00 00000176: KECCAK256 00000177: SWAP1 00000178: PUSH1 0x03 0000017a: MUL 0000017b: ADD 0000017c: PUSH1 0x00 0000017e: JUMPDEST 0000017f: SWAP2 00000180: POP 00000181: SWAP1 00000182: POP 00000183: DUP1 00000184: PUSH1 0x00 00000186: ADD 00000187: PUSH1 0x00 00000189: SWAP1 0000018a: SLOAD 0000018b: SWAP1 0000018c: PUSH2 0x0100 0000018f: EXP 00000190: SWAP1 00000191: DIV 00000192: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a7: AND 000001a8: SWAP1 000001a9: DUP1 000001aa: PUSH1 0x01 000001ac: ADD 000001ad: PUSH1 0x00 000001af: POP 000001b0: SLOAD 000001b1: SWAP1 000001b2: DUP1 000001b3: PUSH1 0x02 000001b5: ADD 000001b6: PUSH1 0x00 000001b8: POP 000001b9: SLOAD 000001ba: SWAP1 000001bb: POP 000001bc: DUP4 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH1 0x00 000001c1: PUSH1 0x00 000001c3: CALLVALUE 000001c4: SWAP2 000001c5: POP 000001c6: DUP3 000001c7: SWAP1 000001c8: POP 000001c9: PUSH1 0x01 000001cb: PUSH1 0x00 000001cd: POP 000001ce: DUP1 000001cf: SLOAD 000001d0: DUP1 000001d1: PUSH1 0x01 000001d3: ADD 000001d4: DUP3 000001d5: DUP2 000001d6: DUP2 000001d7: SLOAD 000001d8: DUP2 000001d9: DUP4 000001da: SSTORE 000001db: DUP2 000001dc: DUP2 000001dd: ISZERO 000001de: GT 000001df: PUSH2 0x0256 000001e2: JUMPI 000001e3: PUSH1 0x03 000001e5: MUL 000001e6: DUP2 000001e7: PUSH1 0x03 000001e9: MUL 000001ea: DUP4 000001eb: PUSH1 0x00 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: PUSH1 0x00 000001f2: KECCAK256 000001f3: SWAP2 000001f4: DUP3 000001f5: ADD 000001f6: SWAP2 000001f7: ADD 000001f8: PUSH2 0x0255 000001fb: SWAP2 000001fc: SWAP1 000001fd: PUSH2 0x0201 00000200: JUMP 00000201: JUMPDEST 00000202: DUP1 00000203: DUP3 00000204: GT 00000205: ISZERO 00000206: PUSH2 0x0251 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: PUSH1 0x00 0000020e: DUP3 0000020f: ADD 00000210: PUSH1 0x00 00000212: PUSH2 0x0100 00000215: EXP 00000216: DUP2 00000217: SLOAD 00000218: SWAP1 00000219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022e: MUL 0000022f: NOT 00000230: AND 00000231: SWAP1 00000232: SSTORE 00000233: PUSH1 0x01 00000235: DUP3 00000236: ADD 00000237: PUSH1 0x00 00000239: POP 0000023a: PUSH1 0x00 0000023c: SWAP1 0000023d: SSTORE 0000023e: PUSH1 0x02 00000240: DUP3 00000241: ADD 00000242: PUSH1 0x00 00000244: POP 00000245: PUSH1 0x00 00000247: SWAP1 00000248: SSTORE 00000249: POP 0000024a: PUSH1 0x01 0000024c: ADD 0000024d: PUSH2 0x0201 00000250: JUMP 00000251: JUMPDEST 00000252: POP 00000253: SWAP1 00000254: JUMP 00000255: JUMPDEST 00000256: JUMPDEST 00000257: POP 00000258: POP 00000259: POP 0000025a: SWAP2 0000025b: SWAP1 0000025c: SWAP1 0000025d: PUSH1 0x00 0000025f: MSTORE 00000260: PUSH1 0x20 00000262: PUSH1 0x00 00000264: KECCAK256 00000265: SWAP1 00000266: PUSH1 0x03 00000268: MUL 00000269: ADD 0000026a: PUSH1 0x00 0000026c: JUMPDEST 0000026d: PUSH1 0x60 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: SWAP1 00000273: DUP2 00000274: ADD 00000275: PUSH1 0x40 00000277: MSTORE 00000278: DUP1 00000279: CALLER 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: DUP7 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x20 00000284: ADD 00000285: DUP6 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: POP 0000028c: SWAP1 0000028d: SWAP2 0000028e: SWAP1 0000028f: SWAP2 00000290: POP 00000291: PUSH1 0x00 00000293: DUP3 00000294: ADD 00000295: MLOAD 00000296: DUP2 00000297: PUSH1 0x00 00000299: ADD 0000029a: PUSH1 0x00 0000029c: PUSH2 0x0100 0000029f: EXP 000002a0: DUP2 000002a1: SLOAD 000002a2: DUP2 000002a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b8: MUL 000002b9: NOT 000002ba: AND 000002bb: SWAP1 000002bc: DUP4 000002bd: MUL 000002be: OR 000002bf: SWAP1 000002c0: SSTORE 000002c1: POP 000002c2: PUSH1 0x20 000002c4: DUP3 000002c5: ADD 000002c6: MLOAD 000002c7: DUP2 000002c8: PUSH1 0x01 000002ca: ADD 000002cb: PUSH1 0x00 000002cd: POP 000002ce: SSTORE 000002cf: PUSH1 0x40 000002d1: DUP3 000002d2: ADD 000002d3: MLOAD 000002d4: DUP2 000002d5: PUSH1 0x02 000002d7: ADD 000002d8: PUSH1 0x00 000002da: POP 000002db: SSTORE 000002dc: POP 000002dd: POP 000002de: POP 000002df: JUMPDEST 000002e0: POP 000002e1: POP 000002e2: POP 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x00 000002e7: PUSH1 0x01 000002e9: PUSH1 0x00 000002eb: POP 000002ec: DUP1 000002ed: SLOAD 000002ee: SWAP1 000002ef: POP 000002f0: SWAP1 000002f1: POP 000002f2: PUSH2 0x02f6 000002f5: JUMP 000002f6: JUMPDEST 000002f7: SWAP1 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH1 0x00 000002fc: PUSH1 0x00 000002fe: SWAP1 000002ff: SLOAD 00000300: SWAP1 00000301: PUSH2 0x0100 00000304: EXP 00000305: SWAP1 00000306: DIV 00000307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031c: AND 0000031d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000332: AND 00000333: CALLER 00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000349: AND 0000034a: EQ 0000034b: ISZERO 0000034c: PUSH2 0x038a 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: PUSH1 0x00 00000354: SWAP1 00000355: SLOAD 00000356: SWAP1 00000357: PUSH2 0x0100 0000035a: EXP 0000035b: SWAP1 0000035c: DIV 0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000372: AND 00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000388: AND 00000389: SELFDESTRUCT 0000038a: JUMPDEST 0000038b: JUMPDEST 0000038c: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x505fbaeb3e9bb0c2ac326beb7fd48e6f96206ec2492e4485685ac2723017409f
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0x505fbaeb3e9bb0c2ac326beb7fd48e6f96206ec2492e4485685ac2723017409f",
"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": "0x3c6c2914",
"selector": "0x3c6c2914",
"calldata_variants": [
"0x3c6c2914",
"0x3c6c29140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd30c60f4",
"selector": "0xd30c60f4",
"calldata_variants": [
"0xd30c60f4",
"0xd30c60f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc0d3dff",
"selector": "0xdc0d3dff",
"calldata_variants": [
"0xdc0d3dff",
"0xdc0d3dff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 819,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|