Analysis Run

019b3836-53eb-714c-9c2a-b177283c9b88

complete

Chain ID

1

Address

0x6e9ccd1496ef424cb1e75eb1422eaac4d0aee851

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
8093	artifact.fetch	complete	1 / 3	3 months ago
8094	tool.cast_disasm	complete	1 / 3	3 months ago
51400	analysis.bundle	complete	1 / 3	1 week ago
51401	capability.graph	complete	1 / 3	1 week ago
51402	detector.run	complete	1 / 3	1 week ago
51403	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)

2

EXT*/BALANCE

3

Total opcodes

68

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x00
00000002: PUSH1 0x9f
00000004: MSTORE8
00000005: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000023: PUSH1 0x00
00000025: CALLDATALOAD
00000026: DIV
00000027: PUSH4 0x0f2c9329
0000002c: DUP2
0000002d: EQ
0000002e: ISZERO
0000002f: PUSH2 0x009c
00000032: JUMPI
00000033: CALLDATASIZE
00000034: MSIZE
00000035: SWAP1
00000036: MSIZE
00000037: ADD
00000038: PUSH1 0x00
0000003a: SWAP1
0000003b: MSTORE
0000003c: CALLDATASIZE
0000003d: PUSH1 0x04
0000003f: DUP3
00000040: CALLDATACOPY
00000041: PUSH1 0x04
00000043: CALLDATALOAD
00000044: PUSH1 0x60
00000046: MSTORE
00000047: PUSH1 0x24
00000049: CALLDATALOAD
0000004a: PUSH1 0x80
0000004c: MSTORE
0000004d: POP
0000004e: PUSH10 0xd3c21bcecceda1000000
00000059: PUSH20 0xbf4ed7b27f1d666546e30d74d50d173d20bca754
0000006e: BALANCE
0000006f: SGT
00000070: ISZERO
00000071: PUSH2 0x0089
00000074: JUMPI
00000075: PUSH1 0x00
00000077: PUSH1 0x00
00000079: PUSH1 0x00
0000007b: PUSH1 0x00
0000007d: PUSH1 0x60
0000007f: MLOAD
00000080: ADDRESS
00000081: BALANCE
00000082: PUSH1 0x00
00000084: CALL
00000085: PUSH2 0x009a
00000088: JUMP
00000089: JUMPDEST
0000008a: PUSH1 0x00
0000008c: PUSH1 0x00
0000008e: PUSH1 0x00
00000090: PUSH1 0x00
00000092: PUSH1 0x80
00000094: MLOAD
00000095: ADDRESS
00000096: BALANCE
00000097: PUSH1 0x00
00000099: CALL
0000009a: JUMPDEST
0000009b: POP
0000009c: JUMPDEST
0000009d: POP

View stderr

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.

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: 0x31b3cfb8a719c6979fec2234c3fa9520c44e14f7d72995e9f535cf0101e38d57 call_targets: 0x00000000000000000000000000038d7ea4c68000, 0x6e9ccd1496ef424cb1e75eb1422eaac4d0aee851 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0x31b3cfb8a719c6979fec2234c3fa9520c44e14f7d72995e9f535cf0101e38d57", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x00000000000000000000000000038d7ea4c68000", "0x6e9ccd1496ef424cb1e75eb1422eaac4d0aee851" ], "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": "0x0f2c9329", "selector": "0x0f2c9329", "calldata_variants": [ "0x0f2c9329", "0x0f2c93290000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "call_count": 2 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

low

other

detector

External CALL present

40

yes

view

trace_id: 0x31b3cfb8a719c6979fec2234c3fa9520c44e14f7d72995e9f535cf0101e38d57

call_targets: 0x00000000000000000000000000038d7ea4c68000, 0x6e9ccd1496ef424cb1e75eb1422eaac4d0aee851

target_varies: yes

classification: target_varies

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x31b3cfb8a719c6979fec2234c3fa9520c44e14f7d72995e9f535cf0101e38d57",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000000000000000000000038d7ea4c68000",
        "0x6e9ccd1496ef424cb1e75eb1422eaac4d0aee851"
    ],
    "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": "0x0f2c9329",
            "selector": "0x0f2c9329",
            "calldata_variants": [
                "0x0f2c9329",
                "0x0f2c93290000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "call_count": 2
}