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

Analysis Run

3da96a3f-89e7-499e-9109-2061c379e2c0

failed
Chain ID
1
Address
0xe94bf0df71002ff0165cf4dab461debc3978b0fa
Block Number
—
Created
Fri, Jan 2, 2026 10:00 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 DELEGATECALL target reachable
crit 0 high 0 proxy context implementation known
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
31358 report.consolidate complete 1 / 1 3 months ago
111146 artifact.fetch failed 1 / 3 1 week ago
111147 tool.cast_disasm complete 1 / 3 1 week ago
111148 analysis.bundle complete 1 / 3 1 week ago
111149 capability.graph complete 1 / 3 1 week ago
111150 detector.run complete 1 / 3 1 week ago
111151 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: yes
Implementation:
0xe94bf0df71002ff0165cf4dab461debc3978b0fa
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 concrete, exploitable profit path found in the provided sources.
View stderr 
[codex:1193709] OpenAI Codex v0.77.0 (research preview)
[codex:1193709] --------
[codex:1193709] workdir: /tmp/codex-multi-xdl3nd9v
[codex:1193709] model: gpt-5.2-codex
[codex:1193709] provider: openai
[codex:1193709] approval: never
[codex:1193709] sandbox: read-only
[codex:1193709] reasoning effort: xhigh
[codex:1193709] reasoning summaries: auto
[codex:1193709] session id: 019b80ba-0af6-76f2-834b-d8f7624cd197
[codex:1193709] --------
[codex:1193709] user
[codex:1193709] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1193709] 
[codex:1193709] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1193709] 
[codex:1193709] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1193709] - Gas inefficiency, code quality, naming, or best practices
[codex:1193709] - Theoretical vulnerabilities without a clear extraction path
[codex:1193709] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1193709] - Front-running unless it enables theft beyond MEV
[codex:1193709] - DoS, griefing, or issues that don't result in attacker profit
[codex:1193709] - Missing events, view function issues, or informational findings
[codex:1193709] 
[codex:1193709] HIGH-VALUE PATTERNS TO HUNT:
[codex:1193709] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1193709] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1193709] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1193709] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1193709] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1193709] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1193709] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1193709] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1193709] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1193709] 
[codex:1193709] For each finding, you MUST provide:
[codex:1193709] 1. Exact file and line numbers of vulnerable code
[codex:1193709] 2. Step-by-step exploit transaction sequence
[codex:1193709] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1193709] 
[codex:1193709] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1193709] 
[codex:1193709] Output MUST be valid JSON matching the provided schema.
[codex:1193709] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1193709] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1193709] mcp startup: no servers
[codex:1193709] 
[codex:1193709] thinking
[codex:1193709] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1193709] exec
[codex:1193709] /bin/bash -lc ls in /tmp/codex-multi-xdl3nd9v succeeded in 5ms:
[codex:1193709] AUDIT_BUNDLE.txt
[codex:1193709] codex-output-schema.json
[codex:1193709] contracts
[codex:1193709] exec
[codex:1193709] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-xdl3nd9v succeeded in 5ms:
[codex:1193709] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1193709] 
[codex:1193709] ================================================================================
[codex:1193709] FILE: contracts/src/EtherFiRewardsRouter.sol
[codex:1193709] ================================================================================
[codex:1193709] pragma solidity ^0.8.24;
[codex:1193709] 
[codex:1193709] import "@openzeppelin-upgradeable/contracts/access/OwnableUpgradeable.sol";
[codex:1193709] import "@openzeppelin-upgradeable/contracts/proxy/utils/UUPSUpgradeable.sol";
[codex:1193709] import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1193709] import "@openzeppelin/contracts/token/ERC721/IERC721.sol";
[codex:1193709] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1193709] 
[codex:1193709] import "./RoleRegistry.sol";
[codex:1193709] 
[codex:1193709] contract EtherFiRewardsRouter is OwnableUpgradeable, UUPSUpgradeable  {
[codex:1193709]     using SafeERC20 for IERC20;
[codex:1193709] 
[codex:1193709]     address public immutable treasury;
[codex:1193709]     address public immutable liquidityPool;
[codex:1193709] 
[codex:1193709] thinking
[codex:1193709] **Continuing to read AUDIT_BUNDLE**
[codex:1193709] exec
[codex:1193709] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-xdl3nd9v succeeded in 5ms:
[codex:1193709] 
[codex:1193709] 
[codex:1193709] thinking
[codex:1193709] **Analyzing contract for exploit paths**
[codex:1193709] codex
[codex:1193709] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources.","findings":[]}
[codex:1193709] tokens used
[codex:1193709] 7,544
[codex:1193709] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-02T22:00:57.168796+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
5
Total opcodes
2842
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00e7
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x8129fc1c
00000018: GT
00000019: PUSH2 0x0087
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xaaf10f42
00000023: GT
00000024: PUSH2 0x0057
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xaaf10f42
0000002e: EQ
0000002f: PUSH2 0x02b6
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xcfe44f6e
00000039: EQ
0000003a: PUSH2 0x02ca
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf22de062
00000044: EQ
00000045: PUSH2 0x02fd
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2fde38b
0000004f: EQ
00000050: PUSH2 0x0311
00000053: JUMPI
00000054: PUSH0
00000055: DUP1
00000056: REVERT
00000057: JUMPDEST
00000058: DUP1
00000059: PUSH4 0x8129fc1c
0000005e: EQ
0000005f: PUSH2 0x0247
00000062: JUMPI
00000063: DUP1
00000064: PUSH4 0x819d4cc6
00000069: EQ
0000006a: PUSH2 0x025b
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0x8980f11f
00000074: EQ
00000075: PUSH2 0x027a
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0x8da5cb5b
0000007f: EQ
00000080: PUSH2 0x0299
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0x52d1902d
0000008e: GT
0000008f: PUSH2 0x00c2
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x52d1902d
00000099: EQ
0000009a: PUSH2 0x01ab
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x61d027b3
000000a4: EQ
000000a5: PUSH2 0x01cd
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x665a11ca
000000af: EQ
000000b0: PUSH2 0x0200
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x715018a6
000000ba: EQ
000000bb: PUSH2 0x0233
000000be: JUMPI
000000bf: PUSH0
000000c0: DUP1
000000c1: REVERT
000000c2: JUMPDEST
000000c3: DUP1
000000c4: PUSH4 0x08c73259
000000c9: EQ
000000ca: PUSH2 0x0127
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x3659cfe6
000000d4: EQ
000000d5: PUSH2 0x0177
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x4f1ef286
000000df: EQ
000000e0: PUSH2 0x0198
000000e3: JUMPI
000000e4: PUSH0
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: CALLDATASIZE
000000e9: PUSH2 0x0123
000000ec: JUMPI
000000ed: PUSH1 0x40
000000ef: MLOAD
000000f0: CALLVALUE
000000f1: DUP2
000000f2: MSTORE
000000f3: CALLER
000000f4: SWAP1
000000f5: PUSH32 0x85177f287940f2f05425a4029951af0e047a7f9c4eaa9a6e6917bcd869f86695
00000116: SWAP1
00000117: PUSH1 0x20
00000119: ADD
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: DUP1
0000011e: SWAP2
0000011f: SUB
00000120: SWAP1
00000121: LOG2
00000122: STOP
00000123: JUMPDEST
00000124: PUSH0
00000125: DUP1
00000126: REVERT
00000127: JUMPDEST
00000128: CALLVALUE
00000129: DUP1
0000012a: ISZERO
0000012b: PUSH2 0x0132
0000012e: JUMPI
0000012f: PUSH0
00000130: DUP1
00000131: REVERT
00000132: JUMPDEST
00000133: POP
00000134: PUSH2 0x015a
00000137: PUSH32 0x00000000000000000000000062247d29b4b9becf4bb73e0c722cf6445cfc7ce9
00000158: DUP2
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: MLOAD
0000015e: PUSH1 0x01
00000160: PUSH1 0x01
00000162: PUSH1 0xa0
00000164: SHL
00000165: SUB
00000166: SWAP1
00000167: SWAP2
00000168: AND
00000169: DUP2
0000016a: MSTORE
0000016b: PUSH1 0x20
0000016d: ADD
0000016e: JUMPDEST
0000016f: PUSH1 0x40
00000171: MLOAD
00000172: DUP1
00000173: SWAP2
00000174: SUB
00000175: SWAP1
00000176: RETURN
00000177: JUMPDEST
00000178: CALLVALUE
00000179: DUP1
0000017a: ISZERO
0000017b: PUSH2 0x0182
0000017e: JUMPI
0000017f: PUSH0
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: PUSH2 0x0196
00000187: PUSH2 0x0191
0000018a: CALLDATASIZE
0000018b: PUSH1 0x04
0000018d: PUSH2 0x1768
00000190: JUMP
00000191: JUMPDEST
00000192: PUSH2 0x0330
00000195: JUMP
00000196: JUMPDEST
00000197: STOP
00000198: JUMPDEST
00000199: PUSH2 0x0196
0000019c: PUSH2 0x01a6
0000019f: CALLDATASIZE
000001a0: PUSH1 0x04
000001a2: PUSH2 0x17ae
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH2 0x04d1
000001aa: JUMP
000001ab: JUMPDEST
000001ac: CALLVALUE
000001ad: DUP1
000001ae: ISZERO
000001af: PUSH2 0x01b6
000001b2: JUMPI
000001b3: PUSH0
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: POP
000001b8: PUSH2 0x01bf
000001bb: PUSH2 0x065f
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH1 0x40
000001c2: MLOAD
000001c3: SWAP1
000001c4: DUP2
000001c5: MSTORE
000001c6: PUSH1 0x20
000001c8: ADD
000001c9: PUSH2 0x016e
000001cc: JUMP
000001cd: JUMPDEST
000001ce: CALLVALUE
000001cf: DUP1
000001d0: ISZERO
000001d1: PUSH2 0x01d8
000001d4: JUMPI
000001d5: PUSH0
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x015a
000001dd: PUSH32 0x0000000000000000000000000c83eae1fe72c390a02e426572854931eeff93ba
000001fe: DUP2
000001ff: JUMP
00000200: JUMPDEST
00000201: CALLVALUE
00000202: DUP1
00000203: ISZERO
00000204: PUSH2 0x020b
00000207: JUMPI
00000208: PUSH0
00000209: DUP1
0000020a: REVERT
0000020b: JUMPDEST
0000020c: POP
0000020d: PUSH2 0x015a
00000210: PUSH32 0x000000000000000000000000308861a430be4cce5502d0a12724771fc6daf216
00000231: DUP2
00000232: JUMP
00000233: JUMPDEST
00000234: CALLVALUE
00000235: DUP1
00000236: ISZERO
00000237: PUSH2 0x023e
0000023a: JUMPI
0000023b: PUSH0
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: POP
00000240: PUSH2 0x0196
00000243: PUSH2 0x0723
00000246: JUMP
00000247: JUMPDEST
00000248: CALLVALUE
00000249: DUP1
0000024a: ISZERO
0000024b: PUSH2 0x0252
0000024e: JUMPI
0000024f: PUSH0
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x0196
00000257: PUSH2 0x0736
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0266
00000262: JUMPI
00000263: PUSH0
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x0196
0000026b: PUSH2 0x0275
0000026e: CALLDATASIZE
0000026f: PUSH1 0x04
00000271: PUSH2 0x186a
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x0875
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0285
00000281: JUMPI
00000282: PUSH0
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x0196
0000028a: PUSH2 0x0294
0000028d: CALLDATASIZE
0000028e: PUSH1 0x04
00000290: PUSH2 0x186a
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0a51
00000298: JUMP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a4
000002a0: JUMPI
000002a1: PUSH0
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH1 0x33
000002a8: SLOAD
000002a9: PUSH1 0x01
000002ab: PUSH1 0x01
000002ad: PUSH1 0xa0
000002af: SHL
000002b0: SUB
000002b1: AND
000002b2: PUSH2 0x015a
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c1
000002bd: JUMPI
000002be: PUSH0
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH2 0x015a
000002c6: PUSH2 0x0bbd
000002c9: JUMP
000002ca: JUMPDEST
000002cb: CALLVALUE
000002cc: DUP1
000002cd: ISZERO
000002ce: PUSH2 0x02d5
000002d1: JUMPI
000002d2: PUSH0
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x01bf
000002da: PUSH32 0x45dab652f6af38e394e24f46b5cac6c2825acb3d0b2d490b914660c6095274da
000002fb: DUP2
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0308
00000304: JUMPI
00000305: PUSH0
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0196
0000030d: PUSH2 0x0bf4
00000310: JUMP
00000311: JUMPDEST
00000312: CALLVALUE
00000313: DUP1
00000314: ISZERO
00000315: PUSH2 0x031c
00000318: JUMPI
00000319: PUSH0
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0196
00000321: PUSH2 0x032b
00000324: CALLDATASIZE
00000325: PUSH1 0x04
00000327: PUSH2 0x1768
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH2 0x0d5e
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH1 0x01
00000333: PUSH1 0x01
00000335: PUSH1 0xa0
00000337: SHL
00000338: SUB
00000339: PUSH32 0x000000000000000000000000e94bf0df71002ff0165cf4dab461debc3978b0fa
0000035a: AND
0000035b: ADDRESS
0000035c: SUB
0000035d: PUSH2 0x03d3
00000360: JUMPI
00000361: PUSH1 0x40
00000363: MLOAD
00000364: PUSH3 0x461bcd
00000368: PUSH1 0xe5
0000036a: SHL
0000036b: DUP2
0000036c: MSTORE
0000036d: PUSH1 0x20
0000036f: PUSH1 0x04
00000371: DUP3
00000372: ADD
00000373: MSTORE
00000374: PUSH1 0x2c
00000376: PUSH1 0x24
00000378: DUP3
00000379: ADD
0000037a: MSTORE
0000037b: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
0000039c: PUSH1 0x44
0000039e: DUP3
0000039f: ADD
000003a0: MSTORE
000003a1: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000
000003c2: PUSH1 0x64
000003c4: DUP3
000003c5: ADD
000003c6: MSTORE
000003c7: PUSH1 0x84
000003c9: ADD
000003ca: JUMPDEST
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: DUP1
000003cf: SWAP2
000003d0: SUB
000003d1: SWAP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: PUSH32 0x000000000000000000000000e94bf0df71002ff0165cf4dab461debc3978b0fa
000003f5: PUSH1 0x01
000003f7: PUSH1 0x01
000003f9: PUSH1 0xa0
000003fb: SHL
000003fc: SUB
000003fd: AND
000003fe: PUSH2 0x042e
00000401: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000422: SLOAD
00000423: PUSH1 0x01
00000425: PUSH1 0x01
00000427: PUSH1 0xa0
00000429: SHL
0000042a: SUB
0000042b: AND
0000042c: SWAP1
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x01
00000431: PUSH1 0x01
00000433: PUSH1 0xa0
00000435: SHL
00000436: SUB
00000437: AND
00000438: EQ
00000439: PUSH2 0x04aa
0000043c: JUMPI
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: PUSH3 0x461bcd
00000444: PUSH1 0xe5
00000446: SHL
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x20
0000044b: PUSH1 0x04
0000044d: DUP3
0000044e: ADD
0000044f: MSTORE
00000450: PUSH1 0x2c
00000452: PUSH1 0x24
00000454: DUP3
00000455: ADD
00000456: MSTORE
00000457: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
00000478: PUSH1 0x44
0000047a: DUP3
0000047b: ADD
0000047c: MSTORE
0000047d: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000
0000049e: PUSH1 0x64
000004a0: DUP3
000004a1: ADD
000004a2: MSTORE
000004a3: PUSH1 0x84
000004a5: ADD
000004a6: PUSH2 0x03ca
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH2 0x04b3
000004ae: DUP2
000004af: PUSH2 0x0deb
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH1 0x40
000004b6: DUP1
000004b7: MLOAD
000004b8: PUSH0
000004b9: DUP1
000004ba: DUP3
000004bb: MSTORE
000004bc: PUSH1 0x20
000004be: DUP3
000004bf: ADD
000004c0: SWAP1
000004c1: SWAP3
000004c2: MSTORE
000004c3: PUSH2 0x04ce
000004c6: SWAP2
000004c7: DUP4
000004c8: SWAP2
000004c9: SWAP1
000004ca: PUSH2 0x0df3
000004cd: JUMP
000004ce: JUMPDEST
000004cf: POP
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH1 0x01
000004d4: PUSH1 0x01
000004d6: PUSH1 0xa0
000004d8: SHL
000004d9: SUB
000004da: PUSH32 0x000000000000000000000000e94bf0df71002ff0165cf4dab461debc3978b0fa
000004fb: AND
000004fc: ADDRESS
000004fd: SUB
000004fe: PUSH2 0x056f
00000501: JUMPI
00000502: PUSH1 0x40
00000504: MLOAD
00000505: PUSH3 0x461bcd
00000509: PUSH1 0xe5
0000050b: SHL
0000050c: DUP2
0000050d: MSTORE
0000050e: PUSH1 0x20
00000510: PUSH1 0x04
00000512: DUP3
00000513: ADD
00000514: MSTORE
00000515: PUSH1 0x2c
00000517: PUSH1 0x24
00000519: DUP3
0000051a: ADD
0000051b: MSTORE
0000051c: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
0000053d: PUSH1 0x44
0000053f: DUP3
00000540: ADD
00000541: MSTORE
00000542: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000
00000563: PUSH1 0x64
00000565: DUP3
00000566: ADD
00000567: MSTORE
00000568: PUSH1 0x84
0000056a: ADD
0000056b: PUSH2 0x03ca
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH32 0x000000000000000000000000e94bf0df71002ff0165cf4dab461debc3978b0fa
00000591: PUSH1 0x01
00000593: PUSH1 0x01
00000595: PUSH1 0xa0
00000597: SHL
00000598: SUB
00000599: AND
0000059a: PUSH2 0x05ca
0000059d: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000005be: SLOAD
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: AND
000005c8: SWAP1
000005c9: JUMP
000005ca: JUMPDEST
000005cb: PUSH1 0x01
000005cd: PUSH1 0x01
000005cf: PUSH1 0xa0
000005d1: SHL
000005d2: SUB
000005d3: AND
000005d4: EQ
000005d5: PUSH2 0x0646
000005d8: JUMPI
000005d9: PUSH1 0x40
000005db: MLOAD
000005dc: PUSH3 0x461bcd
000005e0: PUSH1 0xe5
000005e2: SHL
000005e3: DUP2
000005e4: MSTORE
000005e5: PUSH1 0x20
000005e7: PUSH1 0x04
000005e9: DUP3
000005ea: ADD
000005eb: MSTORE
000005ec: PUSH1 0x2c
000005ee: PUSH1 0x24
000005f0: DUP3
000005f1: ADD
000005f2: MSTORE
000005f3: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
00000614: PUSH1 0x44
00000616: DUP3
00000617: ADD
00000618: MSTORE
00000619: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000
0000063a: PUSH1 0x64
0000063c: DUP3
0000063d: ADD
0000063e: MSTORE
0000063f: PUSH1 0x84
00000641: ADD
00000642: PUSH2 0x03ca
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH2 0x064f
0000064a: DUP3
0000064b: PUSH2 0x0deb
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH2 0x065b
00000653: DUP3
00000654: DUP3
00000655: PUSH1 0x01
00000657: PUSH2 0x0df3
0000065a: JUMP
0000065b: JUMPDEST
0000065c: POP
0000065d: POP
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH0
00000661: ADDRESS
00000662: PUSH1 0x01
00000664: PUSH1 0x01
00000666: PUSH1 0xa0
00000668: SHL
00000669: SUB
0000066a: PUSH32 0x000000000000000000000000e94bf0df71002ff0165cf4dab461debc3978b0fa
0000068b: AND
0000068c: EQ
0000068d: PUSH2 0x06fe
00000690: JUMPI
00000691: PUSH1 0x40
00000693: MLOAD
00000694: PUSH3 0x461bcd
00000698: PUSH1 0xe5
0000069a: SHL
0000069b: DUP2
0000069c: MSTORE
0000069d: PUSH1 0x20
0000069f: PUSH1 0x04
000006a1: DUP3
000006a2: ADD
000006a3: MSTORE
000006a4: PUSH1 0x38
000006a6: PUSH1 0x24
000006a8: DUP3
000006a9: ADD
000006aa: MSTORE
000006ab: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c
000006cc: PUSH1 0x44
000006ce: DUP3
000006cf: ADD
000006d0: MSTORE
000006d1: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000
000006f2: PUSH1 0x64
000006f4: DUP3
000006f5: ADD
000006f6: MSTORE
000006f7: PUSH1 0x84
000006f9: ADD
000006fa: PUSH2 0x03ca
000006fd: JUMP
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000721: SWAP1
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH2 0x072b
00000727: PUSH2 0x0f98
0000072a: JUMP
0000072b: JUMPDEST
0000072c: PUSH2 0x0734
0000072f: PUSH0
00000730: PUSH2 0x0ff2
00000733: JUMP
00000734: JUMPDEST
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH0
00000738: SLOAD
00000739: PUSH2 0x0100
0000073c: SWAP1
0000073d: DIV
0000073e: PUSH1 0xff
00000740: AND
00000741: ISZERO
00000742: DUP1
00000743: DUP1
00000744: ISZERO
00000745: PUSH2 0x0754
00000748: JUMPI
00000749: POP
0000074a: PUSH0
0000074b: SLOAD
0000074c: PUSH1 0x01
0000074e: PUSH1 0xff
00000750: SWAP1
00000751: SWAP2
00000752: AND
00000753: LT
00000754: JUMPDEST
00000755: DUP1
00000756: PUSH2 0x076d
00000759: JUMPI
0000075a: POP
0000075b: ADDRESS
0000075c: EXTCODESIZE
0000075d: ISZERO
0000075e: DUP1
0000075f: ISZERO
00000760: PUSH2 0x076d
00000763: JUMPI
00000764: POP
00000765: PUSH0
00000766: SLOAD
00000767: PUSH1 0xff
00000769: AND
0000076a: PUSH1 0x01
0000076c: EQ
0000076d: JUMPDEST
0000076e: PUSH2 0x07df
00000771: JUMPI
00000772: PUSH1 0x40
00000774: MLOAD
00000775: PUSH3 0x461bcd
00000779: PUSH1 0xe5
0000077b: SHL
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x20
00000780: PUSH1 0x04
00000782: DUP3
00000783: ADD
00000784: MSTORE
00000785: PUSH1 0x2e
00000787: PUSH1 0x24
00000789: DUP3
0000078a: ADD
0000078b: MSTORE
0000078c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000007ad: PUSH1 0x44
000007af: DUP3
000007b0: ADD
000007b1: MSTORE
000007b2: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
000007d3: PUSH1 0x64
000007d5: DUP3
000007d6: ADD
000007d7: MSTORE
000007d8: PUSH1 0x84
000007da: ADD
000007db: PUSH2 0x03ca
000007de: JUMP
000007df: JUMPDEST
000007e0: PUSH0
000007e1: DUP1
000007e2: SLOAD
000007e3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000804: AND
00000805: PUSH1 0x01
00000807: OR
00000808: SWAP1
00000809: SSTORE
0000080a: DUP1
0000080b: ISZERO
0000080c: PUSH2 0x081e
0000080f: JUMPI
00000810: PUSH0
00000811: DUP1
00000812: SLOAD
00000813: PUSH2 0xff00
00000816: NOT
00000817: AND
00000818: PUSH2 0x0100
0000081b: OR
0000081c: SWAP1
0000081d: SSTORE
0000081e: JUMPDEST
0000081f: PUSH2 0x0826
00000822: PUSH2 0x105b
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH2 0x082e
0000082a: PUSH2 0x10df
0000082d: JUMP
0000082e: JUMPDEST
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x04ce
00000834: JUMPI
00000835: PUSH0
00000836: DUP1
00000837: SLOAD
00000838: PUSH2 0xff00
0000083b: NOT
0000083c: AND
0000083d: SWAP1
0000083e: SSTORE
0000083f: PUSH1 0x40
00000841: MLOAD
00000842: PUSH1 0x01
00000844: DUP2
00000845: MSTORE
00000846: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000867: SWAP1
00000868: PUSH1 0x20
0000086a: ADD
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP1
0000086f: SWAP2
00000870: SUB
00000871: SWAP1
00000872: LOG1
00000873: POP
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x40
00000878: MLOAD
00000879: PUSH32 0x91d1485400000000000000000000000000000000000000000000000000000000
0000089a: DUP2
0000089b: MSTORE
0000089c: PUSH32 0x45dab652f6af38e394e24f46b5cac6c2825acb3d0b2d490b914660c6095274da
000008bd: PUSH1 0x04
000008bf: DUP3
000008c0: ADD
000008c1: MSTORE
000008c2: CALLER
000008c3: PUSH1 0x24
000008c5: DUP3
000008c6: ADD
000008c7: MSTORE
000008c8: PUSH32 0x00000000000000000000000062247d29b4b9becf4bb73e0c722cf6445cfc7ce9
000008e9: PUSH1 0x01
000008eb: PUSH1 0x01
000008ed: PUSH1 0xa0
000008ef: SHL
000008f0: SUB
000008f1: AND
000008f2: SWAP1
000008f3: PUSH4 0x91d14854
000008f8: SWAP1
000008f9: PUSH1 0x44
000008fb: ADD
000008fc: PUSH1 0x20
000008fe: PUSH1 0x40
00000900: MLOAD
00000901: DUP1
00000902: DUP4
00000903: SUB
00000904: DUP2
00000905: DUP7
00000906: GAS
00000907: STATICCALL
00000908: ISZERO
00000909: DUP1
0000090a: ISZERO
0000090b: PUSH2 0x0916
0000090e: JUMPI
0000090f: RETURNDATASIZE
00000910: PUSH0
00000911: DUP1
00000912: RETURNDATACOPY
00000913: RETURNDATASIZE
00000914: PUSH0
00000915: REVERT
00000916: JUMPDEST
00000917: POP
00000918: POP
00000919: POP
0000091a: POP
0000091b: PUSH1 0x40
0000091d: MLOAD
0000091e: RETURNDATASIZE
0000091f: PUSH1 0x1f
00000921: NOT
00000922: PUSH1 0x1f
00000924: DUP3
00000925: ADD
00000926: AND
00000927: DUP3
00000928: ADD
00000929: DUP1
0000092a: PUSH1 0x40
0000092c: MSTORE
0000092d: POP
0000092e: DUP2
0000092f: ADD
00000930: SWAP1
00000931: PUSH2 0x093a
00000934: SWAP2
00000935: SWAP1
00000936: PUSH2 0x1892
00000939: JUMP
0000093a: JUMPDEST
0000093b: PUSH2 0x0970
0000093e: JUMPI
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: PUSH32 0x209296a300000000000000000000000000000000000000000000000000000000
00000963: DUP2
00000964: MSTORE
00000965: PUSH1 0x04
00000967: ADD
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: DUP1
0000096c: SWAP2
0000096d: SUB
0000096e: SWAP1
0000096f: REVERT
00000970: JUMPDEST
00000971: PUSH1 0x40
00000973: MLOAD
00000974: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00000995: DUP2
00000996: MSTORE
00000997: ADDRESS
00000998: PUSH1 0x04
0000099a: DUP3
0000099b: ADD
0000099c: MSTORE
0000099d: PUSH1 0x01
0000099f: PUSH1 0x01
000009a1: PUSH1 0xa0
000009a3: SHL
000009a4: SUB
000009a5: PUSH32 0x0000000000000000000000000c83eae1fe72c390a02e426572854931eeff93ba
000009c6: DUP2
000009c7: AND
000009c8: PUSH1 0x24
000009ca: DUP4
000009cb: ADD
000009cc: MSTORE
000009cd: PUSH1 0x44
000009cf: DUP3
000009d0: ADD
000009d1: DUP4
000009d2: SWAP1
000009d3: MSTORE
000009d4: DUP4
000009d5: AND
000009d6: SWAP1
000009d7: PUSH4 0x23b872dd
000009dc: SWAP1
000009dd: PUSH1 0x64
000009df: ADD
000009e0: PUSH0
000009e1: PUSH1 0x40
000009e3: MLOAD
000009e4: DUP1
000009e5: DUP4
000009e6: SUB
000009e7: DUP2
000009e8: PUSH0
000009e9: DUP8
000009ea: DUP1
000009eb: EXTCODESIZE
000009ec: ISZERO
000009ed: DUP1
000009ee: ISZERO
000009ef: PUSH2 0x09f6
000009f2: JUMPI
000009f3: PUSH0
000009f4: DUP1
000009f5: REVERT
000009f6: JUMPDEST
000009f7: POP
000009f8: GAS
000009f9: CALL
000009fa: ISZERO
000009fb: DUP1
000009fc: ISZERO
000009fd: PUSH2 0x0a08
00000a00: JUMPI
00000a01: RETURNDATASIZE
00000a02: PUSH0
00000a03: DUP1
00000a04: RETURNDATACOPY
00000a05: RETURNDATASIZE
00000a06: PUSH0
00000a07: REVERT
00000a08: JUMPDEST
00000a09: POP
00000a0a: POP
00000a0b: PUSH1 0x40
00000a0d: MLOAD
00000a0e: DUP4
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x01
00000a13: PUSH1 0x01
00000a15: PUSH1 0xa0
00000a17: SHL
00000a18: SUB
00000a19: DUP6
00000a1a: AND
00000a1b: SWAP3
00000a1c: POP
00000a1d: CALLER
00000a1e: SWAP2
00000a1f: POP
00000a20: PUSH32 0x1dd9d0e4dd41f752f95f4b2afd5efa83c4df52e747165d1f1bd60b71fced269c
00000a41: SWAP1
00000a42: PUSH1 0x20
00000a44: ADD
00000a45: JUMPDEST
00000a46: PUSH1 0x40
00000a48: MLOAD
00000a49: DUP1
00000a4a: SWAP2
00000a4b: SUB
00000a4c: SWAP1
00000a4d: LOG3
00000a4e: POP
00000a4f: POP
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH1 0x40
00000a54: MLOAD
00000a55: PUSH32 0x91d1485400000000000000000000000000000000000000000000000000000000
00000a76: DUP2
00000a77: MSTORE
00000a78: PUSH32 0x45dab652f6af38e394e24f46b5cac6c2825acb3d0b2d490b914660c6095274da
00000a99: PUSH1 0x04
00000a9b: DUP3
00000a9c: ADD
00000a9d: MSTORE
00000a9e: CALLER
00000a9f: PUSH1 0x24
00000aa1: DUP3
00000aa2: ADD
00000aa3: MSTORE
00000aa4: PUSH32 0x00000000000000000000000062247d29b4b9becf4bb73e0c722cf6445cfc7ce9
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0xa0
00000acb: SHL
00000acc: SUB
00000acd: AND
00000ace: SWAP1
00000acf: PUSH4 0x91d14854
00000ad4: SWAP1
00000ad5: PUSH1 0x44
00000ad7: ADD
00000ad8: PUSH1 0x20
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP1
00000ade: DUP4
00000adf: SUB
00000ae0: DUP2
00000ae1: DUP7
00000ae2: GAS
00000ae3: STATICCALL
00000ae4: ISZERO
00000ae5: DUP1
00000ae6: ISZERO
00000ae7: PUSH2 0x0af2
00000aea: JUMPI
00000aeb: RETURNDATASIZE
00000aec: PUSH0
00000aed: DUP1
00000aee: RETURNDATACOPY
00000aef: RETURNDATASIZE
00000af0: PUSH0
00000af1: REVERT
00000af2: JUMPDEST
00000af3: POP
00000af4: POP
00000af5: POP
00000af6: POP
00000af7: PUSH1 0x40
00000af9: MLOAD
00000afa: RETURNDATASIZE
00000afb: PUSH1 0x1f
00000afd: NOT
00000afe: PUSH1 0x1f
00000b00: DUP3
00000b01: ADD
00000b02: AND
00000b03: DUP3
00000b04: ADD
00000b05: DUP1
00000b06: PUSH1 0x40
00000b08: MSTORE
00000b09: POP
00000b0a: DUP2
00000b0b: ADD
00000b0c: SWAP1
00000b0d: PUSH2 0x0b16
00000b10: SWAP2
00000b11: SWAP1
00000b12: PUSH2 0x1892
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH2 0x0b4c
00000b1a: JUMPI
00000b1b: PUSH1 0x40
00000b1d: MLOAD
00000b1e: PUSH32 0x209296a300000000000000000000000000000000000000000000000000000000
00000b3f: DUP2
00000b40: MSTORE
00000b41: PUSH1 0x04
00000b43: ADD
00000b44: PUSH1 0x40
00000b46: MLOAD
00000b47: DUP1
00000b48: SWAP2
00000b49: SUB
00000b4a: SWAP1
00000b4b: REVERT
00000b4c: JUMPDEST
00000b4d: PUSH2 0x0b80
00000b50: PUSH1 0x01
00000b52: PUSH1 0x01
00000b54: PUSH1 0xa0
00000b56: SHL
00000b57: SUB
00000b58: DUP4
00000b59: AND
00000b5a: PUSH32 0x0000000000000000000000000c83eae1fe72c390a02e426572854931eeff93ba
00000b7b: DUP4
00000b7c: PUSH2 0x115b
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: DUP2
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x01
00000b89: PUSH1 0x01
00000b8b: PUSH1 0xa0
00000b8d: SHL
00000b8e: SUB
00000b8f: DUP4
00000b90: AND
00000b91: SWAP1
00000b92: CALLER
00000b93: SWAP1
00000b94: PUSH32 0xe44c5e8198c63fb6fe0c0183db9bdcb65e434d9b1adaf9dfef67a1947e328ba0
00000bb5: SWAP1
00000bb6: PUSH1 0x20
00000bb8: ADD
00000bb9: PUSH2 0x0a45
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH0
00000bbf: PUSH2 0x0bef
00000bc2: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000be3: SLOAD
00000be4: PUSH1 0x01
00000be6: PUSH1 0x01
00000be8: PUSH1 0xa0
00000bea: SHL
00000beb: SUB
00000bec: AND
00000bed: SWAP1
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: SWAP1
00000bf1: POP
00000bf2: SWAP1
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: SELFBALANCE
00000bf6: DUP1
00000bf7: PUSH2 0x0c42
00000bfa: JUMPI
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: PUSH3 0x461bcd
00000c02: PUSH1 0xe5
00000c04: SHL
00000c05: DUP2
00000c06: MSTORE
00000c07: PUSH1 0x20
00000c09: PUSH1 0x04
00000c0b: DUP3
00000c0c: ADD
00000c0d: MSTORE
00000c0e: PUSH1 0x18
00000c10: PUSH1 0x24
00000c12: DUP3
00000c13: ADD
00000c14: MSTORE
00000c15: PUSH32 0x436f6e74726163742062616c616e6365206973207a65726f0000000000000000
00000c36: PUSH1 0x44
00000c38: DUP3
00000c39: ADD
00000c3a: MSTORE
00000c3b: PUSH1 0x64
00000c3d: ADD
00000c3e: PUSH2 0x03ca
00000c41: JUMP
00000c42: JUMPDEST
00000c43: PUSH0
00000c44: PUSH32 0x000000000000000000000000308861a430be4cce5502d0a12724771fc6daf216
00000c65: PUSH1 0x01
00000c67: PUSH1 0x01
00000c69: PUSH1 0xa0
00000c6b: SHL
00000c6c: SUB
00000c6d: AND
00000c6e: DUP3
00000c6f: PUSH1 0x40
00000c71: MLOAD
00000c72: PUSH0
00000c73: PUSH1 0x40
00000c75: MLOAD
00000c76: DUP1
00000c77: DUP4
00000c78: SUB
00000c79: DUP2
00000c7a: DUP6
00000c7b: DUP8
00000c7c: GAS
00000c7d: CALL
00000c7e: SWAP3
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: RETURNDATASIZE
00000c83: DUP1
00000c84: PUSH0
00000c85: DUP2
00000c86: EQ
00000c87: PUSH2 0x0cab
00000c8a: JUMPI
00000c8b: PUSH1 0x40
00000c8d: MLOAD
00000c8e: SWAP2
00000c8f: POP
00000c90: PUSH1 0x1f
00000c92: NOT
00000c93: PUSH1 0x3f
00000c95: RETURNDATASIZE
00000c96: ADD
00000c97: AND
00000c98: DUP3
00000c99: ADD
00000c9a: PUSH1 0x40
00000c9c: MSTORE
00000c9d: RETURNDATASIZE
00000c9e: DUP3
00000c9f: MSTORE
00000ca0: RETURNDATASIZE
00000ca1: PUSH0
00000ca2: PUSH1 0x20
00000ca4: DUP5
00000ca5: ADD
00000ca6: RETURNDATACOPY
00000ca7: PUSH2 0x0cb0
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH1 0x60
00000cae: SWAP2
00000caf: POP
00000cb0: JUMPDEST
00000cb1: POP
00000cb2: POP
00000cb3: SWAP1
00000cb4: POP
00000cb5: DUP1
00000cb6: PUSH2 0x0d01
00000cb9: JUMPI
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: PUSH3 0x461bcd
00000cc1: PUSH1 0xe5
00000cc3: SHL
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x20
00000cc8: PUSH1 0x04
00000cca: DUP3
00000ccb: ADD
00000ccc: MSTORE
00000ccd: PUSH1 0x0f
00000ccf: PUSH1 0x24
00000cd1: DUP3
00000cd2: ADD
00000cd3: MSTORE
00000cd4: PUSH32 0x5452414e534645525f4641494c45440000000000000000000000000000000000
00000cf5: PUSH1 0x44
00000cf7: DUP3
00000cf8: ADD
00000cf9: MSTORE
00000cfa: PUSH1 0x64
00000cfc: ADD
00000cfd: PUSH2 0x03ca
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: DUP3
00000d06: DUP2
00000d07: MSTORE
00000d08: PUSH1 0x01
00000d0a: PUSH1 0x01
00000d0c: PUSH1 0xa0
00000d0e: SHL
00000d0f: SUB
00000d10: PUSH32 0x000000000000000000000000308861a430be4cce5502d0a12724771fc6daf216
00000d31: AND
00000d32: SWAP1
00000d33: ADDRESS
00000d34: SWAP1
00000d35: PUSH32 0xca3a24d155af841a817f7f643338faccb74b7c930ce1a2698d66dc42c3041dd6
00000d56: SWAP1
00000d57: PUSH1 0x20
00000d59: ADD
00000d5a: PUSH2 0x0a45
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH2 0x0d66
00000d62: PUSH2 0x0f98
00000d65: JUMP
00000d66: JUMPDEST
00000d67: PUSH1 0x01
00000d69: PUSH1 0x01
00000d6b: PUSH1 0xa0
00000d6d: SHL
00000d6e: SUB
00000d6f: DUP2
00000d70: AND
00000d71: PUSH2 0x0de2
00000d74: JUMPI
00000d75: PUSH1 0x40
00000d77: MLOAD
00000d78: PUSH3 0x461bcd
00000d7c: PUSH1 0xe5
00000d7e: SHL
00000d7f: DUP2
00000d80: MSTORE
00000d81: PUSH1 0x20
00000d83: PUSH1 0x04
00000d85: DUP3
00000d86: ADD
00000d87: MSTORE
00000d88: PUSH1 0x26
00000d8a: PUSH1 0x24
00000d8c: DUP3
00000d8d: ADD
00000d8e: MSTORE
00000d8f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000db0: PUSH1 0x44
00000db2: DUP3
00000db3: ADD
00000db4: MSTORE
00000db5: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000dd6: PUSH1 0x64
00000dd8: DUP3
00000dd9: ADD
00000dda: MSTORE
00000ddb: PUSH1 0x84
00000ddd: ADD
00000dde: PUSH2 0x03ca
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x04ce
00000de6: DUP2
00000de7: PUSH2 0x0ff2
00000dea: JUMP
00000deb: JUMPDEST
00000dec: PUSH2 0x04ce
00000def: PUSH2 0x0f98
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143
00000e15: SLOAD
00000e16: PUSH1 0xff
00000e18: AND
00000e19: ISZERO
00000e1a: PUSH2 0x0e2b
00000e1d: JUMPI
00000e1e: PUSH2 0x0e26
00000e21: DUP4
00000e22: PUSH2 0x11db
00000e25: JUMP
00000e26: JUMPDEST
00000e27: POP
00000e28: POP
00000e29: POP
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: DUP3
00000e2d: PUSH1 0x01
00000e2f: PUSH1 0x01
00000e31: PUSH1 0xa0
00000e33: SHL
00000e34: SUB
00000e35: AND
00000e36: PUSH4 0x52d1902d
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: DUP2
00000e3f: PUSH4 0xffffffff
00000e44: AND
00000e45: PUSH1 0xe0
00000e47: SHL
00000e48: DUP2
00000e49: MSTORE
00000e4a: PUSH1 0x04
00000e4c: ADD
00000e4d: PUSH1 0x20
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: DUP1
00000e53: DUP4
00000e54: SUB
00000e55: DUP2
00000e56: DUP7
00000e57: GAS
00000e58: STATICCALL
00000e59: SWAP3
00000e5a: POP
00000e5b: POP
00000e5c: POP
00000e5d: DUP1
00000e5e: ISZERO
00000e5f: PUSH2 0x0e85
00000e62: JUMPI
00000e63: POP
00000e64: PUSH1 0x40
00000e66: DUP1
00000e67: MLOAD
00000e68: PUSH1 0x1f
00000e6a: RETURNDATASIZE
00000e6b: SWAP1
00000e6c: DUP2
00000e6d: ADD
00000e6e: PUSH1 0x1f
00000e70: NOT
00000e71: AND
00000e72: DUP3
00000e73: ADD
00000e74: SWAP1
00000e75: SWAP3
00000e76: MSTORE
00000e77: PUSH2 0x0e82
00000e7a: SWAP2
00000e7b: DUP2
00000e7c: ADD
00000e7d: SWAP1
00000e7e: PUSH2 0x18b1
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x01
00000e85: JUMPDEST
00000e86: PUSH2 0x0ef7
00000e89: JUMPI
00000e8a: PUSH1 0x40
00000e8c: MLOAD
00000e8d: PUSH3 0x461bcd
00000e91: PUSH1 0xe5
00000e93: SHL
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x20
00000e98: PUSH1 0x04
00000e9a: DUP3
00000e9b: ADD
00000e9c: MSTORE
00000e9d: PUSH1 0x2e
00000e9f: PUSH1 0x24
00000ea1: DUP3
00000ea2: ADD
00000ea3: MSTORE
00000ea4: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469
00000ec5: PUSH1 0x44
00000ec7: DUP3
00000ec8: ADD
00000ec9: MSTORE
00000eca: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000
00000eeb: PUSH1 0x64
00000eed: DUP3
00000eee: ADD
00000eef: MSTORE
00000ef0: PUSH1 0x84
00000ef2: ADD
00000ef3: PUSH2 0x03ca
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000f19: DUP2
00000f1a: EQ
00000f1b: PUSH2 0x0f8c
00000f1e: JUMPI
00000f1f: PUSH1 0x40
00000f21: MLOAD
00000f22: PUSH3 0x461bcd
00000f26: PUSH1 0xe5
00000f28: SHL
00000f29: DUP2
00000f2a: MSTORE
00000f2b: PUSH1 0x20
00000f2d: PUSH1 0x04
00000f2f: DUP3
00000f30: ADD
00000f31: MSTORE
00000f32: PUSH1 0x29
00000f34: PUSH1 0x24
00000f36: DUP3
00000f37: ADD
00000f38: MSTORE
00000f39: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78
00000f5a: PUSH1 0x44
00000f5c: DUP3
00000f5d: ADD
00000f5e: MSTORE
00000f5f: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000
00000f80: PUSH1 0x64
00000f82: DUP3
00000f83: ADD
00000f84: MSTORE
00000f85: PUSH1 0x84
00000f87: ADD
00000f88: PUSH2 0x03ca
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: POP
00000f8e: PUSH2 0x0e26
00000f91: DUP4
00000f92: DUP4
00000f93: DUP4
00000f94: PUSH2 0x12b1
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH1 0x33
00000f9b: SLOAD
00000f9c: PUSH1 0x01
00000f9e: PUSH1 0x01
00000fa0: PUSH1 0xa0
00000fa2: SHL
00000fa3: SUB
00000fa4: AND
00000fa5: CALLER
00000fa6: EQ
00000fa7: PUSH2 0x0734
00000faa: JUMPI
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: PUSH3 0x461bcd
00000fb2: PUSH1 0xe5
00000fb4: SHL
00000fb5: DUP2
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: PUSH1 0x04
00000fbb: DUP3
00000fbc: ADD
00000fbd: DUP2
00000fbe: SWAP1
00000fbf: MSTORE
00000fc0: PUSH1 0x24
00000fc2: DUP3
00000fc3: ADD
00000fc4: MSTORE
00000fc5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000fe6: PUSH1 0x44
00000fe8: DUP3
00000fe9: ADD
00000fea: MSTORE
00000feb: PUSH1 0x64
00000fed: ADD
00000fee: PUSH2 0x03ca
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x33
00000ff5: DUP1
00000ff6: SLOAD
00000ff7: PUSH1 0x01
00000ff9: PUSH1 0x01
00000ffb: PUSH1 0xa0
00000ffd: SHL
00000ffe: SUB
00000fff: DUP4
00001000: DUP2
00001001: AND
00001002: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001023: DUP4
00001024: AND
00001025: DUP2
00001026: OR
00001027: SWAP1
00001028: SWAP4
00001029: SSTORE
0000102a: PUSH1 0x40
0000102c: MLOAD
0000102d: SWAP2
0000102e: AND
0000102f: SWAP2
00001030: SWAP1
00001031: DUP3
00001032: SWAP1
00001033: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001054: SWAP1
00001055: PUSH0
00001056: SWAP1
00001057: LOG3
00001058: POP
00001059: POP
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH0
0000105d: SLOAD
0000105e: PUSH2 0x0100
00001061: SWAP1
00001062: DIV
00001063: PUSH1 0xff
00001065: AND
00001066: PUSH2 0x10d7
00001069: JUMPI
0000106a: PUSH1 0x40
0000106c: MLOAD
0000106d: PUSH3 0x461bcd
00001071: PUSH1 0xe5
00001073: SHL
00001074: DUP2
00001075: MSTORE
00001076: PUSH1 0x20
00001078: PUSH1 0x04
0000107a: DUP3
0000107b: ADD
0000107c: MSTORE
0000107d: PUSH1 0x2b
0000107f: PUSH1 0x24
00001081: DUP3
00001082: ADD
00001083: MSTORE
00001084: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000010a5: PUSH1 0x44
000010a7: DUP3
000010a8: ADD
000010a9: MSTORE
000010aa: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
000010cb: PUSH1 0x64
000010cd: DUP3
000010ce: ADD
000010cf: MSTORE
000010d0: PUSH1 0x84
000010d2: ADD
000010d3: PUSH2 0x03ca
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH2 0x0734
000010db: PUSH2 0x12db
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH0
000010e1: SLOAD
000010e2: PUSH2 0x0100
000010e5: SWAP1
000010e6: DIV
000010e7: PUSH1 0xff
000010e9: AND
000010ea: PUSH2 0x0734
000010ed: JUMPI
000010ee: PUSH1 0x40
000010f0: MLOAD
000010f1: PUSH3 0x461bcd
000010f5: PUSH1 0xe5
000010f7: SHL
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x20
000010fc: PUSH1 0x04
000010fe: DUP3
000010ff: ADD
00001100: MSTORE
00001101: PUSH1 0x2b
00001103: PUSH1 0x24
00001105: DUP3
00001106: ADD
00001107: MSTORE
00001108: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001129: PUSH1 0x44
0000112b: DUP3
0000112c: ADD
0000112d: MSTORE
0000112e: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
0000114f: PUSH1 0x64
00001151: DUP3
00001152: ADD
00001153: MSTORE
00001154: PUSH1 0x84
00001156: ADD
00001157: PUSH2 0x03ca
0000115a: JUMP
0000115b: JUMPDEST
0000115c: PUSH1 0x40
0000115e: DUP1
0000115f: MLOAD
00001160: PUSH1 0x01
00001162: PUSH1 0x01
00001164: PUSH1 0xa0
00001166: SHL
00001167: SUB
00001168: DUP5
00001169: AND
0000116a: PUSH1 0x24
0000116c: DUP3
0000116d: ADD
0000116e: MSTORE
0000116f: PUSH1 0x44
00001171: DUP1
00001172: DUP3
00001173: ADD
00001174: DUP5
00001175: SWAP1
00001176: MSTORE
00001177: DUP3
00001178: MLOAD
00001179: DUP1
0000117a: DUP4
0000117b: SUB
0000117c: SWAP1
0000117d: SWAP2
0000117e: ADD
0000117f: DUP2
00001180: MSTORE
00001181: PUSH1 0x64
00001183: SWAP1
00001184: SWAP2
00001185: ADD
00001186: SWAP1
00001187: SWAP2
00001188: MSTORE
00001189: PUSH1 0x20
0000118b: DUP2
0000118c: ADD
0000118d: DUP1
0000118e: MLOAD
0000118f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000011ac: AND
000011ad: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000011ce: OR
000011cf: SWAP1
000011d0: MSTORE
000011d1: PUSH2 0x0e26
000011d4: SWAP1
000011d5: DUP5
000011d6: SWAP1
000011d7: PUSH2 0x1360
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x01
000011de: PUSH1 0x01
000011e0: PUSH1 0xa0
000011e2: SHL
000011e3: SUB
000011e4: DUP2
000011e5: AND
000011e6: EXTCODESIZE
000011e7: PUSH2 0x1258
000011ea: JUMPI
000011eb: PUSH1 0x40
000011ed: MLOAD
000011ee: PUSH3 0x461bcd
000011f2: PUSH1 0xe5
000011f4: SHL
000011f5: DUP2
000011f6: MSTORE
000011f7: PUSH1 0x20
000011f9: PUSH1 0x04
000011fb: DUP3
000011fc: ADD
000011fd: MSTORE
000011fe: PUSH1 0x2d
00001200: PUSH1 0x24
00001202: DUP3
00001203: ADD
00001204: MSTORE
00001205: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
00001226: PUSH1 0x44
00001228: DUP3
00001229: ADD
0000122a: MSTORE
0000122b: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000
0000124c: PUSH1 0x64
0000124e: DUP3
0000124f: ADD
00001250: MSTORE
00001251: PUSH1 0x84
00001253: ADD
00001254: PUSH2 0x03ca
00001257: JUMP
00001258: JUMPDEST
00001259: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
0000127a: DUP1
0000127b: SLOAD
0000127c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000129d: AND
0000129e: PUSH1 0x01
000012a0: PUSH1 0x01
000012a2: PUSH1 0xa0
000012a4: SHL
000012a5: SUB
000012a6: SWAP3
000012a7: SWAP1
000012a8: SWAP3
000012a9: AND
000012aa: SWAP2
000012ab: SWAP1
000012ac: SWAP2
000012ad: OR
000012ae: SWAP1
000012af: SSTORE
000012b0: JUMP
000012b1: JUMPDEST
000012b2: PUSH2 0x12ba
000012b5: DUP4
000012b6: PUSH2 0x1444
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH0
000012bc: DUP3
000012bd: MLOAD
000012be: GT
000012bf: DUP1
000012c0: PUSH2 0x12c6
000012c3: JUMPI
000012c4: POP
000012c5: DUP1
000012c6: JUMPDEST
000012c7: ISZERO
000012c8: PUSH2 0x0e26
000012cb: JUMPI
000012cc: PUSH2 0x12d5
000012cf: DUP4
000012d0: DUP4
000012d1: PUSH2 0x1483
000012d4: JUMP
000012d5: JUMPDEST
000012d6: POP
000012d7: POP
000012d8: POP
000012d9: POP
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH0
000012dd: SLOAD
000012de: PUSH2 0x0100
000012e1: SWAP1
000012e2: DIV
000012e3: PUSH1 0xff
000012e5: AND
000012e6: PUSH2 0x1357
000012e9: JUMPI
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: PUSH3 0x461bcd
000012f1: PUSH1 0xe5
000012f3: SHL
000012f4: DUP2
000012f5: MSTORE
000012f6: PUSH1 0x20
000012f8: PUSH1 0x04
000012fa: DUP3
000012fb: ADD
000012fc: MSTORE
000012fd: PUSH1 0x2b
000012ff: PUSH1 0x24
00001301: DUP3
00001302: ADD
00001303: MSTORE
00001304: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001325: PUSH1 0x44
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
0000134b: PUSH1 0x64
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: PUSH1 0x84
00001352: ADD
00001353: PUSH2 0x03ca
00001356: JUMP
00001357: JUMPDEST
00001358: PUSH2 0x0734
0000135b: CALLER
0000135c: PUSH2 0x0ff2
0000135f: JUMP
00001360: JUMPDEST
00001361: PUSH0
00001362: PUSH2 0x13b4
00001365: DUP3
00001366: PUSH1 0x40
00001368: MLOAD
00001369: DUP1
0000136a: PUSH1 0x40
0000136c: ADD
0000136d: PUSH1 0x40
0000136f: MSTORE
00001370: DUP1
00001371: PUSH1 0x20
00001373: DUP2
00001374: MSTORE
00001375: PUSH1 0x20
00001377: ADD
00001378: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001399: DUP2
0000139a: MSTORE
0000139b: POP
0000139c: DUP6
0000139d: PUSH1 0x01
0000139f: PUSH1 0x01
000013a1: PUSH1 0xa0
000013a3: SHL
000013a4: SUB
000013a5: AND
000013a6: PUSH2 0x158a
000013a9: SWAP1
000013aa: SWAP3
000013ab: SWAP2
000013ac: SWAP1
000013ad: PUSH4 0xffffffff
000013b2: AND
000013b3: JUMP
000013b4: JUMPDEST
000013b5: DUP1
000013b6: MLOAD
000013b7: SWAP1
000013b8: SWAP2
000013b9: POP
000013ba: ISZERO
000013bb: PUSH2 0x0e26
000013be: JUMPI
000013bf: DUP1
000013c0: DUP1
000013c1: PUSH1 0x20
000013c3: ADD
000013c4: SWAP1
000013c5: MLOAD
000013c6: DUP2
000013c7: ADD
000013c8: SWAP1
000013c9: PUSH2 0x13d2
000013cc: SWAP2
000013cd: SWAP1
000013ce: PUSH2 0x1892
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x0e26
000013d6: JUMPI
000013d7: PUSH1 0x40
000013d9: MLOAD
000013da: PUSH3 0x461bcd
000013de: PUSH1 0xe5
000013e0: SHL
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x20
000013e5: PUSH1 0x04
000013e7: DUP3
000013e8: ADD
000013e9: MSTORE
000013ea: PUSH1 0x2a
000013ec: PUSH1 0x24
000013ee: DUP3
000013ef: ADD
000013f0: MSTORE
000013f1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001412: PUSH1 0x44
00001414: DUP3
00001415: ADD
00001416: MSTORE
00001417: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001438: PUSH1 0x64
0000143a: DUP3
0000143b: ADD
0000143c: MSTORE
0000143d: PUSH1 0x84
0000143f: ADD
00001440: PUSH2 0x03ca
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH2 0x144d
00001448: DUP2
00001449: PUSH2 0x11db
0000144c: JUMP
0000144d: JUMPDEST
0000144e: PUSH1 0x40
00001450: MLOAD
00001451: PUSH1 0x01
00001453: PUSH1 0x01
00001455: PUSH1 0xa0
00001457: SHL
00001458: SUB
00001459: DUP3
0000145a: AND
0000145b: SWAP1
0000145c: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
0000147d: SWAP1
0000147e: PUSH0
0000147f: SWAP1
00001480: LOG2
00001481: POP
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x60
00001486: PUSH1 0x01
00001488: PUSH1 0x01
0000148a: PUSH1 0xa0
0000148c: SHL
0000148d: SUB
0000148e: DUP4
0000148f: AND
00001490: EXTCODESIZE
00001491: PUSH2 0x1502
00001494: JUMPI
00001495: PUSH1 0x40
00001497: MLOAD
00001498: PUSH3 0x461bcd
0000149c: PUSH1 0xe5
0000149e: SHL
0000149f: DUP2
000014a0: MSTORE
000014a1: PUSH1 0x20
000014a3: PUSH1 0x04
000014a5: DUP3
000014a6: ADD
000014a7: MSTORE
000014a8: PUSH1 0x26
000014aa: PUSH1 0x24
000014ac: DUP3
000014ad: ADD
000014ae: MSTORE
000014af: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f
000014d0: PUSH1 0x44
000014d2: DUP3
000014d3: ADD
000014d4: MSTORE
000014d5: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000
000014f6: PUSH1 0x64
000014f8: DUP3
000014f9: ADD
000014fa: MSTORE
000014fb: PUSH1 0x84
000014fd: ADD
000014fe: PUSH2 0x03ca
00001501: JUMP
00001502: JUMPDEST
00001503: PUSH0
00001504: DUP1
00001505: DUP5
00001506: PUSH1 0x01
00001508: PUSH1 0x01
0000150a: PUSH1 0xa0
0000150c: SHL
0000150d: SUB
0000150e: AND
0000150f: DUP5
00001510: PUSH1 0x40
00001512: MLOAD
00001513: PUSH2 0x151c
00001516: SWAP2
00001517: SWAP1
00001518: PUSH2 0x18ea
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH0
0000151e: PUSH1 0x40
00001520: MLOAD
00001521: DUP1
00001522: DUP4
00001523: SUB
00001524: DUP2
00001525: DUP6
00001526: GAS
00001527: DELEGATECALL
00001528: SWAP2
00001529: POP
0000152a: POP
0000152b: RETURNDATASIZE
0000152c: DUP1
0000152d: PUSH0
0000152e: DUP2
0000152f: EQ
00001530: PUSH2 0x1554
00001533: JUMPI
00001534: PUSH1 0x40
00001536: MLOAD
00001537: SWAP2
00001538: POP
00001539: PUSH1 0x1f
0000153b: NOT
0000153c: PUSH1 0x3f
0000153e: RETURNDATASIZE
0000153f: ADD
00001540: AND
00001541: DUP3
00001542: ADD
00001543: PUSH1 0x40
00001545: MSTORE
00001546: RETURNDATASIZE
00001547: DUP3
00001548: MSTORE
00001549: RETURNDATASIZE
0000154a: PUSH0
0000154b: PUSH1 0x20
0000154d: DUP5
0000154e: ADD
0000154f: RETURNDATACOPY
00001550: PUSH2 0x1559
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x60
00001557: SWAP2
00001558: POP
00001559: JUMPDEST
0000155a: POP
0000155b: SWAP2
0000155c: POP
0000155d: SWAP2
0000155e: POP
0000155f: PUSH2 0x1581
00001562: DUP3
00001563: DUP3
00001564: PUSH1 0x40
00001566: MLOAD
00001567: DUP1
00001568: PUSH1 0x60
0000156a: ADD
0000156b: PUSH1 0x40
0000156d: MSTORE
0000156e: DUP1
0000156f: PUSH1 0x27
00001571: DUP2
00001572: MSTORE
00001573: PUSH1 0x20
00001575: ADD
00001576: PUSH2 0x1938
00001579: PUSH1 0x27
0000157b: SWAP2
0000157c: CODECOPY
0000157d: PUSH2 0x15a2
00001580: JUMP
00001581: JUMPDEST
00001582: SWAP6
00001583: SWAP5
00001584: POP
00001585: POP
00001586: POP
00001587: POP
00001588: POP
00001589: JUMP
0000158a: JUMPDEST
0000158b: PUSH1 0x60
0000158d: PUSH2 0x1598
00001590: DUP5
00001591: DUP5
00001592: PUSH0
00001593: DUP6
00001594: PUSH2 0x15bb
00001597: JUMP
00001598: JUMPDEST
00001599: SWAP1
0000159a: POP
0000159b: JUMPDEST
0000159c: SWAP4
0000159d: SWAP3
0000159e: POP
0000159f: POP
000015a0: POP
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x60
000015a5: DUP4
000015a6: ISZERO
000015a7: PUSH2 0x15b1
000015aa: JUMPI
000015ab: POP
000015ac: DUP2
000015ad: PUSH2 0x159b
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH2 0x159b
000015b5: DUP4
000015b6: DUP4
000015b7: PUSH2 0x16ab
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH1 0x60
000015be: DUP3
000015bf: SELFBALANCE
000015c0: LT
000015c1: ISZERO
000015c2: PUSH2 0x1633
000015c5: JUMPI
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: PUSH3 0x461bcd
000015cd: PUSH1 0xe5
000015cf: SHL
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: PUSH1 0x04
000015d6: DUP3
000015d7: ADD
000015d8: MSTORE
000015d9: PUSH1 0x26
000015db: PUSH1 0x24
000015dd: DUP3
000015de: ADD
000015df: MSTORE
000015e0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001601: PUSH1 0x44
00001603: DUP3
00001604: ADD
00001605: MSTORE
00001606: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00001627: PUSH1 0x64
00001629: DUP3
0000162a: ADD
0000162b: MSTORE
0000162c: PUSH1 0x84
0000162e: ADD
0000162f: PUSH2 0x03ca
00001632: JUMP
00001633: JUMPDEST
00001634: PUSH0
00001635: DUP1
00001636: DUP7
00001637: PUSH1 0x01
00001639: PUSH1 0x01
0000163b: PUSH1 0xa0
0000163d: SHL
0000163e: SUB
0000163f: AND
00001640: DUP6
00001641: DUP8
00001642: PUSH1 0x40
00001644: MLOAD
00001645: PUSH2 0x164e
00001648: SWAP2
00001649: SWAP1
0000164a: PUSH2 0x18ea
0000164d: JUMP
0000164e: JUMPDEST
0000164f: PUSH0
00001650: PUSH1 0x40
00001652: MLOAD
00001653: DUP1
00001654: DUP4
00001655: SUB
00001656: DUP2
00001657: DUP6
00001658: DUP8
00001659: GAS
0000165a: CALL
0000165b: SWAP3
0000165c: POP
0000165d: POP
0000165e: POP
0000165f: RETURNDATASIZE
00001660: DUP1
00001661: PUSH0
00001662: DUP2
00001663: EQ
00001664: PUSH2 0x1688
00001667: JUMPI
00001668: PUSH1 0x40
0000166a: MLOAD
0000166b: SWAP2
0000166c: POP
0000166d: PUSH1 0x1f
0000166f: NOT
00001670: PUSH1 0x3f
00001672: RETURNDATASIZE
00001673: ADD
00001674: AND
00001675: DUP3
00001676: ADD
00001677: PUSH1 0x40
00001679: MSTORE
0000167a: RETURNDATASIZE
0000167b: DUP3
0000167c: MSTORE
0000167d: RETURNDATASIZE
0000167e: PUSH0
0000167f: PUSH1 0x20
00001681: DUP5
00001682: ADD
00001683: RETURNDATACOPY
00001684: PUSH2 0x168d
00001687: JUMP
00001688: JUMPDEST
00001689: PUSH1 0x60
0000168b: SWAP2
0000168c: POP
0000168d: JUMPDEST
0000168e: POP
0000168f: SWAP2
00001690: POP
00001691: SWAP2
00001692: POP
00001693: PUSH2 0x169e
00001696: DUP8
00001697: DUP4
00001698: DUP4
00001699: DUP8
0000169a: PUSH2 0x16d5
0000169d: JUMP
0000169e: JUMPDEST
0000169f: SWAP3
000016a0: POP
000016a1: POP
000016a2: POP
000016a3: JUMPDEST
000016a4: SWAP5
000016a5: SWAP4
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: JUMP
000016ab: JUMPDEST
000016ac: DUP2
000016ad: MLOAD
000016ae: ISZERO
000016af: PUSH2 0x16bb
000016b2: JUMPI
000016b3: DUP2
000016b4: MLOAD
000016b5: DUP1
000016b6: DUP4
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: REVERT
000016bb: JUMPDEST
000016bc: DUP1
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: PUSH3 0x461bcd
000016c4: PUSH1 0xe5
000016c6: SHL
000016c7: DUP2
000016c8: MSTORE
000016c9: PUSH1 0x04
000016cb: ADD
000016cc: PUSH2 0x03ca
000016cf: SWAP2
000016d0: SWAP1
000016d1: PUSH2 0x1905
000016d4: JUMP
000016d5: JUMPDEST
000016d6: PUSH1 0x60
000016d8: DUP4
000016d9: ISZERO
000016da: PUSH2 0x1743
000016dd: JUMPI
000016de: DUP3
000016df: MLOAD
000016e0: PUSH0
000016e1: SUB
000016e2: PUSH2 0x173c
000016e5: JUMPI
000016e6: PUSH1 0x01
000016e8: PUSH1 0x01
000016ea: PUSH1 0xa0
000016ec: SHL
000016ed: SUB
000016ee: DUP6
000016ef: AND
000016f0: EXTCODESIZE
000016f1: PUSH2 0x173c
000016f4: JUMPI
000016f5: PUSH1 0x40
000016f7: MLOAD
000016f8: PUSH3 0x461bcd
000016fc: PUSH1 0xe5
000016fe: SHL
000016ff: DUP2
00001700: MSTORE
00001701: PUSH1 0x20
00001703: PUSH1 0x04
00001705: DUP3
00001706: ADD
00001707: MSTORE
00001708: PUSH1 0x1d
0000170a: PUSH1 0x24
0000170c: DUP3
0000170d: ADD
0000170e: MSTORE
0000170f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001730: PUSH1 0x44
00001732: DUP3
00001733: ADD
00001734: MSTORE
00001735: PUSH1 0x64
00001737: ADD
00001738: PUSH2 0x03ca
0000173b: JUMP
0000173c: JUMPDEST
0000173d: POP
0000173e: DUP2
0000173f: PUSH2 0x16a3
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH2 0x16a3
00001747: DUP4
00001748: DUP4
00001749: PUSH2 0x16ab
0000174c: JUMP
0000174d: JUMPDEST
0000174e: DUP1
0000174f: CALLDATALOAD
00001750: PUSH1 0x01
00001752: PUSH1 0x01
00001754: PUSH1 0xa0
00001756: SHL
00001757: SUB
00001758: DUP2
00001759: AND
0000175a: DUP2
0000175b: EQ
0000175c: PUSH2 0x1763
0000175f: JUMPI
00001760: PUSH0
00001761: DUP1
00001762: REVERT
00001763: JUMPDEST
00001764: SWAP2
00001765: SWAP1
00001766: POP
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH0
0000176a: PUSH1 0x20
0000176c: DUP3
0000176d: DUP5
0000176e: SUB
0000176f: SLT
00001770: ISZERO
00001771: PUSH2 0x1778
00001774: JUMPI
00001775: PUSH0
00001776: DUP1
00001777: REVERT
00001778: JUMPDEST
00001779: PUSH2 0x159b
0000177c: DUP3
0000177d: PUSH2 0x174d
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000017a3: PUSH0
000017a4: MSTORE
000017a5: PUSH1 0x41
000017a7: PUSH1 0x04
000017a9: MSTORE
000017aa: PUSH1 0x24
000017ac: PUSH0
000017ad: REVERT
000017ae: JUMPDEST
000017af: PUSH0
000017b0: DUP1
000017b1: PUSH1 0x40
000017b3: DUP4
000017b4: DUP6
000017b5: SUB
000017b6: SLT
000017b7: ISZERO
000017b8: PUSH2 0x17bf
000017bb: JUMPI
000017bc: PUSH0
000017bd: DUP1
000017be: REVERT
000017bf: JUMPDEST
000017c0: PUSH2 0x17c8
000017c3: DUP4
000017c4: PUSH2 0x174d
000017c7: JUMP
000017c8: JUMPDEST
000017c9: SWAP2
000017ca: POP
000017cb: PUSH1 0x20
000017cd: DUP4
000017ce: ADD
000017cf: CALLDATALOAD
000017d0: PUSH8 0xffffffffffffffff
000017d9: DUP1
000017da: DUP3
000017db: GT
000017dc: ISZERO
000017dd: PUSH2 0x17e4
000017e0: JUMPI
000017e1: PUSH0
000017e2: DUP1
000017e3: REVERT
000017e4: JUMPDEST
000017e5: DUP2
000017e6: DUP6
000017e7: ADD
000017e8: SWAP2
000017e9: POP
000017ea: DUP6
000017eb: PUSH1 0x1f
000017ed: DUP4
000017ee: ADD
000017ef: SLT
000017f0: PUSH2 0x17f7
000017f3: JUMPI
000017f4: PUSH0
000017f5: DUP1
000017f6: REVERT
000017f7: JUMPDEST
000017f8: DUP2
000017f9: CALLDATALOAD
000017fa: DUP2
000017fb: DUP2
000017fc: GT
000017fd: ISZERO
000017fe: PUSH2 0x1809
00001801: JUMPI
00001802: PUSH2 0x1809
00001805: PUSH2 0x1781
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x40
0000180c: MLOAD
0000180d: PUSH1 0x1f
0000180f: DUP3
00001810: ADD
00001811: PUSH1 0x1f
00001813: NOT
00001814: SWAP1
00001815: DUP2
00001816: AND
00001817: PUSH1 0x3f
00001819: ADD
0000181a: AND
0000181b: DUP2
0000181c: ADD
0000181d: SWAP1
0000181e: DUP4
0000181f: DUP3
00001820: GT
00001821: DUP2
00001822: DUP4
00001823: LT
00001824: OR
00001825: ISZERO
00001826: PUSH2 0x1831
00001829: JUMPI
0000182a: PUSH2 0x1831
0000182d: PUSH2 0x1781
00001830: JUMP
00001831: JUMPDEST
00001832: DUP2
00001833: PUSH1 0x40
00001835: MSTORE
00001836: DUP3
00001837: DUP2
00001838: MSTORE
00001839: DUP9
0000183a: PUSH1 0x20
0000183c: DUP5
0000183d: DUP8
0000183e: ADD
0000183f: ADD
00001840: GT
00001841: ISZERO
00001842: PUSH2 0x1849
00001845: JUMPI
00001846: PUSH0
00001847: DUP1
00001848: REVERT
00001849: JUMPDEST
0000184a: DUP3
0000184b: PUSH1 0x20
0000184d: DUP7
0000184e: ADD
0000184f: PUSH1 0x20
00001851: DUP4
00001852: ADD
00001853: CALLDATACOPY
00001854: PUSH0
00001855: PUSH1 0x20
00001857: DUP5
00001858: DUP4
00001859: ADD
0000185a: ADD
0000185b: MSTORE
0000185c: DUP1
0000185d: SWAP6
0000185e: POP
0000185f: POP
00001860: POP
00001861: POP
00001862: POP
00001863: POP
00001864: SWAP3
00001865: POP
00001866: SWAP3
00001867: SWAP1
00001868: POP
00001869: JUMP
0000186a: JUMPDEST
0000186b: PUSH0
0000186c: DUP1
0000186d: PUSH1 0x40
0000186f: DUP4
00001870: DUP6
00001871: SUB
00001872: SLT
00001873: ISZERO
00001874: PUSH2 0x187b
00001877: JUMPI
00001878: PUSH0
00001879: DUP1
0000187a: REVERT
0000187b: JUMPDEST
0000187c: PUSH2 0x1884
0000187f: DUP4
00001880: PUSH2 0x174d
00001883: JUMP
00001884: JUMPDEST
00001885: SWAP5
00001886: PUSH1 0x20
00001888: SWAP4
00001889: SWAP1
0000188a: SWAP4
0000188b: ADD
0000188c: CALLDATALOAD
0000188d: SWAP4
0000188e: POP
0000188f: POP
00001890: POP
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH0
00001894: PUSH1 0x20
00001896: DUP3
00001897: DUP5
00001898: SUB
00001899: SLT
0000189a: ISZERO
0000189b: PUSH2 0x18a2
0000189e: JUMPI
0000189f: PUSH0
000018a0: DUP1
000018a1: REVERT
000018a2: JUMPDEST
000018a3: DUP2
000018a4: MLOAD
000018a5: DUP1
000018a6: ISZERO
000018a7: ISZERO
000018a8: DUP2
000018a9: EQ
000018aa: PUSH2 0x159b
000018ad: JUMPI
000018ae: PUSH0
000018af: DUP1
000018b0: REVERT
000018b1: JUMPDEST
000018b2: PUSH0
000018b3: PUSH1 0x20
000018b5: DUP3
000018b6: DUP5
000018b7: SUB
000018b8: SLT
000018b9: ISZERO
000018ba: PUSH2 0x18c1
000018bd: JUMPI
000018be: PUSH0
000018bf: DUP1
000018c0: REVERT
000018c1: JUMPDEST
000018c2: POP
000018c3: MLOAD
000018c4: SWAP2
000018c5: SWAP1
000018c6: POP
000018c7: JUMP
000018c8: JUMPDEST
000018c9: PUSH0
000018ca: JUMPDEST
000018cb: DUP4
000018cc: DUP2
000018cd: LT
000018ce: ISZERO
000018cf: PUSH2 0x18e2
000018d2: JUMPI
000018d3: DUP2
000018d4: DUP2
000018d5: ADD
000018d6: MLOAD
000018d7: DUP4
000018d8: DUP3
000018d9: ADD
000018da: MSTORE
000018db: PUSH1 0x20
000018dd: ADD
000018de: PUSH2 0x18ca
000018e1: JUMP
000018e2: JUMPDEST
000018e3: POP
000018e4: POP
000018e5: PUSH0
000018e6: SWAP2
000018e7: ADD
000018e8: MSTORE
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH0
000018ec: DUP3
000018ed: MLOAD
000018ee: PUSH2 0x18fb
000018f1: DUP2
000018f2: DUP5
000018f3: PUSH1 0x20
000018f5: DUP8
000018f6: ADD
000018f7: PUSH2 0x18c8
000018fa: JUMP
000018fb: JUMPDEST
000018fc: SWAP2
000018fd: SWAP1
000018fe: SWAP2
000018ff: ADD
00001900: SWAP3
00001901: SWAP2
00001902: POP
00001903: POP
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH1 0x20
00001908: DUP2
00001909: MSTORE
0000190a: PUSH0
0000190b: DUP3
0000190c: MLOAD
0000190d: DUP1
0000190e: PUSH1 0x20
00001910: DUP5
00001911: ADD
00001912: MSTORE
00001913: PUSH2 0x1923
00001916: DUP2
00001917: PUSH1 0x40
00001919: DUP6
0000191a: ADD
0000191b: PUSH1 0x20
0000191d: DUP8
0000191e: ADD
0000191f: PUSH2 0x18c8
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH1 0x1f
00001926: ADD
00001927: PUSH1 0x1f
00001929: NOT
0000192a: AND
0000192b: SWAP2
0000192c: SWAP1
0000192d: SWAP2
0000192e: ADD
0000192f: PUSH1 0x40
00001931: ADD
00001932: SWAP3
00001933: SWAP2
00001934: POP
00001935: POP
00001936: JUMP
00001937: INVALID
00001938: COINBASE
00001939: PUSH5 0x6472657373
0000193f: GASPRICE
00001940: KECCAK256
00001941: PUSH13 0x6f772d6c6576656c2064656c65
0000194f: PUSH8 0x6174652063616c6c
00001958: KECCAK256
00001959: PUSH7 0x61696c6564a164
00001961: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0xf7eac0e9a952eac6cf3de49d76f1cf4ea198cb17f10f8c9f1c2ea0aa99f6b650
call_targets: 0x3a75019f8b09c278d152279d446c97d009e064f3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 63,
    "trace_id": "0xf7eac0e9a952eac6cf3de49d76f1cf4ea198cb17f10f8c9f1c2ea0aa99f6b650",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3a75019f8b09c278d152279d446c97d009e064f3"
    ],
    "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": "0xaaf10f42",
            "selector": "0xaaf10f42",
            "calldata_variants": [
                "0xaaf10f42",
                "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfe44f6e",
            "selector": "0xcfe44f6e",
            "calldata_variants": [
                "0xcfe44f6e",
                "0xcfe44f6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf22de062",
            "selector": "0xf22de062",
            "calldata_variants": [
                "0xf22de062",
                "0xf22de0620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8129fc1c",
            "selector": "0x8129fc1c",
            "calldata_variants": [
                "0x8129fc1c",
                "0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x819d4cc6",
            "selector": "0x819d4cc6",
            "calldata_variants": [
                "0x819d4cc6",
                "0x819d4cc60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8980f11f",
            "selector": "0x8980f11f",
            "calldata_variants": [
                "0x8980f11f",
                "0x8980f11f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5415,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x15c07bb207a1cd3cd6506b56877d79503925c933cbe64f6a5e2d1e05eb0e7a24
call_targets: 0xe94bf0df71002ff0165cf4dab461debc3978b0fa
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x15c07bb207a1cd3cd6506b56877d79503925c933cbe64f6a5e2d1e05eb0e7a24",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe94bf0df71002ff0165cf4dab461debc3978b0fa"
    ],
    "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": "0xaaf10f42",
            "selector": "0xaaf10f42",
            "calldata_variants": [
                "0xaaf10f42",
                "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfe44f6e",
            "selector": "0xcfe44f6e",
            "calldata_variants": [
                "0xcfe44f6e",
                "0xcfe44f6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf22de062",
            "selector": "0xf22de062",
            "calldata_variants": [
                "0xf22de062",
                "0xf22de0620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8129fc1c",
            "selector": "0x8129fc1c",
            "calldata_variants": [
                "0x8129fc1c",
                "0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x819d4cc6",
            "selector": "0x819d4cc6",
            "calldata_variants": [
                "0x819d4cc6",
                "0x819d4cc60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8980f11f",
            "selector": "0x8980f11f",
            "calldata_variants": [
                "0x8980f11f",
                "0x8980f11f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2553,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3197,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5722,
            "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: 0x15c07bb207a1cd3cd6506b56877d79503925c933cbe64f6a5e2d1e05eb0e7a24
call_targets: 0xe94bf0df71002ff0165cf4dab461debc3978b0fa
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x15c07bb207a1cd3cd6506b56877d79503925c933cbe64f6a5e2d1e05eb0e7a24",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe94bf0df71002ff0165cf4dab461debc3978b0fa"
    ],
    "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": "0xaaf10f42",
            "selector": "0xaaf10f42",
            "calldata_variants": [
                "0xaaf10f42",
                "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfe44f6e",
            "selector": "0xcfe44f6e",
            "calldata_variants": [
                "0xcfe44f6e",
                "0xcfe44f6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf22de062",
            "selector": "0xf22de062",
            "calldata_variants": [
                "0xf22de062",
                "0xf22de0620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8129fc1c",
            "selector": "0x8129fc1c",
            "calldata_variants": [
                "0x8129fc1c",
                "0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x819d4cc6",
            "selector": "0x819d4cc6",
            "calldata_variants": [
                "0x819d4cc6",
                "0x819d4cc60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8980f11f",
            "selector": "0x8980f11f",
            "calldata_variants": [
                "0x8980f11f",
                "0x8980f11f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2553,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3197,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5722,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no —
view
evidence_json 
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}