019b477e-ac4a-72a6-8ce4-fb58b42019a9
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 |
|---|---|---|---|---|
| 21185 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21186 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101699 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101700 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101701 | detector.run | complete | 1 / 3 | 1 week ago |
| 101702 | 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 0x0046 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x395ede4d 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x004a 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x83197ef0 0000002b: EQ 0000002c: PUSH2 0x006b 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x8da5cb5b 00000036: EQ 00000037: PUSH2 0x0080 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0xe5225381 00000041: EQ 00000042: PUSH2 0x00af 00000045: JUMPI 00000046: JUMPDEST 00000047: JUMPDEST 00000048: JUMPDEST 00000049: STOP 0000004a: JUMPDEST 0000004b: CALLVALUE 0000004c: ISZERO 0000004d: PUSH2 0x0055 00000050: JUMPI 00000051: PUSH1 0x00 00000053: DUP1 00000054: REVERT 00000055: JUMPDEST 00000056: PUSH2 0x0046 00000059: PUSH1 0x01 0000005b: PUSH1 0xa0 0000005d: PUSH1 0x02 0000005f: EXP 00000060: SUB 00000061: PUSH1 0x04 00000063: CALLDATALOAD 00000064: AND 00000065: PUSH2 0x00c4 00000068: JUMP 00000069: JUMPDEST 0000006a: STOP 0000006b: JUMPDEST 0000006c: CALLVALUE 0000006d: ISZERO 0000006e: PUSH2 0x0076 00000071: JUMPI 00000072: PUSH1 0x00 00000074: DUP1 00000075: REVERT 00000076: JUMPDEST 00000077: PUSH2 0x0046 0000007a: PUSH2 0x01df 0000007d: JUMP 0000007e: JUMPDEST 0000007f: STOP 00000080: JUMPDEST 00000081: CALLVALUE 00000082: ISZERO 00000083: PUSH2 0x008b 00000086: JUMPI 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: PUSH2 0x0093 0000008f: PUSH2 0x020b 00000092: JUMP 00000093: JUMPDEST 00000094: PUSH1 0x40 00000096: MLOAD 00000097: PUSH1 0x01 00000099: PUSH1 0xa0 0000009b: PUSH1 0x02 0000009d: EXP 0000009e: SUB 0000009f: SWAP1 000000a0: SWAP2 000000a1: AND 000000a2: DUP2 000000a3: MSTORE 000000a4: PUSH1 0x20 000000a6: ADD 000000a7: PUSH1 0x40 000000a9: MLOAD 000000aa: DUP1 000000ab: SWAP2 000000ac: SUB 000000ad: SWAP1 000000ae: RETURN 000000af: JUMPDEST 000000b0: CALLVALUE 000000b1: ISZERO 000000b2: PUSH2 0x00ba 000000b5: JUMPI 000000b6: PUSH1 0x00 000000b8: DUP1 000000b9: REVERT 000000ba: JUMPDEST 000000bb: PUSH2 0x0046 000000be: PUSH2 0x021a 000000c1: JUMP 000000c2: JUMPDEST 000000c3: STOP 000000c4: JUMPDEST 000000c5: PUSH1 0x00 000000c7: DUP1 000000c8: SLOAD 000000c9: DUP2 000000ca: SWAP1 000000cb: CALLER 000000cc: PUSH1 0x01 000000ce: PUSH1 0xa0 000000d0: PUSH1 0x02 000000d2: EXP 000000d3: SUB 000000d4: SWAP1 000000d5: DUP2 000000d6: AND 000000d7: SWAP2 000000d8: AND 000000d9: EQ 000000da: PUSH2 0x00e2 000000dd: JUMPI 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: DUP3 000000e4: SWAP2 000000e5: POP 000000e6: DUP2 000000e7: PUSH1 0x01 000000e9: PUSH1 0xa0 000000eb: PUSH1 0x02 000000ed: EXP 000000ee: SUB 000000ef: AND 000000f0: PUSH4 0x70a08231 000000f5: ADDRESS 000000f6: PUSH1 0x00 000000f8: PUSH1 0x40 000000fa: MLOAD 000000fb: PUSH1 0x20 000000fd: ADD 000000fe: MSTORE 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: PUSH1 0xe0 00000104: PUSH1 0x02 00000106: EXP 00000107: PUSH4 0xffffffff 0000010c: DUP5 0000010d: AND 0000010e: MUL 0000010f: DUP2 00000110: MSTORE 00000111: PUSH1 0x01 00000113: PUSH1 0xa0 00000115: PUSH1 0x02 00000117: EXP 00000118: SUB 00000119: SWAP1 0000011a: SWAP2 0000011b: AND 0000011c: PUSH1 0x04 0000011e: DUP3 0000011f: ADD 00000120: MSTORE 00000121: PUSH1 0x24 00000123: ADD 00000124: PUSH1 0x20 00000126: PUSH1 0x40 00000128: MLOAD 00000129: DUP1 0000012a: DUP4 0000012b: SUB 0000012c: DUP2 0000012d: PUSH1 0x00 0000012f: DUP8 00000130: DUP1 00000131: EXTCODESIZE 00000132: ISZERO 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: PUSH1 0x00 0000013a: DUP1 0000013b: REVERT 0000013c: JUMPDEST 0000013d: PUSH2 0x02c6 00000140: GAS 00000141: SUB 00000142: CALL 00000143: ISZERO 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: POP 0000014f: POP 00000150: POP 00000151: PUSH1 0x40 00000153: MLOAD 00000154: DUP1 00000155: MLOAD 00000156: PUSH1 0x00 00000158: DUP1 00000159: SLOAD 0000015a: SWAP2 0000015b: SWAP4 0000015c: POP 0000015d: PUSH1 0x01 0000015f: PUSH1 0xa0 00000161: PUSH1 0x02 00000163: EXP 00000164: SUB 00000165: DUP1 00000166: DUP7 00000167: AND 00000168: SWAP4 00000169: POP 0000016a: PUSH4 0xa9059cbb 0000016f: SWAP3 00000170: AND 00000171: SWAP1 00000172: DUP5 00000173: SWAP1 00000174: PUSH1 0x40 00000176: MLOAD 00000177: PUSH1 0x20 00000179: ADD 0000017a: MSTORE 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: PUSH1 0xe0 00000180: PUSH1 0x02 00000182: EXP 00000183: PUSH4 0xffffffff 00000188: DUP6 00000189: AND 0000018a: MUL 0000018b: DUP2 0000018c: MSTORE 0000018d: PUSH1 0x01 0000018f: PUSH1 0xa0 00000191: PUSH1 0x02 00000193: EXP 00000194: SUB 00000195: SWAP1 00000196: SWAP3 00000197: AND 00000198: PUSH1 0x04 0000019a: DUP4 0000019b: ADD 0000019c: MSTORE 0000019d: PUSH1 0x24 0000019f: DUP3 000001a0: ADD 000001a1: MSTORE 000001a2: PUSH1 0x44 000001a4: ADD 000001a5: PUSH1 0x20 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: DUP1 000001ab: DUP4 000001ac: SUB 000001ad: DUP2 000001ae: PUSH1 0x00 000001b0: DUP8 000001b1: DUP1 000001b2: EXTCODESIZE 000001b3: ISZERO 000001b4: ISZERO 000001b5: PUSH2 0x01bd 000001b8: JUMPI 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: REVERT 000001bd: JUMPDEST 000001be: PUSH2 0x02c6 000001c1: GAS 000001c2: SUB 000001c3: CALL 000001c4: ISZERO 000001c5: ISZERO 000001c6: PUSH2 0x01ce 000001c9: JUMPI 000001ca: PUSH1 0x00 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: POP 000001d0: POP 000001d1: POP 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: MLOAD 000001d7: POP 000001d8: POP 000001d9: JUMPDEST 000001da: JUMPDEST 000001db: POP 000001dc: POP 000001dd: POP 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x00 000001e2: SLOAD 000001e3: CALLER 000001e4: PUSH1 0x01 000001e6: PUSH1 0xa0 000001e8: PUSH1 0x02 000001ea: EXP 000001eb: SUB 000001ec: SWAP1 000001ed: DUP2 000001ee: AND 000001ef: SWAP2 000001f0: AND 000001f1: EQ 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: PUSH1 0x00 000001fd: SLOAD 000001fe: PUSH1 0x01 00000200: PUSH1 0xa0 00000202: PUSH1 0x02 00000204: EXP 00000205: SUB 00000206: AND 00000207: SELFDESTRUCT 00000208: JUMPDEST 00000209: JUMPDEST 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x00 0000020e: SLOAD 0000020f: PUSH1 0x01 00000211: PUSH1 0xa0 00000213: PUSH1 0x02 00000215: EXP 00000216: SUB 00000217: AND 00000218: DUP2 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x00 0000021d: SLOAD 0000021e: CALLER 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: SWAP1 00000228: DUP2 00000229: AND 0000022a: SWAP2 0000022b: AND 0000022c: EQ 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: PUSH1 0x00 00000238: SLOAD 00000239: PUSH1 0x01 0000023b: PUSH1 0xa0 0000023d: PUSH1 0x02 0000023f: EXP 00000240: SUB 00000241: SWAP1 00000242: DUP2 00000243: AND 00000244: SWAP1 00000245: ADDRESS 00000246: AND 00000247: BALANCE 00000248: DUP1 00000249: ISZERO 0000024a: PUSH2 0x08fc 0000024d: MUL 0000024e: SWAP1 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: PUSH1 0x00 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: DUP4 00000259: SUB 0000025a: DUP2 0000025b: DUP6 0000025c: DUP9 0000025d: DUP9 0000025e: CALL 0000025f: SWAP4 00000260: POP 00000261: POP 00000262: POP 00000263: POP 00000264: ISZERO 00000265: ISZERO 00000266: PUSH2 0x0208 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: JUMPDEST 00000270: JUMPDEST 00000271: JUMP 00000272: STOP 00000273: LOG1 00000274: PUSH6 0x627a7a723058 0000027b: KECCAK256 0000027c: CHAINID 0000027d: CALLDATACOPY 0000027e: DUP15 0000027f: UNKNOWN(0xE8) 00000280: EXP 00000281: UNKNOWN(0xAB) 00000282: UNKNOWN(0xD2) 00000283: BALANCE 00000284: UNKNOWN(0x21) 00000285: MCOPY 00000286: AND 00000287: CALLDATASIZE 00000288: CALLDATACOPY 00000289: GASPRICE 0000028a: UNKNOWN(0xC5) 0000028b: UNKNOWN(0xEC) 0000028c: UNKNOWN(0xCD) 0000028d: UNKNOWN(0x4F) 0000028e: GASLIMIT 0000028f: UNKNOWN(0xB8) 00000290: DUP12 00000291: UNKNOWN(0x2A) 00000292: SUB 00000293: UNKNOWN(0xD6) 00000294: UNKNOWN(0xFC) 00000295: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x4a01026b5ad5ca3bd662996e064665c30627123533613a6fa07317b24e55369a
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 8,
"trace_id": "0x4a01026b5ad5ca3bd662996e064665c30627123533613a6fa07317b24e55369a",
"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": "0x395ede4d",
"selector": "0x395ede4d",
"calldata_variants": [
"0x395ede4d",
"0x395ede4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1160830e74f909db144cfe4719cd8de3d031d6131bec62d6f183e57d3e5af1cf
call_targets:
0x8ec5cf7cacbb41707f2135ea60e32391646b2df4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1160830e74f909db144cfe4719cd8de3d031d6131bec62d6f183e57d3e5af1cf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ec5cf7cacbb41707f2135ea60e32391646b2df4"
],
"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": "0x395ede4d",
"selector": "0x395ede4d",
"calldata_variants": [
"0x395ede4d",
"0x395ede4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 451,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 606,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1160830e74f909db144cfe4719cd8de3d031d6131bec62d6f183e57d3e5af1cf
call_targets:
0x8ec5cf7cacbb41707f2135ea60e32391646b2df4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1160830e74f909db144cfe4719cd8de3d031d6131bec62d6f183e57d3e5af1cf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ec5cf7cacbb41707f2135ea60e32391646b2df4"
],
"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": "0x395ede4d",
"selector": "0x395ede4d",
"calldata_variants": [
"0x395ede4d",
"0x395ede4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 451,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 606,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|