Analysis Run

019b477e-a6a5-700f-811e-57c44e688b83

complete

Chain ID

1

Address

0xedf619865c8303e591ad2c4b373aae82997b337a

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

1

Validated

1

Source

Bytecode only

Review Backing

Not yet

Best current signal

External CALL present

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20129	artifact.fetch	complete	1 / 3	3 months ago
20130	tool.cast_disasm	complete	1 / 3	3 months ago
110414	analysis.bundle	complete	1 / 3	1 week ago
110415	capability.graph	complete	1 / 3	1 week ago
110416	detector.run	complete	1 / 3	1 week ago
110417	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

1

EXT*/BALANCE

0

Total opcodes

17

Flags

No heuristic flags raised.

View cast disassembly output

00000000: CALLDATASIZE
00000001: PUSH1 0x00
00000003: DUP1
00000004: CALLDATACOPY
00000005: PUSH1 0x20
00000007: PUSH1 0x00
00000009: CALLDATASIZE
0000000a: PUSH1 0x00
0000000c: CALLVALUE
0000000d: PUSH20 0xd658a4b8247c14868f3c512fa5cbb6e458e4a989
00000022: PUSH2 0x235a
00000025: GAS
00000026: SUB
00000027: CALLCODE
00000028: PUSH1 0x20
0000002a: PUSH1 0x00
0000002c: RETURN

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
low	other	detector	External CALL present	40	yes	yes	view trace_id: 0xfaea83cd57330227c3cd97672d80914925bdfd7737fddf8fa052e67ac4b71a6f call_targets: 0xd658a4b8247c14868f3c512fa5cbb6e458e4a989, 0xedf619865c8303e591ad2c4b373aae82997b337a target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xfaea83cd57330227c3cd97672d80914925bdfd7737fddf8fa052e67ac4b71a6f", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0xd658a4b8247c14868f3c512fa5cbb6e458e4a989", "0xedf619865c8303e591ad2c4b373aae82997b337a" ], "matched_probe": null, "target_varies": true, "classification": "target_varies" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "call_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

low

other

detector

External CALL present

40

yes

view

trace_id: 0xfaea83cd57330227c3cd97672d80914925bdfd7737fddf8fa052e67ac4b71a6f

call_targets: 0xd658a4b8247c14868f3c512fa5cbb6e458e4a989, 0xedf619865c8303e591ad2c4b373aae82997b337a

target_varies: yes

classification: target_varies

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xfaea83cd57330227c3cd97672d80914925bdfd7737fddf8fa052e67ac4b71a6f",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd658a4b8247c14868f3c512fa5cbb6e458e4a989",
        "0xedf619865c8303e591ad2c4b373aae82997b337a"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}

witness_json

{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x",
            "selector": "fallback",
            "calldata_variants": [
                "0x"
            ]
        }
    ]
}

evidence_json

{
    "call_count": 1
}