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

Analysis Run

d7541eaf-c698-400c-aaaf-af5a31ed6162

failed
Chain ID
1
Address
0xe843783144acdf485ff86d726bcb67dd316e0bbe
Block Number
—
Created
Tue, Dec 30, 2025 8:40 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
30761 report.consolidate complete 1 / 1 3 months ago
75562 artifact.fetch failed 1 / 3 2 weeks ago
75563 tool.cast_disasm complete 1 / 3 2 weeks ago
75564 analysis.bundle complete 1 / 3 2 weeks ago
75565 capability.graph complete 1 / 3 2 weeks ago
75566 detector.run complete 1 / 3 2 weeks ago
75567 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
Reviewed first-party Solidity in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the provided code.
View stderr 
[codex:501959] OpenAI Codex v0.77.0 (research preview)
[codex:501959] --------
[codex:501959] workdir: /tmp/codex-multi-055tzwk5
[codex:501959] model: gpt-5.2-codex
[codex:501959] provider: openai
[codex:501959] approval: never
[codex:501959] sandbox: read-only
[codex:501959] reasoning effort: xhigh
[codex:501959] reasoning summaries: auto
[codex:501959] session id: 019b70fb-a282-77f0-aa20-a974d3730612
[codex:501959] --------
[codex:501959] user
[codex:501959] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:501959] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:501959] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:501959] 
[codex:501959] Scope rules:
[codex:501959] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:501959] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:501959] 
[codex:501959] Output MUST be valid JSON matching the provided schema.
[codex:501959] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:501959] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:501959] 
[codex:501959] Output constraints (IMPORTANT):
[codex:501959] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:501959] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:501959] mcp startup: no servers
[codex:501959] 
[codex:501959] thinking
[codex:501959] **Preparing to read AGENTS skills**
[codex:501959] exec
[codex:501959] /bin/bash -lc ls in /tmp/codex-multi-055tzwk5 succeeded in 5ms:
[codex:501959] AUDIT_BUNDLE.txt
[codex:501959] codex-output-schema.json
[codex:501959] contracts
[codex:501959] exec
[codex:501959] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-055tzwk5 succeeded in 5ms:
[codex:501959] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:501959] 
[codex:501959] ================================================================================
[codex:501959] FILE: contracts/Contract.sol
[codex:501959] ================================================================================
[codex:501959] /// AdvancedTokenAdapters.sol
[codex:501959] 
[codex:501959] // Copyright (C) 2018 Rain <rainbreak@riseup.net>
[codex:501959] //
[codex:501959] // This program is free software: you can redistribute it and/or modify
[codex:501959] // it under the terms of the GNU Affero General Public License as published by
[codex:501959] // the Free Software Foundation, either version 3 of the License, or
[codex:501959] // (at your option) any later version.
[codex:501959] //
[codex:501959] // This program is distributed in the hope that it will be useful,
[codex:501959] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:501959] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:501959] // GNU Affero General Public License for more details.
[codex:501959] //
[codex:501959] // You should have received a copy of the GNU Affero General Public License
[codex:501959] 
[codex:501959] 
[codex:501959] 
[codex:501959] thinking
[codex:501959] **Analyzing potential vulnerabilities in CollateralJoin1**
[codex:501959] thinking
[codex:501959] **Summarizing vulnerability audit conclusions**
[codex:501959] 
[codex:501959] I'll produce a detailed JSON summary noting no exploitable vulnerabilities in the contract itself, while mentioning the low-to-medium risk around fee-on-transfer tokens causing accounting mismatches due to external token assumptions. This risk stems from integration choices rather than inherent code flaws, so the report treats it as a configuration caution rather than a direct exploit.
[codex:501959] thinking
[codex:501959] **Finalizing vulnerability assessment and preparing report**
[codex:501959] 
[codex:501959] I’m wrapping up the audit, confirming no exploitable issues beyond the known fee-on-transfer token risk and external calls ordering, which seem safe given revert behavior. I’ll produce the required JSON output indicating no findings while noting the fee-on-transfer concern as a low-severity integration note.
[codex:501959] exec
[codex:501959] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-055tzwk5 succeeded in 5ms:
[codex:501959] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:501959] 
[codex:501959] thinking
[codex:501959] **Preparing JSON audit summary**
[codex:501959] codex
[codex:501959] {"no_findings":true,"summary":"Reviewed first-party Solidity in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the provided code.","findings":[]}
[codex:501959] tokens used
[codex:501959] 14,587
[codex:501959] {"no_findings":true,"summary":"Reviewed first-party Solidity in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the provided code.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2025-12-30T20:40:58.464711+00:00",
        "returncode": 0
    },
    "summary": "Reviewed first-party Solidity in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the provided code.",
    "raw_final": {
        "summary": "Reviewed first-party Solidity in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the provided code.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
1298
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 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x00a9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x67aea313
00000026: GT
00000027: PUSH2 0x0071
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x67aea313
00000031: EQ
00000032: PUSH2 0x014a
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x894ba833
0000003c: EQ
0000003d: PUSH2 0x016e
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x94f3f81d
00000047: EQ
00000048: PUSH2 0x0176
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd8dfeb45
00000052: EQ
00000053: PUSH2 0x019c
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xe824600f
0000005d: EQ
0000005e: PUSH2 0x01a4
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xef693bed
00000068: EQ
00000069: PUSH2 0x01ac
0000006c: JUMPI
0000006d: PUSH2 0x00a9
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0x24ba5884
00000078: EQ
00000079: PUSH2 0x00ae
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x313ce567
00000083: EQ
00000084: PUSH2 0x00e6
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x35b28153
0000008e: EQ
0000008f: PUSH2 0x00ee
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x3b4da69f
00000099: EQ
0000009a: PUSH2 0x0116
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x41b3a0d9
000000a4: EQ
000000a5: PUSH2 0x0142
000000a8: JUMPI
000000a9: JUMPDEST
000000aa: PUSH1 0x00
000000ac: DUP1
000000ad: REVERT
000000ae: JUMPDEST
000000af: PUSH2 0x00d4
000000b2: PUSH1 0x04
000000b4: DUP1
000000b5: CALLDATASIZE
000000b6: SUB
000000b7: PUSH1 0x20
000000b9: DUP2
000000ba: LT
000000bb: ISZERO
000000bc: PUSH2 0x00c4
000000bf: JUMPI
000000c0: PUSH1 0x00
000000c2: DUP1
000000c3: REVERT
000000c4: JUMPDEST
000000c5: POP
000000c6: CALLDATALOAD
000000c7: PUSH1 0x01
000000c9: PUSH1 0x01
000000cb: PUSH1 0xa0
000000cd: SHL
000000ce: SUB
000000cf: AND
000000d0: PUSH2 0x01d8
000000d3: JUMP
000000d4: JUMPDEST
000000d5: PUSH1 0x40
000000d7: DUP1
000000d8: MLOAD
000000d9: SWAP2
000000da: DUP3
000000db: MSTORE
000000dc: MLOAD
000000dd: SWAP1
000000de: DUP2
000000df: SWAP1
000000e0: SUB
000000e1: PUSH1 0x20
000000e3: ADD
000000e4: SWAP1
000000e5: RETURN
000000e6: JUMPDEST
000000e7: PUSH2 0x00d4
000000ea: PUSH2 0x01ea
000000ed: JUMP
000000ee: JUMPDEST
000000ef: PUSH2 0x0114
000000f2: PUSH1 0x04
000000f4: DUP1
000000f5: CALLDATASIZE
000000f6: SUB
000000f7: PUSH1 0x20
000000f9: DUP2
000000fa: LT
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: CALLDATALOAD
00000107: PUSH1 0x01
00000109: PUSH1 0x01
0000010b: PUSH1 0xa0
0000010d: SHL
0000010e: SUB
0000010f: AND
00000110: PUSH2 0x01f0
00000113: JUMP
00000114: JUMPDEST
00000115: STOP
00000116: JUMPDEST
00000117: PUSH2 0x0114
0000011a: PUSH1 0x04
0000011c: DUP1
0000011d: CALLDATASIZE
0000011e: SUB
0000011f: PUSH1 0x40
00000121: DUP2
00000122: LT
00000123: ISZERO
00000124: PUSH2 0x012c
00000127: JUMPI
00000128: PUSH1 0x00
0000012a: DUP1
0000012b: REVERT
0000012c: JUMPDEST
0000012d: POP
0000012e: PUSH1 0x01
00000130: PUSH1 0x01
00000132: PUSH1 0xa0
00000134: SHL
00000135: SUB
00000136: DUP2
00000137: CALLDATALOAD
00000138: AND
00000139: SWAP1
0000013a: PUSH1 0x20
0000013c: ADD
0000013d: CALLDATALOAD
0000013e: PUSH2 0x0290
00000141: JUMP
00000142: JUMPDEST
00000143: PUSH2 0x00d4
00000146: PUSH2 0x04bc
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH2 0x0152
0000014e: PUSH2 0x04c2
00000151: JUMP
00000152: JUMPDEST
00000153: PUSH1 0x40
00000155: DUP1
00000156: MLOAD
00000157: PUSH1 0x01
00000159: PUSH1 0x01
0000015b: PUSH1 0xa0
0000015d: SHL
0000015e: SUB
0000015f: SWAP1
00000160: SWAP3
00000161: AND
00000162: DUP3
00000163: MSTORE
00000164: MLOAD
00000165: SWAP1
00000166: DUP2
00000167: SWAP1
00000168: SUB
00000169: PUSH1 0x20
0000016b: ADD
0000016c: SWAP1
0000016d: RETURN
0000016e: JUMPDEST
0000016f: PUSH2 0x0114
00000172: PUSH2 0x04d1
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x0114
0000017a: PUSH1 0x04
0000017c: DUP1
0000017d: CALLDATASIZE
0000017e: SUB
0000017f: PUSH1 0x20
00000181: DUP2
00000182: LT
00000183: ISZERO
00000184: PUSH2 0x018c
00000187: JUMPI
00000188: PUSH1 0x00
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: POP
0000018e: CALLDATALOAD
0000018f: PUSH1 0x01
00000191: PUSH1 0x01
00000193: PUSH1 0xa0
00000195: SHL
00000196: SUB
00000197: AND
00000198: PUSH2 0x054f
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH2 0x0152
000001a0: PUSH2 0x05ee
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x00d4
000001a8: PUSH2 0x05fd
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH2 0x0114
000001b0: PUSH1 0x04
000001b2: DUP1
000001b3: CALLDATASIZE
000001b4: SUB
000001b5: PUSH1 0x40
000001b7: DUP2
000001b8: LT
000001b9: ISZERO
000001ba: PUSH2 0x01c2
000001bd: JUMPI
000001be: PUSH1 0x00
000001c0: DUP1
000001c1: REVERT
000001c2: JUMPDEST
000001c3: POP
000001c4: PUSH1 0x01
000001c6: PUSH1 0x01
000001c8: PUSH1 0xa0
000001ca: SHL
000001cb: SUB
000001cc: DUP2
000001cd: CALLDATALOAD
000001ce: AND
000001cf: SWAP1
000001d0: PUSH1 0x20
000001d2: ADD
000001d3: CALLDATALOAD
000001d4: PUSH2 0x0603
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH1 0x00
000001db: PUSH1 0x20
000001dd: DUP2
000001de: SWAP1
000001df: MSTORE
000001e0: SWAP1
000001e1: DUP2
000001e2: MSTORE
000001e3: PUSH1 0x40
000001e5: SWAP1
000001e6: KECCAK256
000001e7: SLOAD
000001e8: DUP2
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x04
000001ed: SLOAD
000001ee: DUP2
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLER
000001f2: PUSH1 0x00
000001f4: SWAP1
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x20
000001f9: DUP2
000001fa: SWAP1
000001fb: MSTORE
000001fc: PUSH1 0x40
000001fe: SWAP1
000001ff: KECCAK256
00000200: SLOAD
00000201: PUSH1 0x01
00000203: EQ
00000204: PUSH2 0x023e
00000207: JUMPI
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: PUSH3 0x461bcd
0000020f: PUSH1 0xe5
00000211: SHL
00000212: DUP2
00000213: MSTORE
00000214: PUSH1 0x04
00000216: ADD
00000217: DUP1
00000218: DUP1
00000219: PUSH1 0x20
0000021b: ADD
0000021c: DUP3
0000021d: DUP2
0000021e: SUB
0000021f: DUP3
00000220: MSTORE
00000221: PUSH1 0x26
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: DUP1
00000229: PUSH2 0x07ec
0000022c: PUSH1 0x26
0000022e: SWAP2
0000022f: CODECOPY
00000230: PUSH1 0x40
00000232: ADD
00000233: SWAP2
00000234: POP
00000235: POP
00000236: PUSH1 0x40
00000238: MLOAD
00000239: DUP1
0000023a: SWAP2
0000023b: SUB
0000023c: SWAP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: PUSH1 0x01
00000241: PUSH1 0x01
00000243: PUSH1 0xa0
00000245: SHL
00000246: SUB
00000247: DUP2
00000248: AND
00000249: PUSH1 0x00
0000024b: DUP2
0000024c: DUP2
0000024d: MSTORE
0000024e: PUSH1 0x20
00000250: DUP2
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x40
00000255: SWAP2
00000256: DUP3
00000257: SWAP1
00000258: KECCAK256
00000259: PUSH1 0x01
0000025b: SWAP1
0000025c: SSTORE
0000025d: DUP2
0000025e: MLOAD
0000025f: SWAP3
00000260: DUP4
00000261: MSTORE
00000262: SWAP1
00000263: MLOAD
00000264: PUSH32 0x599a298163e1678bb1c676052a8930bf0b8a1261ed6e01b8a2391e55f7000102
00000285: SWAP3
00000286: DUP2
00000287: SWAP1
00000288: SUB
00000289: SWAP1
0000028a: SWAP2
0000028b: ADD
0000028c: SWAP1
0000028d: LOG1
0000028e: POP
0000028f: JUMP
00000290: JUMPDEST
00000291: PUSH1 0x05
00000293: SLOAD
00000294: PUSH1 0x01
00000296: EQ
00000297: PUSH2 0x02d1
0000029a: JUMPI
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: PUSH3 0x461bcd
000002a2: PUSH1 0xe5
000002a4: SHL
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x04
000002a9: ADD
000002aa: DUP1
000002ab: DUP1
000002ac: PUSH1 0x20
000002ae: ADD
000002af: DUP3
000002b0: DUP2
000002b1: SUB
000002b2: DUP3
000002b3: MSTORE
000002b4: PUSH1 0x23
000002b6: DUP2
000002b7: MSTORE
000002b8: PUSH1 0x20
000002ba: ADD
000002bb: DUP1
000002bc: PUSH2 0x0812
000002bf: PUSH1 0x23
000002c1: SWAP2
000002c2: CODECOPY
000002c3: PUSH1 0x40
000002c5: ADD
000002c6: SWAP2
000002c7: POP
000002c8: POP
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: DUP1
000002cd: SWAP2
000002ce: SUB
000002cf: SWAP1
000002d0: REVERT
000002d1: JUMPDEST
000002d2: PUSH1 0x00
000002d4: DUP2
000002d5: SLT
000002d6: ISZERO
000002d7: PUSH2 0x0322
000002da: JUMPI
000002db: PUSH1 0x40
000002dd: DUP1
000002de: MLOAD
000002df: PUSH3 0x461bcd
000002e3: PUSH1 0xe5
000002e5: SHL
000002e6: DUP2
000002e7: MSTORE
000002e8: PUSH1 0x20
000002ea: PUSH1 0x04
000002ec: DUP3
000002ed: ADD
000002ee: MSTORE
000002ef: PUSH1 0x18
000002f1: PUSH1 0x24
000002f3: DUP3
000002f4: ADD
000002f5: MSTORE
000002f6: PUSH24 0x436f6c6c61746572616c4a6f696e312f6f766572666c6f77
0000030f: PUSH1 0x40
00000311: SHL
00000312: PUSH1 0x44
00000314: DUP3
00000315: ADD
00000316: MSTORE
00000317: SWAP1
00000318: MLOAD
00000319: SWAP1
0000031a: DUP2
0000031b: SWAP1
0000031c: SUB
0000031d: PUSH1 0x64
0000031f: ADD
00000320: SWAP1
00000321: REVERT
00000322: JUMPDEST
00000323: PUSH1 0x01
00000325: SLOAD
00000326: PUSH1 0x02
00000328: SLOAD
00000329: PUSH1 0x40
0000032b: DUP1
0000032c: MLOAD
0000032d: PUSH4 0x2508c12f
00000332: PUSH1 0xe1
00000334: SHL
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x04
00000339: DUP2
0000033a: ADD
0000033b: SWAP3
0000033c: SWAP1
0000033d: SWAP3
0000033e: MSTORE
0000033f: PUSH1 0x01
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: SHL
00000346: SUB
00000347: DUP6
00000348: DUP2
00000349: AND
0000034a: PUSH1 0x24
0000034c: DUP5
0000034d: ADD
0000034e: MSTORE
0000034f: PUSH1 0x44
00000351: DUP4
00000352: ADD
00000353: DUP6
00000354: SWAP1
00000355: MSTORE
00000356: SWAP1
00000357: MLOAD
00000358: SWAP3
00000359: AND
0000035a: SWAP2
0000035b: PUSH4 0x4a11825e
00000360: SWAP2
00000361: PUSH1 0x64
00000363: DUP1
00000364: DUP3
00000365: ADD
00000366: SWAP3
00000367: PUSH1 0x00
00000369: SWAP3
0000036a: SWAP1
0000036b: SWAP2
0000036c: SWAP1
0000036d: DUP3
0000036e: SWAP1
0000036f: SUB
00000370: ADD
00000371: DUP2
00000372: DUP4
00000373: DUP8
00000374: DUP1
00000375: EXTCODESIZE
00000376: ISZERO
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: GAS
00000384: CALL
00000385: ISZERO
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x0395
0000038b: JUMPI
0000038c: RETURNDATASIZE
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: RETURNDATACOPY
00000391: RETURNDATASIZE
00000392: PUSH1 0x00
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: POP
00000398: PUSH1 0x03
0000039a: SLOAD
0000039b: PUSH1 0x40
0000039d: DUP1
0000039e: MLOAD
0000039f: PUSH4 0x23b872dd
000003a4: PUSH1 0xe0
000003a6: SHL
000003a7: DUP2
000003a8: MSTORE
000003a9: CALLER
000003aa: PUSH1 0x04
000003ac: DUP3
000003ad: ADD
000003ae: MSTORE
000003af: ADDRESS
000003b0: PUSH1 0x24
000003b2: DUP3
000003b3: ADD
000003b4: MSTORE
000003b5: PUSH1 0x44
000003b7: DUP2
000003b8: ADD
000003b9: DUP7
000003ba: SWAP1
000003bb: MSTORE
000003bc: SWAP1
000003bd: MLOAD
000003be: PUSH1 0x01
000003c0: PUSH1 0x01
000003c2: PUSH1 0xa0
000003c4: SHL
000003c5: SUB
000003c6: SWAP1
000003c7: SWAP3
000003c8: AND
000003c9: SWAP4
000003ca: POP
000003cb: PUSH4 0x23b872dd
000003d0: SWAP3
000003d1: POP
000003d2: PUSH1 0x64
000003d4: DUP1
000003d5: DUP3
000003d6: ADD
000003d7: SWAP3
000003d8: PUSH1 0x20
000003da: SWAP3
000003db: SWAP1
000003dc: SWAP2
000003dd: SWAP1
000003de: DUP3
000003df: SWAP1
000003e0: SUB
000003e1: ADD
000003e2: DUP2
000003e3: PUSH1 0x00
000003e5: DUP8
000003e6: DUP1
000003e7: EXTCODESIZE
000003e8: ISZERO
000003e9: DUP1
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH1 0x00
000003f1: DUP1
000003f2: REVERT
000003f3: JUMPDEST
000003f4: POP
000003f5: GAS
000003f6: CALL
000003f7: ISZERO
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0407
000003fd: JUMPI
000003fe: RETURNDATASIZE
000003ff: PUSH1 0x00
00000401: DUP1
00000402: RETURNDATACOPY
00000403: RETURNDATASIZE
00000404: PUSH1 0x00
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: POP
0000040a: POP
0000040b: POP
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: RETURNDATASIZE
00000410: PUSH1 0x20
00000412: DUP2
00000413: LT
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: MLOAD
00000420: PUSH2 0x0470
00000423: JUMPI
00000424: PUSH1 0x40
00000426: DUP1
00000427: MLOAD
00000428: PUSH3 0x461bcd
0000042c: PUSH1 0xe5
0000042e: SHL
0000042f: DUP2
00000430: MSTORE
00000431: PUSH1 0x20
00000433: PUSH1 0x04
00000435: DUP3
00000436: ADD
00000437: MSTORE
00000438: PUSH1 0x1f
0000043a: PUSH1 0x24
0000043c: DUP3
0000043d: ADD
0000043e: MSTORE
0000043f: PUSH32 0x436f6c6c61746572616c4a6f696e312f6661696c65642d7472616e7366657200
00000460: PUSH1 0x44
00000462: DUP3
00000463: ADD
00000464: MSTORE
00000465: SWAP1
00000466: MLOAD
00000467: SWAP1
00000468: DUP2
00000469: SWAP1
0000046a: SUB
0000046b: PUSH1 0x64
0000046d: ADD
0000046e: SWAP1
0000046f: REVERT
00000470: JUMPDEST
00000471: PUSH1 0x40
00000473: DUP1
00000474: MLOAD
00000475: CALLER
00000476: DUP2
00000477: MSTORE
00000478: PUSH1 0x01
0000047a: PUSH1 0x01
0000047c: PUSH1 0xa0
0000047e: SHL
0000047f: SUB
00000480: DUP5
00000481: AND
00000482: PUSH1 0x20
00000484: DUP3
00000485: ADD
00000486: MSTORE
00000487: DUP1
00000488: DUP3
00000489: ADD
0000048a: DUP4
0000048b: SWAP1
0000048c: MSTORE
0000048d: SWAP1
0000048e: MLOAD
0000048f: PUSH32 0x0e64978d073561c3dfd4d4e3e4dce066cde2ab246a44f990fabb0a21a4a3bd95
000004b0: SWAP2
000004b1: DUP2
000004b2: SWAP1
000004b3: SUB
000004b4: PUSH1 0x60
000004b6: ADD
000004b7: SWAP1
000004b8: LOG1
000004b9: POP
000004ba: POP
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH1 0x05
000004bf: SLOAD
000004c0: DUP2
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x01
000004c5: SLOAD
000004c6: PUSH1 0x01
000004c8: PUSH1 0x01
000004ca: PUSH1 0xa0
000004cc: SHL
000004cd: SUB
000004ce: AND
000004cf: DUP2
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLER
000004d3: PUSH1 0x00
000004d5: SWAP1
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x20
000004da: DUP2
000004db: SWAP1
000004dc: MSTORE
000004dd: PUSH1 0x40
000004df: SWAP1
000004e0: KECCAK256
000004e1: SLOAD
000004e2: PUSH1 0x01
000004e4: EQ
000004e5: PUSH2 0x051f
000004e8: JUMPI
000004e9: PUSH1 0x40
000004eb: MLOAD
000004ec: PUSH3 0x461bcd
000004f0: PUSH1 0xe5
000004f2: SHL
000004f3: DUP2
000004f4: MSTORE
000004f5: PUSH1 0x04
000004f7: ADD
000004f8: DUP1
000004f9: DUP1
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: DUP3
000004fe: DUP2
000004ff: SUB
00000500: DUP3
00000501: MSTORE
00000502: PUSH1 0x26
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: DUP1
0000050a: PUSH2 0x07ec
0000050d: PUSH1 0x26
0000050f: SWAP2
00000510: CODECOPY
00000511: PUSH1 0x40
00000513: ADD
00000514: SWAP2
00000515: POP
00000516: POP
00000517: PUSH1 0x40
00000519: MLOAD
0000051a: DUP1
0000051b: SWAP2
0000051c: SUB
0000051d: SWAP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: PUSH1 0x00
00000522: PUSH1 0x05
00000524: DUP2
00000525: SWAP1
00000526: SSTORE
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: PUSH32 0x2d4b4ecff7bd7503135271925520a2f6c0d98c9473ffc1a1e72c92502f51b25e
0000054b: SWAP2
0000054c: SWAP1
0000054d: LOG1
0000054e: JUMP
0000054f: JUMPDEST
00000550: CALLER
00000551: PUSH1 0x00
00000553: SWAP1
00000554: DUP2
00000555: MSTORE
00000556: PUSH1 0x20
00000558: DUP2
00000559: SWAP1
0000055a: MSTORE
0000055b: PUSH1 0x40
0000055d: SWAP1
0000055e: KECCAK256
0000055f: SLOAD
00000560: PUSH1 0x01
00000562: EQ
00000563: PUSH2 0x059d
00000566: JUMPI
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: PUSH3 0x461bcd
0000056e: PUSH1 0xe5
00000570: SHL
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x04
00000575: ADD
00000576: DUP1
00000577: DUP1
00000578: PUSH1 0x20
0000057a: ADD
0000057b: DUP3
0000057c: DUP2
0000057d: SUB
0000057e: DUP3
0000057f: MSTORE
00000580: PUSH1 0x26
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: ADD
00000587: DUP1
00000588: PUSH2 0x07ec
0000058b: PUSH1 0x26
0000058d: SWAP2
0000058e: CODECOPY
0000058f: PUSH1 0x40
00000591: ADD
00000592: SWAP2
00000593: POP
00000594: POP
00000595: PUSH1 0x40
00000597: MLOAD
00000598: DUP1
00000599: SWAP2
0000059a: SUB
0000059b: SWAP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: PUSH1 0x01
000005a0: PUSH1 0x01
000005a2: PUSH1 0xa0
000005a4: SHL
000005a5: SUB
000005a6: DUP2
000005a7: AND
000005a8: PUSH1 0x00
000005aa: DUP2
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x20
000005af: DUP2
000005b0: DUP2
000005b1: MSTORE
000005b2: PUSH1 0x40
000005b4: DUP1
000005b5: DUP4
000005b6: KECCAK256
000005b7: SWAP3
000005b8: SWAP1
000005b9: SWAP3
000005ba: SSTORE
000005bb: DUP2
000005bc: MLOAD
000005bd: SWAP3
000005be: DUP4
000005bf: MSTORE
000005c0: SWAP1
000005c1: MLOAD
000005c2: PUSH32 0x8834a87e641e9716be4f34527af5d23e11624f1ddeefede6ad75a9acfc31b903
000005e3: SWAP3
000005e4: DUP2
000005e5: SWAP1
000005e6: SUB
000005e7: SWAP1
000005e8: SWAP2
000005e9: ADD
000005ea: SWAP1
000005eb: LOG1
000005ec: POP
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x03
000005f1: SLOAD
000005f2: PUSH1 0x01
000005f4: PUSH1 0x01
000005f6: PUSH1 0xa0
000005f8: SHL
000005f9: SUB
000005fa: AND
000005fb: DUP2
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH1 0x02
00000600: SLOAD
00000601: DUP2
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH1 0x01
00000606: PUSH1 0xff
00000608: SHL
00000609: DUP2
0000060a: GT
0000060b: ISZERO
0000060c: PUSH2 0x0657
0000060f: JUMPI
00000610: PUSH1 0x40
00000612: DUP1
00000613: MLOAD
00000614: PUSH3 0x461bcd
00000618: PUSH1 0xe5
0000061a: SHL
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x20
0000061f: PUSH1 0x04
00000621: DUP3
00000622: ADD
00000623: MSTORE
00000624: PUSH1 0x18
00000626: PUSH1 0x24
00000628: DUP3
00000629: ADD
0000062a: MSTORE
0000062b: PUSH24 0x436f6c6c61746572616c4a6f696e312f6f766572666c6f77
00000644: PUSH1 0x40
00000646: SHL
00000647: PUSH1 0x44
00000649: DUP3
0000064a: ADD
0000064b: MSTORE
0000064c: SWAP1
0000064d: MLOAD
0000064e: SWAP1
0000064f: DUP2
00000650: SWAP1
00000651: SUB
00000652: PUSH1 0x64
00000654: ADD
00000655: SWAP1
00000656: REVERT
00000657: JUMPDEST
00000658: PUSH1 0x01
0000065a: SLOAD
0000065b: PUSH1 0x02
0000065d: SLOAD
0000065e: PUSH1 0x40
00000660: DUP1
00000661: MLOAD
00000662: PUSH4 0x2508c12f
00000667: PUSH1 0xe1
00000669: SHL
0000066a: DUP2
0000066b: MSTORE
0000066c: PUSH1 0x04
0000066e: DUP2
0000066f: ADD
00000670: SWAP3
00000671: SWAP1
00000672: SWAP3
00000673: MSTORE
00000674: CALLER
00000675: PUSH1 0x24
00000677: DUP4
00000678: ADD
00000679: MSTORE
0000067a: PUSH1 0x00
0000067c: DUP5
0000067d: DUP2
0000067e: SUB
0000067f: PUSH1 0x44
00000681: DUP5
00000682: ADD
00000683: MSTORE
00000684: SWAP1
00000685: MLOAD
00000686: PUSH1 0x01
00000688: PUSH1 0x01
0000068a: PUSH1 0xa0
0000068c: SHL
0000068d: SUB
0000068e: SWAP1
0000068f: SWAP4
00000690: AND
00000691: SWAP3
00000692: PUSH4 0x4a11825e
00000697: SWAP3
00000698: PUSH1 0x64
0000069a: DUP1
0000069b: DUP3
0000069c: ADD
0000069d: SWAP4
0000069e: SWAP3
0000069f: SWAP2
000006a0: DUP3
000006a1: SWAP1
000006a2: SUB
000006a3: ADD
000006a4: DUP2
000006a5: DUP4
000006a6: DUP8
000006a7: DUP1
000006a8: EXTCODESIZE
000006a9: ISZERO
000006aa: DUP1
000006ab: ISZERO
000006ac: PUSH2 0x06b4
000006af: JUMPI
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: POP
000006b6: GAS
000006b7: CALL
000006b8: ISZERO
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c8
000006be: JUMPI
000006bf: RETURNDATASIZE
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: RETURNDATACOPY
000006c4: RETURNDATASIZE
000006c5: PUSH1 0x00
000006c7: REVERT
000006c8: JUMPDEST
000006c9: POP
000006ca: POP
000006cb: PUSH1 0x03
000006cd: SLOAD
000006ce: PUSH1 0x40
000006d0: DUP1
000006d1: MLOAD
000006d2: PUSH4 0xa9059cbb
000006d7: PUSH1 0xe0
000006d9: SHL
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x01
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: SHL
000006e3: SUB
000006e4: DUP8
000006e5: DUP2
000006e6: AND
000006e7: PUSH1 0x04
000006e9: DUP4
000006ea: ADD
000006eb: MSTORE
000006ec: PUSH1 0x24
000006ee: DUP3
000006ef: ADD
000006f0: DUP8
000006f1: SWAP1
000006f2: MSTORE
000006f3: SWAP2
000006f4: MLOAD
000006f5: SWAP2
000006f6: SWAP1
000006f7: SWAP3
000006f8: AND
000006f9: SWAP4
000006fa: POP
000006fb: PUSH4 0xa9059cbb
00000700: SWAP3
00000701: POP
00000702: PUSH1 0x44
00000704: DUP1
00000705: DUP4
00000706: ADD
00000707: SWAP3
00000708: PUSH1 0x20
0000070a: SWAP3
0000070b: SWAP2
0000070c: SWAP1
0000070d: DUP3
0000070e: SWAP1
0000070f: SUB
00000710: ADD
00000711: DUP2
00000712: PUSH1 0x00
00000714: DUP8
00000715: DUP1
00000716: EXTCODESIZE
00000717: ISZERO
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: GAS
00000725: CALL
00000726: ISZERO
00000727: DUP1
00000728: ISZERO
00000729: PUSH2 0x0736
0000072c: JUMPI
0000072d: RETURNDATASIZE
0000072e: PUSH1 0x00
00000730: DUP1
00000731: RETURNDATACOPY
00000732: RETURNDATASIZE
00000733: PUSH1 0x00
00000735: REVERT
00000736: JUMPDEST
00000737: POP
00000738: POP
00000739: POP
0000073a: POP
0000073b: PUSH1 0x40
0000073d: MLOAD
0000073e: RETURNDATASIZE
0000073f: PUSH1 0x20
00000741: DUP2
00000742: LT
00000743: ISZERO
00000744: PUSH2 0x074c
00000747: JUMPI
00000748: PUSH1 0x00
0000074a: DUP1
0000074b: REVERT
0000074c: JUMPDEST
0000074d: POP
0000074e: MLOAD
0000074f: PUSH2 0x079f
00000752: JUMPI
00000753: PUSH1 0x40
00000755: DUP1
00000756: MLOAD
00000757: PUSH3 0x461bcd
0000075b: PUSH1 0xe5
0000075d: SHL
0000075e: DUP2
0000075f: MSTORE
00000760: PUSH1 0x20
00000762: PUSH1 0x04
00000764: DUP3
00000765: ADD
00000766: MSTORE
00000767: PUSH1 0x1f
00000769: PUSH1 0x24
0000076b: DUP3
0000076c: ADD
0000076d: MSTORE
0000076e: PUSH32 0x436f6c6c61746572616c4a6f696e312f6661696c65642d7472616e7366657200
0000078f: PUSH1 0x44
00000791: DUP3
00000792: ADD
00000793: MSTORE
00000794: SWAP1
00000795: MLOAD
00000796: SWAP1
00000797: DUP2
00000798: SWAP1
00000799: SUB
0000079a: PUSH1 0x64
0000079c: ADD
0000079d: SWAP1
0000079e: REVERT
0000079f: JUMPDEST
000007a0: PUSH1 0x40
000007a2: DUP1
000007a3: MLOAD
000007a4: CALLER
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x01
000007a9: PUSH1 0x01
000007ab: PUSH1 0xa0
000007ad: SHL
000007ae: SUB
000007af: DUP5
000007b0: AND
000007b1: PUSH1 0x20
000007b3: DUP3
000007b4: ADD
000007b5: MSTORE
000007b6: DUP1
000007b7: DUP3
000007b8: ADD
000007b9: DUP4
000007ba: SWAP1
000007bb: MSTORE
000007bc: SWAP1
000007bd: MLOAD
000007be: PUSH32 0xbc2a67d422c268da6fe45f3e7d194e1d98906d221f1cfad62a5c80f2cd209f4c
000007df: SWAP2
000007e0: DUP2
000007e1: SWAP1
000007e2: SUB
000007e3: PUSH1 0x60
000007e5: ADD
000007e6: SWAP1
000007e7: LOG1
000007e8: POP
000007e9: POP
000007ea: JUMP
000007eb: INVALID
000007ec: NUMBER
000007ed: PUSH16 0x6c6c61746572616c4a6f696e312f6163
000007fe: PUSH4 0x6f756e74
00000803: UNKNOWN(0x2D)
00000804: PUSH15 0x6f742d617574686f72697a6564436f
00000814: PUSH13 0x6c61746572616c4a6f696e312f
00000822: PUSH15 0x6f742d636f6e7472616374456e6162
00000832: PUSH13 0x6564a2646970667358221220b5
00000840: UNKNOWN(0xCE)
00000841: PUSH19 0xc22b15815240080a6b7ab0e64f3324794d43d7
00000855: UNKNOWN(0xD4)
00000856: DIFFICULTY
00000857: PUSH9 0xe4cca4f13bd4d16473
00000861: PUSH16

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: 0x3cf1e915b3bc91458fde34db63fddc8fea4b9847c7add36d943fc58d58958d1b
call_targets: 0xe843783144acdf485ff86d726bcb67dd316e0bbe
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3cf1e915b3bc91458fde34db63fddc8fea4b9847c7add36d943fc58d58958d1b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe843783144acdf485ff86d726bcb67dd316e0bbe"
    ],
    "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": "0x67aea313",
            "selector": "0x67aea313",
            "calldata_variants": [
                "0x67aea313",
                "0x67aea3130000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x894ba833",
            "selector": "0x894ba833",
            "calldata_variants": [
                "0x894ba833",
                "0x894ba8330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f3f81d",
            "selector": "0x94f3f81d",
            "calldata_variants": [
                "0x94f3f81d",
                "0x94f3f81d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8dfeb45",
            "selector": "0xd8dfeb45",
            "calldata_variants": [
                "0xd8dfeb45",
                "0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe824600f",
            "selector": "0xe824600f",
            "calldata_variants": [
                "0xe824600f",
                "0xe824600f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef693bed",
            "selector": "0xef693bed",
            "calldata_variants": [
                "0xef693bed",
                "0xef693bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24ba5884",
            "selector": "0x24ba5884",
            "calldata_variants": [
                "0x24ba5884",
                "0x24ba58840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 900,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1014,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1719,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3cf1e915b3bc91458fde34db63fddc8fea4b9847c7add36d943fc58d58958d1b
call_targets: 0xe843783144acdf485ff86d726bcb67dd316e0bbe
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3cf1e915b3bc91458fde34db63fddc8fea4b9847c7add36d943fc58d58958d1b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe843783144acdf485ff86d726bcb67dd316e0bbe"
    ],
    "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": "0x67aea313",
            "selector": "0x67aea313",
            "calldata_variants": [
                "0x67aea313",
                "0x67aea3130000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x894ba833",
            "selector": "0x894ba833",
            "calldata_variants": [
                "0x894ba833",
                "0x894ba8330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f3f81d",
            "selector": "0x94f3f81d",
            "calldata_variants": [
                "0x94f3f81d",
                "0x94f3f81d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8dfeb45",
            "selector": "0xd8dfeb45",
            "calldata_variants": [
                "0xd8dfeb45",
                "0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe824600f",
            "selector": "0xe824600f",
            "calldata_variants": [
                "0xe824600f",
                "0xe824600f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef693bed",
            "selector": "0xef693bed",
            "calldata_variants": [
                "0xef693bed",
                "0xef693bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24ba5884",
            "selector": "0x24ba5884",
            "calldata_variants": [
                "0x24ba5884",
                "0x24ba58840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 900,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1014,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1719,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}