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

Analysis Run

019bab3b-abd4-715a-ac73-d9494a37ef27

failed
Chain ID
1
Address
0xf93191d350117723dbeda5484a3b0996d285cecf
Block Number
—
Created
Sun, Jan 11, 2026 4:06 AM
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
38646 artifact.fetch complete 1 / 3 3 months ago
38647 proxy.resolve complete 1 / 3 3 months ago
38648 tool.cast_disasm complete 1 / 3 3 months ago
38649 analysis.bundle complete 1 / 3 3 months ago
38650 capability.graph complete 1 / 3 3 months ago
38651 detector.run complete 1 / 3 3 months ago
38652 validation.fork complete 1 / 3 3 months ago
39111 report.consolidate complete 1 / 6 3 months ago
39112 tool.slither failed 2 / 2 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no not_proxy
Implementation:
—
Verified Source: yes
Proxy evidence 
{
    "status": "not_proxy"
}

Slither

tool.slither
Status
failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-xdog4pdv) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-xdog4pdv) 'forge' returned non-zero exit code 1 Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol: No solc version exists that matches the version requirement: ^0.8.20 Traceback (most recent call last): File "/var/www/tripwire/.venv/bin/slither", line 10, in <module> sys.exit(main()) ~~~~^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main main_impl(all_detector_classes=detectors, all_printer_classes=printers) ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl ) = process_all(filename, args, detector_classes, printer_classes) ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all compilations = compile_all(target, **vars(args)) File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all compilations.append(CryticCompile(target, **kwargs)) ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__ self._compile(**kwargs) ~~~~~~~~~~~~~^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile self._platform.compile(self, **kwargs) ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile hardhat_like_parsing( ~~~~~~~~~~~~~~~~~~~~^ crytic_compile, str(self._target), build_directory, str(self._project_root) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ) ^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing raise InvalidCompilation(txt) crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command? /tmp/slither-xdog4pdv/out/build-info is not a directory.
Attempts
2 / 2
Findings
0
Solc
—
View stderr 
Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
    stdout_text, stderr_text, result_json = _run_slither(
                                            ~~~~~~~~~~~~^
        workspace,
        ^^^^^^^^^^
    ...<4 lines>...
        target_path=target_path,
        ^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
    raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-xdog4pdv)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-xdog4pdv)
