019b3844-8948-71fa-93bd-937fd1530712
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 |
|---|---|---|---|---|
| 11415 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11416 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 54960 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 54961 | capability.graph | complete | 1 / 3 | 1 week ago |
| 54962 | detector.run | complete | 1 / 3 | 1 week ago |
| 54963 | 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 0x0054 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x29b5b30c 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x00a8 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x41c0e1b5 00000044: EQ 00000045: PUSH2 0x00cf 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe5225381 0000004f: EQ 00000050: PUSH2 0x00e1 00000053: JUMPI 00000054: JUMPDEST 00000055: PUSH2 0x00a6 00000058: JUMPDEST 00000059: PUSH1 0x00 0000005b: CALLVALUE 0000005c: GT 0000005d: ISZERO 0000005e: PUSH2 0x00a3 00000061: JUMPI 00000062: PUSH1 0x40 00000064: DUP1 00000065: MLOAD 00000066: CALLVALUE 00000067: DUP2 00000068: MSTORE 00000069: SWAP1 0000006a: MLOAD 0000006b: PUSH1 0x58 0000006d: SWAP2 0000006e: PUSH1 0x01 00000070: PUSH1 0xa0 00000072: PUSH1 0x02 00000074: EXP 00000075: SUB 00000076: CALLER 00000077: AND 00000078: SWAP2 00000079: PUSH32 0x90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15 0000009a: SWAP2 0000009b: DUP2 0000009c: SWAP1 0000009d: SUB 0000009e: PUSH1 0x20 000000a0: ADD 000000a1: SWAP1 000000a2: LOG3 000000a3: JUMPDEST 000000a4: JUMPDEST 000000a5: JUMP 000000a6: JUMPDEST 000000a7: STOP 000000a8: JUMPDEST 000000a9: CALLVALUE 000000aa: ISZERO 000000ab: PUSH2 0x00b0 000000ae: JUMPI 000000af: INVALID 000000b0: JUMPDEST 000000b1: PUSH2 0x00a6 000000b4: PUSH1 0x01 000000b6: PUSH1 0xa0 000000b8: PUSH1 0x02 000000ba: EXP 000000bb: SUB 000000bc: PUSH1 0x04 000000be: CALLDATALOAD 000000bf: DUP2 000000c0: AND 000000c1: SWAP1 000000c2: PUSH1 0x24 000000c4: CALLDATALOAD 000000c5: AND 000000c6: PUSH1 0x44 000000c8: CALLDATALOAD 000000c9: PUSH2 0x00f3 000000cc: JUMP 000000cd: JUMPDEST 000000ce: STOP 000000cf: JUMPDEST 000000d0: CALLVALUE 000000d1: ISZERO 000000d2: PUSH2 0x00d7 000000d5: JUMPI 000000d6: INVALID 000000d7: JUMPDEST 000000d8: PUSH2 0x00a6 000000db: PUSH2 0x018c 000000de: JUMP 000000df: JUMPDEST 000000e0: STOP 000000e1: JUMPDEST 000000e2: CALLVALUE 000000e3: ISZERO 000000e4: PUSH2 0x00e9 000000e7: JUMPI 000000e8: INVALID 000000e9: JUMPDEST 000000ea: PUSH2 0x00a6 000000ed: PUSH2 0x01b4 000000f0: JUMP 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: SLOAD 000000f8: CALLER 000000f9: PUSH1 0x01 000000fb: PUSH1 0xa0 000000fd: PUSH1 0x02 000000ff: EXP 00000100: SUB 00000101: SWAP1 00000102: DUP2 00000103: AND 00000104: SWAP2 00000105: AND 00000106: EQ 00000107: ISZERO 00000108: PUSH2 0x0185 0000010b: JUMPI 0000010c: POP 0000010d: PUSH1 0x40 0000010f: DUP1 00000110: MLOAD 00000111: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000132: DUP2 00000133: MSTORE 00000134: PUSH1 0x01 00000136: PUSH1 0xa0 00000138: PUSH1 0x02 0000013a: EXP 0000013b: SUB 0000013c: DUP5 0000013d: DUP2 0000013e: AND 0000013f: PUSH1 0x04 00000141: DUP4 00000142: ADD 00000143: MSTORE 00000144: PUSH1 0x24 00000146: DUP3 00000147: ADD 00000148: DUP5 00000149: SWAP1 0000014a: MSTORE 0000014b: SWAP2 0000014c: MLOAD 0000014d: DUP6 0000014e: SWAP3 0000014f: DUP4 00000150: AND 00000151: SWAP2 00000152: PUSH4 0xa9059cbb 00000157: SWAP2 00000158: PUSH1 0x44 0000015a: DUP1 0000015b: DUP4 0000015c: ADD 0000015d: SWAP3 0000015e: PUSH1 0x00 00000160: SWAP3 00000161: SWAP2 00000162: SWAP1 00000163: DUP3 00000164: SWAP1 00000165: SUB 00000166: ADD 00000167: DUP2 00000168: DUP4 00000169: DUP8 0000016a: DUP1 0000016b: EXTCODESIZE 0000016c: ISZERO 0000016d: ISZERO 0000016e: PUSH2 0x0173 00000171: JUMPI 00000172: INVALID 00000173: JUMPDEST 00000174: PUSH2 0x02c6 00000177: GAS 00000178: SUB 00000179: CALL 0000017a: ISZERO 0000017b: ISZERO 0000017c: PUSH2 0x0181 0000017f: JUMPI 00000180: INVALID 00000181: JUMPDEST 00000182: POP 00000183: POP 00000184: POP 00000185: JUMPDEST 00000186: JUMPDEST 00000187: POP 00000188: POP 00000189: POP 0000018a: POP 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH1 0x00 0000018f: SLOAD 00000190: CALLER 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: PUSH1 0x02 00000197: EXP 00000198: SUB 00000199: SWAP1 0000019a: DUP2 0000019b: AND 0000019c: SWAP2 0000019d: AND 0000019e: EQ 0000019f: ISZERO 000001a0: PUSH2 0x00a3 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: SLOAD 000001a7: PUSH1 0x01 000001a9: PUSH1 0xa0 000001ab: PUSH1 0x02 000001ad: EXP 000001ae: SUB 000001af: AND 000001b0: SELFDESTRUCT 000001b1: JUMPDEST 000001b2: JUMPDEST 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH1 0x00 000001b7: SLOAD 000001b8: CALLER 000001b9: PUSH1 0x01 000001bb: PUSH1 0xa0 000001bd: PUSH1 0x02 000001bf: EXP 000001c0: SUB 000001c1: SWAP1 000001c2: DUP2 000001c3: AND 000001c4: SWAP2 000001c5: AND 000001c6: EQ 000001c7: ISZERO 000001c8: PUSH2 0x00a3 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: SLOAD 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: PUSH1 0x01 000001d5: PUSH1 0xa0 000001d7: PUSH1 0x02 000001d9: EXP 000001da: SUB 000001db: SWAP2 000001dc: DUP3 000001dd: AND 000001de: SWAP3 000001df: ADDRESS 000001e0: SWAP1 000001e1: SWAP3 000001e2: AND 000001e3: BALANCE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x08fc 000001e9: MUL 000001ea: SWAP3 000001eb: SWAP1 000001ec: SWAP2 000001ed: SWAP1 000001ee: DUP2 000001ef: DUP2 000001f0: DUP2 000001f1: DUP6 000001f2: DUP9 000001f3: DUP9 000001f4: CALL 000001f5: POP 000001f6: POP 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: JUMPDEST 000001fb: JUMPDEST 000001fc: JUMP 000001fd: STOP 000001fe: LOG1 000001ff: PUSH6 0x627a7a723058 00000206: KECCAK256 00000207: MUL 00000208: UNKNOWN(0x28) 00000209: UNKNOWN(0xC2) 0000020a: EQ 0000020b: SAR 0000020c: SLT 0000020d: SHL 0000020e: UNKNOWN(0xB0) 0000020f: UNKNOWN(0x21) 00000210: UNKNOWN(0xEC) 00000211: UNKNOWN(0xC0) 00000212: UNKNOWN(0xC7) 00000213: CALLDATACOPY 00000214: PUSH20 0x208123a89e93fbbbeb19513315fee23698520029
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: 0x81c83d33ddf7a9df3762951be281cddac6b2f37a36f56adf980e9accd4840e21
call_targets:
0x9c9b0374609925f82c9415c243ea921b4f6880bf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81c83d33ddf7a9df3762951be281cddac6b2f37a36f56adf980e9accd4840e21",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c9b0374609925f82c9415c243ea921b4f6880bf"
],
"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": "0x29b5b30c",
"selector": "0x29b5b30c",
"calldata_variants": [
"0x29b5b30c",
"0x29b5b30c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 377,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x81c83d33ddf7a9df3762951be281cddac6b2f37a36f56adf980e9accd4840e21
call_targets:
0x9c9b0374609925f82c9415c243ea921b4f6880bf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81c83d33ddf7a9df3762951be281cddac6b2f37a36f56adf980e9accd4840e21",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c9b0374609925f82c9415c243ea921b4f6880bf"
],
"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": "0x29b5b30c",
"selector": "0x29b5b30c",
"calldata_variants": [
"0x29b5b30c",
"0x29b5b30c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 377,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x7dfc67a2138ae44a6fc120c77a23093651e74f4e3d22769e8961d91708af2917
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 6,
"trace_id": "0x7dfc67a2138ae44a6fc120c77a23093651e74f4e3d22769e8961d91708af2917",
"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": "0x29b5b30c",
"selector": "0x29b5b30c",
"calldata_variants": [
"0x29b5b30c",
"0x29b5b30c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5225381",
"selector": "0xe5225381",
"calldata_variants": [
"0xe5225381",
"0xe52253810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|