TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

779a4bed-ccd8-4751-a6db-8b66d4f47fc6

failed
Chain ID
1
Address
0x0e2b7a397ed34322c48eaea76d34a62fb79ad25f
Block Number
—
Created
Mon, Dec 29, 2025 11:11 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
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
30609 report.consolidate complete 1 / 1 3 months ago
74650 artifact.fetch failed 1 / 3 2 weeks ago
74651 tool.cast_disasm complete 1 / 3 2 weeks ago
74652 analysis.bundle complete 1 / 3 2 weeks ago
74653 capability.graph complete 1 / 3 2 weeks ago
74654 detector.run complete 1 / 3 2 weeks ago
74655 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities identified in first‑party contracts. SuccinctBridge is a simple custodial deposit/withdraw bridge using SafeERC20 with owner‑gated withdrawals and no on‑chain accounting or upgradeability logic.
View stderr 
[codex:1257101] OpenAI Codex v0.77.0 (research preview)
[codex:1257101] --------
[codex:1257101] workdir: /tmp/codex-multi-vtzn9ahb
[codex:1257101] model: gpt-5.2-codex
[codex:1257101] provider: openai
[codex:1257101] approval: never
[codex:1257101] sandbox: read-only
[codex:1257101] reasoning effort: xhigh
[codex:1257101] reasoning summaries: auto
[codex:1257101] session id: 019b6c61-7520-7871-bc0c-60a6f2b7252b
[codex:1257101] --------
[codex:1257101] user
[codex:1257101] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1257101] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1257101] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1257101] 
[codex:1257101] Scope rules:
[codex:1257101] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1257101] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1257101] 
[codex:1257101] Output MUST be valid JSON matching the provided schema.
[codex:1257101] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1257101] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1257101] 
[codex:1257101] Output constraints (IMPORTANT):
[codex:1257101] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1257101] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1257101] mcp startup: no servers
[codex:1257101] 
[codex:1257101] thinking
[codex:1257101] **Reading AUDIT_BUNDLE file**
[codex:1257101] exec
[codex:1257101] /bin/bash -lc ls in /tmp/codex-multi-vtzn9ahb succeeded in 6ms:
[codex:1257101] AUDIT_BUNDLE.txt
[codex:1257101] codex-output-schema.json
[codex:1257101] contracts
[codex:1257101] exec
[codex:1257101] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-vtzn9ahb succeeded in 5ms:
[codex:1257101] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1257101] 
[codex:1257101] ================================================================================
[codex:1257101] FILE: contracts/lib/openzeppelin-contracts/contracts/access/Ownable.sol
[codex:1257101] ================================================================================
[codex:1257101] // SPDX-License-Identifier: MIT
[codex:1257101] // OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)
[codex:1257101] 
[codex:1257101] pragma solidity ^0.8.20;
[codex:1257101] 
[codex:1257101] import {Context} from "../utils/Context.sol";
[codex:1257101] 
[codex:1257101] /**
[codex:1257101]  * @dev Contract module which provides a basic access control mechanism, where
[codex:1257101]  * there is an account (an owner) that can be granted exclusive access to
[codex:1257101]  * specific functions.
[codex:1257101]  *
[codex:1257101]  * The initial owner is set to the address provided by the deployer. This can
[codex:1257101]  * later be changed with {transferOwnership}.
[codex:1257101]  *
[codex:1257101] 
[codex:1257101] thinking
[codex:1257101] **Analyzing security audit findings**
[codex:1257101] 
[codex:1257101] I'm reviewing the SuccinctBridge contract's key security aspects like reentrancy, access control, signature validation, and accounting. It seems there are no exploitable vulnerabilities; the main points are expected custodial behavior, no upgradeability, and some low-severity UX issues like permit front-run causing transaction reverts. I'll prepare a JSON summary stating no findings with supporting explanation.
[codex:1257101] codex
[codex:1257101] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in first‑party contracts. SuccinctBridge is a simple custodial deposit/withdraw bridge using SafeERC20 with owner‑gated withdrawals and no on‑chain accounting or upgradeability logic.","findings":[]}
[codex:1257101] tokens used
[codex:1257101] 13,119
[codex:1257101] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in first‑party contracts. SuccinctBridge is a simple custodial deposit/withdraw bridge using SafeERC20 with owner‑gated withdrawals and no on‑chain accounting or upgradeability logic.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2025-12-29T23:11:55.627916+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in first\u2011party contracts. SuccinctBridge is a simple custodial deposit/withdraw bridge using SafeERC20 with owner\u2011gated withdrawals and no on\u2011chain accounting or upgradeability logic.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in first\u2011party contracts. SuccinctBridge is a simple custodial deposit/withdraw bridge using SafeERC20 with owner\u2011gated withdrawals and no on\u2011chain accounting or upgradeability logic.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
2
Total opcodes
1345
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x000f
0000000b: JUMPI
0000000c: PUSH0
0000000d: DUP1
0000000e: REVERT
0000000f: JUMPDEST
00000010: POP
00000011: PUSH1 0x04
00000013: CALLDATASIZE
00000014: LT
00000015: PUSH2 0x009b
00000018: JUMPI
00000019: PUSH0
0000001a: CALLDATALOAD
0000001b: PUSH1 0xe0
0000001d: SHR
0000001e: DUP1
0000001f: PUSH4 0x8456cb59
00000024: GT
00000025: PUSH2 0x0063
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8456cb59
0000002f: EQ
00000030: PUSH2 0x011f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8da5cb5b
0000003a: EQ
0000003b: PUSH2 0x0127
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb6b55f25
00000045: EQ
00000046: PUSH2 0x0137
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x014a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3fef3a3
0000005b: EQ
0000005c: PUSH2 0x015d
0000005f: JUMPI
00000060: PUSH0
00000061: DUP1
00000062: REVERT
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0x3e413bee
0000006a: EQ
0000006b: PUSH2 0x009f
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x3f4ba83a
00000075: EQ
00000076: PUSH2 0x00de
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x58981c7e
00000080: EQ
00000081: PUSH2 0x00e8
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x5c975abb
0000008b: EQ
0000008c: PUSH2 0x00fb
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x715018a6
00000096: EQ
00000097: PUSH2 0x0117
0000009a: JUMPI
0000009b: JUMPDEST
0000009c: PUSH0
0000009d: DUP1
0000009e: REVERT
0000009f: JUMPDEST
000000a0: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000000c1: JUMPDEST
000000c2: PUSH1 0x40
000000c4: MLOAD
000000c5: PUSH1 0x01
000000c7: PUSH1 0x01
000000c9: PUSH1 0xa0
000000cb: SHL
000000cc: SUB
000000cd: SWAP1
000000ce: SWAP2
000000cf: AND
000000d0: DUP2
000000d1: MSTORE
000000d2: PUSH1 0x20
000000d4: ADD
000000d5: JUMPDEST
000000d6: PUSH1 0x40
000000d8: MLOAD
000000d9: DUP1
000000da: SWAP2
000000db: SUB
000000dc: SWAP1
000000dd: RETURN
000000de: JUMPDEST
000000df: PUSH2 0x00e6
000000e2: PUSH2 0x0170
000000e5: JUMP
000000e6: JUMPDEST
000000e7: STOP
000000e8: JUMPDEST
000000e9: PUSH2 0x00e6
000000ec: PUSH2 0x00f6
000000ef: CALLDATASIZE
000000f0: PUSH1 0x04
000000f2: PUSH2 0x076a
000000f5: JUMP
000000f6: JUMPDEST
000000f7: PUSH2 0x018a
000000fa: JUMP
000000fb: JUMPDEST
000000fc: PUSH0
000000fd: SLOAD
000000fe: PUSH1 0x01
00000100: PUSH1 0xa0
00000102: SHL
00000103: SWAP1
00000104: DIV
00000105: PUSH1 0xff
00000107: AND
00000108: PUSH1 0x40
0000010a: MLOAD
0000010b: SWAP1
0000010c: ISZERO
0000010d: ISZERO
0000010e: DUP2
0000010f: MSTORE
00000110: PUSH1 0x20
00000112: ADD
00000113: PUSH2 0x00d5
00000116: JUMP
00000117: JUMPDEST
00000118: PUSH2 0x00e6
0000011b: PUSH2 0x0245
0000011e: JUMP
0000011f: JUMPDEST
00000120: PUSH2 0x00e6
00000123: PUSH2 0x0256
00000126: JUMP
00000127: JUMPDEST
00000128: PUSH0
00000129: SLOAD
0000012a: PUSH1 0x01
0000012c: PUSH1 0x01
0000012e: PUSH1 0xa0
00000130: SHL
00000131: SUB
00000132: AND
00000133: PUSH2 0x00c1
00000136: JUMP
00000137: JUMPDEST
00000138: PUSH2 0x00e6
0000013b: PUSH2 0x0145
0000013e: CALLDATASIZE
0000013f: PUSH1 0x04
00000141: PUSH2 0x07c5
00000144: JUMP
00000145: JUMPDEST
00000146: PUSH2 0x026e
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH2 0x00e6
0000014e: PUSH2 0x0158
00000151: CALLDATASIZE
00000152: PUSH1 0x04
00000154: PUSH2 0x07dc
00000157: JUMP
00000158: JUMPDEST
00000159: PUSH2 0x0283
0000015c: JUMP
0000015d: JUMPDEST
0000015e: PUSH2 0x00e6
00000161: PUSH2 0x016b
00000164: CALLDATASIZE
00000165: PUSH1 0x04
00000167: PUSH2 0x07f5
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH2 0x02c2
0000016f: JUMP
00000170: JUMPDEST
00000171: PUSH2 0x0178
00000174: PUSH2 0x0345
00000177: JUMP
00000178: JUMPDEST
00000179: PUSH2 0x0180
0000017c: PUSH2 0x0371
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH2 0x0188
00000184: PUSH2 0x039a
00000187: JUMP
00000188: JUMPDEST
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH2 0x0192
0000018e: PUSH2 0x03ee
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x40
00000195: MLOAD
00000196: PUSH4 0xd505accf
0000019b: PUSH1 0xe0
0000019d: SHL
0000019e: DUP2
0000019f: MSTORE
000001a0: PUSH1 0x01
000001a2: PUSH1 0x01
000001a4: PUSH1 0xa0
000001a6: SHL
000001a7: SUB
000001a8: DUP8
000001a9: DUP2
000001aa: AND
000001ab: PUSH1 0x04
000001ad: DUP4
000001ae: ADD
000001af: MSTORE
000001b0: ADDRESS
000001b1: PUSH1 0x24
000001b3: DUP4
000001b4: ADD
000001b5: MSTORE
000001b6: PUSH1 0x44
000001b8: DUP3
000001b9: ADD
000001ba: DUP8
000001bb: SWAP1
000001bc: MSTORE
000001bd: PUSH1 0x64
000001bf: DUP3
000001c0: ADD
000001c1: DUP7
000001c2: SWAP1
000001c3: MSTORE
000001c4: PUSH1 0xff
000001c6: DUP6
000001c7: AND
000001c8: PUSH1 0x84
000001ca: DUP4
000001cb: ADD
000001cc: MSTORE
000001cd: PUSH1 0xa4
000001cf: DUP3
000001d0: ADD
000001d1: DUP5
000001d2: SWAP1
000001d3: MSTORE
000001d4: PUSH1 0xc4
000001d6: DUP3
000001d7: ADD
000001d8: DUP4
000001d9: SWAP1
000001da: MSTORE
000001db: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000001fc: AND
000001fd: SWAP1
000001fe: PUSH4 0xd505accf
00000203: SWAP1
00000204: PUSH1 0xe4
00000206: ADD
00000207: PUSH0
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: DUP4
0000020d: SUB
0000020e: DUP2
0000020f: PUSH0
00000210: DUP8
00000211: DUP1
00000212: EXTCODESIZE
00000213: ISZERO
00000214: DUP1
00000215: ISZERO
00000216: PUSH2 0x021d
00000219: JUMPI
0000021a: PUSH0
0000021b: DUP1
0000021c: REVERT
0000021d: JUMPDEST
0000021e: POP
0000021f: GAS
00000220: CALL
00000221: ISZERO
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022f
00000227: JUMPI
00000228: RETURNDATASIZE
00000229: PUSH0
0000022a: DUP1
0000022b: RETURNDATACOPY
0000022c: RETURNDATASIZE
0000022d: PUSH0
0000022e: REVERT
0000022f: JUMPDEST
00000230: POP
00000231: POP
00000232: POP
00000233: POP
00000234: PUSH2 0x023d
00000237: DUP7
00000238: DUP7
00000239: PUSH2 0x0418
0000023c: JUMP
0000023d: JUMPDEST
0000023e: POP
0000023f: POP
00000240: POP
00000241: POP
00000242: POP
00000243: POP
00000244: JUMP
00000245: JUMPDEST
00000246: PUSH2 0x024d
00000249: PUSH2 0x0345
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH2 0x0188
00000251: PUSH0
00000252: PUSH2 0x0488
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH2 0x025e
0000025a: PUSH2 0x0345
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x0266
00000262: PUSH2 0x03ee
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH2 0x0188
0000026a: PUSH2 0x04d7
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH2 0x0276
00000272: PUSH2 0x03ee
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x0280
0000027a: CALLER
0000027b: DUP3
0000027c: PUSH2 0x0418
0000027f: JUMP
00000280: JUMPDEST
00000281: POP
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x028b
00000287: PUSH2 0x0345
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x01
0000028e: PUSH1 0x01
00000290: PUSH1 0xa0
00000292: SHL
00000293: SUB
00000294: DUP2
00000295: AND
00000296: PUSH2 0x02b9
00000299: JUMPI
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: PUSH4 0x1e4fbdf7
000002a2: PUSH1 0xe0
000002a4: SHL
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH0
000002a8: PUSH1 0x04
000002aa: DUP3
000002ab: ADD
000002ac: MSTORE
000002ad: PUSH1 0x24
000002af: ADD
000002b0: JUMPDEST
000002b1: PUSH1 0x40
000002b3: MLOAD
000002b4: DUP1
000002b5: SWAP2
000002b6: SUB
000002b7: SWAP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: PUSH2 0x0280
000002bd: DUP2
000002be: PUSH2 0x0488
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH2 0x02ca
000002c6: PUSH2 0x0345
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x02fe
000002ce: PUSH1 0x01
000002d0: PUSH1 0x01
000002d2: PUSH1 0xa0
000002d4: SHL
000002d5: SUB
000002d6: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000002f7: AND
000002f8: DUP4
000002f9: DUP4
000002fa: PUSH2 0x0519
000002fd: JUMP
000002fe: JUMPDEST
000002ff: DUP2
00000300: PUSH1 0x01
00000302: PUSH1 0x01
00000304: PUSH1 0xa0
00000306: SHL
00000307: SUB
00000308: AND
00000309: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
0000032a: DUP3
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: PUSH2 0x0339
00000331: SWAP2
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: ADD
00000337: SWAP1
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH1 0x40
0000033c: MLOAD
0000033d: DUP1
0000033e: SWAP2
0000033f: SUB
00000340: SWAP1
00000341: LOG2
00000342: POP
00000343: POP
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH0
00000347: SLOAD
00000348: PUSH1 0x01
0000034a: PUSH1 0x01
0000034c: PUSH1 0xa0
0000034e: SHL
0000034f: SUB
00000350: AND
00000351: CALLER
00000352: EQ
00000353: PUSH2 0x0188
00000356: JUMPI
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: PUSH4 0x118cdaa7
0000035f: PUSH1 0xe0
00000361: SHL
00000362: DUP2
00000363: MSTORE
00000364: CALLER
00000365: PUSH1 0x04
00000367: DUP3
00000368: ADD
00000369: MSTORE
0000036a: PUSH1 0x24
0000036c: ADD
0000036d: PUSH2 0x02b0
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH0
00000373: SLOAD
00000374: PUSH1 0x01
00000376: PUSH1 0xa0
00000378: SHL
00000379: SWAP1
0000037a: DIV
0000037b: PUSH1 0xff
0000037d: AND
0000037e: PUSH2 0x0188
00000381: JUMPI
00000382: PUSH1 0x40
00000384: MLOAD
00000385: PUSH4 0x8dfc202b
0000038a: PUSH1 0xe0
0000038c: SHL
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x04
00000391: ADD
00000392: PUSH1 0x40
00000394: MLOAD
00000395: DUP1
00000396: SWAP2
00000397: SUB
00000398: SWAP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: PUSH2 0x03a2
0000039e: PUSH2 0x0371
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH0
000003a4: DUP1
000003a5: SLOAD
000003a6: PUSH1 0xff
000003a8: PUSH1 0xa0
000003aa: SHL
000003ab: NOT
000003ac: AND
000003ad: SWAP1
000003ae: SSTORE
000003af: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000003d0: CALLER
000003d1: JUMPDEST
000003d2: PUSH1 0x40
000003d4: MLOAD
000003d5: PUSH1 0x01
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: SHL
000003dc: SUB
000003dd: SWAP1
000003de: SWAP2
000003df: AND
000003e0: DUP2
000003e1: MSTORE
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: DUP1
000003e9: SWAP2
000003ea: SUB
000003eb: SWAP1
000003ec: LOG1
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH0
000003f0: SLOAD
000003f1: PUSH1 0x01
000003f3: PUSH1 0xa0
000003f5: SHL
000003f6: SWAP1
000003f7: DIV
000003f8: PUSH1 0xff
000003fa: AND
000003fb: ISZERO
000003fc: PUSH2 0x0188
000003ff: JUMPI
00000400: PUSH1 0x40
00000402: MLOAD
00000403: PUSH4 0xd93c0665
00000408: PUSH1 0xe0
0000040a: SHL
0000040b: DUP2
0000040c: MSTORE
0000040d: PUSH1 0x04
0000040f: ADD
00000410: PUSH1 0x40
00000412: MLOAD
00000413: DUP1
00000414: SWAP2
00000415: SUB
00000416: SWAP1
00000417: REVERT
00000418: JUMPDEST
00000419: PUSH2 0x044d
0000041c: PUSH1 0x01
0000041e: PUSH1 0x01
00000420: PUSH1 0xa0
00000422: SHL
00000423: SUB
00000424: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000445: AND
00000446: DUP4
00000447: ADDRESS
00000448: DUP5
00000449: PUSH2 0x057d
0000044c: JUMP
0000044d: JUMPDEST
0000044e: DUP2
0000044f: PUSH1 0x01
00000451: PUSH1 0x01
00000453: PUSH1 0xa0
00000455: SHL
00000456: SUB
00000457: AND
00000458: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000479: DUP3
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: PUSH2 0x0339
00000480: SWAP2
00000481: DUP2
00000482: MSTORE
00000483: PUSH1 0x20
00000485: ADD
00000486: SWAP1
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH0
0000048a: DUP1
0000048b: SLOAD
0000048c: PUSH1 0x01
0000048e: PUSH1 0x01
00000490: PUSH1 0xa0
00000492: SHL
00000493: SUB
00000494: DUP4
00000495: DUP2
00000496: AND
00000497: PUSH1 0x01
00000499: PUSH1 0x01
0000049b: PUSH1 0xa0
0000049d: SHL
0000049e: SUB
0000049f: NOT
000004a0: DUP4
000004a1: AND
000004a2: DUP2
000004a3: OR
000004a4: DUP5
000004a5: SSTORE
000004a6: PUSH1 0x40
000004a8: MLOAD
000004a9: SWAP2
000004aa: SWAP1
000004ab: SWAP3
000004ac: AND
000004ad: SWAP3
000004ae: DUP4
000004af: SWAP2
000004b0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000004d1: SWAP2
000004d2: SWAP1
000004d3: LOG3
000004d4: POP
000004d5: POP
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x04df
000004db: PUSH2 0x03ee
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH0
000004e1: DUP1
000004e2: SLOAD
000004e3: PUSH1 0xff
000004e5: PUSH1 0xa0
000004e7: SHL
000004e8: NOT
000004e9: AND
000004ea: PUSH1 0x01
000004ec: PUSH1 0xa0
000004ee: SHL
000004ef: OR
000004f0: SWAP1
000004f1: SSTORE
000004f2: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000513: PUSH2 0x03d1
00000516: CALLER
00000517: SWAP1
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: SHL
00000524: SUB
00000525: DUP4
00000526: DUP2
00000527: AND
00000528: PUSH1 0x24
0000052a: DUP4
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH1 0x44
0000052f: DUP3
00000530: ADD
00000531: DUP4
00000532: SWAP1
00000533: MSTORE
00000534: PUSH2 0x0578
00000537: SWAP2
00000538: DUP6
00000539: SWAP2
0000053a: DUP3
0000053b: AND
0000053c: SWAP1
0000053d: PUSH4 0xa9059cbb
00000542: SWAP1
00000543: PUSH1 0x64
00000545: ADD
00000546: JUMPDEST
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: PUSH1 0x20
0000054c: DUP2
0000054d: DUP4
0000054e: SUB
0000054f: SUB
00000550: DUP2
00000551: MSTORE
00000552: SWAP1
00000553: PUSH1 0x40
00000555: MSTORE
00000556: SWAP2
00000557: POP
00000558: PUSH1 0xe0
0000055a: SHL
0000055b: PUSH1 0x20
0000055d: DUP3
0000055e: ADD
0000055f: DUP1
00000560: MLOAD
00000561: PUSH1 0x01
00000563: PUSH1 0x01
00000565: PUSH1 0xe0
00000567: SHL
00000568: SUB
00000569: DUP4
0000056a: DUP2
0000056b: DUP4
0000056c: AND
0000056d: OR
0000056e: DUP4
0000056f: MSTORE
00000570: POP
00000571: POP
00000572: POP
00000573: POP
00000574: PUSH2 0x05bc
00000577: JUMP
00000578: JUMPDEST
00000579: POP
0000057a: POP
0000057b: POP
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH1 0x40
00000580: MLOAD
00000581: PUSH1 0x01
00000583: PUSH1 0x01
00000585: PUSH1 0xa0
00000587: SHL
00000588: SUB
00000589: DUP5
0000058a: DUP2
0000058b: AND
0000058c: PUSH1 0x24
0000058e: DUP4
0000058f: ADD
00000590: MSTORE
00000591: DUP4
00000592: DUP2
00000593: AND
00000594: PUSH1 0x44
00000596: DUP4
00000597: ADD
00000598: MSTORE
00000599: PUSH1 0x64
0000059b: DUP3
0000059c: ADD
0000059d: DUP4
0000059e: SWAP1
0000059f: MSTORE
000005a0: PUSH2 0x05b6
000005a3: SWAP2
000005a4: DUP7
000005a5: SWAP2
000005a6: DUP3
000005a7: AND
000005a8: SWAP1
000005a9: PUSH4 0x23b872dd
000005ae: SWAP1
000005af: PUSH1 0x84
000005b1: ADD
000005b2: PUSH2 0x0546
000005b5: JUMP
000005b6: JUMPDEST
000005b7: POP
000005b8: POP
000005b9: POP
000005ba: POP
000005bb: JUMP
000005bc: JUMPDEST
000005bd: PUSH0
000005be: PUSH2 0x05d0
000005c1: PUSH1 0x01
000005c3: PUSH1 0x01
000005c5: PUSH1 0xa0
000005c7: SHL
000005c8: SUB
000005c9: DUP5
000005ca: AND
000005cb: DUP4
000005cc: PUSH2 0x061d
000005cf: JUMP
000005d0: JUMPDEST
000005d1: SWAP1
000005d2: POP
000005d3: DUP1
000005d4: MLOAD
000005d5: PUSH0
000005d6: EQ
000005d7: ISZERO
000005d8: DUP1
000005d9: ISZERO
000005da: PUSH2 0x05f4
000005dd: JUMPI
000005de: POP
000005df: DUP1
000005e0: DUP1
000005e1: PUSH1 0x20
000005e3: ADD
000005e4: SWAP1
000005e5: MLOAD
000005e6: DUP2
000005e7: ADD
000005e8: SWAP1
000005e9: PUSH2 0x05f2
000005ec: SWAP2
000005ed: SWAP1
000005ee: PUSH2 0x081d
000005f1: JUMP
000005f2: JUMPDEST
000005f3: ISZERO
000005f4: JUMPDEST
000005f5: ISZERO
000005f6: PUSH2 0x0578
000005f9: JUMPI
000005fa: PUSH1 0x40
000005fc: MLOAD
000005fd: PUSH4 0x5274afe7
00000602: PUSH1 0xe0
00000604: SHL
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x01
00000609: PUSH1 0x01
0000060b: PUSH1 0xa0
0000060d: SHL
0000060e: SUB
0000060f: DUP5
00000610: AND
00000611: PUSH1 0x04
00000613: DUP3
00000614: ADD
00000615: MSTORE
00000616: PUSH1 0x24
00000618: ADD
00000619: PUSH2 0x02b0
0000061c: JUMP
0000061d: JUMPDEST
0000061e: PUSH1 0x60
00000620: PUSH2 0x062a
00000623: DUP4
00000624: DUP4
00000625: PUSH0
00000626: PUSH2 0x0631
00000629: JUMP
0000062a: JUMPDEST
0000062b: SWAP4
0000062c: SWAP3
0000062d: POP
0000062e: POP
0000062f: POP
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH1 0x60
00000634: DUP2
00000635: SELFBALANCE
00000636: LT
00000637: ISZERO
00000638: PUSH2 0x0656
0000063b: JUMPI
0000063c: PUSH1 0x40
0000063e: MLOAD
0000063f: PUSH4 0xcd786059
00000644: PUSH1 0xe0
00000646: SHL
00000647: DUP2
00000648: MSTORE
00000649: ADDRESS
0000064a: PUSH1 0x04
0000064c: DUP3
0000064d: ADD
0000064e: MSTORE
0000064f: PUSH1 0x24
00000651: ADD
00000652: PUSH2 0x02b0
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH0
00000658: DUP1
00000659: DUP6
0000065a: PUSH1 0x01
0000065c: PUSH1 0x01
0000065e: PUSH1 0xa0
00000660: SHL
00000661: SUB
00000662: AND
00000663: DUP5
00000664: DUP7
00000665: PUSH1 0x40
00000667: MLOAD
00000668: PUSH2 0x0671
0000066b: SWAP2
0000066c: SWAP1
0000066d: PUSH2 0x083c
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH0
00000673: PUSH1 0x40
00000675: MLOAD
00000676: DUP1
00000677: DUP4
00000678: SUB
00000679: DUP2
0000067a: DUP6
0000067b: DUP8
0000067c: GAS
0000067d: CALL
0000067e: SWAP3
0000067f: POP
00000680: POP
00000681: POP
00000682: RETURNDATASIZE
00000683: DUP1
00000684: PUSH0
00000685: DUP2
00000686: EQ
00000687: PUSH2 0x06ab
0000068a: JUMPI
0000068b: PUSH1 0x40
0000068d: MLOAD
0000068e: SWAP2
0000068f: POP
00000690: PUSH1 0x1f
00000692: NOT
00000693: PUSH1 0x3f
00000695: RETURNDATASIZE
00000696: ADD
00000697: AND
00000698: DUP3
00000699: ADD
0000069a: PUSH1 0x40
0000069c: MSTORE
0000069d: RETURNDATASIZE
0000069e: DUP3
0000069f: MSTORE
000006a0: RETURNDATASIZE
000006a1: PUSH0
000006a2: PUSH1 0x20
000006a4: DUP5
000006a5: ADD
000006a6: RETURNDATACOPY
000006a7: PUSH2 0x06b0
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x60
000006ae: SWAP2
000006af: POP
000006b0: JUMPDEST
000006b1: POP
000006b2: SWAP2
000006b3: POP
000006b4: SWAP2
000006b5: POP
000006b6: PUSH2 0x06c0
000006b9: DUP7
000006ba: DUP4
000006bb: DUP4
000006bc: PUSH2 0x06ca
000006bf: JUMP
000006c0: JUMPDEST
000006c1: SWAP7
000006c2: SWAP6
000006c3: POP
000006c4: POP
000006c5: POP
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH1 0x60
000006cd: DUP3
000006ce: PUSH2 0x06df
000006d1: JUMPI
000006d2: PUSH2 0x06da
000006d5: DUP3
000006d6: PUSH2 0x0726
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x062a
000006de: JUMP
000006df: JUMPDEST
000006e0: DUP2
000006e1: MLOAD
000006e2: ISZERO
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06f6
000006e8: JUMPI
000006e9: POP
000006ea: PUSH1 0x01
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: SHL
000006f1: SUB
000006f2: DUP5
000006f3: AND
000006f4: EXTCODESIZE
000006f5: ISZERO
000006f6: JUMPDEST
000006f7: ISZERO
000006f8: PUSH2 0x071f
000006fb: JUMPI
000006fc: PUSH1 0x40
000006fe: MLOAD
000006ff: PUSH4 0x9996b315
00000704: PUSH1 0xe0
00000706: SHL
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x01
0000070b: PUSH1 0x01
0000070d: PUSH1 0xa0
0000070f: SHL
00000710: SUB
00000711: DUP6
00000712: AND
00000713: PUSH1 0x04
00000715: DUP3
00000716: ADD
00000717: MSTORE
00000718: PUSH1 0x24
0000071a: ADD
0000071b: PUSH2 0x02b0
0000071e: JUMP
0000071f: JUMPDEST
00000720: POP
00000721: DUP1
00000722: PUSH2 0x062a
00000725: JUMP
00000726: JUMPDEST
00000727: DUP1
00000728: MLOAD
00000729: ISZERO
0000072a: PUSH2 0x0736
0000072d: JUMPI
0000072e: DUP1
0000072f: MLOAD
00000730: DUP1
00000731: DUP3
00000732: PUSH1 0x20
00000734: ADD
00000735: REVERT
00000736: JUMPDEST
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: PUSH4 0x0a12f521
0000073f: PUSH1 0xe1
00000741: SHL
00000742: DUP2
00000743: MSTORE
00000744: PUSH1 0x04
00000746: ADD
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: DUP1
0000074b: SWAP2
0000074c: SUB
0000074d: SWAP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: DUP1
00000751: CALLDATALOAD
00000752: PUSH1 0x01
00000754: PUSH1 0x01
00000756: PUSH1 0xa0
00000758: SHL
00000759: SUB
0000075a: DUP2
0000075b: AND
0000075c: DUP2
0000075d: EQ
0000075e: PUSH2 0x0765
00000761: JUMPI
00000762: PUSH0
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: SWAP2
00000767: SWAP1
00000768: POP
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH0
0000076c: DUP1
0000076d: PUSH0
0000076e: DUP1
0000076f: PUSH0
00000770: DUP1
00000771: PUSH1 0xc0
00000773: DUP8
00000774: DUP10
00000775: SUB
00000776: SLT
00000777: ISZERO
00000778: PUSH2 0x077f
0000077b: JUMPI
0000077c: PUSH0
0000077d: DUP1
0000077e: REVERT
0000077f: JUMPDEST
00000780: PUSH2 0x0788
00000783: DUP8
00000784: PUSH2 0x074f
00000787: JUMP
00000788: JUMPDEST
00000789: SWAP6
0000078a: POP
0000078b: PUSH1 0x20
0000078d: DUP8
0000078e: ADD
0000078f: CALLDATALOAD
00000790: SWAP5
00000791: POP
00000792: PUSH1 0x40
00000794: DUP8
00000795: ADD
00000796: CALLDATALOAD
00000797: SWAP4
00000798: POP
00000799: PUSH1 0x60
0000079b: DUP8
0000079c: ADD
0000079d: CALLDATALOAD
0000079e: PUSH1 0xff
000007a0: DUP2
000007a1: AND
000007a2: DUP2
000007a3: EQ
000007a4: PUSH2 0x07ab
000007a7: JUMPI
000007a8: PUSH0
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: SWAP6
000007ad: SWAP9
000007ae: SWAP5
000007af: SWAP8
000007b0: POP
000007b1: SWAP3
000007b2: SWAP6
000007b3: PUSH1 0x80
000007b5: DUP2
000007b6: ADD
000007b7: CALLDATALOAD
000007b8: SWAP5
000007b9: PUSH1 0xa0
000007bb: SWAP1
000007bc: SWAP2
000007bd: ADD
000007be: CALLDATALOAD
000007bf: SWAP4
000007c0: POP
000007c1: SWAP2
000007c2: POP
000007c3: POP
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH0
000007c7: PUSH1 0x20
000007c9: DUP3
000007ca: DUP5
000007cb: SUB
000007cc: SLT
000007cd: ISZERO
000007ce: PUSH2 0x07d5
000007d1: JUMPI
000007d2: PUSH0
000007d3: DUP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: POP
000007d7: CALLDATALOAD
000007d8: SWAP2
000007d9: SWAP1
000007da: POP
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH0
000007de: PUSH1 0x20
000007e0: DUP3
000007e1: DUP5
000007e2: SUB
000007e3: SLT
000007e4: ISZERO
000007e5: PUSH2 0x07ec
000007e8: JUMPI
000007e9: PUSH0
000007ea: DUP1
000007eb: REVERT
000007ec: JUMPDEST
000007ed: PUSH2 0x062a
000007f0: DUP3
000007f1: PUSH2 0x074f
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH0
000007f7: DUP1
000007f8: PUSH1 0x40
000007fa: DUP4
000007fb: DUP6
000007fc: SUB
000007fd: SLT
000007fe: ISZERO
000007ff: PUSH2 0x0806
00000802: JUMPI
00000803: PUSH0
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: PUSH2 0x080f
0000080a: DUP4
0000080b: PUSH2 0x074f
0000080e: JUMP
0000080f: JUMPDEST
00000810: SWAP5
00000811: PUSH1 0x20
00000813: SWAP4
00000814: SWAP1
00000815: SWAP4
00000816: ADD
00000817: CALLDATALOAD
00000818: SWAP4
00000819: POP
0000081a: POP
0000081b: POP
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH0
0000081f: PUSH1 0x20
00000821: DUP3
00000822: DUP5
00000823: SUB
00000824: SLT
00000825: ISZERO
00000826: PUSH2 0x082d
00000829: JUMPI
0000082a: PUSH0
0000082b: DUP1
0000082c: REVERT
0000082d: JUMPDEST
0000082e: DUP2
0000082f: MLOAD
00000830: DUP1
00000831: ISZERO
00000832: ISZERO
00000833: DUP2
00000834: EQ
00000835: PUSH2 0x062a
00000838: JUMPI
00000839: PUSH0
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: PUSH0
0000083e: DUP3
0000083f: MLOAD
00000840: PUSH0
00000841: JUMPDEST
00000842: DUP2
00000843: DUP2
00000844: LT
00000845: ISZERO
00000846: PUSH2 0x085b
00000849: JUMPI
0000084a: PUSH1 0x20
0000084c: DUP2
0000084d: DUP7
0000084e: ADD
0000084f: DUP2
00000850: ADD
00000851: MLOAD
00000852: DUP6
00000853: DUP4
00000854: ADD
00000855: MSTORE
00000856: ADD
00000857: PUSH2 0x0841
0000085a: JUMP
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH0
0000085e: SWAP3
0000085f: ADD
00000860: SWAP2
00000861: DUP3
00000862: MSTORE
00000863: POP
00000864: SWAP2
00000865: SWAP1
00000866: POP
00000867: JUMP
00000868: INVALID
00000869: LOG2
0000086a: PUSH5 0x6970667358
00000870: UNKNOWN(0x22)
00000871: SLT
00000872: KECCAK256
00000873: UNKNOWN(0x2F)
00000874: UNKNOWN(0xEA)
00000875: SWAP14
00000876: SWAP2
00000877: UNKNOWN(0xC1)
00000878: UNKNOWN(0xDF)
00000879: UNKNOWN(0xF7)
0000087a: SWAP13
0000087b: CODECOPY
0000087c: UNKNOWN(0xB0)
0000087d: PUSH25 0x3b8e71b9dd3601983334c7bd7ceb9087f4f73085c864736f6c
00000897: PUSH4 0x43000814
0000089c: STOP
0000089d: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xfb20f3c419dd0bc12451ea1534d32f2d7a5e2e5c526f109929b1efa70e9717ba
call_targets: 0x0e2b7a397ed34322c48eaea76d34a62fb79ad25f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfb20f3c419dd0bc12451ea1534d32f2d7a5e2e5c526f109929b1efa70e9717ba",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e2b7a397ed34322c48eaea76d34a62fb79ad25f"
    ],
    "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": "0x8456cb59",
            "selector": "0x8456cb59",
            "calldata_variants": [
                "0x8456cb59",
                "0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6b55f25",
            "selector": "0xb6b55f25",
            "calldata_variants": [
                "0xb6b55f25",
                "0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e413bee",
            "selector": "0x3e413bee",
            "calldata_variants": [
                "0x3e413bee",
                "0x3e413bee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58981c7e",
            "selector": "0x58981c7e",
            "calldata_variants": [
                "0x58981c7e",
                "0x58981c7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 544,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1661,
            "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
view
trace_id: 0xfb20f3c419dd0bc12451ea1534d32f2d7a5e2e5c526f109929b1efa70e9717ba
call_targets: 0x0e2b7a397ed34322c48eaea76d34a62fb79ad25f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfb20f3c419dd0bc12451ea1534d32f2d7a5e2e5c526f109929b1efa70e9717ba",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e2b7a397ed34322c48eaea76d34a62fb79ad25f"
    ],
    "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": "0x8456cb59",
            "selector": "0x8456cb59",
            "calldata_variants": [
                "0x8456cb59",
                "0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6b55f25",
            "selector": "0xb6b55f25",
            "calldata_variants": [
                "0xb6b55f25",
                "0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e413bee",
            "selector": "0x3e413bee",
            "calldata_variants": [
                "0x3e413bee",
                "0x3e413bee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58981c7e",
            "selector": "0x58981c7e",
            "calldata_variants": [
                "0x58981c7e",
                "0x58981c7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 544,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1661,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}