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

Analysis Run

019b477e-a6e0-70d5-8608-c0337cf427f5

complete
Chain ID
1
Address
0x0e5e2b9341341ade98f510ad9a744e01f3b29f03
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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
2
Validated
2
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 2 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
20159 artifact.fetch complete 1 / 3 3 months ago
20160 tool.cast_disasm complete 1 / 3 3 months ago
63550 analysis.bundle complete 1 / 3 1 week ago
63551 capability.graph complete 1 / 3 1 week ago
63552 detector.run complete 1 / 3 1 week ago
63553 validation.fork complete 1 / 3 1 week ago
113464 report.consolidate complete 1 / 6 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
—
View stderr 
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-41fecil1
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c94-d36b-7171-ba69-1ead67ae0eec
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

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.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
Metadata 
{
    "codex": {
        "ran_at": "2026-04-05T07:39:12.199647+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5502,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
0
Total opcodes
2077
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00a3
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x01984892
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a5
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x092b25e9
00000025: EQ
00000026: PUSH2 0x012f
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x213b9eb8
00000030: EQ
00000031: PUSH2 0x01e1
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x511b1df9
0000003b: EQ
0000003c: PUSH2 0x0241
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x7f445c24
00000046: EQ
00000047: PUSH2 0x0296
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0xae999ece
00000051: EQ
00000052: PUSH2 0x02eb
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xb5754045
0000005c: EQ
0000005d: PUSH2 0x0340
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xc47f0027
00000067: EQ
00000068: PUSH2 0x03a0
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xccf4f413
00000072: EQ
00000073: PUSH2 0x03fd
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xdd54a62f
0000007d: EQ
0000007e: PUSH2 0x045d
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xdf55b41a
00000088: EQ
00000089: PUSH2 0x04b2
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xe51ace16
00000093: EQ
00000094: PUSH2 0x0507
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xfd6f5430
0000009e: EQ
0000009f: PUSH2 0x0564
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: STOP
000000a5: JUMPDEST
000000a6: PUSH2 0x05c4
000000a9: PUSH1 0x04
000000ab: CALLDATALOAD
000000ac: PUSH1 0x40
000000ae: DUP1
000000af: MLOAD
000000b0: PUSH1 0x20
000000b2: DUP2
000000b3: ADD
000000b4: SWAP1
000000b5: SWAP2
000000b6: MSTORE
000000b7: PUSH1 0x00
000000b9: DUP2
000000ba: MSTORE
000000bb: PUSH1 0xff
000000bd: PUSH1 0x02
000000bf: EXP
000000c0: PUSH1 0x01
000000c2: PUSH1 0xa0
000000c4: PUSH1 0x02
000000c6: EXP
000000c7: SUB
000000c8: DUP4
000000c9: AND
000000ca: PUSH1 0xa0
000000cc: PUSH1 0x02
000000ce: EXP
000000cf: DUP2
000000d0: LT
000000d1: ISZERO
000000d2: PUSH2 0x0002
000000d5: JUMPI
000000d6: ADD
000000d7: DUP1
000000d8: SLOAD
000000d9: PUSH1 0x40
000000db: DUP1
000000dc: MLOAD
000000dd: PUSH1 0x20
000000df: PUSH1 0x02
000000e1: PUSH1 0x01
000000e3: DUP6
000000e4: AND
000000e5: ISZERO
000000e6: PUSH2 0x0100
000000e9: MUL
000000ea: PUSH1 0x00
000000ec: NOT
000000ed: ADD
000000ee: SWAP1
000000ef: SWAP5
000000f0: AND
000000f1: SWAP4
000000f2: SWAP1
000000f3: SWAP4
000000f4: DIV
000000f5: PUSH1 0x1f
000000f7: DUP2
000000f8: ADD
000000f9: DUP5
000000fa: SWAP1
000000fb: DIV
000000fc: DUP5
000000fd: MUL
000000fe: DUP3
000000ff: ADD
00000100: DUP5
00000101: ADD
00000102: SWAP1
00000103: SWAP3
00000104: MSTORE
00000105: DUP2
00000106: DUP2
00000107: MSTORE
00000108: SWAP3
00000109: SWAP2
0000010a: DUP4
0000010b: ADD
0000010c: DUP3
0000010d: DUP3
0000010e: DUP1
0000010f: ISZERO
00000110: PUSH2 0x0a92
00000113: JUMPI
00000114: DUP1
00000115: PUSH1 0x1f
00000117: LT
00000118: PUSH2 0x0a67
0000011b: JUMPI
0000011c: PUSH2 0x0100
0000011f: DUP1
00000120: DUP4
00000121: SLOAD
00000122: DIV
00000123: MUL
00000124: DUP4
00000125: MSTORE
00000126: SWAP2
00000127: PUSH1 0x20
00000129: ADD
0000012a: SWAP2
0000012b: PUSH2 0x0a92
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x00a3
00000133: PUSH1 0x04
00000135: DUP1
00000136: DUP1
00000137: CALLDATALOAD
00000138: SWAP1
00000139: PUSH1 0x20
0000013b: ADD
0000013c: SWAP1
0000013d: DUP3
0000013e: ADD
0000013f: DUP1
00000140: CALLDATALOAD
00000141: SWAP1
00000142: PUSH1 0x20
00000144: ADD
00000145: SWAP2
00000146: SWAP2
00000147: SWAP1
00000148: DUP1
00000149: DUP1
0000014a: PUSH1 0x1f
0000014c: ADD
0000014d: PUSH1 0x20
0000014f: DUP1
00000150: SWAP2
00000151: DIV
00000152: MUL
00000153: PUSH1 0x20
00000155: ADD
00000156: PUSH1 0x40
00000158: MLOAD
00000159: SWAP1
0000015a: DUP2
0000015b: ADD
0000015c: PUSH1 0x40
0000015e: MSTORE
0000015f: DUP1
00000160: SWAP4
00000161: SWAP3
00000162: SWAP2
00000163: SWAP1
00000164: DUP2
00000165: DUP2
00000166: MSTORE
00000167: PUSH1 0x20
00000169: ADD
0000016a: DUP4
0000016b: DUP4
0000016c: DUP1
0000016d: DUP3
0000016e: DUP5
0000016f: CALLDATACOPY
00000170: POP
00000171: SWAP5
00000172: SWAP7
00000173: POP
00000174: POP
00000175: SWAP4
00000176: CALLDATALOAD
00000177: SWAP4
00000178: POP
00000179: POP
0000017a: POP
0000017b: POP
0000017c: DUP2
0000017d: CALLER
0000017e: PUSH1 0x01
00000180: PUSH1 0xa0
00000182: PUSH1 0x02
00000184: EXP
00000185: SUB
00000186: AND
00000187: PUSH2 0x06c9
0000018a: DUP3
0000018b: JUMPDEST
0000018c: PUSH1 0x00
0000018e: PUSH1 0x00
00000190: PUSH1 0x00
00000192: POP
00000193: PUSH1 0x08
00000195: DUP4
00000196: PUSH1 0x40
00000198: MLOAD
00000199: DUP1
0000019a: DUP3
0000019b: DUP1
0000019c: MLOAD
0000019d: SWAP1
0000019e: PUSH1 0x20
000001a0: ADD
000001a1: SWAP1
000001a2: DUP1
000001a3: DUP4
000001a4: DUP4
000001a5: DUP3
000001a6: SWAP1
000001a7: PUSH1 0x00
000001a9: PUSH1 0x04
000001ab: PUSH1 0x20
000001ad: DUP5
000001ae: PUSH1 0x1f
000001b0: ADD
000001b1: DIV
000001b2: PUSH1 0x03
000001b4: MUL
000001b5: PUSH1 0x0f
000001b7: ADD
000001b8: CALL
000001b9: POP
000001ba: SWAP1
000001bb: SWAP2
000001bc: ADD
000001bd: DUP3
000001be: SWAP1
000001bf: SUB
000001c0: SWAP1
000001c1: SWAP2
000001c2: KECCAK256
000001c3: SWAP3
000001c4: SWAP1
000001c5: SWAP3
000001c6: DIV
000001c7: SWAP2
000001c8: POP
000001c9: POP
000001ca: PUSH1 0xfd
000001cc: PUSH1 0x02
000001ce: EXP
000001cf: DUP2
000001d0: LT
000001d1: ISZERO
000001d2: PUSH2 0x0002
000001d5: JUMPI
000001d6: PUSH1 0x04
000001d8: MUL
000001d9: SWAP1
000001da: POP
000001db: SWAP1
000001dc: POP
000001dd: PUSH2 0x076e
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x00a3
000001e5: PUSH1 0x04
000001e7: DUP1
000001e8: DUP1
000001e9: CALLDATALOAD
000001ea: SWAP1
000001eb: PUSH1 0x20
000001ed: ADD
000001ee: SWAP1
000001ef: DUP3
000001f0: ADD
000001f1: DUP1
000001f2: CALLDATALOAD
000001f3: SWAP1
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP2
000001f8: SWAP2
000001f9: SWAP1
000001fa: DUP1
000001fb: DUP1
000001fc: PUSH1 0x1f
000001fe: ADD
000001ff: PUSH1 0x20
00000201: DUP1
00000202: SWAP2
00000203: DIV
00000204: MUL
00000205: PUSH1 0x20
00000207: ADD
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: SWAP1
0000020c: DUP2
0000020d: ADD
0000020e: PUSH1 0x40
00000210: MSTORE
00000211: DUP1
00000212: SWAP4
00000213: SWAP3
00000214: SWAP2
00000215: SWAP1
00000216: DUP2
00000217: DUP2
00000218: MSTORE
00000219: PUSH1 0x20
0000021b: ADD
0000021c: DUP4
0000021d: DUP4
0000021e: DUP1
0000021f: DUP3
00000220: DUP5
00000221: CALLDATACOPY
00000222: POP
00000223: SWAP5
00000224: SWAP7
00000225: POP
00000226: POP
00000227: SWAP4
00000228: CALLDATALOAD
00000229: SWAP4
0000022a: POP
0000022b: POP
0000022c: POP
0000022d: POP
0000022e: DUP2
0000022f: CALLER
00000230: PUSH1 0x01
00000232: PUSH1 0xa0
00000234: PUSH1 0x02
00000236: EXP
00000237: SUB
00000238: AND
00000239: PUSH2 0x06e6
0000023c: DUP3
0000023d: PUSH2 0x018b
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x0632
00000245: PUSH1 0x04
00000247: DUP1
00000248: DUP1
00000249: CALLDATALOAD
0000024a: SWAP1
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: SWAP1
0000024f: DUP3
00000250: ADD
00000251: DUP1
00000252: CALLDATALOAD
00000253: SWAP1
00000254: PUSH1 0x20
00000256: ADD
00000257: SWAP2
00000258: SWAP2
00000259: SWAP1
0000025a: DUP1
0000025b: DUP1
0000025c: PUSH1 0x1f
0000025e: ADD
0000025f: PUSH1 0x20
00000261: DUP1
00000262: SWAP2
00000263: DIV
00000264: MUL
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: SWAP1
0000026c: DUP2
0000026d: ADD
0000026e: PUSH1 0x40
00000270: MSTORE
00000271: DUP1
00000272: SWAP4
00000273: SWAP3
00000274: SWAP2
00000275: SWAP1
00000276: DUP2
00000277: DUP2
00000278: MSTORE
00000279: PUSH1 0x20
0000027b: ADD
0000027c: DUP4
0000027d: DUP4
0000027e: DUP1
0000027f: DUP3
00000280: DUP5
00000281: CALLDATACOPY
00000282: POP
00000283: SWAP5
00000284: SWAP7
00000285: POP
00000286: POP
00000287: POP
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: PUSH1 0x00
0000028e: PUSH2 0x0761
00000291: DUP3
00000292: PUSH2 0x018b
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x0632
0000029a: PUSH1 0x04
0000029c: DUP1
0000029d: DUP1
0000029e: CALLDATALOAD
0000029f: SWAP1
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP1
000002a4: DUP3
000002a5: ADD
000002a6: DUP1
000002a7: CALLDATALOAD
000002a8: SWAP1
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: SWAP2
000002ad: SWAP2
000002ae: SWAP1
000002af: DUP1
000002b0: DUP1
000002b1: PUSH1 0x1f
000002b3: ADD
000002b4: PUSH1 0x20
000002b6: DUP1
000002b7: SWAP2
000002b8: DIV
000002b9: MUL
000002ba: PUSH1 0x20
000002bc: ADD
000002bd: PUSH1 0x40
000002bf: MLOAD
000002c0: SWAP1
000002c1: DUP2
000002c2: ADD
000002c3: PUSH1 0x40
000002c5: MSTORE
000002c6: DUP1
000002c7: SWAP4
000002c8: SWAP3
000002c9: SWAP2
000002ca: SWAP1
000002cb: DUP2
000002cc: DUP2
000002cd: MSTORE
000002ce: PUSH1 0x20
000002d0: ADD
000002d1: DUP4
000002d2: DUP4
000002d3: DUP1
000002d4: DUP3
000002d5: DUP5
000002d6: CALLDATACOPY
000002d7: POP
000002d8: SWAP5
000002d9: SWAP7
000002da: POP
000002db: POP
000002dc: POP
000002dd: POP
000002de: POP
000002df: POP
000002e0: POP
000002e1: PUSH1 0x00
000002e3: PUSH2 0x0773
000002e6: DUP3
000002e7: PUSH2 0x018b
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x00a3
000002ef: PUSH1 0x04
000002f1: DUP1
000002f2: DUP1
000002f3: CALLDATALOAD
000002f4: SWAP1
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: SWAP1
000002f9: DUP3
000002fa: ADD
000002fb: DUP1
000002fc: CALLDATALOAD
000002fd: SWAP1
000002fe: PUSH1 0x20
00000300: ADD
00000301: SWAP2
00000302: SWAP2
00000303: SWAP1
00000304: DUP1
00000305: DUP1
00000306: PUSH1 0x1f
00000308: ADD
00000309: PUSH1 0x20
0000030b: DUP1
0000030c: SWAP2
0000030d: DIV
0000030e: MUL
0000030f: PUSH1 0x20
00000311: ADD
00000312: PUSH1 0x40
00000314: MLOAD
00000315: SWAP1
00000316: DUP2
00000317: ADD
00000318: PUSH1 0x40
0000031a: MSTORE
0000031b: DUP1
0000031c: SWAP4
0000031d: SWAP3
0000031e: SWAP2
0000031f: SWAP1
00000320: DUP2
00000321: DUP2
00000322: MSTORE
00000323: PUSH1 0x20
00000325: ADD
00000326: DUP4
00000327: DUP4
00000328: DUP1
00000329: DUP3
0000032a: DUP5
0000032b: CALLDATACOPY
0000032c: POP
0000032d: SWAP5
0000032e: SWAP7
0000032f: POP
00000330: POP
00000331: POP
00000332: POP
00000333: POP
00000334: POP
00000335: POP
00000336: PUSH1 0x00
00000338: PUSH2 0x091e
0000033b: DUP3
0000033c: PUSH2 0x018b
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x00a3
00000344: PUSH1 0x04
00000346: DUP1
00000347: DUP1
00000348: CALLDATALOAD
00000349: SWAP1
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: SWAP1
0000034e: DUP3
0000034f: ADD
00000350: DUP1
00000351: CALLDATALOAD
00000352: SWAP1
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP2
00000357: SWAP2
00000358: SWAP1
00000359: DUP1
0000035a: DUP1
0000035b: PUSH1 0x1f
0000035d: ADD
0000035e: PUSH1 0x20
00000360: DUP1
00000361: SWAP2
00000362: DIV
00000363: MUL
00000364: PUSH1 0x20
00000366: ADD
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: SWAP1
0000036b: DUP2
0000036c: ADD
0000036d: PUSH1 0x40
0000036f: MSTORE
00000370: DUP1
00000371: SWAP4
00000372: SWAP3
00000373: SWAP2
00000374: SWAP1
00000375: DUP2
00000376: DUP2
00000377: MSTORE
00000378: PUSH1 0x20
0000037a: ADD
0000037b: DUP4
0000037c: DUP4
0000037d: DUP1
0000037e: DUP3
0000037f: DUP5
00000380: CALLDATACOPY
00000381: POP
00000382: SWAP5
00000383: SWAP7
00000384: POP
00000385: POP
00000386: SWAP4
00000387: CALLDATALOAD
00000388: SWAP4
00000389: POP
0000038a: POP
0000038b: POP
0000038c: POP
0000038d: DUP2
0000038e: CALLER
0000038f: PUSH1 0x01
00000391: PUSH1 0xa0
00000393: PUSH1 0x02
00000395: EXP
00000396: SUB
00000397: AND
00000398: PUSH2 0x098a
0000039b: DUP3
0000039c: PUSH2 0x018b
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH2 0x00a3
000003a4: PUSH1 0x04
000003a6: DUP1
000003a7: DUP1
000003a8: CALLDATALOAD
000003a9: SWAP1
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: SWAP1
000003ae: DUP3
000003af: ADD
000003b0: DUP1
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP2
000003b7: SWAP2
000003b8: SWAP1
000003b9: DUP1
000003ba: DUP1
000003bb: PUSH1 0x1f
000003bd: ADD
000003be: PUSH1 0x20
000003c0: DUP1
000003c1: SWAP2
000003c2: DIV
000003c3: MUL
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: PUSH1 0x40
000003c9: MLOAD
000003ca: SWAP1
000003cb: DUP2
000003cc: ADD
000003cd: PUSH1 0x40
000003cf: MSTORE
000003d0: DUP1
000003d1: SWAP4
000003d2: SWAP3
000003d3: SWAP2
000003d4: SWAP1
000003d5: DUP2
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: ADD
000003db: DUP4
000003dc: DUP4
000003dd: DUP1
000003de: DUP3
000003df: DUP5
000003e0: CALLDATACOPY
000003e1: POP
000003e2: SWAP5
000003e3: SWAP7
000003e4: POP
000003e5: POP
000003e6: POP
000003e7: POP
000003e8: POP
000003e9: POP
000003ea: POP
000003eb: CALLER
000003ec: PUSH1 0x01
000003ee: PUSH1 0xa0
000003f0: PUSH1 0x02
000003f2: EXP
000003f3: SUB
000003f4: AND
000003f5: PUSH2 0x0820
000003f8: DUP3
000003f9: PUSH2 0x018b
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x00a3
00000401: PUSH1 0x04
00000403: DUP1
00000404: DUP1
00000405: CALLDATALOAD
00000406: SWAP1
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP1
0000040b: DUP3
0000040c: ADD
0000040d: DUP1
0000040e: CALLDATALOAD
0000040f: SWAP1
00000410: PUSH1 0x20
00000412: ADD
00000413: SWAP2
00000414: SWAP2
00000415: SWAP1
00000416: DUP1
00000417: DUP1
00000418: PUSH1 0x1f
0000041a: ADD
0000041b: PUSH1 0x20
0000041d: DUP1
0000041e: SWAP2
0000041f: DIV
00000420: MUL
00000421: PUSH1 0x20
00000423: ADD
00000424: PUSH1 0x40
00000426: MLOAD
00000427: SWAP1
00000428: DUP2
00000429: ADD
0000042a: PUSH1 0x40
0000042c: MSTORE
0000042d: DUP1
0000042e: SWAP4
0000042f: SWAP3
00000430: SWAP2
00000431: SWAP1
00000432: DUP2
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x20
00000437: ADD
00000438: DUP4
00000439: DUP4
0000043a: DUP1
0000043b: DUP3
0000043c: DUP5
0000043d: CALLDATACOPY
0000043e: POP
0000043f: SWAP5
00000440: SWAP7
00000441: POP
00000442: POP
00000443: SWAP4
00000444: CALLDATALOAD
00000445: SWAP4
00000446: POP
00000447: POP
00000448: POP
00000449: POP
0000044a: DUP2
0000044b: CALLER
0000044c: PUSH1 0x01
0000044e: PUSH1 0xa0
00000450: PUSH1 0x02
00000452: EXP
00000453: SUB
00000454: AND
00000455: PUSH2 0x0792
00000458: DUP3
00000459: PUSH2 0x018b
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH2 0x064f
00000461: PUSH1 0x04
00000463: DUP1
00000464: DUP1
00000465: CALLDATALOAD
00000466: SWAP1
00000467: PUSH1 0x20
00000469: ADD
0000046a: SWAP1
0000046b: DUP3
0000046c: ADD
0000046d: DUP1
0000046e: CALLDATALOAD
0000046f: SWAP1
00000470: PUSH1 0x20
00000472: ADD
00000473: SWAP2
00000474: SWAP2
00000475: SWAP1
00000476: DUP1
00000477: DUP1
00000478: PUSH1 0x1f
0000047a: ADD
0000047b: PUSH1 0x20
0000047d: DUP1
0000047e: SWAP2
0000047f: DIV
00000480: MUL
00000481: PUSH1 0x20
00000483: ADD
00000484: PUSH1 0x40
00000486: MLOAD
00000487: SWAP1
00000488: DUP2
00000489: ADD
0000048a: PUSH1 0x40
0000048c: MSTORE
0000048d: DUP1
0000048e: SWAP4
0000048f: SWAP3
00000490: SWAP2
00000491: SWAP1
00000492: DUP2
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: ADD
00000498: DUP4
00000499: DUP4
0000049a: DUP1
0000049b: DUP3
0000049c: DUP5
0000049d: CALLDATACOPY
0000049e: POP
0000049f: SWAP5
000004a0: SWAP7
000004a1: POP
000004a2: POP
000004a3: POP
000004a4: POP
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: PUSH1 0x00
000004aa: PUSH2 0x0787
000004ad: DUP3
000004ae: PUSH2 0x018b
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x0632
000004b6: PUSH1 0x04
000004b8: DUP1
000004b9: DUP1
000004ba: CALLDATALOAD
000004bb: SWAP1
000004bc: PUSH1 0x20
000004be: ADD
000004bf: SWAP1
000004c0: DUP3
000004c1: ADD
000004c2: DUP1
000004c3: CALLDATALOAD
000004c4: SWAP1
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: SWAP2
000004c9: SWAP2
000004ca: SWAP1
000004cb: DUP1
000004cc: DUP1
000004cd: PUSH1 0x1f
000004cf: ADD
000004d0: PUSH1 0x20
000004d2: DUP1
000004d3: SWAP2
000004d4: DIV
000004d5: MUL
000004d6: PUSH1 0x20
000004d8: ADD
000004d9: PUSH1 0x40
000004db: MLOAD
000004dc: SWAP1
000004dd: DUP2
000004de: ADD
000004df: PUSH1 0x40
000004e1: MSTORE
000004e2: DUP1
000004e3: SWAP4
000004e4: SWAP3
000004e5: SWAP2
000004e6: SWAP1
000004e7: DUP2
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x20
000004ec: ADD
000004ed: DUP4
000004ee: DUP4
000004ef: DUP1
000004f0: DUP3
000004f1: DUP5
000004f2: CALLDATACOPY
000004f3: POP
000004f4: SWAP5
000004f5: SWAP7
000004f6: POP
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: POP
000004fd: PUSH1 0x00
000004ff: PUSH2 0x0a53
00000502: DUP3
00000503: PUSH2 0x018b
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH2 0x0661
0000050b: PUSH1 0x04
0000050d: DUP1
0000050e: DUP1
0000050f: CALLDATALOAD
00000510: SWAP1
00000511: PUSH1 0x20
00000513: ADD
00000514: SWAP1
00000515: DUP3
00000516: ADD
00000517: DUP1
00000518: CALLDATALOAD
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: SWAP2
0000051e: SWAP2
0000051f: SWAP1
00000520: DUP1
00000521: DUP1
00000522: PUSH1 0x1f
00000524: ADD
00000525: PUSH1 0x20
00000527: DUP1
00000528: SWAP2
00000529: DIV
0000052a: MUL
0000052b: PUSH1 0x20
0000052d: ADD
0000052e: PUSH1 0x40
00000530: MLOAD
00000531: SWAP1
00000532: DUP2
00000533: ADD
00000534: PUSH1 0x40
00000536: MSTORE
00000537: DUP1
00000538: SWAP4
00000539: SWAP3
0000053a: SWAP2
0000053b: SWAP1
0000053c: DUP2
0000053d: DUP2
0000053e: MSTORE
0000053f: PUSH1 0x20
00000541: ADD
00000542: DUP4
00000543: DUP4
00000544: DUP1
00000545: DUP3
00000546: DUP5
00000547: CALLDATACOPY
00000548: POP
00000549: SWAP5
0000054a: SWAP7
0000054b: POP
0000054c: POP
0000054d: POP
0000054e: POP
0000054f: POP
00000550: POP
00000551: POP
00000552: PUSH1 0x00
00000554: PUSH1 0x00
00000556: PUSH1 0x00
00000558: PUSH1 0x00
0000055a: PUSH1 0x00
0000055c: PUSH2 0x0732
0000055f: DUP7
00000560: PUSH2 0x018b
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x00a3
00000568: PUSH1 0x04
0000056a: DUP1
0000056b: DUP1
0000056c: CALLDATALOAD
0000056d: SWAP1
0000056e: PUSH1 0x20
00000570: ADD
00000571: SWAP1
00000572: DUP3
00000573: ADD
00000574: DUP1
00000575: CALLDATALOAD
00000576: SWAP1
00000577: PUSH1 0x20
00000579: ADD
0000057a: SWAP2
0000057b: SWAP2
0000057c: SWAP1
0000057d: DUP1
0000057e: DUP1
0000057f: PUSH1 0x1f
00000581: ADD
00000582: PUSH1 0x20
00000584: DUP1
00000585: SWAP2
00000586: DIV
00000587: MUL
00000588: PUSH1 0x20
0000058a: ADD
0000058b: PUSH1 0x40
0000058d: MLOAD
0000058e: SWAP1
0000058f: DUP2
00000590: ADD
00000591: PUSH1 0x40
00000593: MSTORE
00000594: DUP1
00000595: SWAP4
00000596: SWAP3
00000597: SWAP2
00000598: SWAP1
00000599: DUP2
0000059a: DUP2
0000059b: MSTORE
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: DUP4
000005a0: DUP4
000005a1: DUP1
000005a2: DUP3
000005a3: DUP5
000005a4: CALLDATACOPY
000005a5: POP
000005a6: SWAP5
000005a7: SWAP7
000005a8: POP
000005a9: POP
000005aa: SWAP4
000005ab: CALLDATALOAD
000005ac: SWAP4
000005ad: POP
000005ae: POP
000005af: POP
000005b0: POP
000005b1: DUP2
000005b2: CALLER
000005b3: PUSH1 0x01
000005b5: PUSH1 0xa0
000005b7: PUSH1 0x02
000005b9: EXP
000005ba: SUB
000005bb: AND
000005bc: PUSH2 0x07e1
000005bf: DUP3
000005c0: PUSH2 0x018b
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: DUP1
000005c9: DUP1
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: DUP3
000005ce: DUP2
000005cf: SUB
000005d0: DUP3
000005d1: MSTORE
000005d2: DUP4
000005d3: DUP2
000005d4: DUP2
000005d5: MLOAD
000005d6: DUP2
000005d7: MSTORE
000005d8: PUSH1 0x20
000005da: ADD
000005db: SWAP2
000005dc: POP
000005dd: DUP1
000005de: MLOAD
000005df: SWAP1
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: SWAP1
000005e4: DUP1
000005e5: DUP4
000005e6: DUP4
000005e7: DUP3
000005e8: SWAP1
000005e9: PUSH1 0x00
000005eb: PUSH1 0x04
000005ed: PUSH1 0x20
000005ef: DUP5
000005f0: PUSH1 0x1f
000005f2: ADD
000005f3: DIV
000005f4: PUSH1 0x03
000005f6: MUL
000005f7: PUSH1 0x0f
000005f9: ADD
000005fa: CALL
000005fb: POP
000005fc: SWAP1
000005fd: POP
000005fe: SWAP1
000005ff: DUP2
00000600: ADD
00000601: SWAP1
00000602: PUSH1 0x1f
00000604: AND
00000605: DUP1
00000606: ISZERO
00000607: PUSH2 0x0624
0000060a: JUMPI
0000060b: DUP1
0000060c: DUP3
0000060d: SUB
0000060e: DUP1
0000060f: MLOAD
00000610: PUSH1 0x01
00000612: DUP4
00000613: PUSH1 0x20
00000615: SUB
00000616: PUSH2 0x0100
00000619: EXP
0000061a: SUB
0000061b: NOT
0000061c: AND
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x20
00000621: ADD
00000622: SWAP2
00000623: POP
00000624: JUMPDEST
00000625: POP
00000626: SWAP3
00000627: POP
00000628: POP
00000629: POP
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: SWAP2
0000062f: SUB
00000630: SWAP1
00000631: RETURN
00000632: JUMPDEST
00000633: PUSH1 0x40
00000635: DUP1
00000636: MLOAD
00000637: PUSH1 0x01
00000639: PUSH1 0xa0
0000063b: PUSH1 0x02
0000063d: EXP
0000063e: SUB
0000063f: SWAP3
00000640: SWAP1
00000641: SWAP3
00000642: AND
00000643: DUP3
00000644: MSTORE
00000645: MLOAD
00000646: SWAP1
00000647: DUP2
00000648: SWAP1
00000649: SUB
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: SWAP1
0000064e: RETURN
0000064f: JUMPDEST
00000650: PUSH1 0x40
00000652: DUP1
00000653: MLOAD
00000654: SWAP2
00000655: DUP3
00000656: MSTORE
00000657: MLOAD
00000658: SWAP1
00000659: DUP2
0000065a: SWAP1
0000065b: SUB
0000065c: PUSH1 0x20
0000065e: ADD
0000065f: SWAP1
00000660: RETURN
00000661: JUMPDEST
00000662: PUSH1 0x40
00000664: DUP1
00000665: MLOAD
00000666: PUSH1 0x01
00000668: PUSH1 0xa0
0000066a: PUSH1 0x02
0000066c: EXP
0000066d: SUB
0000066e: SWAP6
0000066f: DUP7
00000670: AND
00000671: DUP2
00000672: MSTORE
00000673: SWAP4
00000674: DUP6
00000675: AND
00000676: PUSH1 0x20
00000678: DUP6
00000679: ADD
0000067a: MSTORE
0000067b: DUP4
0000067c: DUP2
0000067d: ADD
0000067e: SWAP3
0000067f: SWAP1
00000680: SWAP3
00000681: MSTORE
00000682: SWAP1
00000683: SWAP3
00000684: AND
00000685: PUSH1 0x60
00000687: DUP3
00000688: ADD
00000689: MSTORE
0000068a: SWAP1
0000068b: MLOAD
0000068c: SWAP1
0000068d: DUP2
0000068e: SWAP1
0000068f: SUB
00000690: PUSH1 0x80
00000692: ADD
00000693: SWAP1
00000694: RETURN
00000695: JUMPDEST
00000696: PUSH1 0x03
00000698: ADD
00000699: DUP1
0000069a: SLOAD
0000069b: PUSH1 0x01
0000069d: PUSH1 0xa0
0000069f: PUSH1 0x02
000006a1: EXP
000006a2: SUB
000006a3: NOT
000006a4: AND
000006a5: SWAP1
000006a6: SWAP2
000006a7: OR
000006a8: SWAP1
000006a9: SSTORE
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP4
000006ae: SWAP1
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: MLOAD
000006b3: PUSH1 0x20
000006b5: PUSH2 0x0a9e
000006b8: DUP4
000006b9: CODECOPY
000006ba: DUP2
000006bb: MLOAD
000006bc: SWAP2
000006bd: MSTORE
000006be: SWAP1
000006bf: PUSH1 0x00
000006c1: SWAP1
000006c2: LOG2
000006c3: JUMPDEST
000006c4: POP
000006c5: JUMPDEST
000006c6: POP
000006c7: POP
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x03
000006cc: ADD
000006cd: SLOAD
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: SUB
000006d6: AND
000006d7: EQ
000006d8: ISZERO
000006d9: PUSH2 0x06c3
000006dc: JUMPI
000006dd: DUP2
000006de: PUSH2 0x0695
000006e1: DUP5
000006e2: PUSH2 0x018b
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH1 0x03
000006e9: ADD
000006ea: SLOAD
000006eb: PUSH1 0x01
000006ed: PUSH1 0xa0
000006ef: PUSH1 0x02
000006f1: EXP
000006f2: SUB
000006f3: AND
000006f4: EQ
000006f5: ISZERO
000006f6: PUSH2 0x06c3
000006f9: JUMPI
000006fa: DUP2
000006fb: PUSH2 0x0703
000006fe: DUP5
000006ff: PUSH2 0x018b
00000702: JUMP
00000703: JUMPDEST
00000704: DUP1
00000705: SLOAD
00000706: PUSH1 0x01
00000708: PUSH1 0xa0
0000070a: PUSH1 0x02
0000070c: EXP
0000070d: SUB
0000070e: NOT
0000070f: AND
00000710: SWAP1
00000711: SWAP2
00000712: OR
00000713: SWAP1
00000714: SSTORE
00000715: PUSH1 0x40
00000717: MLOAD
00000718: DUP4
00000719: SWAP1
0000071a: PUSH1 0x00
0000071c: DUP1
0000071d: MLOAD
0000071e: PUSH1 0x20
00000720: PUSH2 0x0a9e
00000723: DUP4
00000724: CODECOPY
00000725: DUP2
00000726: MLOAD
00000727: SWAP2
00000728: MSTORE
00000729: SWAP1
0000072a: PUSH1 0x00
0000072c: SWAP1
0000072d: LOG2
0000072e: POP
0000072f: POP
00000730: POP
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x03
00000735: DUP2
00000736: ADD
00000737: SLOAD
00000738: DUP2
00000739: SLOAD
0000073a: PUSH1 0x01
0000073c: DUP4
0000073d: ADD
0000073e: SLOAD
0000073f: PUSH1 0x02
00000741: SWAP4
00000742: SWAP1
00000743: SWAP4
00000744: ADD
00000745: SLOAD
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: PUSH1 0x02
0000074c: EXP
0000074d: SUB
0000074e: SWAP2
0000074f: DUP3
00000750: AND
00000751: SWAP11
00000752: SWAP4
00000753: DUP3
00000754: AND
00000755: SWAP10
00000756: POP
00000757: SWAP8
00000758: POP
00000759: AND
0000075a: SWAP5
0000075b: POP
0000075c: SWAP3
0000075d: POP
0000075e: POP
0000075f: POP
00000760: JUMP
00000761: JUMPDEST
00000762: SLOAD
00000763: PUSH1 0x01
00000765: PUSH1 0xa0
00000767: PUSH1 0x02
00000769: EXP
0000076a: SUB
0000076b: AND
0000076c: SWAP1
0000076d: POP
0000076e: JUMPDEST
0000076f: SWAP2
00000770: SWAP1
00000771: POP
00000772: JUMP
00000773: JUMPDEST
00000774: PUSH1 0x01
00000776: ADD
00000777: SLOAD
00000778: PUSH1 0x01
0000077a: PUSH1 0xa0
0000077c: PUSH1 0x02
0000077e: EXP
0000077f: SUB
00000780: AND
00000781: SWAP1
00000782: POP
00000783: PUSH2 0x076e
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH1 0x02
0000078a: ADD
0000078b: SLOAD
0000078c: SWAP1
0000078d: POP
0000078e: PUSH2 0x076e
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x03
00000795: ADD
00000796: SLOAD
00000797: PUSH1 0x01
00000799: PUSH1 0xa0
0000079b: PUSH1 0x02
0000079d: EXP
0000079e: SUB
0000079f: AND
000007a0: EQ
000007a1: ISZERO
000007a2: PUSH2 0x06c3
000007a5: JUMPI
000007a6: DUP2
000007a7: PUSH2 0x07af
000007aa: DUP5
000007ab: PUSH2 0x018b
000007ae: JUMP
000007af: JUMPDEST
000007b0: PUSH1 0x01
000007b2: ADD
000007b3: DUP1
000007b4: SLOAD
000007b5: PUSH1 0x01
000007b7: PUSH1 0xa0
000007b9: PUSH1 0x02
000007bb: EXP
000007bc: SUB
000007bd: NOT
000007be: AND
000007bf: SWAP1
000007c0: SWAP2
000007c1: OR
000007c2: SWAP1
000007c3: SSTORE
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: DUP4
000007c8: SWAP1
000007c9: PUSH1 0x00
000007cb: DUP1
000007cc: MLOAD
000007cd: PUSH1 0x20
000007cf: PUSH2 0x0a9e
000007d2: DUP4
000007d3: CODECOPY
000007d4: DUP2
000007d5: MLOAD
000007d6: SWAP2
000007d7: MSTORE
000007d8: SWAP1
000007d9: PUSH1 0x00
000007db: SWAP1
000007dc: LOG2
000007dd: POP
000007de: POP
000007df: POP
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x03
000007e4: ADD
000007e5: SLOAD
000007e6: PUSH1 0x01
000007e8: PUSH1 0xa0
000007ea: PUSH1 0x02
000007ec: EXP
000007ed: SUB
000007ee: AND
000007ef: EQ
000007f0: ISZERO
000007f1: PUSH2 0x06c3
000007f4: JUMPI
000007f5: DUP2
000007f6: PUSH2 0x07fe
000007f9: DUP5
000007fa: PUSH2 0x018b
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x02
00000801: ADD
00000802: SSTORE
00000803: PUSH1 0x40
00000805: MLOAD
00000806: DUP4
00000807: SWAP1
00000808: PUSH1 0x00
0000080a: DUP1
0000080b: MLOAD
0000080c: PUSH1 0x20
0000080e: PUSH2 0x0a9e
00000811: DUP4
00000812: CODECOPY
00000813: DUP2
00000814: MLOAD
00000815: SWAP2
00000816: MSTORE
00000817: SWAP1
00000818: PUSH1 0x00
0000081a: SWAP1
0000081b: LOG2
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: JUMP
00000820: JUMPDEST
00000821: SLOAD
00000822: PUSH1 0x01
00000824: PUSH1 0xa0
00000826: PUSH1 0x02
00000828: EXP
00000829: SUB
0000082a: AND
0000082b: EQ
0000082c: ISZERO
0000082d: PUSH2 0x08e7
00000830: JUMPI
00000831: PUSH1 0x40
00000833: MLOAD
00000834: DUP2
00000835: SWAP1
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: PUSH1 0x02
0000083c: EXP
0000083d: SUB
0000083e: CALLER
0000083f: AND
00000840: SWAP1
00000841: PUSH32 0xd31658ff34e42040e5b3559456497d23086d2b4c8ceb1d63798f3dbd3a8e0579
00000862: SWAP1
00000863: PUSH1 0x00
00000865: SWAP1
00000866: LOG3
00000867: DUP1
00000868: PUSH1 0xff
0000086a: PUSH1 0x02
0000086c: EXP
0000086d: PUSH1 0x01
0000086f: PUSH1 0xa0
00000871: PUSH1 0x02
00000873: EXP
00000874: SUB
00000875: CALLER
00000876: AND
00000877: PUSH1 0xa0
00000879: PUSH1 0x02
0000087b: EXP
0000087c: DUP2
0000087d: LT
0000087e: ISZERO
0000087f: PUSH2 0x0002
00000882: JUMPI
00000883: ADD
00000884: PUSH1 0x00
00000886: POP
00000887: SWAP1
00000888: DUP1
00000889: MLOAD
0000088a: SWAP1
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP1
0000088f: DUP3
00000890: DUP1
00000891: SLOAD
00000892: PUSH1 0x01
00000894: DUP2
00000895: PUSH1 0x01
00000897: AND
00000898: ISZERO
00000899: PUSH2 0x0100
0000089c: MUL
0000089d: SUB
0000089e: AND
0000089f: PUSH1 0x02
000008a1: SWAP1
000008a2: DIV
000008a3: SWAP1
000008a4: PUSH1 0x00
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: PUSH1 0x00
000008ab: KECCAK256
000008ac: SWAP1
000008ad: PUSH1 0x1f
000008af: ADD
000008b0: PUSH1 0x20
000008b2: SWAP1
000008b3: DIV
000008b4: DUP2
000008b5: ADD
000008b6: SWAP3
000008b7: DUP3
000008b8: PUSH1 0x1f
000008ba: LT
000008bb: PUSH2 0x08ea
000008be: JUMPI
000008bf: DUP1
000008c0: MLOAD
000008c1: PUSH1 0xff
000008c3: NOT
000008c4: AND
000008c5: DUP4
000008c6: DUP1
000008c7: ADD
000008c8: OR
000008c9: DUP6
000008ca: SSTORE
000008cb: JUMPDEST
000008cc: POP
000008cd: PUSH2 0x06c3
000008d0: SWAP3
000008d1: SWAP2
000008d2: POP
000008d3: JUMPDEST
000008d4: DUP1
000008d5: DUP3
000008d6: GT
000008d7: ISZERO
000008d8: PUSH2 0x091a
000008db: JUMPI
000008dc: PUSH1 0x00
000008de: DUP2
000008df: SSTORE
000008e0: PUSH1 0x01
000008e2: ADD
000008e3: PUSH2 0x08d3
000008e6: JUMP
000008e7: JUMPDEST
000008e8: POP
000008e9: JUMP
000008ea: JUMPDEST
000008eb: DUP3
000008ec: DUP1
000008ed: ADD
000008ee: PUSH1 0x01
000008f0: ADD
000008f1: DUP6
000008f2: SSTORE
000008f3: DUP3
000008f4: ISZERO
000008f5: PUSH2 0x08cb
000008f8: JUMPI
000008f9: SWAP2
000008fa: DUP3
000008fb: ADD
000008fc: JUMPDEST
000008fd: DUP3
000008fe: DUP2
000008ff: GT
00000900: ISZERO
00000901: PUSH2 0x08cb
00000904: JUMPI
00000905: DUP3
00000906: MLOAD
00000907: DUP3
00000908: PUSH1 0x00
0000090a: POP
0000090b: SSTORE
0000090c: SWAP2
0000090d: PUSH1 0x20
0000090f: ADD
00000910: SWAP2
00000911: SWAP1
00000912: PUSH1 0x01
00000914: ADD
00000915: SWAP1
00000916: PUSH2 0x08fc
00000919: JUMP
0000091a: JUMPDEST
0000091b: POP
0000091c: SWAP1
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x03
00000921: DUP2
00000922: ADD
00000923: SLOAD
00000924: SWAP1
00000925: SWAP2
00000926: POP
00000927: PUSH1 0x01
00000929: PUSH1 0xa0
0000092b: PUSH1 0x02
0000092d: EXP
0000092e: SUB
0000092f: AND
00000930: PUSH1 0x00
00000932: EQ
00000933: DUP1
00000934: ISZERO
00000935: PUSH2 0x0946
00000938: JUMPI
00000939: POP
0000093a: PUSH8 0x4563918244f40000
00000943: CALLVALUE
00000944: LT
00000945: ISZERO
00000946: JUMPDEST
00000947: DUP1
00000948: ISZERO
00000949: PUSH2 0x0954
0000094c: JUMPI
0000094d: POP
0000094e: PUSH1 0x09
00000950: DUP3
00000951: MLOAD
00000952: LT
00000953: ISZERO
00000954: JUMPDEST
00000955: ISZERO
00000956: PUSH2 0x06c5
00000959: JUMPI
0000095a: PUSH1 0x03
0000095c: DUP2
0000095d: ADD
0000095e: DUP1
0000095f: SLOAD
00000960: PUSH1 0x01
00000962: PUSH1 0xa0
00000964: PUSH1 0x02
00000966: EXP
00000967: SUB
00000968: NOT
00000969: AND
0000096a: CALLER
0000096b: OR
0000096c: SWAP1
0000096d: SSTORE
0000096e: PUSH1 0x40
00000970: MLOAD
00000971: DUP3
00000972: SWAP1
00000973: PUSH1 0x00
00000975: DUP1
00000976: MLOAD
00000977: PUSH1 0x20
00000979: PUSH2 0x0a9e
0000097c: DUP4
0000097d: CODECOPY
0000097e: DUP2
0000097f: MLOAD
00000980: SWAP2
00000981: MSTORE
00000982: SWAP1
00000983: PUSH1 0x00
00000985: SWAP1
00000986: LOG2
00000987: POP
00000988: POP
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH1 0x03
0000098d: ADD
0000098e: SLOAD
0000098f: PUSH1 0x01
00000991: PUSH1 0xa0
00000993: PUSH1 0x02
00000995: EXP
00000996: SUB
00000997: AND
00000998: EQ
00000999: ISZERO
0000099a: PUSH2 0x06c3
0000099d: JUMPI
0000099e: PUSH1 0x00
000009a0: PUSH1 0x00
000009a2: POP
000009a3: PUSH1 0x08
000009a5: DUP5
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: DUP1
000009aa: DUP3
000009ab: DUP1
000009ac: MLOAD
000009ad: SWAP1
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP1
000009b2: DUP1
000009b3: DUP4
000009b4: DUP4
000009b5: DUP3
000009b6: SWAP1
000009b7: PUSH1 0x00
000009b9: PUSH1 0x04
000009bb: PUSH1 0x20
000009bd: DUP5
000009be: PUSH1 0x1f
000009c0: ADD
000009c1: DIV
000009c2: PUSH1 0x03
000009c4: MUL
000009c5: PUSH1 0x0f
000009c7: ADD
000009c8: CALL
000009c9: POP
000009ca: SWAP1
000009cb: SWAP2
000009cc: ADD
000009cd: DUP3
000009ce: SWAP1
000009cf: SUB
000009d0: SWAP1
000009d1: SWAP2
000009d2: KECCAK256
000009d3: SWAP3
000009d4: SWAP1
000009d5: SWAP3
000009d6: DIV
000009d7: SWAP2
000009d8: POP
000009d9: POP
000009da: PUSH1 0xfd
000009dc: PUSH1 0x02
000009de: EXP
000009df: DUP2
000009e0: LT
000009e1: ISZERO
000009e2: PUSH2 0x0002
000009e5: JUMPI
000009e6: PUSH1 0x04
000009e8: MUL
000009e9: DUP1
000009ea: SLOAD
000009eb: PUSH1 0x01
000009ed: PUSH1 0xa0
000009ef: PUSH1 0x02
000009f1: EXP
000009f2: SUB
000009f3: NOT
000009f4: SWAP1
000009f5: DUP2
000009f6: AND
000009f7: DUP3
000009f8: SSTORE
000009f9: PUSH1 0x01
000009fb: DUP3
000009fc: ADD
000009fd: DUP1
000009fe: SLOAD
000009ff: DUP3
00000a00: AND
00000a01: SWAP1
00000a02: SSTORE
00000a03: PUSH1 0x02
00000a05: DUP3
00000a06: ADD
00000a07: DUP4
00000a08: SWAP1
00000a09: SSTORE
00000a0a: PUSH1 0x03
00000a0c: SWAP2
00000a0d: SWAP1
00000a0e: SWAP2
00000a0f: ADD
00000a10: DUP1
00000a11: SLOAD
00000a12: SWAP1
00000a13: SWAP2
00000a14: AND
00000a15: SWAP1
00000a16: SSTORE
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: PUSH1 0x02
00000a20: EXP
00000a21: SUB
00000a22: DUP5
00000a23: AND
00000a24: SWAP2
00000a25: SWAP1
00000a26: PUSH8 0x4563918244f40000
00000a2f: SWAP1
00000a30: DUP3
00000a31: DUP2
00000a32: DUP2
00000a33: DUP2
00000a34: DUP6
00000a35: DUP9
00000a36: DUP4
00000a37: CALL
00000a38: POP
00000a39: DUP7
00000a3a: SWAP4
00000a3b: POP
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: MLOAD
00000a40: PUSH1 0x20
00000a42: PUSH2 0x0a9e
00000a45: DUP4
00000a46: CODECOPY
00000a47: DUP2
00000a48: MLOAD
00000a49: SWAP2
00000a4a: MSTORE
00000a4b: SWAP3
00000a4c: SWAP2
00000a4d: POP
00000a4e: LOG2
00000a4f: POP
00000a50: POP
00000a51: POP
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x03
00000a56: ADD
00000a57: SLOAD
00000a58: PUSH1 0x01
00000a5a: PUSH1 0xa0
00000a5c: PUSH1 0x02
00000a5e: EXP
00000a5f: SUB
00000a60: AND
00000a61: SWAP1
00000a62: POP
00000a63: PUSH2 0x076e
00000a66: JUMP
00000a67: JUMPDEST
00000a68: DUP3
00000a69: ADD
00000a6a: SWAP2
00000a6b: SWAP1
00000a6c: PUSH1 0x00
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: PUSH1 0x00
00000a73: KECCAK256
00000a74: SWAP1
00000a75: JUMPDEST
00000a76: DUP2
00000a77: SLOAD
00000a78: DUP2
00000a79: MSTORE
00000a7a: SWAP1
00000a7b: PUSH1 0x01
00000a7d: ADD
00000a7e: SWAP1
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: DUP1
00000a83: DUP4
00000a84: GT
00000a85: PUSH2 0x0a75
00000a88: JUMPI
00000a89: DUP3
00000a8a: SWAP1
00000a8b: SUB
00000a8c: PUSH1 0x1f
00000a8e: AND
00000a8f: DUP3
00000a90: ADD
00000a91: SWAP2
00000a92: JUMPDEST
00000a93: POP
00000a94: POP
00000a95: POP
00000a96: POP
00000a97: POP
00000a98: SWAP1
00000a99: POP
00000a9a: PUSH2 0x076e
00000a9d: JUMP
00000a9e: SHR
00000a9f: UNKNOWN(0xF7)
00000aa0: PUSH6 0x2f1f9289dc41
00000aa7: PUSH23

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 yes yes
view
trace_id: 0x1d75af42b2cd4ccf6a86204d2258d3f365baa73f77ebcfc3a310aa3d9863e3d2
call_targets: 0x0000000000000000000000000000000000000004, 0x0e5e2b9341341ade98f510ad9a744e01f3b29f03
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x1d75af42b2cd4ccf6a86204d2258d3f365baa73f77ebcfc3a310aa3d9863e3d2",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000004",
        "0x0e5e2b9341341ade98f510ad9a744e01f3b29f03"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01984892",
            "selector": "0x01984892",
            "calldata_variants": [
                "0x01984892",
                "0x019848920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x092b25e9",
            "selector": "0x092b25e9",
            "calldata_variants": [
                "0x092b25e9",
                "0x092b25e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x213b9eb8",
            "selector": "0x213b9eb8",
            "calldata_variants": [
                "0x213b9eb8",
                "0x213b9eb80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x511b1df9",
            "selector": "0x511b1df9",
            "calldata_variants": [
                "0x511b1df9",
                "0x511b1df90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f445c24",
            "selector": "0x7f445c24",
            "calldata_variants": [
                "0x7f445c24",
                "0x7f445c240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae999ece",
            "selector": "0xae999ece",
            "calldata_variants": [
                "0xae999ece",
                "0xae999ece0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb5754045",
            "selector": "0xb5754045",
            "calldata_variants": [
                "0xb5754045",
                "0xb57540450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc47f0027",
            "selector": "0xc47f0027",
            "calldata_variants": [
                "0xc47f0027",
                "0xc47f00270000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1530,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2504,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "computed"
        },
        {
            "pc": 2615,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 yes yes
view
trace_id: 0x1d75af42b2cd4ccf6a86204d2258d3f365baa73f77ebcfc3a310aa3d9863e3d2
call_targets: 0x0000000000000000000000000000000000000004, 0x0e5e2b9341341ade98f510ad9a744e01f3b29f03
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x1d75af42b2cd4ccf6a86204d2258d3f365baa73f77ebcfc3a310aa3d9863e3d2",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000004",
        "0x0e5e2b9341341ade98f510ad9a744e01f3b29f03"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01984892",
            "selector": "0x01984892",
            "calldata_variants": [
                "0x01984892",
                "0x019848920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x092b25e9",
            "selector": "0x092b25e9",
            "calldata_variants": [
                "0x092b25e9",
                "0x092b25e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x213b9eb8",
            "selector": "0x213b9eb8",
            "calldata_variants": [
                "0x213b9eb8",
                "0x213b9eb80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x511b1df9",
            "selector": "0x511b1df9",
            "calldata_variants": [
                "0x511b1df9",
                "0x511b1df90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f445c24",
            "selector": "0x7f445c24",
            "calldata_variants": [
                "0x7f445c24",
                "0x7f445c240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae999ece",
            "selector": "0xae999ece",
            "calldata_variants": [
                "0xae999ece",
                "0xae999ece0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb5754045",
            "selector": "0xb5754045",
            "calldata_variants": [
                "0xb5754045",
                "0xb57540450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc47f0027",
            "selector": "0xc47f0027",
            "calldata_variants": [
                "0xc47f0027",
                "0xc47f00270000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1530,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2615,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}