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

Analysis Run

12bb72aa-0c1b-465c-b241-8e1f4e0150a7

failed
Chain ID
1
Address
0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
Block Number
—
Created
Thu, Jan 1, 2026 3:39 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31066 report.consolidate complete 1 / 1 3 months ago
76210 artifact.fetch failed 1 / 3 1 week ago
76211 tool.cast_disasm complete 1 / 3 1 week ago
76212 analysis.bundle complete 1 / 3 1 week ago
76213 capability.graph complete 1 / 3 1 week ago
76214 detector.run complete 1 / 3 1 week ago
76215 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed ActivePool and dependencies in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found.
View stderr 
[codex:542615] OpenAI Codex v0.77.0 (research preview)
[codex:542615] --------
[codex:542615] workdir: /tmp/codex-multi-6zxczu17
[codex:542615] model: gpt-5.2-codex
[codex:542615] provider: openai
[codex:542615] approval: never
[codex:542615] sandbox: read-only
[codex:542615] reasoning effort: xhigh
[codex:542615] reasoning summaries: auto
[codex:542615] session id: 019b7a36-a6ca-7ae0-a6af-bd7f82e67866
[codex:542615] --------
[codex:542615] user
[codex:542615] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:542615] 
[codex:542615] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:542615] 
[codex:542615] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:542615] - Gas inefficiency, code quality, naming, or best practices
[codex:542615] - Theoretical vulnerabilities without a clear extraction path
[codex:542615] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:542615] - Front-running unless it enables theft beyond MEV
[codex:542615] - DoS, griefing, or issues that don't result in attacker profit
[codex:542615] - Missing events, view function issues, or informational findings
[codex:542615] 
[codex:542615] HIGH-VALUE PATTERNS TO HUNT:
[codex:542615] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:542615] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:542615] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:542615] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:542615] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:542615] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:542615] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:542615] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:542615] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:542615] 
[codex:542615] For each finding, you MUST provide:
[codex:542615] 1. Exact file and line numbers of vulnerable code
[codex:542615] 2. Step-by-step exploit transaction sequence
[codex:542615] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:542615] 
[codex:542615] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:542615] 
[codex:542615] Output MUST be valid JSON matching the provided schema.
[codex:542615] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:542615] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:542615] mcp startup: no servers
[codex:542615] 
[codex:542615] thinking
[codex:542615] **Preparing to review instructions**
[codex:542615] exec
[codex:542615] /bin/bash -lc ls in /tmp/codex-multi-6zxczu17 succeeded in 5ms:
[codex:542615] AUDIT_BUNDLE.txt
[codex:542615] codex-output-schema.json
[codex:542615] contracts
[codex:542615] 
[codex:542615] thinking
[codex:542615] **Reading AUDIT_BUNDLE.txt**
[codex:542615] exec
[codex:542615] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-6zxczu17 succeeded in 5ms:
[codex:542615] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:542615] 
[codex:542615] ================================================================================
[codex:542615] FILE: contracts/contracts/ActivePool.sol
[codex:542615] ================================================================================
[codex:542615] // SPDX-License-Identifier: MIT
[codex:542615] 
[codex:542615] pragma solidity 0.6.11;
[codex:542615] 
[codex:542615] import './Interfaces/IActivePool.sol';
[codex:542615] import "./Dependencies/SafeMath.sol";
[codex:542615] import "./Dependencies/Ownable.sol";
[codex:542615] import "./Dependencies/CheckContract.sol";
[codex:542615] import "./Dependencies/console.sol";
[codex:542615] 
[codex:542615] /*
[codex:542615]  * The Active Pool holds the ETH collateral and LUSD debt (but not LUSD tokens) for all active troves.
[codex:542615]  *
[codex:542615]  * When a trove is liquidated, it's ETH and LUSD debt are transferred from the Active Pool, to either the
[codex:542615]  * Stability Pool, the Default Pool, or both, depending on the liquidation conditions.
[codex:542615] 
[codex:542615] thinking
[codex:542615] **Analyzing AUDIT_BUNDLE for vulnerabilities**
[codex:542615] 
[codex:542615] I'll carefully examine the large AUDIT_BUNDLE by searching for patterns like "TODO," "FIX," "permit," and others that might reveal vulnerabilities or test features. Since the file is huge and concatenates many contracts, I'll try to locate file boundaries and focus on potential exploit paths, ensuring I respect the instruction to read the entire bundle before concluding.
[codex:542615] exec
[codex:542615] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-6zxczu17 succeeded in 6ms:
[codex:542615] 4:FILE: contracts/contracts/ActivePool.sol
[codex:542615] 144:FILE: contracts/contracts/Dependencies/CheckContract.sol
[codex:542615] 167:FILE: contracts/contracts/Dependencies/Ownable.sol
[codex:542615] 237:FILE: contracts/contracts/Dependencies/SafeMath.sol
[codex:542615] 402:FILE: contracts/contracts/Dependencies/console.sol
[codex:542615] 2313:FILE: contracts/contracts/Interfaces/IActivePool.sol
[codex:542615] 2334:FILE: contracts/contracts/Interfaces/IPool.sol
[codex:542615] 
[codex:542615] thinking
[codex:542615] **Analyzing AUDIT_BUNDLE ActivePool only**
[codex:542615] 
[codex:542615] I’m confirming that the audit bundle only includes ActivePool and its dependencies, so the focus is just on that contract. After reviewing its functions and access controls, no exploitable paths or vulnerabilities appear, and admin controls seem secure. I’ll produce a JSON output summarizing no findings with a proper schema as requested.
[codex:542615] codex
[codex:542615] {"no_findings":true,"summary":"Reviewed ActivePool and dependencies in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found.","findings":[]}
[codex:542615] tokens used
[codex:542615] 17,282
[codex:542615] {"no_findings":true,"summary":"Reviewed ActivePool and dependencies in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-01T15:39:59.414857+00:00",
        "returncode": 0
    },
    "summary": "Reviewed ActivePool and dependencies in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found.",
    "raw_final": {
        "summary": "Reviewed ActivePool and dependencies in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
2
Total opcodes
1695
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00b6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x64a197f3
00000019: GT
0000001a: PUSH2 0x006f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x64a197f3
00000024: EQ
00000025: PUSH2 0x020d
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x0246
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8f32d59b
0000003a: EQ
0000003b: PUSH2 0x025b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xa3f4df7e
00000045: EQ
00000046: PUSH2 0x0284
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xaac1846f
00000050: EQ
00000051: PUSH2 0x030e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xb7f8cf9b
0000005b: EQ
0000005c: PUSH2 0x0323
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xcfb9329a
00000066: EQ
00000067: PUSH2 0x0338
0000006a: JUMPI
0000006b: PUSH2 0x010f
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x0b622ab2
00000076: EQ
00000077: PUSH2 0x0114
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x14f6c3be
00000081: EQ
00000082: PUSH2 0x0145
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x38d995a8
0000008c: EQ
0000008d: PUSH2 0x016c
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x4a945f8d
00000097: EQ
00000098: PUSH2 0x0198
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x5a4d28bb
000000a2: EQ
000000a3: PUSH2 0x01e3
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x5eb52fca
000000ad: EQ
000000ae: PUSH2 0x01f8
000000b1: JUMPI
000000b2: PUSH2 0x010f
000000b5: JUMP
000000b6: JUMPDEST
000000b7: CALLDATASIZE
000000b8: PUSH2 0x010f
000000bb: JUMPI
000000bc: PUSH2 0x00c3
000000bf: PUSH2 0x0362
000000c2: JUMP
000000c3: JUMPDEST
000000c4: PUSH1 0x05
000000c6: SLOAD
000000c7: PUSH2 0x00d6
000000ca: SWAP1
000000cb: CALLVALUE
000000cc: PUSH4 0xffffffff
000000d1: PUSH2 0x03c2
000000d4: AND
000000d5: JUMP
000000d6: JUMPDEST
000000d7: PUSH1 0x05
000000d9: DUP2
000000da: SWAP1
000000db: SSTORE
000000dc: PUSH1 0x40
000000de: DUP1
000000df: MLOAD
000000e0: SWAP2
000000e1: DUP3
000000e2: MSTORE
000000e3: MLOAD
000000e4: PUSH32 0xca232b5abb988c540b959ff6c3bfae3e97fff964fd098c508f9613c0a6bf1a80
00000105: SWAP2
00000106: DUP2
00000107: SWAP1
00000108: SUB
00000109: PUSH1 0x20
0000010b: ADD
0000010c: SWAP1
0000010d: LOG1
0000010e: STOP
0000010f: JUMPDEST
00000110: PUSH1 0x00
00000112: DUP1
00000113: REVERT
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x0129
00000125: PUSH2 0x0423
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH1 0x40
0000012c: DUP1
0000012d: MLOAD
0000012e: PUSH1 0x01
00000130: PUSH1 0x01
00000132: PUSH1 0xa0
00000134: SHL
00000135: SUB
00000136: SWAP1
00000137: SWAP3
00000138: AND
00000139: DUP3
0000013a: MSTORE
0000013b: MLOAD
0000013c: SWAP1
0000013d: DUP2
0000013e: SWAP1
0000013f: SUB
00000140: PUSH1 0x20
00000142: ADD
00000143: SWAP1
00000144: RETURN
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH2 0x015a
00000156: PUSH2 0x0432
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: DUP1
0000015e: MLOAD
0000015f: SWAP2
00000160: DUP3
00000161: MSTORE
00000162: MLOAD
00000163: SWAP1
00000164: DUP2
00000165: SWAP1
00000166: SUB
00000167: PUSH1 0x20
00000169: ADD
0000016a: SWAP1
0000016b: RETURN
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x0196
0000017d: PUSH1 0x04
0000017f: DUP1
00000180: CALLDATASIZE
00000181: SUB
00000182: PUSH1 0x20
00000184: DUP2
00000185: LT
00000186: ISZERO
00000187: PUSH2 0x018f
0000018a: JUMPI
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: POP
00000191: CALLDATALOAD
00000192: PUSH2 0x0438
00000195: JUMP
00000196: JUMPDEST
00000197: STOP
00000198: JUMPDEST
00000199: CALLVALUE
0000019a: DUP1
0000019b: ISZERO
0000019c: PUSH2 0x01a4
0000019f: JUMPI
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: REVERT
000001a4: JUMPDEST
000001a5: POP
000001a6: PUSH2 0x0196
000001a9: PUSH1 0x04
000001ab: DUP1
000001ac: CALLDATASIZE
000001ad: SUB
000001ae: PUSH1 0x80
000001b0: DUP2
000001b1: LT
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH1 0x01
000001bf: PUSH1 0x01
000001c1: PUSH1 0xa0
000001c3: SHL
000001c4: SUB
000001c5: DUP2
000001c6: CALLDATALOAD
000001c7: DUP2
000001c8: AND
000001c9: SWAP2
000001ca: PUSH1 0x20
000001cc: DUP2
000001cd: ADD
000001ce: CALLDATALOAD
000001cf: DUP3
000001d0: AND
000001d1: SWAP2
000001d2: PUSH1 0x40
000001d4: DUP3
000001d5: ADD
000001d6: CALLDATALOAD
000001d7: DUP2
000001d8: AND
000001d9: SWAP2
000001da: PUSH1 0x60
000001dc: ADD
000001dd: CALLDATALOAD
000001de: AND
000001df: PUSH2 0x048d
000001e2: JUMP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x0129
000001f4: PUSH2 0x0646
000001f7: JUMP
000001f8: JUMPDEST
000001f9: CALLVALUE
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x015a
00000209: PUSH2 0x0655
0000020c: JUMP
0000020d: JUMPDEST
0000020e: CALLVALUE
0000020f: DUP1
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: PUSH2 0x0196
0000021e: PUSH1 0x04
00000220: DUP1
00000221: CALLDATASIZE
00000222: SUB
00000223: PUSH1 0x40
00000225: DUP2
00000226: LT
00000227: ISZERO
00000228: PUSH2 0x0230
0000022b: JUMPI
0000022c: PUSH1 0x00
0000022e: DUP1
0000022f: REVERT
00000230: JUMPDEST
00000231: POP
00000232: PUSH1 0x01
00000234: PUSH1 0x01
00000236: PUSH1 0xa0
00000238: SHL
00000239: SUB
0000023a: DUP2
0000023b: CALLDATALOAD
0000023c: AND
0000023d: SWAP1
0000023e: PUSH1 0x20
00000240: ADD
00000241: CALLDATALOAD
00000242: PUSH2 0x065b
00000245: JUMP
00000246: JUMPDEST
00000247: CALLVALUE
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x0129
00000257: PUSH2 0x079c
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0267
00000262: JUMPI
00000263: PUSH1 0x00
00000265: DUP1
00000266: REVERT
00000267: JUMPDEST
00000268: POP
00000269: PUSH2 0x0270
0000026c: PUSH2 0x07ab
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: DUP1
00000274: MLOAD
00000275: SWAP2
00000276: ISZERO
00000277: ISZERO
00000278: DUP3
00000279: MSTORE
0000027a: MLOAD
0000027b: SWAP1
0000027c: DUP2
0000027d: SWAP1
0000027e: SUB
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x0299
00000295: PUSH2 0x07bc
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: DUP1
0000029d: MLOAD
0000029e: PUSH1 0x20
000002a0: DUP1
000002a1: DUP3
000002a2: MSTORE
000002a3: DUP4
000002a4: MLOAD
000002a5: DUP2
000002a6: DUP4
000002a7: ADD
000002a8: MSTORE
000002a9: DUP4
000002aa: MLOAD
000002ab: SWAP2
000002ac: SWAP3
000002ad: DUP4
000002ae: SWAP3
000002af: SWAP1
000002b0: DUP4
000002b1: ADD
000002b2: SWAP2
000002b3: DUP6
000002b4: ADD
000002b5: SWAP1
000002b6: DUP1
000002b7: DUP4
000002b8: DUP4
000002b9: PUSH1 0x00
000002bb: JUMPDEST
000002bc: DUP4
000002bd: DUP2
000002be: LT
000002bf: ISZERO
000002c0: PUSH2 0x02d3
000002c3: JUMPI
000002c4: DUP2
000002c5: DUP2
000002c6: ADD
000002c7: MLOAD
000002c8: DUP4
000002c9: DUP3
000002ca: ADD
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: PUSH2 0x02bb
000002d2: JUMP
000002d3: JUMPDEST
000002d4: POP
000002d5: POP
000002d6: POP
000002d7: POP
000002d8: SWAP1
000002d9: POP
000002da: SWAP1
000002db: DUP2
000002dc: ADD
000002dd: SWAP1
000002de: PUSH1 0x1f
000002e0: AND
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x0300
000002e6: JUMPI
000002e7: DUP1
000002e8: DUP3
000002e9: SUB
000002ea: DUP1
000002eb: MLOAD
000002ec: PUSH1 0x01
000002ee: DUP4
000002ef: PUSH1 0x20
000002f1: SUB
000002f2: PUSH2 0x0100
000002f5: EXP
000002f6: SUB
000002f7: NOT
000002f8: AND
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP2
000002ff: POP
00000300: JUMPDEST
00000301: POP
00000302: SWAP3
00000303: POP
00000304: POP
00000305: POP
00000306: PUSH1 0x40
00000308: MLOAD
00000309: DUP1
0000030a: SWAP2
0000030b: SUB
0000030c: SWAP1
0000030d: RETURN
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: DUP1
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: POP
0000031c: PUSH2 0x0129
0000031f: PUSH2 0x07e2
00000322: JUMP
00000323: JUMPDEST
00000324: CALLVALUE
00000325: DUP1
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: POP
00000331: PUSH2 0x0129
00000334: PUSH2 0x07f1
00000337: JUMP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x0196
00000349: PUSH1 0x04
0000034b: DUP1
0000034c: CALLDATASIZE
0000034d: SUB
0000034e: PUSH1 0x20
00000350: DUP2
00000351: LT
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: CALLDATALOAD
0000035e: PUSH2 0x0800
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH1 0x01
00000365: SLOAD
00000366: PUSH1 0x01
00000368: PUSH1 0x01
0000036a: PUSH1 0xa0
0000036c: SHL
0000036d: SUB
0000036e: AND
0000036f: CALLER
00000370: EQ
00000371: DUP1
00000372: PUSH2 0x0385
00000375: JUMPI
00000376: POP
00000377: PUSH1 0x04
00000379: SLOAD
0000037a: PUSH1 0x01
0000037c: PUSH1 0x01
0000037e: PUSH1 0xa0
00000380: SHL
00000381: SUB
00000382: AND
00000383: CALLER
00000384: EQ
00000385: JUMPDEST
00000386: PUSH2 0x03c0
00000389: JUMPI
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: PUSH3 0x461bcd
00000391: PUSH1 0xe5
00000393: SHL
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x04
00000398: ADD
00000399: DUP1
0000039a: DUP1
0000039b: PUSH1 0x20
0000039d: ADD
0000039e: DUP3
0000039f: DUP2
000003a0: SUB
000003a1: DUP3
000003a2: MSTORE
000003a3: PUSH1 0x31
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x20
000003a9: ADD
000003aa: DUP1
000003ab: PUSH2 0x0b57
000003ae: PUSH1 0x31
000003b0: SWAP2
000003b1: CODECOPY
000003b2: PUSH1 0x40
000003b4: ADD
000003b5: SWAP2
000003b6: POP
000003b7: POP
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: DUP1
000003bc: SWAP2
000003bd: SUB
000003be: SWAP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x00
000003c5: DUP3
000003c6: DUP3
000003c7: ADD
000003c8: DUP4
000003c9: DUP2
000003ca: LT
000003cb: ISZERO
000003cc: PUSH2 0x041c
000003cf: JUMPI
000003d0: PUSH1 0x40
000003d2: DUP1
000003d3: MLOAD
000003d4: PUSH3 0x461bcd
000003d8: PUSH1 0xe5
000003da: SHL
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: PUSH1 0x04
000003e1: DUP3
000003e2: ADD
000003e3: MSTORE
000003e4: PUSH1 0x1b
000003e6: PUSH1 0x24
000003e8: DUP3
000003e9: ADD
000003ea: MSTORE
000003eb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000040c: PUSH1 0x44
0000040e: DUP3
0000040f: ADD
00000410: MSTORE
00000411: SWAP1
00000412: MLOAD
00000413: SWAP1
00000414: DUP2
00000415: SWAP1
00000416: SUB
00000417: PUSH1 0x64
00000419: ADD
0000041a: SWAP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: SWAP4
0000041e: SWAP3
0000041f: POP
00000420: POP
00000421: POP
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x03
00000426: SLOAD
00000427: PUSH1 0x01
00000429: PUSH1 0x01
0000042b: PUSH1 0xa0
0000042d: SHL
0000042e: SUB
0000042f: AND
00000430: DUP2
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH1 0x05
00000435: SLOAD
00000436: SWAP1
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x0440
0000043c: PUSH2 0x081b
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x06
00000443: SLOAD
00000444: PUSH2 0x0453
00000447: SWAP1
00000448: DUP3
00000449: PUSH4 0xffffffff
0000044e: PUSH2 0x088e
00000451: AND
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x06
00000456: DUP2
00000457: SWAP1
00000458: SSTORE
00000459: PUSH1 0x40
0000045b: DUP1
0000045c: MLOAD
0000045d: SWAP2
0000045e: DUP3
0000045f: MSTORE
00000460: MLOAD
00000461: PUSH32 0x0d4c964e4ceac5d740869d39789a7b91888a787b9c33e9365b1a658a21ffb696
00000482: SWAP2
00000483: DUP2
00000484: SWAP1
00000485: SUB
00000486: PUSH1 0x20
00000488: ADD
00000489: SWAP1
0000048a: LOG1
0000048b: POP
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x0495
00000491: PUSH2 0x07ab
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH2 0x04e6
00000499: JUMPI
0000049a: PUSH1 0x40
0000049c: DUP1
0000049d: MLOAD
0000049e: PUSH3 0x461bcd
000004a2: PUSH1 0xe5
000004a4: SHL
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x20
000004a9: PUSH1 0x04
000004ab: DUP3
000004ac: ADD
000004ad: DUP2
000004ae: SWAP1
000004af: MSTORE
000004b0: PUSH1 0x24
000004b2: DUP3
000004b3: ADD
000004b4: MSTORE
000004b5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000004d6: PUSH1 0x44
000004d8: DUP3
000004d9: ADD
000004da: MSTORE
000004db: SWAP1
000004dc: MLOAD
000004dd: SWAP1
000004de: DUP2
000004df: SWAP1
000004e0: SUB
000004e1: PUSH1 0x64
000004e3: ADD
000004e4: SWAP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: PUSH2 0x04ef
000004ea: DUP5
000004eb: PUSH2 0x08d0
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH2 0x04f8
000004f3: DUP4
000004f4: PUSH2 0x08d0
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x0501
000004fc: DUP3
000004fd: PUSH2 0x08d0
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH2 0x050a
00000505: DUP2
00000506: PUSH2 0x08d0
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH1 0x01
0000050d: DUP1
0000050e: SLOAD
0000050f: PUSH1 0x01
00000511: PUSH1 0x01
00000513: PUSH1 0xa0
00000515: SHL
00000516: SUB
00000517: DUP1
00000518: DUP8
00000519: AND
0000051a: PUSH1 0x01
0000051c: PUSH1 0x01
0000051e: PUSH1 0xa0
00000520: SHL
00000521: SUB
00000522: NOT
00000523: SWAP3
00000524: DUP4
00000525: AND
00000526: DUP2
00000527: OR
00000528: SWAP1
00000529: SWAP4
0000052a: SSTORE
0000052b: PUSH1 0x02
0000052d: DUP1
0000052e: SLOAD
0000052f: DUP8
00000530: DUP4
00000531: AND
00000532: SWAP1
00000533: DUP5
00000534: AND
00000535: OR
00000536: SWAP1
00000537: SSTORE
00000538: PUSH1 0x03
0000053a: DUP1
0000053b: SLOAD
0000053c: DUP7
0000053d: DUP4
0000053e: AND
0000053f: SWAP1
00000540: DUP5
00000541: AND
00000542: OR
00000543: SWAP1
00000544: SSTORE
00000545: PUSH1 0x04
00000547: DUP1
00000548: SLOAD
00000549: SWAP2
0000054a: DUP6
0000054b: AND
0000054c: SWAP2
0000054d: SWAP1
0000054e: SWAP3
0000054f: AND
00000550: OR
00000551: SWAP1
00000552: SSTORE
00000553: PUSH1 0x40
00000555: DUP1
00000556: MLOAD
00000557: SWAP2
00000558: DUP3
00000559: MSTORE
0000055a: MLOAD
0000055b: PUSH32 0x3ca631ffcd2a9b5d9ae18543fc82f58eb4ca33af9e6ab01b7a8e95331e6ed985
0000057c: SWAP2
0000057d: DUP2
0000057e: SWAP1
0000057f: SUB
00000580: PUSH1 0x20
00000582: ADD
00000583: SWAP1
00000584: LOG1
00000585: PUSH1 0x40
00000587: DUP1
00000588: MLOAD
00000589: PUSH1 0x01
0000058b: PUSH1 0x01
0000058d: PUSH1 0xa0
0000058f: SHL
00000590: SUB
00000591: DUP6
00000592: AND
00000593: DUP2
00000594: MSTORE
00000595: SWAP1
00000596: MLOAD
00000597: PUSH32 0x143219c9e69b09e07e095fcc889b43d8f46ca892bba65f08dc3a0050869a5678
000005b8: SWAP2
000005b9: DUP2
000005ba: SWAP1
000005bb: SUB
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: LOG1
000005c1: PUSH1 0x40
000005c3: DUP1
000005c4: MLOAD
000005c5: PUSH1 0x01
000005c7: PUSH1 0x01
000005c9: PUSH1 0xa0
000005cb: SHL
000005cc: SUB
000005cd: DUP5
000005ce: AND
000005cf: DUP2
000005d0: MSTORE
000005d1: SWAP1
000005d2: MLOAD
000005d3: PUSH32 0x82966d27eea39b038ee0fa30cd16532bb24f6e65d31cb58fb227aa5766cdcc7f
000005f4: SWAP2
000005f5: DUP2
000005f6: SWAP1
000005f7: SUB
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: SWAP1
000005fc: LOG1
000005fd: PUSH1 0x40
000005ff: DUP1
00000600: MLOAD
00000601: PUSH1 0x01
00000603: PUSH1 0x01
00000605: PUSH1 0xa0
00000607: SHL
00000608: SUB
00000609: DUP4
0000060a: AND
0000060b: DUP2
0000060c: MSTORE
0000060d: SWAP1
0000060e: MLOAD
0000060f: PUSH32 0x5ee0cae2f063ed938bb55046f6a932fb6ae792bf43624806bb90abe68a50be9b
00000630: SWAP2
00000631: DUP2
00000632: SWAP1
00000633: SUB
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP1
00000638: LOG1
00000639: PUSH2 0x0640
0000063c: PUSH2 0x0983
0000063f: JUMP
00000640: JUMPDEST
00000641: POP
00000642: POP
00000643: POP
00000644: POP
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x02
00000649: SLOAD
0000064a: PUSH1 0x01
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: SHL
00000651: SUB
00000652: AND
00000653: DUP2
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x06
00000658: SLOAD
00000659: SWAP1
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH2 0x0663
0000065f: PUSH2 0x081b
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x05
00000666: SLOAD
00000667: PUSH2 0x0676
0000066a: SWAP1
0000066b: DUP3
0000066c: PUSH4 0xffffffff
00000671: PUSH2 0x088e
00000674: AND
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x05
00000679: DUP2
0000067a: SWAP1
0000067b: SSTORE
0000067c: PUSH1 0x40
0000067e: DUP1
0000067f: MLOAD
00000680: SWAP2
00000681: DUP3
00000682: MSTORE
00000683: MLOAD
00000684: PUSH32 0xca232b5abb988c540b959ff6c3bfae3e97fff964fd098c508f9613c0a6bf1a80
000006a5: SWAP2
000006a6: DUP2
000006a7: SWAP1
000006a8: SUB
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: SWAP1
000006ad: LOG1
000006ae: PUSH1 0x40
000006b0: DUP1
000006b1: MLOAD
000006b2: PUSH1 0x01
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: SHL
000006b9: SUB
000006ba: DUP5
000006bb: AND
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x20
000006c0: DUP2
000006c1: ADD
000006c2: DUP4
000006c3: SWAP1
000006c4: MSTORE
000006c5: DUP2
000006c6: MLOAD
000006c7: PUSH32 0x6109e2559dfa766aaec7118351d48a523f0a4157f49c8d68749c8ac41318ad12
000006e8: SWAP3
000006e9: SWAP2
000006ea: DUP2
000006eb: SWAP1
000006ec: SUB
000006ed: SWAP1
000006ee: SWAP2
000006ef: ADD
000006f0: SWAP1
000006f1: LOG1
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: PUSH1 0x00
000006f7: SWAP1
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: DUP5
00000701: AND
00000702: SWAP1
00000703: DUP4
00000704: SWAP1
00000705: DUP4
00000706: DUP2
00000707: DUP2
00000708: DUP2
00000709: DUP6
0000070a: DUP8
0000070b: GAS
0000070c: CALL
0000070d: SWAP3
0000070e: POP
0000070f: POP
00000710: POP
00000711: RETURNDATASIZE
00000712: DUP1
00000713: PUSH1 0x00
00000715: DUP2
00000716: EQ
00000717: PUSH2 0x073c
0000071a: JUMPI
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: SWAP2
0000071f: POP
00000720: PUSH1 0x1f
00000722: NOT
00000723: PUSH1 0x3f
00000725: RETURNDATASIZE
00000726: ADD
00000727: AND
00000728: DUP3
00000729: ADD
0000072a: PUSH1 0x40
0000072c: MSTORE
0000072d: RETURNDATASIZE
0000072e: DUP3
0000072f: MSTORE
00000730: RETURNDATASIZE
00000731: PUSH1 0x00
00000733: PUSH1 0x20
00000735: DUP5
00000736: ADD
00000737: RETURNDATACOPY
00000738: PUSH2 0x0741
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x60
0000073f: SWAP2
00000740: POP
00000741: JUMPDEST
00000742: POP
00000743: POP
00000744: SWAP1
00000745: POP
00000746: DUP1
00000747: PUSH2 0x0797
0000074a: JUMPI
0000074b: PUSH1 0x40
0000074d: DUP1
0000074e: MLOAD
0000074f: PUSH3 0x461bcd
00000753: PUSH1 0xe5
00000755: SHL
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x20
0000075a: PUSH1 0x04
0000075c: DUP3
0000075d: ADD
0000075e: MSTORE
0000075f: PUSH1 0x1e
00000761: PUSH1 0x24
00000763: DUP3
00000764: ADD
00000765: MSTORE
00000766: PUSH32 0x416374697665506f6f6c3a2073656e64696e6720455448206661696c65640000
00000787: PUSH1 0x44
00000789: DUP3
0000078a: ADD
0000078b: MSTORE
0000078c: SWAP1
0000078d: MLOAD
0000078e: SWAP1
0000078f: DUP2
00000790: SWAP1
00000791: SUB
00000792: PUSH1 0x64
00000794: ADD
00000795: SWAP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: POP
0000079a: POP
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH1 0x00
0000079f: SLOAD
000007a0: PUSH1 0x01
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: SHL
000007a7: SUB
000007a8: AND
000007a9: SWAP1
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x00
000007ae: SLOAD
000007af: PUSH1 0x01
000007b1: PUSH1 0x01
000007b3: PUSH1 0xa0
000007b5: SHL
000007b6: SUB
000007b7: AND
000007b8: CALLER
000007b9: EQ
000007ba: SWAP1
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: DUP1
000007c1: PUSH1 0x40
000007c3: ADD
000007c4: PUSH1 0x40
000007c6: MSTORE
000007c7: DUP1
000007c8: PUSH1 0x0a
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH10 0x1058dd1a5d99541bdbdb
000007da: PUSH1 0xb2
000007dc: SHL
000007dd: DUP2
000007de: MSTORE
000007df: POP
000007e0: DUP2
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x04
000007e5: SLOAD
000007e6: PUSH1 0x01
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: SHL
000007ed: SUB
000007ee: AND
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x01
000007f4: SLOAD
000007f5: PUSH1 0x01
000007f7: PUSH1 0x01
000007f9: PUSH1 0xa0
000007fb: SHL
000007fc: SUB
000007fd: AND
000007fe: DUP2
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH2 0x0808
00000804: PUSH2 0x09cd
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x06
0000080b: SLOAD
0000080c: PUSH2 0x0453
0000080f: SWAP1
00000810: DUP3
00000811: PUSH4 0xffffffff
00000816: PUSH2 0x03c2
00000819: AND
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x01
0000081e: SLOAD
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0xa0
00000825: SHL
00000826: SUB
00000827: AND
00000828: CALLER
00000829: EQ
0000082a: DUP1
0000082b: PUSH2 0x083e
0000082e: JUMPI
0000082f: POP
00000830: PUSH1 0x02
00000832: SLOAD
00000833: PUSH1 0x01
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: SHL
0000083a: SUB
0000083b: AND
0000083c: CALLER
0000083d: EQ
0000083e: JUMPDEST
0000083f: DUP1
00000840: PUSH2 0x0853
00000843: JUMPI
00000844: POP
00000845: PUSH1 0x03
00000847: SLOAD
00000848: PUSH1 0x01
0000084a: PUSH1 0x01
0000084c: PUSH1 0xa0
0000084e: SHL
0000084f: SUB
00000850: AND
00000851: CALLER
00000852: EQ
00000853: JUMPDEST
00000854: PUSH2 0x03c0
00000857: JUMPI
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: PUSH3 0x461bcd
0000085f: PUSH1 0xe5
00000861: SHL
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x04
00000866: ADD
00000867: DUP1
00000868: DUP1
00000869: PUSH1 0x20
0000086b: ADD
0000086c: DUP3
0000086d: DUP2
0000086e: SUB
0000086f: DUP3
00000870: MSTORE
00000871: PUSH1 0x53
00000873: DUP2
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: DUP1
00000879: PUSH2 0x0b04
0000087c: PUSH1 0x53
0000087e: SWAP2
0000087f: CODECOPY
00000880: PUSH1 0x60
00000882: ADD
00000883: SWAP2
00000884: POP
00000885: POP
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: SWAP2
0000088b: SUB
0000088c: SWAP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: PUSH1 0x00
00000891: PUSH2 0x041c
00000894: DUP4
00000895: DUP4
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: PUSH1 0x40
0000089c: ADD
0000089d: PUSH1 0x40
0000089f: MSTORE
000008a0: DUP1
000008a1: PUSH1 0x1e
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: ADD
000008a8: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000008c9: DUP2
000008ca: MSTORE
000008cb: POP
000008cc: PUSH2 0x0a2b
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x01
000008d3: PUSH1 0x01
000008d5: PUSH1 0xa0
000008d7: SHL
000008d8: SUB
000008d9: DUP2
000008da: AND
000008db: PUSH2 0x092b
000008de: JUMPI
000008df: PUSH1 0x40
000008e1: DUP1
000008e2: MLOAD
000008e3: PUSH3 0x461bcd
000008e7: PUSH1 0xe5
000008e9: SHL
000008ea: DUP2
000008eb: MSTORE
000008ec: PUSH1 0x20
000008ee: PUSH1 0x04
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH1 0x1e
000008f5: PUSH1 0x24
000008f7: DUP3
000008f8: ADD
000008f9: MSTORE
000008fa: PUSH32 0x4163636f756e742063616e6e6f74206265207a65726f20616464726573730000
0000091b: PUSH1 0x44
0000091d: DUP3
0000091e: ADD
0000091f: MSTORE
00000920: SWAP1
00000921: MLOAD
00000922: SWAP1
00000923: DUP2
00000924: SWAP1
00000925: SUB
00000926: PUSH1 0x64
00000928: ADD
00000929: SWAP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: DUP1
0000092d: EXTCODESIZE
0000092e: DUP1
0000092f: PUSH2 0x097f
00000932: JUMPI
00000933: PUSH1 0x40
00000935: DUP1
00000936: MLOAD
00000937: PUSH3 0x461bcd
0000093b: PUSH1 0xe5
0000093d: SHL
0000093e: DUP2
0000093f: MSTORE
00000940: PUSH1 0x20
00000942: PUSH1 0x04
00000944: DUP3
00000945: ADD
00000946: DUP2
00000947: SWAP1
00000948: MSTORE
00000949: PUSH1 0x24
0000094b: DUP3
0000094c: ADD
0000094d: MSTORE
0000094e: PUSH32 0x4163636f756e7420636f64652073697a652063616e6e6f74206265207a65726f
0000096f: PUSH1 0x44
00000971: DUP3
00000972: ADD
00000973: MSTORE
00000974: SWAP1
00000975: MLOAD
00000976: SWAP1
00000977: DUP2
00000978: SWAP1
00000979: SUB
0000097a: PUSH1 0x64
0000097c: ADD
0000097d: SWAP1
0000097e: REVERT
0000097f: JUMPDEST
00000980: POP
00000981: POP
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x00
00000986: DUP1
00000987: SLOAD
00000988: PUSH1 0x40
0000098a: MLOAD
0000098b: PUSH1 0x01
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: SHL
00000992: SUB
00000993: SWAP1
00000994: SWAP2
00000995: AND
00000996: SWAP1
00000997: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000009b8: SWAP1
000009b9: DUP4
000009ba: SWAP1
000009bb: LOG3
000009bc: PUSH1 0x00
000009be: DUP1
000009bf: SLOAD
000009c0: PUSH1 0x01
000009c2: PUSH1 0x01
000009c4: PUSH1 0xa0
000009c6: SHL
000009c7: SUB
000009c8: NOT
000009c9: AND
000009ca: SWAP1
000009cb: SSTORE
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH1 0x01
000009d0: SLOAD
000009d1: PUSH1 0x01
000009d3: PUSH1 0x01
000009d5: PUSH1 0xa0
000009d7: SHL
000009d8: SUB
000009d9: AND
000009da: CALLER
000009db: EQ
000009dc: DUP1
000009dd: PUSH2 0x09f0
000009e0: JUMPI
000009e1: POP
000009e2: PUSH1 0x02
000009e4: SLOAD
000009e5: PUSH1 0x01
000009e7: PUSH1 0x01
000009e9: PUSH1 0xa0
000009eb: SHL
000009ec: SUB
000009ed: AND
000009ee: CALLER
000009ef: EQ
000009f0: JUMPDEST
000009f1: PUSH2 0x03c0
000009f4: JUMPI
000009f5: PUSH1 0x40
000009f7: MLOAD
000009f8: PUSH3 0x461bcd
000009fc: PUSH1 0xe5
000009fe: SHL
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x04
00000a03: ADD
00000a04: DUP1
00000a05: DUP1
00000a06: PUSH1 0x20
00000a08: ADD
00000a09: DUP3
00000a0a: DUP2
00000a0b: SUB
00000a0c: DUP3
00000a0d: MSTORE
00000a0e: PUSH1 0x41
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: DUP1
00000a16: PUSH2 0x0ac3
00000a19: PUSH1 0x41
00000a1b: SWAP2
00000a1c: CODECOPY
00000a1d: PUSH1 0x60
00000a1f: ADD
00000a20: SWAP2
00000a21: POP
00000a22: POP
00000a23: PUSH1 0x40
00000a25: MLOAD
00000a26: DUP1
00000a27: SWAP2
00000a28: SUB
00000a29: SWAP1
00000a2a: REVERT
00000a2b: JUMPDEST
00000a2c: PUSH1 0x00
00000a2e: DUP2
00000a2f: DUP5
00000a30: DUP5
00000a31: GT
00000a32: ISZERO
00000a33: PUSH2 0x0aba
00000a36: JUMPI
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: PUSH3 0x461bcd
00000a3e: PUSH1 0xe5
00000a40: SHL
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x04
00000a45: ADD
00000a46: DUP1
00000a47: DUP1
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: DUP3
00000a4c: DUP2
00000a4d: SUB
00000a4e: DUP3
00000a4f: MSTORE
00000a50: DUP4
00000a51: DUP2
00000a52: DUP2
00000a53: MLOAD
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: ADD
00000a59: SWAP2
00000a5a: POP
00000a5b: DUP1
00000a5c: MLOAD
00000a5d: SWAP1
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: SWAP1
00000a62: DUP1
00000a63: DUP4
00000a64: DUP4
00000a65: PUSH1 0x00
00000a67: JUMPDEST
00000a68: DUP4
00000a69: DUP2
00000a6a: LT
00000a6b: ISZERO
00000a6c: PUSH2 0x0a7f
00000a6f: JUMPI
00000a70: DUP2
00000a71: DUP2
00000a72: ADD
00000a73: MLOAD
00000a74: DUP4
00000a75: DUP3
00000a76: ADD
00000a77: MSTORE
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: PUSH2 0x0a67
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: SWAP1
00000a85: POP
00000a86: SWAP1
00000a87: DUP2
00000a88: ADD
00000a89: SWAP1
00000a8a: PUSH1 0x1f
00000a8c: AND
00000a8d: DUP1
00000a8e: ISZERO
00000a8f: PUSH2 0x0aac
00000a92: JUMPI
00000a93: DUP1
00000a94: DUP3
00000a95: SUB
00000a96: DUP1
00000a97: MLOAD
00000a98: PUSH1 0x01
00000a9a: DUP4
00000a9b: PUSH1 0x20
00000a9d: SUB
00000a9e: PUSH2 0x0100
00000aa1: EXP
00000aa2: SUB
00000aa3: NOT
00000aa4: AND
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: SWAP2
00000aab: POP
00000aac: JUMPDEST
00000aad: POP
00000aae: SWAP3
00000aaf: POP
00000ab0: POP
00000ab1: POP
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: SWAP2
00000ab7: SUB
00000ab8: SWAP1
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: SWAP1
00000abf: SUB
00000ac0: SWAP1
00000ac1: JUMP
00000ac2: INVALID
00000ac3: COINBASE
00000ac4: PUSH4 0x74697665
00000ac9: POP
00000aca: PUSH16 0x6f6c3a2043616c6c6572206973206e65
00000adb: PUSH10 0x7468657220426f72726f
00000ae6: PUSH24 0x65724f7065726174696f6e73206e6f722054726f76654d61
00000aff: PUSH15 0x61676572416374697665506f6f6c3a
00000b0f: KECCAK256
00000b10: NUMBER
00000b11: PUSH2 0x6c6c
00000b14: PUSH6 0x72206973206e
00000b1b: PUSH6 0x697468657220
00000b22: TIMESTAMP
00000b23: PUSH16 0x72726f7765724f7065726174696f6e73
00000b34: KECCAK256
00000b35: PUSH15 0x6f722054726f76654d616e61676572
00000b45: KECCAK256
00000b46: PUSH15 0x6f722053746162696c697479506f6f
00000b56: PUSH13 0x416374697665506f6f6c3a2043
00000b64: PUSH2 0x6c6c
00000b67: PUSH6 0x72206973206e
00000b6e: PUSH6 0x697468657220
00000b75: TIMESTAMP
00000b76: UNKNOWN(0x4F)
00000b77: KECCAK256
00000b78: PUSH15 0x6f722044656661756c7420506f6f6c
00000b88: LOG2
00000b89: PUSH5 0x6970667358
00000b8f: UNKNOWN(0x22)
00000b90: SLT
00000b91: KECCAK256
00000b92: UNKNOWN(0xF7)
00000b93: UNKNOWN(0xC1)
00000b94: EXTCODECOPY
00000b95: GASPRICE
00000b96: PC
00000b97: PUSH27 0xd92722fc5c916dc59a291e2482c976811ab5ad7abbe09458783964
00000bb3: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108
call_targets: 0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f"
    ],
    "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": "0x64a197f3",
            "selector": "0x64a197f3",
            "calldata_variants": [
                "0x64a197f3",
                "0x64a197f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f4df7e",
            "selector": "0xa3f4df7e",
            "calldata_variants": [
                "0xa3f4df7e",
                "0xa3f4df7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaac1846f",
            "selector": "0xaac1846f",
            "calldata_variants": [
                "0xaac1846f",
                "0xaac1846f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7f8cf9b",
            "selector": "0xb7f8cf9b",
            "calldata_variants": [
                "0xb7f8cf9b",
                "0xb7f8cf9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfb9329a",
            "selector": "0xcfb9329a",
            "calldata_variants": [
                "0xcfb9329a",
                "0xcfb9329a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b622ab2",
            "selector": "0x0b622ab2",
            "calldata_variants": [
                "0x0b622ab2",
                "0x0b622ab20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108
call_targets: 0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f"
    ],
    "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": "0x64a197f3",
            "selector": "0x64a197f3",
            "calldata_variants": [
                "0x64a197f3",
                "0x64a197f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f4df7e",
            "selector": "0xa3f4df7e",
            "calldata_variants": [
                "0xa3f4df7e",
                "0xa3f4df7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaac1846f",
            "selector": "0xaac1846f",
            "calldata_variants": [
                "0xaac1846f",
                "0xaac1846f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7f8cf9b",
            "selector": "0xb7f8cf9b",
            "calldata_variants": [
                "0xb7f8cf9b",
                "0xb7f8cf9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfb9329a",
            "selector": "0xcfb9329a",
            "calldata_variants": [
                "0xcfb9329a",
                "0xcfb9329a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b622ab2",
            "selector": "0x0b622ab2",
            "calldata_variants": [
                "0x0b622ab2",
                "0x0b622ab20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}