'forge' returned non-zero exit code 1
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol: No solc version exists that matches the version requirement: ^0.8.20
Traceback (most recent call last):
  File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
    sys.exit(main())
             ~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
    compilations = compile_all(target, **vars(args))
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
                        ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
    self._compile(**kwargs)
    ~~~~~~~~~~~~~^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
    self._platform.compile(self, **kwargs)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
    hardhat_like_parsing(
    ~~~~~~~~~~~~~~~~~~~~^
        crytic_compile, str(self._target), build_directory, str(self._project_root)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
    raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-xdog4pdv/out/build-info is not a directory.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities found in first-party sources; contract logic is straightforward and access-controlled by operator.
View stdout 
{"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party sources; contract logic is straightforward and access-controlled by operator.","findings":[]}
View stderr 
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-2a0dskua
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019babc4-127e-7d20-8f92-992fde5d5781
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Reading AUDIT_BUNDLE file**
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-2a0dskua succeeded in 7ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: src/FeeManager.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import "./interfaces/IFeeManager.sol";
import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

contract FeeManager is IFeeManager {

	using SafeERC20 for IERC20;

	address public operator;
	address public nextOperator;
	uint8 public baseBps;

thinking
**Reviewing FeeManager contract for issues**
codex
{"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party sources; contract logic is straightforward and access-controlled by operator.","findings":[]}
tokens used
2,147
Metadata 
{
    "codex": {
        "ran_at": "2026-01-11T06:35:21.344464+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 6,
        "import_count": 6,
        "first_party_contracts_count": 2
    },
    "summary": "No exploitable vulnerabilities found in first-party sources; contract logic is straightforward and access-controlled by operator.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in first-party sources; contract logic is straightforward and access-controlled by operator.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
1633
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa86b06e5
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa86b06e5
00000024: EQ
00000025: PUSH2 0x01a9
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbd1e6382
0000002f: EQ
00000030: PUSH2 0x01c9
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc415b95c
0000003a: EQ
0000003b: PUSH2 0x01e9
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd54e65fb
00000045: EQ
00000046: PUSH2 0x01fe
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdf2ab5bb
00000050: EQ
00000051: PUSH2 0x0213
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf0f44260
0000005b: EQ
0000005c: PUSH2 0x0233
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x02fb1eec
0000006b: EQ
0000006c: PUSH2 0x00b7
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x06394c9b
00000076: EQ
00000077: PUSH2 0x00ee
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x4018e9f6
00000081: EQ
00000082: PUSH2 0x0110
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x570ca735
0000008c: EQ
0000008d: PUSH2 0x0131
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x580094b7
00000097: EQ
00000098: PUSH2 0x0169
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x61d027b3
000000a2: EQ
000000a3: PUSH2 0x0189
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: CALLDATASIZE
000000ad: PUSH2 0x00b2
000000b0: JUMPI
000000b1: STOP
000000b2: JUMPDEST
000000b3: PUSH1 0x00
000000b5: DUP1
000000b6: REVERT
000000b7: JUMPDEST
000000b8: CALLVALUE
000000b9: DUP1
000000ba: ISZERO
000000bb: PUSH2 0x00c3
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: POP
000000c5: PUSH2 0x00d7
000000c8: PUSH2 0x00d2
000000cb: CALLDATASIZE
000000cc: PUSH1 0x04
000000ce: PUSH2 0x0873
000000d1: JUMP
000000d2: JUMPDEST
000000d3: PUSH2 0x0253
000000d6: JUMP
000000d7: JUMPDEST
000000d8: PUSH1 0x40
000000da: MLOAD
000000db: PUSH1 0xff
000000dd: SWAP1
000000de: SWAP2
000000df: AND
000000e0: DUP2
000000e1: MSTORE
000000e2: PUSH1 0x20
000000e4: ADD
000000e5: JUMPDEST
000000e6: PUSH1 0x40
000000e8: MLOAD
000000e9: DUP1
000000ea: SWAP2
000000eb: SUB
000000ec: SWAP1
000000ed: RETURN
000000ee: JUMPDEST
000000ef: CALLVALUE
000000f0: DUP1
000000f1: ISZERO
000000f2: PUSH2 0x00fa
000000f5: JUMPI
000000f6: PUSH1 0x00
000000f8: DUP1
000000f9: REVERT
000000fa: JUMPDEST
000000fb: POP
000000fc: PUSH2 0x010e
000000ff: PUSH2 0x0109
00000102: CALLDATASIZE
00000103: PUSH1 0x04
00000105: PUSH2 0x07c0
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH2 0x028d
0000010d: JUMP
0000010e: JUMPDEST
0000010f: STOP
00000110: JUMPDEST
00000111: CALLVALUE
00000112: DUP1
00000113: ISZERO
00000114: PUSH2 0x011c
00000117: JUMPI
00000118: PUSH1 0x00
0000011a: DUP1
0000011b: REVERT
0000011c: JUMPDEST
0000011d: POP
0000011e: PUSH1 0x01
00000120: SLOAD
00000121: PUSH2 0x00d7
00000124: SWAP1
00000125: PUSH1 0x01
00000127: PUSH1 0xa0
00000129: SHL
0000012a: SWAP1
0000012b: DIV
0000012c: PUSH1 0xff
0000012e: AND
0000012f: DUP2
00000130: JUMP
00000131: JUMPDEST
00000132: CALLVALUE
00000133: DUP1
00000134: ISZERO
00000135: PUSH2 0x013d
00000138: JUMPI
00000139: PUSH1 0x00
0000013b: DUP1
0000013c: REVERT
0000013d: JUMPDEST
0000013e: POP
0000013f: PUSH1 0x00
00000141: SLOAD
00000142: PUSH2 0x0151
00000145: SWAP1
00000146: PUSH1 0x01
00000148: PUSH1 0x01
0000014a: PUSH1 0xa0
0000014c: SHL
0000014d: SUB
0000014e: AND
0000014f: DUP2
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH1 0x40
00000154: MLOAD
00000155: PUSH1 0x01
00000157: PUSH1 0x01
00000159: PUSH1 0xa0
0000015b: SHL
0000015c: SUB
0000015d: SWAP1
0000015e: SWAP2
0000015f: AND
00000160: DUP2
00000161: MSTORE
00000162: PUSH1 0x20
00000164: ADD
00000165: PUSH2 0x00e5
00000168: JUMP
00000169: JUMPDEST
0000016a: CALLVALUE
0000016b: DUP1
0000016c: ISZERO
0000016d: PUSH2 0x0175
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: POP
00000177: PUSH2 0x010e
0000017a: PUSH2 0x0184
0000017d: CALLDATASIZE
0000017e: PUSH1 0x04
00000180: PUSH2 0x0844
00000183: JUMP
00000184: JUMPDEST
00000185: PUSH2 0x02e2
00000188: JUMP
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: DUP1
0000018c: ISZERO
0000018d: PUSH2 0x0195
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: POP
00000197: PUSH1 0x02
00000199: SLOAD
0000019a: PUSH2 0x0151
0000019d: SWAP1
0000019e: PUSH1 0x01
000001a0: PUSH1 0x01
000001a2: PUSH1 0xa0
000001a4: SHL
000001a5: SUB
000001a6: AND
000001a7: DUP2
000001a8: JUMP
000001a9: JUMPDEST
000001aa: CALLVALUE
000001ab: DUP1
000001ac: ISZERO
000001ad: PUSH2 0x01b5
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: POP
000001b7: PUSH1 0x01
000001b9: SLOAD
000001ba: PUSH2 0x0151
000001bd: SWAP1
000001be: PUSH1 0x01
000001c0: PUSH1 0x01
000001c2: PUSH1 0xa0
000001c4: SHL
000001c5: SUB
000001c6: AND
000001c7: DUP2
000001c8: JUMP
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x010e
000001da: PUSH2 0x01e4
000001dd: CALLDATASIZE
000001de: PUSH1 0x04
000001e0: PUSH2 0x08e8
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH2 0x039d
000001e8: JUMP
000001e9: JUMPDEST
000001ea: CALLVALUE
000001eb: DUP1
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: POP
000001f7: PUSH2 0x0151
000001fa: PUSH2 0x03e7
000001fd: JUMP
000001fe: JUMPDEST
000001ff: CALLVALUE
00000200: DUP1
00000201: ISZERO
00000202: PUSH2 0x020a
00000205: JUMPI
00000206: PUSH1 0x00
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: POP
0000020c: PUSH2 0x010e
0000020f: PUSH2 0x0410
00000212: JUMP
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x010e
00000224: PUSH2 0x022e
00000227: CALLDATASIZE
00000228: PUSH1 0x04
0000022a: PUSH2 0x07e3
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x0483
00000232: JUMP
00000233: JUMPDEST
00000234: CALLVALUE
00000235: DUP1
00000236: ISZERO
00000237: PUSH2 0x023f
0000023a: JUMPI
0000023b: PUSH1 0x00
0000023d: DUP1
0000023e: REVERT
0000023f: JUMPDEST
00000240: POP
00000241: PUSH2 0x010e
00000244: PUSH2 0x024e
00000247: CALLDATASIZE
00000248: PUSH1 0x04
0000024a: PUSH2 0x07c0
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH2 0x04c1
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH1 0x01
00000256: SLOAD
00000257: PUSH1 0x00
00000259: SWAP1
0000025a: PUSH1 0xff
0000025c: PUSH1 0x01
0000025e: PUSH1 0xa0
00000260: SHL
00000261: SWAP1
00000262: SWAP2
00000263: DIV
00000264: DUP2
00000265: AND
00000266: SWAP1
00000267: DUP4
00000268: AND
00000269: GT
0000026a: ISZERO
0000026b: PUSH2 0x0275
0000026e: JUMPI
0000026f: POP
00000270: DUP1
00000271: PUSH2 0x0284
00000274: JUMP
00000275: JUMPDEST
00000276: POP
00000277: PUSH1 0x01
00000279: SLOAD
0000027a: PUSH1 0x01
0000027c: PUSH1 0xa0
0000027e: SHL
0000027f: SWAP1
00000280: DIV
00000281: PUSH1 0xff
00000283: AND
00000284: JUMPDEST
00000285: SWAP6
00000286: SWAP5
00000287: POP
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x00
00000290: SLOAD
00000291: PUSH1 0x01
00000293: PUSH1 0x01
00000295: PUSH1 0xa0
00000297: SHL
00000298: SUB
00000299: AND
0000029a: CALLER
0000029b: EQ
0000029c: PUSH2 0x02c0
0000029f: JUMPI
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: PUSH3 0x461bcd
000002a7: PUSH1 0xe5
000002a9: SHL
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x04
000002ae: ADD
000002af: PUSH2 0x02b7
000002b2: SWAP1
000002b3: PUSH2 0x0951
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: DUP1
000002bc: SWAP2
000002bd: SUB
000002be: SWAP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: PUSH1 0x01
000002c3: DUP1
000002c4: SLOAD
000002c5: PUSH1 0x01
000002c7: PUSH1 0x01
000002c9: PUSH1 0xa0
000002cb: SHL
000002cc: SUB
000002cd: NOT
000002ce: AND
000002cf: PUSH1 0x01
000002d1: PUSH1 0x01
000002d3: PUSH1 0xa0
000002d5: SHL
000002d6: SUB
000002d7: SWAP3
000002d8: SWAP1
000002d9: SWAP3
000002da: AND
000002db: SWAP2
000002dc: SWAP1
000002dd: SWAP2
000002de: OR
000002df: SWAP1
000002e0: SSTORE
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x00
000002e5: SLOAD
000002e6: PUSH1 0x01
000002e8: PUSH1 0x01
000002ea: PUSH1 0xa0
000002ec: SHL
000002ed: SUB
000002ee: AND
000002ef: CALLER
000002f0: EQ
000002f1: PUSH2 0x030c
000002f4: JUMPI
000002f5: PUSH1 0x40
000002f7: MLOAD
000002f8: PUSH3 0x461bcd
000002fc: PUSH1 0xe5
000002fe: SHL
000002ff: DUP2
00000300: MSTORE
00000301: PUSH1 0x04
00000303: ADD
00000304: PUSH2 0x02b7
00000307: SWAP1
00000308: PUSH2 0x0951
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH1 0x01
0000030f: PUSH1 0x01
00000311: PUSH1 0xa0
00000313: SHL
00000314: SUB
00000315: DUP2
00000316: AND
00000317: PUSH2 0x0362
0000031a: JUMPI
0000031b: PUSH1 0x40
0000031d: MLOAD
0000031e: PUSH3 0x461bcd
00000322: PUSH1 0xe5
00000324: SHL
00000325: DUP2
00000326: MSTORE
00000327: PUSH1 0x20
00000329: PUSH1 0x04
0000032b: DUP3
0000032c: ADD
0000032d: MSTORE
0000032e: PUSH1 0x1c
00000330: PUSH1 0x24
00000332: DUP3
00000333: ADD
00000334: MSTORE
00000335: PUSH32 0x7472616e7366657220746f20746865207a65726f206164647265737300000000
00000356: PUSH1 0x44
00000358: DUP3
00000359: ADD
0000035a: MSTORE
0000035b: PUSH1 0x64
0000035d: ADD
0000035e: PUSH2 0x02b7
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH1 0x40
00000365: MLOAD
00000366: PUSH1 0x01
00000368: PUSH1 0x01
0000036a: PUSH1 0xa0
0000036c: SHL
0000036d: SUB
0000036e: DUP3
0000036f: AND
00000370: SWAP1
00000371: DUP4
00000372: ISZERO
00000373: PUSH2 0x08fc
00000376: MUL
00000377: SWAP1
00000378: DUP5
00000379: SWAP1
0000037a: PUSH1 0x00
0000037c: DUP2
0000037d: DUP2
0000037e: DUP2
0000037f: DUP6
00000380: DUP9
00000381: DUP9
00000382: CALL
00000383: SWAP4
00000384: POP
00000385: POP
00000386: POP
00000387: POP
00000388: ISZERO
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x0398
0000038e: JUMPI
0000038f: RETURNDATASIZE
00000390: PUSH1 0x00
00000392: DUP1
00000393: RETURNDATACOPY
00000394: RETURNDATASIZE
00000395: PUSH1 0x00
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: POP
0000039b: POP
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x00
000003a0: SLOAD
000003a1: PUSH1 0x01
000003a3: PUSH1 0x01
000003a5: PUSH1 0xa0
000003a7: SHL
000003a8: SUB
000003a9: AND
000003aa: CALLER
000003ab: EQ
000003ac: PUSH2 0x03c7
000003af: JUMPI
000003b0: PUSH1 0x40
000003b2: MLOAD
000003b3: PUSH3 0x461bcd
000003b7: PUSH1 0xe5
000003b9: SHL
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH1 0x04
000003be: ADD
000003bf: PUSH2 0x02b7
000003c2: SWAP1
000003c3: PUSH2 0x0951
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x01
000003ca: DUP1
000003cb: SLOAD
000003cc: PUSH1 0xff
000003ce: SWAP1
000003cf: SWAP3
000003d0: AND
000003d1: PUSH1 0x01
000003d3: PUSH1 0xa0
000003d5: SHL
000003d6: MUL
000003d7: PUSH1 0xff
000003d9: PUSH1 0xa0
000003db: SHL
000003dc: NOT
000003dd: SWAP1
000003de: SWAP3
000003df: AND
000003e0: SWAP2
000003e1: SWAP1
000003e2: SWAP2
000003e3: OR
000003e4: SWAP1
000003e5: SSTORE
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x02
000003ea: SLOAD
000003eb: PUSH1 0x00
000003ed: SWAP1
000003ee: PUSH1 0x01
000003f0: PUSH1 0x01
000003f2: PUSH1 0xa0
000003f4: SHL
000003f5: SUB
000003f6: AND
000003f7: ISZERO
000003f8: PUSH2 0x040b
000003fb: JUMPI
000003fc: POP
000003fd: PUSH1 0x02
000003ff: SLOAD
00000400: PUSH1 0x01
00000402: PUSH1 0x01
00000404: PUSH1 0xa0
00000406: SHL
00000407: SUB
00000408: AND
00000409: SWAP1
0000040a: JUMP
0000040b: JUMPDEST
0000040c: POP
0000040d: ADDRESS
0000040e: SWAP1
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH1 0x01
00000413: SLOAD
00000414: PUSH1 0x01
00000416: PUSH1 0x01
00000418: PUSH1 0xa0
0000041a: SHL
0000041b: SUB
0000041c: AND
0000041d: CALLER
0000041e: EQ
0000041f: PUSH2 0x045f
00000422: JUMPI
00000423: PUSH1 0x40
00000425: MLOAD
00000426: PUSH3 0x461bcd
0000042a: PUSH1 0xe5
0000042c: SHL
0000042d: DUP2
0000042e: MSTORE
0000042f: PUSH1 0x20
00000431: PUSH1 0x04
00000433: DUP3
00000434: ADD
00000435: MSTORE
00000436: PUSH1 0x12
00000438: PUSH1 0x24
0000043a: DUP3
0000043b: ADD
0000043c: MSTORE
0000043d: PUSH18 0x37b7363c903732bc3a1037b832b930ba37b9
00000450: PUSH1 0x71
00000452: SHL
00000453: PUSH1 0x44
00000455: DUP3
00000456: ADD
00000457: MSTORE
00000458: PUSH1 0x64
0000045a: ADD
0000045b: PUSH2 0x02b7
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x01
00000462: SLOAD
00000463: PUSH1 0x00
00000465: DUP1
00000466: SLOAD
00000467: PUSH1 0x01
00000469: PUSH1 0x01
0000046b: PUSH1 0xa0
0000046d: SHL
0000046e: SUB
0000046f: NOT
00000470: AND
00000471: PUSH1 0x01
00000473: PUSH1 0x01
00000475: PUSH1 0xa0
00000477: SHL
00000478: SUB
00000479: SWAP1
0000047a: SWAP3
0000047b: AND
0000047c: SWAP2
0000047d: SWAP1
0000047e: SWAP2
0000047f: OR
00000480: SWAP1
00000481: SSTORE
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH1 0x00
00000486: SLOAD
00000487: PUSH1 0x01
00000489: PUSH1 0x01
0000048b: PUSH1 0xa0
0000048d: SHL
0000048e: SUB
0000048f: AND
00000490: CALLER
00000491: EQ
00000492: PUSH2 0x04ad
00000495: JUMPI
00000496: PUSH1 0x40
00000498: MLOAD
00000499: PUSH3 0x461bcd
0000049d: PUSH1 0xe5
0000049f: SHL
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH1 0x04
000004a4: ADD
000004a5: PUSH2 0x02b7
000004a8: SWAP1
000004a9: PUSH2 0x0951
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH2 0x0398
000004b1: PUSH1 0x01
000004b3: PUSH1 0x01
000004b5: PUSH1 0xa0
000004b7: SHL
000004b8: SUB
000004b9: DUP5
000004ba: AND
000004bb: DUP3
000004bc: DUP5
000004bd: PUSH2 0x050d
000004c0: JUMP
000004c1: JUMPDEST
000004c2: PUSH1 0x00
000004c4: SLOAD
000004c5: PUSH1 0x01
000004c7: PUSH1 0x01
000004c9: PUSH1 0xa0
000004cb: SHL
000004cc: SUB
000004cd: AND
000004ce: CALLER
000004cf: EQ
000004d0: PUSH2 0x04eb
000004d3: JUMPI
000004d4: PUSH1 0x40
000004d6: MLOAD
000004d7: PUSH3 0x461bcd
000004db: PUSH1 0xe5
000004dd: SHL
000004de: DUP2
000004df: MSTORE
000004e0: PUSH1 0x04
000004e2: ADD
000004e3: PUSH2 0x02b7
000004e6: SWAP1
000004e7: PUSH2 0x0951
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH1 0x02
000004ee: DUP1
000004ef: SLOAD
000004f0: PUSH1 0x01
000004f2: PUSH1 0x01
000004f4: PUSH1 0xa0
000004f6: SHL
000004f7: SUB
000004f8: NOT
000004f9: AND
000004fa: PUSH1 0x01
000004fc: PUSH1 0x01
000004fe: PUSH1 0xa0
00000500: SHL
00000501: SUB
00000502: SWAP3
00000503: SWAP1
00000504: SWAP3
00000505: AND
00000506: SWAP2
00000507: SWAP1
00000508: SWAP2
00000509: OR
0000050a: SWAP1
0000050b: SSTORE
0000050c: JUMP
0000050d: JUMPDEST
0000050e: PUSH1 0x40
00000510: DUP1
00000511: MLOAD
00000512: PUSH1 0x01
00000514: PUSH1 0x01
00000516: PUSH1 0xa0
00000518: SHL
00000519: SUB
0000051a: DUP5
0000051b: DUP2
0000051c: AND
0000051d: PUSH1 0x24
0000051f: DUP4
00000520: ADD
00000521: MSTORE
00000522: PUSH1 0x44
00000524: DUP1
00000525: DUP4
00000526: ADD
00000527: DUP6
00000528: SWAP1
00000529: MSTORE
0000052a: DUP4
0000052b: MLOAD
0000052c: DUP1
0000052d: DUP5
0000052e: SUB
0000052f: SWAP1
00000530: SWAP2
00000531: ADD
00000532: DUP2
00000533: MSTORE
00000534: PUSH1 0x64
00000536: SWAP1
00000537: SWAP3
00000538: ADD
00000539: DUP4
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: DUP1
0000053e: DUP4
0000053f: ADD
00000540: DUP1
00000541: MLOAD
00000542: PUSH1 0x01
00000544: PUSH1 0x01
00000546: PUSH1 0xe0
00000548: SHL
00000549: SUB
0000054a: AND
0000054b: PUSH4 0xa9059cbb
00000550: PUSH1 0xe0
00000552: SHL
00000553: OR
00000554: SWAP1
00000555: MSTORE
00000556: DUP4
00000557: MLOAD
00000558: DUP1
00000559: DUP6
0000055a: ADD
0000055b: SWAP1
0000055c: SWAP5
0000055d: MSTORE
0000055e: DUP1
0000055f: DUP5
00000560: MSTORE
00000561: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000582: SWAP1
00000583: DUP5
00000584: ADD
00000585: MSTORE
00000586: PUSH2 0x0398
00000589: SWAP3
0000058a: DUP7
0000058b: SWAP3
0000058c: SWAP2
0000058d: PUSH1 0x00
0000058f: SWAP2
00000590: PUSH2 0x059d
00000593: SWAP2
00000594: DUP6
00000595: AND
00000596: SWAP1
00000597: DUP5
00000598: SWAP1
00000599: PUSH2 0x061d
0000059c: JUMP
0000059d: JUMPDEST
0000059e: SWAP1
0000059f: POP
000005a0: DUP1
000005a1: MLOAD
000005a2: PUSH1 0x00
000005a4: EQ
000005a5: DUP1
000005a6: PUSH2 0x05be
000005a9: JUMPI
000005aa: POP
000005ab: DUP1
000005ac: DUP1
000005ad: PUSH1 0x20
000005af: ADD
000005b0: SWAP1
000005b1: MLOAD
000005b2: DUP2
000005b3: ADD
000005b4: SWAP1
000005b5: PUSH2 0x05be
000005b8: SWAP2
000005b9: SWAP1
000005ba: PUSH2 0x0824
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH2 0x0398
000005c2: JUMPI
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: PUSH3 0x461bcd
000005ca: PUSH1 0xe5
000005cc: SHL
000005cd: DUP2
000005ce: MSTORE
000005cf: PUSH1 0x20
000005d1: PUSH1 0x04
000005d3: DUP3
000005d4: ADD
000005d5: MSTORE
000005d6: PUSH1 0x2a
000005d8: PUSH1 0x24
000005da: DUP3
000005db: ADD
000005dc: MSTORE
000005dd: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000005fe: PUSH1 0x44
00000600: DUP3
00000601: ADD
00000602: MSTORE
00000603: PUSH10 0x1bdd081cdd58d8d95959
0000060e: PUSH1 0xb2
00000610: SHL
00000611: PUSH1 0x64
00000613: DUP3
00000614: ADD
00000615: MSTORE
00000616: PUSH1 0x84
00000618: ADD
00000619: PUSH2 0x02b7
0000061c: JUMP
0000061d: JUMPDEST
0000061e: PUSH1 0x60
00000620: PUSH2 0x062c
00000623: DUP5
00000624: DUP5
00000625: PUSH1 0x00
00000627: DUP6
00000628: PUSH2 0x0634
0000062b: JUMP
0000062c: JUMPDEST
0000062d: SWAP5
0000062e: SWAP4
0000062f: POP
00000630: POP
00000631: POP
00000632: POP
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x60
00000637: DUP3
00000638: SELFBALANCE
00000639: LT
0000063a: ISZERO
0000063b: PUSH2 0x0695
0000063e: JUMPI
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: PUSH3 0x461bcd
00000646: PUSH1 0xe5
00000648: SHL
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: PUSH1 0x04
0000064f: DUP3
00000650: ADD
00000651: MSTORE
00000652: PUSH1 0x26
00000654: PUSH1 0x24
00000656: DUP3
00000657: ADD
00000658: MSTORE
00000659: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000067a: PUSH1 0x44
0000067c: DUP3
0000067d: ADD
0000067e: MSTORE
0000067f: PUSH6 0x1c8818d85b1b
00000686: PUSH1 0xd2
00000688: SHL
00000689: PUSH1 0x64
0000068b: DUP3
0000068c: ADD
0000068d: MSTORE
0000068e: PUSH1 0x84
00000690: ADD
00000691: PUSH2 0x02b7
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH1 0x00
00000698: DUP1
00000699: DUP7
0000069a: PUSH1 0x01
0000069c: PUSH1 0x01
0000069e: PUSH1 0xa0
000006a0: SHL
000006a1: SUB
000006a2: AND
000006a3: DUP6
000006a4: DUP8
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: PUSH2 0x06b1
000006ab: SWAP2
000006ac: SWAP1
000006ad: PUSH2 0x0902
000006b0: JUMP
000006b1: JUMPDEST
000006b2: PUSH1 0x00
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: DUP1
000006b8: DUP4
000006b9: SUB
000006ba: DUP2
000006bb: DUP6
000006bc: DUP8
000006bd: GAS
000006be: CALL
000006bf: SWAP3
000006c0: POP
000006c1: POP
000006c2: POP
000006c3: RETURNDATASIZE
000006c4: DUP1
000006c5: PUSH1 0x00
000006c7: DUP2
000006c8: EQ
000006c9: PUSH2 0x06ee
000006cc: JUMPI
000006cd: PUSH1 0x40
000006cf: MLOAD
000006d0: SWAP2
000006d1: POP
000006d2: PUSH1 0x1f
000006d4: NOT
000006d5: PUSH1 0x3f
000006d7: RETURNDATASIZE
000006d8: ADD
000006d9: AND
000006da: DUP3
000006db: ADD
000006dc: PUSH1 0x40
000006de: MSTORE
000006df: RETURNDATASIZE
000006e0: DUP3
000006e1: MSTORE
000006e2: RETURNDATASIZE
000006e3: PUSH1 0x00
000006e5: PUSH1 0x20
000006e7: DUP5
000006e8: ADD
000006e9: RETURNDATACOPY
000006ea: PUSH2 0x06f3
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x60
000006f1: SWAP2
000006f2: POP
000006f3: JUMPDEST
000006f4: POP
000006f5: SWAP2
000006f6: POP
000006f7: SWAP2
000006f8: POP
000006f9: PUSH2 0x0704
000006fc: DUP8
000006fd: DUP4
000006fe: DUP4
000006ff: DUP8
00000700: PUSH2 0x070f
00000703: JUMP
00000704: JUMPDEST
00000705: SWAP8
00000706: SWAP7
00000707: POP
00000708: POP
00000709: POP
0000070a: POP
0000070b: POP
0000070c: POP
0000070d: POP
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x60
00000712: DUP4
00000713: ISZERO
00000714: PUSH2 0x077b
00000717: JUMPI
00000718: DUP3
00000719: MLOAD
0000071a: PUSH2 0x0774
0000071d: JUMPI
0000071e: PUSH1 0x01
00000720: PUSH1 0x01
00000722: PUSH1 0xa0
00000724: SHL
00000725: SUB
00000726: DUP6
00000727: AND
00000728: EXTCODESIZE
00000729: PUSH2 0x0774
0000072c: JUMPI
0000072d: PUSH1 0x40
0000072f: MLOAD
00000730: PUSH3 0x461bcd
00000734: PUSH1 0xe5
00000736: SHL
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: PUSH1 0x04
0000073d: DUP3
0000073e: ADD
0000073f: MSTORE
00000740: PUSH1 0x1d
00000742: PUSH1 0x24
00000744: DUP3
00000745: ADD
00000746: MSTORE
00000747: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000768: PUSH1 0x44
0000076a: DUP3
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH1 0x64
0000076f: ADD
00000770: PUSH2 0x02b7
00000773: JUMP
00000774: JUMPDEST
00000775: POP
00000776: DUP2
00000777: PUSH2 0x062c
0000077a: JUMP
0000077b: JUMPDEST
0000077c: PUSH2 0x062c
0000077f: DUP4
00000780: DUP4
00000781: DUP2
00000782: MLOAD
00000783: ISZERO
00000784: PUSH2 0x0790
00000787: JUMPI
00000788: DUP2
00000789: MLOAD
0000078a: DUP1
0000078b: DUP4
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: REVERT
00000790: JUMPDEST
00000791: DUP1
00000792: PUSH1 0x40
00000794: MLOAD
00000795: PUSH3 0x461bcd
00000799: PUSH1 0xe5
0000079b: SHL
0000079c: DUP2
0000079d: MSTORE
0000079e: PUSH1 0x04
000007a0: ADD
000007a1: PUSH2 0x02b7
000007a4: SWAP2
000007a5: SWAP1
000007a6: PUSH2 0x091e
000007a9: JUMP
000007aa: JUMPDEST
000007ab: DUP1
000007ac: CALLDATALOAD
000007ad: PUSH1 0xff
000007af: DUP2
000007b0: AND
000007b1: DUP2
000007b2: EQ
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: SWAP2
000007bd: SWAP1
000007be: POP
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH1 0x00
000007c3: PUSH1 0x20
000007c5: DUP3
000007c6: DUP5
000007c7: SUB
000007c8: SLT
000007c9: ISZERO
000007ca: PUSH2 0x07d1
000007cd: JUMPI
000007ce: DUP1
000007cf: DUP2
000007d0: REVERT
000007d1: JUMPDEST
000007d2: DUP2
000007d3: CALLDATALOAD
000007d4: PUSH2 0x07dc
000007d7: DUP2
000007d8: PUSH2 0x09a8
000007db: JUMP
000007dc: JUMPDEST
000007dd: SWAP4
000007de: SWAP3
000007df: POP
000007e0: POP
000007e1: POP
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: PUSH1 0x00
000007e9: PUSH1 0x60
000007eb: DUP5
000007ec: DUP7
000007ed: SUB
000007ee: SLT
000007ef: ISZERO
000007f0: PUSH2 0x07f7
000007f3: JUMPI
000007f4: DUP2
000007f5: DUP3
000007f6: REVERT
000007f7: JUMPDEST
000007f8: DUP4
000007f9: CALLDATALOAD
000007fa: PUSH2 0x0802
000007fd: DUP2
000007fe: PUSH2 0x09a8
00000801: JUMP
00000802: JUMPDEST
00000803: SWAP3
00000804: POP
00000805: PUSH1 0x20
00000807: DUP5
00000808: ADD
00000809: CALLDATALOAD
0000080a: SWAP2
0000080b: POP
0000080c: PUSH1 0x40
0000080e: DUP5
0000080f: ADD
00000810: CALLDATALOAD
00000811: PUSH2 0x0819
00000814: DUP2
00000815: PUSH2 0x09a8
00000818: JUMP
00000819: JUMPDEST
0000081a: DUP1
0000081b: SWAP2
0000081c: POP
0000081d: POP
0000081e: SWAP3
0000081f: POP
00000820: SWAP3
00000821: POP
00000822: SWAP3
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x00
00000827: PUSH1 0x20
00000829: DUP3
0000082a: DUP5
0000082b: SUB
0000082c: SLT
0000082d: ISZERO
0000082e: PUSH2 0x0835
00000831: JUMPI
00000832: DUP1
00000833: DUP2
00000834: REVERT
00000835: JUMPDEST
00000836: DUP2
00000837: MLOAD
00000838: DUP1
00000839: ISZERO
0000083a: ISZERO
0000083b: DUP2
0000083c: EQ
0000083d: PUSH2 0x07dc
00000840: JUMPI
00000841: DUP2
00000842: DUP3
00000843: REVERT
00000844: JUMPDEST
00000845: PUSH1 0x00
00000847: DUP1
00000848: PUSH1 0x40
0000084a: DUP4
0000084b: DUP6
0000084c: SUB
0000084d: SLT
0000084e: ISZERO
0000084f: PUSH2 0x0856
00000852: JUMPI
00000853: DUP2
00000854: DUP3
00000855: REVERT
00000856: JUMPDEST
00000857: DUP3
00000858: CALLDATALOAD
00000859: SWAP2
0000085a: POP
0000085b: PUSH1 0x20
0000085d: DUP4
0000085e: ADD
0000085f: CALLDATALOAD
00000860: PUSH2 0x0868
00000863: DUP2
00000864: PUSH2 0x09a8
00000867: JUMP
00000868: JUMPDEST
00000869: DUP1
0000086a: SWAP2
0000086b: POP
0000086c: POP
0000086d: SWAP3
0000086e: POP
0000086f: SWAP3
00000870: SWAP1
00000871: POP
00000872: JUMP
00000873: JUMPDEST
00000874: PUSH1 0x00
00000876: DUP1
00000877: PUSH1 0x00
00000879: DUP1
0000087a: PUSH1 0x00
0000087c: PUSH1 0xa0
0000087e: DUP7
0000087f: DUP9
00000880: SUB
00000881: SLT
00000882: ISZERO
00000883: PUSH2 0x088a
00000886: JUMPI
00000887: DUP1
00000888: DUP2
00000889: REVERT
0000088a: JUMPDEST
0000088b: DUP6
0000088c: CALLDATALOAD
0000088d: PUSH8 0xffffffffffffffff
00000896: DUP2
00000897: AND
00000898: DUP2
00000899: EQ
0000089a: PUSH2 0x08a1
0000089d: JUMPI
0000089e: DUP2
0000089f: DUP3
000008a0: REVERT
000008a1: JUMPDEST
000008a2: SWAP5
000008a3: POP
000008a4: PUSH1 0x20
000008a6: DUP7
000008a7: ADD
000008a8: CALLDATALOAD
000008a9: PUSH2 0x08b1
000008ac: DUP2
000008ad: PUSH2 0x09a8
000008b0: JUMP
000008b1: JUMPDEST
000008b2: SWAP4
000008b3: POP
000008b4: PUSH1 0x40
000008b6: DUP7
000008b7: ADD
000008b8: CALLDATALOAD
000008b9: SWAP3
000008ba: POP
000008bb: PUSH1 0x60
000008bd: DUP7
000008be: ADD
000008bf: CALLDATALOAD
000008c0: PUSH2 0xffff
000008c3: DUP2
000008c4: AND
000008c5: DUP2
000008c6: EQ
000008c7: PUSH2 0x08ce
000008ca: JUMPI
000008cb: DUP2
000008cc: DUP3
000008cd: REVERT
000008ce: JUMPDEST
000008cf: SWAP2
000008d0: POP
000008d1: PUSH2 0x08dc
000008d4: PUSH1 0x80
000008d6: DUP8
000008d7: ADD
000008d8: PUSH2 0x07aa
000008db: JUMP
000008dc: JUMPDEST
000008dd: SWAP1
000008de: POP
000008df: SWAP3
000008e0: SWAP6
000008e1: POP
000008e2: SWAP3
000008e3: SWAP6
000008e4: SWAP1
000008e5: SWAP4
000008e6: POP
000008e7: JUMP
000008e8: JUMPDEST
000008e9: PUSH1 0x00
000008eb: PUSH1 0x20
000008ed: DUP3
000008ee: DUP5
000008ef: SUB
000008f0: SLT
000008f1: ISZERO
000008f2: PUSH2 0x08f9
000008f5: JUMPI
000008f6: DUP1
000008f7: DUP2
000008f8: REVERT
000008f9: JUMPDEST
000008fa: PUSH2 0x07dc
000008fd: DUP3
000008fe: PUSH2 0x07aa
00000901: JUMP
00000902: JUMPDEST
00000903: PUSH1 0x00
00000905: DUP3
00000906: MLOAD
00000907: PUSH2 0x0914
0000090a: DUP2
0000090b: DUP5
0000090c: PUSH1 0x20
0000090e: DUP8
0000090f: ADD
00000910: PUSH2 0x0978
00000913: JUMP
00000914: JUMPDEST
00000915: SWAP2
00000916: SWAP1
00000917: SWAP2
00000918: ADD
00000919: SWAP3
0000091a: SWAP2
0000091b: POP
0000091c: POP
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x20
00000921: DUP2
00000922: MSTORE
00000923: PUSH1 0x00
00000925: DUP3
00000926: MLOAD
00000927: DUP1
00000928: PUSH1 0x20
0000092a: DUP5
0000092b: ADD
0000092c: MSTORE
0000092d: PUSH2 0x093d
00000930: DUP2
00000931: PUSH1 0x40
00000933: DUP6
00000934: ADD
00000935: PUSH1 0x20
00000937: DUP8
00000938: ADD
00000939: PUSH2 0x0978
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x1f
00000940: ADD
00000941: PUSH1 0x1f
00000943: NOT
00000944: AND
00000945: SWAP2
00000946: SWAP1
00000947: SWAP2
00000948: ADD
00000949: PUSH1 0x40
0000094b: ADD
0000094c: SWAP3
0000094d: SWAP2
0000094e: POP
0000094f: POP
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x20
00000954: DUP1
00000955: DUP3
00000956: MSTORE
00000957: PUSH1 0x0d
00000959: SWAP1
0000095a: DUP3
0000095b: ADD
0000095c: MSTORE
0000095d: PUSH13 0x37b7363c9037b832b930ba37b9
0000096b: PUSH1 0x99
0000096d: SHL
0000096e: PUSH1 0x40
00000970: DUP3
00000971: ADD
00000972: MSTORE
00000973: PUSH1 0x60
00000975: ADD
00000976: SWAP1
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x00
0000097b: JUMPDEST
0000097c: DUP4
0000097d: DUP2
0000097e: LT
0000097f: ISZERO
00000980: PUSH2 0x0993
00000983: JUMPI
00000984: DUP2
00000985: DUP2
00000986: ADD
00000987: MLOAD
00000988: DUP4
00000989: DUP3
0000098a: ADD
0000098b: MSTORE
0000098c: PUSH1 0x20
0000098e: ADD
0000098f: PUSH2 0x097b
00000992: JUMP
00000993: JUMPDEST
00000994: DUP4
00000995: DUP2
00000996: GT
00000997: ISZERO
00000998: PUSH2 0x09a2
0000099b: JUMPI
0000099c: PUSH1 0x00
0000099e: DUP5
0000099f: DUP5
000009a0: ADD
000009a1: MSTORE
000009a2: JUMPDEST
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH1 0x01
000009ab: PUSH1 0x01
000009ad: PUSH1 0xa0
000009af: SHL
000009b0: SUB
000009b1: DUP2
000009b2: AND
000009b3: DUP2
000009b4: EQ
000009b5: PUSH2 0x09bd
000009b8: JUMPI
000009b9: PUSH1 0x00
000009bb: DUP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: POP
000009bf: JUMP
000009c0: INVALID
000009c1: LOG2
000009c2: PUSH5 0x6970667358
000009c8: UNKNOWN(0x22)
000009c9: SLT
000009ca: KECCAK256
000009cb: UNKNOWN(0xC6)
000009cc: UNKNOWN(0xC6)
000009cd: PUSH5 0x842d558874
000009d3: CALL
000009d4: UNKNOWN(0xE2)
000009d5: DUP6
000009d6: SUB
000009d7: PUSH22 0xc6643a0a5c8a06d717d4b34c7f31046e8ac4d164736f
000009ee: PUSH13

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: 0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8
call_targets: 0xf93191d350117723dbeda5484a3b0996d285cecf
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf93191d350117723dbeda5484a3b0996d285cecf"
    ],
    "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": "0xa86b06e5",
            "selector": "0xa86b06e5",
            "calldata_variants": [
                "0xa86b06e5",
                "0xa86b06e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd1e6382",
            "selector": "0xbd1e6382",
            "calldata_variants": [
                "0xbd1e6382",
                "0xbd1e63820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc415b95c",
            "selector": "0xc415b95c",
            "calldata_variants": [
                "0xc415b95c",
                "0xc415b95c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd54e65fb",
            "selector": "0xd54e65fb",
            "calldata_variants": [
                "0xd54e65fb",
                "0xd54e65fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf2ab5bb",
            "selector": "0xdf2ab5bb",
            "calldata_variants": [
                "0xdf2ab5bb",
                "0xdf2ab5bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x02fb1eec",
            "selector": "0x02fb1eec",
            "calldata_variants": [
                "0x02fb1eec",
                "0x02fb1eec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06394c9b",
            "selector": "0x06394c9b",
            "calldata_variants": [
                "0x06394c9b",
                "0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 898,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1726,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2515,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8
call_targets: 0xf93191d350117723dbeda5484a3b0996d285cecf
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf66012bde10a9c2f29181f3a56bf917a55c3ac97afa355585c5aa2daede404a8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf93191d350117723dbeda5484a3b0996d285cecf"
    ],
    "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": "0xa86b06e5",
            "selector": "0xa86b06e5",
            "calldata_variants": [
                "0xa86b06e5",
                "0xa86b06e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd1e6382",
            "selector": "0xbd1e6382",
            "calldata_variants": [
                "0xbd1e6382",
                "0xbd1e63820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc415b95c",
            "selector": "0xc415b95c",
            "calldata_variants": [
                "0xc415b95c",
                "0xc415b95c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd54e65fb",
            "selector": "0xd54e65fb",
            "calldata_variants": [
                "0xd54e65fb",
                "0xd54e65fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf2ab5bb",
            "selector": "0xdf2ab5bb",
            "calldata_variants": [
                "0xdf2ab5bb",
                "0xdf2ab5bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x02fb1eec",
            "selector": "0x02fb1eec",
            "calldata_variants": [
                "0x02fb1eec",
                "0x02fb1eec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06394c9b",
            "selector": "0x06394c9b",
            "calldata_variants": [
                "0x06394c9b",
                "0x06394c9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 898,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1726,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2515,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}