Analysis Run

019b477e-b118-71e4-91da-d1e5c50b77b8

complete

Chain ID

1

Address

0x2ca1e3f250f56f1761b9a52bc42db53986085eff

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

1

Validated

1

Source

Bytecode only

Review Backing

Not yet

Best current signal

CREATE/CREATE2 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
22091	artifact.fetch	complete	1 / 3	3 months ago
22092	tool.cast_disasm	complete	1 / 3	3 months ago
101899	analysis.bundle	complete	1 / 3	1 week ago
101900	capability.graph	complete	1 / 3	1 week ago
101901	detector.run	complete	1 / 3	1 week ago
101902	validation.fork	complete	1 / 3	1 week ago
113870	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-axe2jr1q
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca1-5da3-7160-8ee7-70ec874ea38d
--------
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:52:54.027487+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5144,
        "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

1

CREATE2

0

CALL-family (heavy)

11

EXT*/BALANCE

9

Total opcodes

1624

Flags

selfdestruct_present create_opcodes_present heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x008a
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x06a3c5a9
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x00a1
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x28b5b7de
0000002d: EQ
0000002e: PUSH2 0x00b9
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x2b68b9c6
00000038: EQ
00000039: PUSH2 0x00da
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x2e1a7d4d
00000043: EQ
00000044: PUSH2 0x00ef
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x8da5cb5b
0000004e: EQ
0000004f: PUSH2 0x0107
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x9a9149e4
00000059: EQ
0000005a: PUSH2 0x0138
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0xb0856748
00000064: EQ
00000065: PUSH2 0x015f
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0xb1557c2c
0000006f: EQ
00000070: PUSH2 0x01bb
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0xb60d4288
0000007a: EQ
0000007b: PUSH2 0x01d0
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0xcf8d2529
00000085: EQ
00000086: PUSH2 0x01d8
00000089: JUMPI
0000008a: JUMPDEST
0000008b: CALLVALUE
0000008c: DUP1
0000008d: ISZERO
0000008e: PUSH2 0x0096
00000091: JUMPI
00000092: PUSH1 0x00
00000094: DUP1
00000095: REVERT
00000096: JUMPDEST
00000097: POP
00000098: PUSH2 0x009f
0000009b: PUSH2 0x01ed
0000009e: JUMP
0000009f: JUMPDEST
000000a0: STOP
000000a1: JUMPDEST
000000a2: CALLVALUE
000000a3: DUP1
000000a4: ISZERO
000000a5: PUSH2 0x00ad
000000a8: JUMPI
000000a9: PUSH1 0x00
000000ab: DUP1
000000ac: REVERT
000000ad: JUMPDEST
000000ae: POP
000000af: PUSH2 0x009f
000000b2: PUSH1 0x04
000000b4: CALLDATALOAD
000000b5: PUSH2 0x03f6
000000b8: JUMP
000000b9: JUMPDEST
000000ba: CALLVALUE
000000bb: DUP1
000000bc: ISZERO
000000bd: PUSH2 0x00c5
000000c0: JUMPI
000000c1: PUSH1 0x00
000000c3: DUP1
000000c4: REVERT
000000c5: JUMPDEST
000000c6: POP
000000c7: PUSH2 0x009f
000000ca: PUSH1 0x01
000000cc: PUSH1 0xa0
000000ce: PUSH1 0x02
000000d0: EXP
000000d1: SUB
000000d2: PUSH1 0x04
000000d4: CALLDATALOAD
000000d5: AND
000000d6: PUSH2 0x0412
000000d9: JUMP
000000da: JUMPDEST
000000db: CALLVALUE
000000dc: DUP1
000000dd: ISZERO
000000de: PUSH2 0x00e6
000000e1: JUMPI
000000e2: PUSH1 0x00
000000e4: DUP1
000000e5: REVERT
000000e6: JUMPDEST
000000e7: POP
000000e8: PUSH2 0x009f
000000eb: PUSH2 0x0482
000000ee: JUMP
000000ef: JUMPDEST
000000f0: CALLVALUE
000000f1: DUP1
000000f2: ISZERO
000000f3: PUSH2 0x00fb
000000f6: JUMPI
000000f7: PUSH1 0x00
000000f9: DUP1
000000fa: REVERT
000000fb: JUMPDEST
000000fc: POP
000000fd: PUSH2 0x009f
00000100: PUSH1 0x04
00000102: CALLDATALOAD
00000103: PUSH2 0x04a7
00000106: JUMP
00000107: JUMPDEST
00000108: CALLVALUE
00000109: DUP1
0000010a: ISZERO
0000010b: PUSH2 0x0113
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: POP
00000115: PUSH2 0x011c
00000118: PUSH2 0x04fb
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH1 0x40
0000011f: DUP1
00000120: MLOAD
00000121: PUSH1 0x01
00000123: PUSH1 0xa0
00000125: PUSH1 0x02
00000127: EXP
00000128: SUB
00000129: SWAP1
0000012a: SWAP3
0000012b: AND
0000012c: DUP3
0000012d: MSTORE
0000012e: MLOAD
0000012f: SWAP1
00000130: DUP2
00000131: SWAP1
00000132: SUB
00000133: PUSH1 0x20
00000135: ADD
00000136: SWAP1
00000137: RETURN
00000138: JUMPDEST
00000139: CALLVALUE
0000013a: DUP1
0000013b: ISZERO
0000013c: PUSH2 0x0144
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: POP
00000146: PUSH2 0x014d
00000149: PUSH2 0x050a
0000014c: JUMP
0000014d: JUMPDEST
0000014e: PUSH1 0x40
00000150: DUP1
00000151: MLOAD
00000152: SWAP2
00000153: DUP3
00000154: MSTORE
00000155: MLOAD
00000156: SWAP1
00000157: DUP2
00000158: SWAP1
00000159: SUB
0000015a: PUSH1 0x20
0000015c: ADD
0000015d: SWAP1
0000015e: RETURN
0000015f: JUMPDEST
00000160: PUSH1 0x40
00000162: DUP1
00000163: MLOAD
00000164: PUSH1 0x20
00000166: PUSH1 0x04
00000168: PUSH1 0x44
0000016a: CALLDATALOAD
0000016b: DUP2
0000016c: DUP2
0000016d: ADD
0000016e: CALLDATALOAD
0000016f: PUSH1 0x1f
00000171: DUP2
00000172: ADD
00000173: DUP5
00000174: SWAP1
00000175: DIV
00000176: DUP5
00000177: MUL
00000178: DUP6
00000179: ADD
0000017a: DUP5
0000017b: ADD
0000017c: SWAP1
0000017d: SWAP6
0000017e: MSTORE
0000017f: DUP5
00000180: DUP5
00000181: MSTORE
00000182: PUSH2 0x009f
00000185: SWAP5
00000186: DUP3
00000187: CALLDATALOAD
00000188: PUSH1 0x01
0000018a: PUSH1 0xa0
0000018c: PUSH1 0x02
0000018e: EXP
0000018f: SUB
00000190: AND
00000191: SWAP5
00000192: PUSH1 0x24
00000194: DUP1
00000195: CALLDATALOAD
00000196: SWAP6
00000197: CALLDATASIZE
00000198: SWAP6
00000199: SWAP5
0000019a: PUSH1 0x64
0000019c: SWAP5
0000019d: SWAP3
0000019e: ADD
0000019f: SWAP2
000001a0: SWAP1
000001a1: DUP2
000001a2: SWAP1
000001a3: DUP5
000001a4: ADD
000001a5: DUP4
000001a6: DUP3
000001a7: DUP1
000001a8: DUP3
000001a9: DUP5
000001aa: CALLDATACOPY
000001ab: POP
000001ac: SWAP5
000001ad: SWAP8
000001ae: POP
000001af: PUSH2 0x05a8
000001b2: SWAP7
000001b3: POP
000001b4: POP
000001b5: POP
000001b6: POP
000001b7: POP
000001b8: POP
000001b9: POP
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x011c
000001cc: PUSH2 0x0647
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH2 0x009f
000001d4: PUSH2 0x0656
000001d7: JUMP
000001d8: JUMPDEST
000001d9: CALLVALUE
000001da: DUP1
000001db: ISZERO
000001dc: PUSH2 0x01e4
000001df: JUMPI
000001e0: PUSH1 0x00
000001e2: DUP1
000001e3: REVERT
000001e4: JUMPDEST
000001e5: POP
000001e6: PUSH2 0x014d
000001e9: PUSH2 0x0658
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x03
000001f0: SLOAD
000001f1: PUSH1 0x01
000001f3: PUSH1 0x00
000001f5: SWAP1
000001f6: SLOAD
000001f7: SWAP1
000001f8: PUSH2 0x0100
000001fb: EXP
000001fc: SWAP1
000001fd: DIV
000001fe: PUSH1 0x01
00000200: PUSH1 0xa0
00000202: PUSH1 0x02
00000204: EXP
00000205: SUB
00000206: AND
00000207: PUSH1 0x01
00000209: PUSH1 0xa0
0000020b: PUSH1 0x02
0000020d: EXP
0000020e: SUB
0000020f: AND
00000210: PUSH4 0xc7e284b8
00000215: PUSH1 0x40
00000217: MLOAD
00000218: DUP2
00000219: PUSH4 0xffffffff
0000021e: AND
0000021f: PUSH1 0xe0
00000221: PUSH1 0x02
00000223: EXP
00000224: MUL
00000225: DUP2
00000226: MSTORE
00000227: PUSH1 0x04
00000229: ADD
0000022a: PUSH1 0x20
0000022c: PUSH1 0x40
0000022e: MLOAD
0000022f: DUP1
00000230: DUP4
00000231: SUB
00000232: DUP2
00000233: PUSH1 0x00
00000235: DUP8
00000236: DUP1
00000237: EXTCODESIZE
00000238: ISZERO
00000239: DUP1
0000023a: ISZERO
0000023b: PUSH2 0x0243
0000023e: JUMPI
0000023f: PUSH1 0x00
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: GAS
00000246: CALL
00000247: ISZERO
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0257
0000024d: JUMPI
0000024e: RETURNDATASIZE
0000024f: PUSH1 0x00
00000251: DUP1
00000252: RETURNDATACOPY
00000253: RETURNDATASIZE
00000254: PUSH1 0x00
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: POP
0000025a: POP
0000025b: POP
0000025c: PUSH1 0x40
0000025e: MLOAD
0000025f: RETURNDATASIZE
00000260: PUSH1 0x20
00000262: DUP2
00000263: LT
00000264: ISZERO
00000265: PUSH2 0x026d
00000268: JUMPI
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: POP
0000026f: MLOAD
00000270: LT
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: PUSH1 0x01
0000027c: SLOAD
0000027d: PUSH1 0x02
0000027f: SLOAD
00000280: PUSH1 0x40
00000282: DUP1
00000283: MLOAD
00000284: PUSH32 0x10f01eba00000000000000000000000000000000000000000000000000000000
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x01
000002a9: PUSH1 0xa0
000002ab: PUSH1 0x02
000002ad: EXP
000002ae: SUB
000002af: SWAP3
000002b0: DUP4
000002b1: AND
000002b2: PUSH1 0x04
000002b4: DUP3
000002b5: ADD
000002b6: MSTORE
000002b7: SWAP1
000002b8: MLOAD
000002b9: SWAP2
000002ba: SWAP1
000002bb: SWAP3
000002bc: AND
000002bd: SWAP2
000002be: PUSH4 0x10f01eba
000002c3: SWAP2
000002c4: PUSH1 0x24
000002c6: DUP1
000002c7: DUP4
000002c8: ADD
000002c9: SWAP3
000002ca: PUSH1 0x20
000002cc: SWAP3
000002cd: SWAP2
000002ce: SWAP1
000002cf: DUP3
000002d0: SWAP1
000002d1: SUB
000002d2: ADD
000002d3: DUP2
000002d4: PUSH1 0x00
000002d6: DUP8
000002d7: DUP1
000002d8: EXTCODESIZE
000002d9: ISZERO
000002da: DUP1
000002db: ISZERO
000002dc: PUSH2 0x02e4
000002df: JUMPI
000002e0: PUSH1 0x00
000002e2: DUP1
000002e3: REVERT
000002e4: JUMPDEST
000002e5: POP
000002e6: GAS
000002e7: CALL
000002e8: ISZERO
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f8
000002ee: JUMPI
000002ef: RETURNDATASIZE
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: RETURNDATACOPY
000002f4: RETURNDATASIZE
000002f5: PUSH1 0x00
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: POP
000002fb: POP
000002fc: POP
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: RETURNDATASIZE
00000301: PUSH1 0x20
00000303: DUP2
00000304: LT
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: POP
00000310: MLOAD
00000311: PUSH2 0x0318
00000314: PUSH2 0x050a
00000317: JUMP
00000318: JUMPDEST
00000319: EQ
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: PUSH1 0x01
00000326: PUSH1 0x00
00000328: SWAP1
00000329: SLOAD
0000032a: SWAP1
0000032b: PUSH2 0x0100
0000032e: EXP
0000032f: SWAP1
00000330: DIV
00000331: PUSH1 0x01
00000333: PUSH1 0xa0
00000335: PUSH1 0x02
00000337: EXP
00000338: SUB
00000339: AND
0000033a: PUSH1 0x01
0000033c: PUSH1 0xa0
0000033e: PUSH1 0x02
00000340: EXP
00000341: SUB
00000342: AND
00000343: PUSH4 0x018a25e8
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP2
0000034c: PUSH4 0xffffffff
00000351: AND
00000352: PUSH1 0xe0
00000354: PUSH1 0x02
00000356: EXP
00000357: MUL
00000358: DUP2
00000359: MSTORE
0000035a: PUSH1 0x04
0000035c: ADD
0000035d: PUSH1 0x20
0000035f: PUSH1 0x40
00000361: MLOAD
00000362: DUP1
00000363: DUP4
00000364: SUB
00000365: DUP2
00000366: PUSH1 0x00
00000368: DUP8
00000369: DUP1
0000036a: EXTCODESIZE
0000036b: ISZERO
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: GAS
00000379: CALL
0000037a: ISZERO
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x038a
00000380: JUMPI
00000381: RETURNDATASIZE
00000382: PUSH1 0x00
00000384: DUP1
00000385: RETURNDATACOPY
00000386: RETURNDATASIZE
00000387: PUSH1 0x00
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: POP
0000038d: POP
0000038e: POP
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: RETURNDATASIZE
00000393: PUSH1 0x20
00000395: DUP2
00000396: LT
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: MLOAD
000003a3: PUSH2 0x03aa
000003a6: PUSH2 0x065e
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: SWAP2
000003b0: SUB
000003b1: SWAP1
000003b2: DUP3
000003b3: CREATE
000003b4: DUP1
000003b5: ISZERO
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c5
000003bb: JUMPI
000003bc: RETURNDATASIZE
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: RETURNDATACOPY
000003c1: RETURNDATASIZE
000003c2: PUSH1 0x00
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH1 0x02
000003c9: DUP1
000003ca: SLOAD
000003cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e0: NOT
000003e1: AND
000003e2: PUSH1 0x01
000003e4: PUSH1 0xa0
000003e6: PUSH1 0x02
000003e8: EXP
000003e9: SUB
000003ea: SWAP3
000003eb: SWAP1
000003ec: SWAP3
000003ed: AND
000003ee: SWAP2
000003ef: SWAP1
000003f0: SWAP2
000003f1: OR
000003f2: SWAP1
000003f3: SSTORE
000003f4: POP
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x00
000003f9: SLOAD
000003fa: PUSH1 0x01
000003fc: PUSH1 0xa0
000003fe: PUSH1 0x02
00000400: EXP
00000401: SUB
00000402: AND
00000403: CALLER
00000404: EQ
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: PUSH1 0x03
00000410: SSTORE
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH1 0x00
00000415: SLOAD
00000416: PUSH1 0x01
00000418: PUSH1 0xa0
0000041a: PUSH1 0x02
0000041c: EXP
0000041d: SUB
0000041e: AND
0000041f: CALLER
00000420: EQ
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: DUP1
0000042b: PUSH1 0x01
0000042d: PUSH1 0xa0
0000042f: PUSH1 0x02
00000431: EXP
00000432: SUB
00000433: AND
00000434: PUSH4 0x3ccfd60b
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP2
0000043d: PUSH4 0xffffffff
00000442: AND
00000443: PUSH1 0xe0
00000445: PUSH1 0x02
00000447: EXP
00000448: MUL
00000449: DUP2
0000044a: MSTORE
0000044b: PUSH1 0x04
0000044d: ADD
0000044e: PUSH1 0x00
00000450: PUSH1 0x40
00000452: MLOAD
00000453: DUP1
00000454: DUP4
00000455: SUB
00000456: DUP2
00000457: PUSH1 0x00
00000459: DUP8
0000045a: DUP1
0000045b: EXTCODESIZE
0000045c: ISZERO
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: GAS
0000046a: CALL
0000046b: ISZERO
0000046c: DUP1
0000046d: ISZERO
0000046e: PUSH2 0x047b
00000471: JUMPI
00000472: RETURNDATASIZE
00000473: PUSH1 0x00
00000475: DUP1
00000476: RETURNDATACOPY
00000477: RETURNDATASIZE
00000478: PUSH1 0x00
0000047a: REVERT
0000047b: JUMPDEST
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: POP
00000480: POP
00000481: JUMP
00000482: JUMPDEST
00000483: PUSH1 0x00
00000485: SLOAD
00000486: PUSH1 0x01
00000488: PUSH1 0xa0
0000048a: PUSH1 0x02
0000048c: EXP
0000048d: SUB
0000048e: AND
0000048f: CALLER
00000490: EQ
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: PUSH1 0x00
0000049c: SLOAD
0000049d: PUSH1 0x01
0000049f: PUSH1 0xa0
000004a1: PUSH1 0x02
000004a3: EXP
000004a4: SUB
000004a5: AND
000004a6: SELFDESTRUCT
000004a7: JUMPDEST
000004a8: PUSH1 0x00
000004aa: SLOAD
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: PUSH1 0x02
000004b1: EXP
000004b2: SUB
000004b3: AND
000004b4: CALLER
000004b5: EQ
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: SLOAD
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: PUSH1 0x01
000004c8: PUSH1 0xa0
000004ca: PUSH1 0x02
000004cc: EXP
000004cd: SUB
000004ce: SWAP1
000004cf: SWAP2
000004d0: AND
000004d1: SWAP2
000004d2: DUP4
000004d3: ISZERO
000004d4: PUSH2 0x08fc
000004d7: MUL
000004d8: SWAP2
000004d9: DUP5
000004da: SWAP2
000004db: DUP2
000004dc: DUP2
000004dd: DUP2
000004de: DUP6
000004df: DUP9
000004e0: DUP9
000004e1: CALL
000004e2: SWAP4
000004e3: POP
000004e4: POP
000004e5: POP
000004e6: POP
000004e7: ISZERO
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f7
000004ed: JUMPI
000004ee: RETURNDATASIZE
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: RETURNDATACOPY
000004f3: RETURNDATASIZE
000004f4: PUSH1 0x00
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: POP
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x00
000004fe: SLOAD
000004ff: PUSH1 0x01
00000501: PUSH1 0xa0
00000503: PUSH1 0x02
00000505: EXP
00000506: SUB
00000507: AND
00000508: DUP2
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH1 0x01
0000050d: DUP1
0000050e: SLOAD
0000050f: PUSH1 0x40
00000511: DUP1
00000512: MLOAD
00000513: PUSH32 0x24c33d3300000000000000000000000000000000000000000000000000000000
00000534: DUP2
00000535: MSTORE
00000536: PUSH1 0x04
00000538: DUP2
00000539: ADD
0000053a: SWAP4
0000053b: SWAP1
0000053c: SWAP4
0000053d: MSTORE
0000053e: MLOAD
0000053f: PUSH1 0x00
00000541: SWAP3
00000542: DUP4
00000543: SWAP3
00000544: PUSH1 0x01
00000546: PUSH1 0xa0
00000548: PUSH1 0x02
0000054a: EXP
0000054b: SUB
0000054c: AND
0000054d: SWAP2
0000054e: PUSH4 0x24c33d33
00000553: SWAP2
00000554: PUSH1 0x24
00000556: DUP1
00000557: DUP3
00000558: ADD
00000559: SWAP3
0000055a: PUSH2 0x0180
0000055d: SWAP3
0000055e: SWAP1
0000055f: SWAP2
00000560: SWAP1
00000561: DUP3
00000562: SWAP1
00000563: SUB
00000564: ADD
00000565: DUP2
00000566: DUP8
00000567: DUP8
00000568: DUP1
00000569: EXTCODESIZE
0000056a: ISZERO
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: GAS
00000578: CALL
00000579: ISZERO
0000057a: DUP1
0000057b: ISZERO
0000057c: PUSH2 0x0589
0000057f: JUMPI
00000580: RETURNDATASIZE
00000581: PUSH1 0x00
00000583: DUP1
00000584: RETURNDATACOPY
00000585: RETURNDATASIZE
00000586: PUSH1 0x00
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: RETURNDATASIZE
00000592: PUSH2 0x0180
00000595: DUP2
00000596: LT
00000597: ISZERO
00000598: PUSH2 0x05a0
0000059b: JUMPI
0000059c: PUSH1 0x00
0000059e: DUP1
0000059f: REVERT
000005a0: JUMPDEST
000005a1: POP
000005a2: MLOAD
000005a3: SWAP3
000005a4: SWAP2
000005a5: POP
000005a6: POP
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x00
000005ab: SLOAD
000005ac: PUSH1 0x01
000005ae: PUSH1 0xa0
000005b0: PUSH1 0x02
000005b2: EXP
000005b3: SUB
000005b4: AND
000005b5: CALLER
000005b6: EQ
000005b7: PUSH2 0x05bf
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: REVERT
000005bf: JUMPDEST
000005c0: DUP3
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: PUSH1 0x02
000005c7: EXP
000005c8: SUB
000005c9: AND
000005ca: DUP3
000005cb: DUP3
000005cc: PUSH1 0x40
000005ce: MLOAD
000005cf: DUP1
000005d0: DUP3
000005d1: DUP1
000005d2: MLOAD
000005d3: SWAP1
000005d4: PUSH1 0x20
000005d6: ADD
000005d7: SWAP1
000005d8: DUP1
000005d9: DUP4
000005da: DUP4
000005db: PUSH1 0x00
000005dd: JUMPDEST
000005de: DUP4
000005df: DUP2
000005e0: LT
000005e1: ISZERO
000005e2: PUSH2 0x05f5
000005e5: JUMPI
000005e6: DUP2
000005e7: DUP2
000005e8: ADD
000005e9: MLOAD
000005ea: DUP4
000005eb: DUP3
000005ec: ADD
000005ed: MSTORE
000005ee: PUSH1 0x20
000005f0: ADD
000005f1: PUSH2 0x05dd
000005f4: JUMP
000005f5: JUMPDEST
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: POP
000005fa: SWAP1
000005fb: POP
000005fc: SWAP1
000005fd: DUP2
000005fe: ADD
000005ff: SWAP1
00000600: PUSH1 0x1f
00000602: AND
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x0622
00000608: JUMPI
00000609: DUP1
0000060a: DUP3
0000060b: SUB
0000060c: DUP1
0000060d: MLOAD
0000060e: PUSH1 0x01
00000610: DUP4
00000611: PUSH1 0x20
00000613: SUB
00000614: PUSH2 0x0100
00000617: EXP
00000618: SUB
00000619: NOT
0000061a: AND
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x20
0000061f: ADD
00000620: SWAP2
00000621: POP
00000622: JUMPDEST
00000623: POP
00000624: SWAP2
00000625: POP
00000626: POP
00000627: PUSH1 0x00
00000629: PUSH1 0x40
0000062b: MLOAD
0000062c: DUP1
0000062d: DUP4
0000062e: SUB
0000062f: DUP2
00000630: DUP6
00000631: DUP8
00000632: GAS
00000633: CALL
00000634: SWAP3
00000635: POP
00000636: POP
00000637: POP
00000638: ISZERO
00000639: ISZERO
0000063a: PUSH2 0x0642
0000063d: JUMPI
0000063e: PUSH1 0x00
00000640: DUP1
00000641: REVERT
00000642: JUMPDEST
00000643: POP
00000644: POP
00000645: POP
00000646: JUMP
00000647: JUMPDEST
00000648: PUSH1 0x02
0000064a: SLOAD
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: PUSH1 0x02
00000651: EXP
00000652: SUB
00000653: AND
00000654: DUP2
00000655: JUMP
00000656: JUMPDEST
00000657: JUMP
00000658: JUMPDEST
00000659: PUSH1 0x03
0000065b: SLOAD
0000065c: DUP2
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: PUSH2 0x0371
00000665: DUP1
00000666: PUSH2 0x066f
00000669: DUP4
0000066a: CODECOPY
0000066b: ADD
0000066c: SWAP1
0000066d: JUMP
0000066e: STOP
0000066f: PUSH1 0x80
00000671: PUSH1 0x40
00000673: DUP2
00000674: SWAP1
00000675: MSTORE
00000676: PUSH1 0x00
00000678: DUP1
00000679: SLOAD
0000067a: PUSH1 0x01
0000067c: PUSH1 0xa0
0000067e: PUSH1 0x02
00000680: EXP
00000681: SUB
00000682: NOT
00000683: SWAP1
00000684: DUP2
00000685: AND
00000686: PUSH20 0xa62142888aba8370742be823c1782d17a0389da1
0000069b: OR
0000069c: DUP1
0000069d: DUP4
0000069e: SSTORE
0000069f: PUSH1 0x01
000006a1: DUP1
000006a2: SLOAD
000006a3: SWAP1
000006a4: SWAP3
000006a5: AND
000006a6: CALLER
000006a7: OR
000006a8: SWAP1
000006a9: SWAP2
000006aa: SSTORE
000006ab: PUSH32 0x8f38f30900000000000000000000000000000000000000000000000000000000
000006cc: DUP4
000006cd: MSTORE
000006ce: PUSH1 0x84
000006d0: DUP3
000006d1: SWAP1
000006d2: MSTORE
000006d3: PUSH1 0xa4
000006d5: DUP3
000006d6: SWAP1
000006d7: MSTORE
000006d8: PUSH1 0x01
000006da: PUSH1 0xa0
000006dc: PUSH1 0x02
000006de: EXP
000006df: SUB
000006e0: AND
000006e1: SWAP2
000006e2: PUSH4 0x8f38f309
000006e7: SWAP2
000006e8: CALLVALUE
000006e9: SWAP2
000006ea: PUSH1 0xc4
000006ec: SWAP2
000006ed: SWAP1
000006ee: PUSH1 0x44
000006f0: DUP2
000006f1: DUP6
000006f2: DUP9
000006f3: DUP1
000006f4: EXTCODESIZE
000006f5: ISZERO
000006f6: DUP1
000006f7: ISZERO
000006f8: PUSH2 0x0091
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: POP
00000702: GAS
00000703: CALL
00000704: ISZERO
00000705: DUP1
00000706: ISZERO
00000707: PUSH2 0x00a5
0000070a: JUMPI
0000070b: RETURNDATASIZE
0000070c: PUSH1 0x00
0000070e: DUP1
0000070f: RETURNDATACOPY
00000710: RETURNDATASIZE
00000711: PUSH1 0x00
00000713: REVERT
00000714: JUMPDEST
00000715: POP
00000716: POP
00000717: POP
00000718: POP
00000719: POP
0000071a: PUSH2 0x02b8
0000071d: DUP1
0000071e: PUSH2 0x00b9
00000721: PUSH1 0x00
00000723: CODECOPY
00000724: PUSH1 0x00
00000726: RETURN
00000727: STOP
00000728: PUSH1 0x80
0000072a: PUSH1 0x40
0000072c: MSTORE
0000072d: PUSH1 0x04
0000072f: CALLDATASIZE
00000730: LT
00000731: PUSH2 0x004b
00000734: JUMPI
00000735: PUSH4 0xffffffff
0000073a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000758: PUSH1 0x00
0000075a: CALLDATALOAD
0000075b: DIV
0000075c: AND
0000075d: PUSH4 0x3ccfd60b
00000762: DUP2
00000763: EQ
00000764: PUSH2 0x004d
00000767: JUMPI
00000768: DUP1
00000769: PUSH4 0xb0856748
0000076e: EQ
0000076f: PUSH2 0x0062
00000772: JUMPI
00000773: JUMPDEST
00000774: STOP
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0059
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x004b
00000786: PUSH2 0x00cb
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH1 0x40
0000078d: DUP1
0000078e: MLOAD
0000078f: PUSH1 0x20
00000791: PUSH1 0x04
00000793: PUSH1 0x44
00000795: CALLDATALOAD
00000796: DUP2
00000797: DUP2
00000798: ADD
00000799: CALLDATALOAD
0000079a: PUSH1 0x1f
0000079c: DUP2
0000079d: ADD
0000079e: DUP5
0000079f: SWAP1
000007a0: DIV
000007a1: DUP5
000007a2: MUL
000007a3: DUP6
000007a4: ADD
000007a5: DUP5
000007a6: ADD
000007a7: SWAP1
000007a8: SWAP6
000007a9: MSTORE
000007aa: DUP5
000007ab: DUP5
000007ac: MSTORE
000007ad: PUSH2 0x004b
000007b0: SWAP5
000007b1: DUP3
000007b2: CALLDATALOAD
000007b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c8: AND
000007c9: SWAP5
000007ca: PUSH1 0x24
000007cc: DUP1
000007cd: CALLDATALOAD
000007ce: SWAP6
000007cf: CALLDATASIZE
000007d0: SWAP6
000007d1: SWAP5
000007d2: PUSH1 0x64
000007d4: SWAP5
000007d5: SWAP3
000007d6: ADD
000007d7: SWAP2
000007d8: SWAP1
000007d9: DUP2
000007da: SWAP1
000007db: DUP5
000007dc: ADD
000007dd: DUP4
000007de: DUP3
000007df: DUP1
000007e0: DUP3
000007e1: DUP5
000007e2: CALLDATACOPY
000007e3: POP
000007e4: SWAP5
000007e5: SWAP8
000007e6: POP
000007e7: PUSH2 0x01d3
000007ea: SWAP7
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: POP
000007ef: POP
000007f0: POP
000007f1: POP
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: SLOAD
000007f8: PUSH1 0x40
000007fa: DUP1
000007fb: MLOAD
000007fc: PUSH32 0x3ccfd60b00000000000000000000000000000000000000000000000000000000
0000081d: DUP2
0000081e: MSTORE
0000081f: SWAP1
00000820: MLOAD
00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000836: SWAP1
00000837: SWAP3
00000838: AND
00000839: SWAP3
0000083a: PUSH4 0x3ccfd60b
0000083f: SWAP3
00000840: PUSH1 0x04
00000842: DUP1
00000843: DUP5
00000844: ADD
00000845: SWAP4
00000846: DUP3
00000847: SWAP1
00000848: SUB
00000849: ADD
0000084a: DUP2
0000084b: DUP4
0000084c: DUP8
0000084d: DUP1
0000084e: EXTCODESIZE
0000084f: ISZERO
00000850: DUP1
00000851: ISZERO
00000852: PUSH2 0x0132
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: POP
0000085c: GAS
0000085d: CALL
0000085e: ISZERO
0000085f: DUP1
00000860: ISZERO
00000861: PUSH2 0x0146
00000864: JUMPI
00000865: RETURNDATASIZE
00000866: PUSH1 0x00
00000868: DUP1
00000869: RETURNDATACOPY
0000086a: RETURNDATASIZE
0000086b: PUSH1 0x00
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: POP
00000871: PUSH1 0x01
00000873: SLOAD
00000874: PUSH1 0x40
00000876: DUP1
00000877: MLOAD
00000878: PUSH32 0xb60d428800000000000000000000000000000000000000000000000000000000
00000899: DUP2
0000089a: MSTORE
0000089b: SWAP1
0000089c: MLOAD
0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b2: SWAP1
000008b3: SWAP3
000008b4: AND
000008b5: SWAP4
000008b6: POP
000008b7: PUSH4 0xb60d4288
000008bc: SWAP3
000008bd: POP
000008be: ADDRESS
000008bf: BALANCE
000008c0: SWAP2
000008c1: PUSH1 0x04
000008c3: DUP1
000008c4: DUP4
000008c5: ADD
000008c6: SWAP3
000008c7: PUSH1 0x00
000008c9: SWAP3
000008ca: SWAP2
000008cb: SWAP1
000008cc: DUP3
000008cd: SWAP1
000008ce: SUB
000008cf: ADD
000008d0: DUP2
000008d1: DUP6
000008d2: DUP9
000008d3: DUP1
000008d4: EXTCODESIZE
000008d5: ISZERO
000008d6: DUP1
000008d7: ISZERO
000008d8: PUSH2 0x01b8
000008db: JUMPI
000008dc: PUSH1 0x00
000008de: DUP1
000008df: REVERT
000008e0: JUMPDEST
000008e1: POP
000008e2: GAS
000008e3: CALL
000008e4: ISZERO
000008e5: DUP1
000008e6: ISZERO
000008e7: PUSH2 0x01cc
000008ea: JUMPI
000008eb: RETURNDATASIZE
000008ec: PUSH1 0x00
000008ee: DUP1
000008ef: RETURNDATACOPY
000008f0: RETURNDATASIZE
000008f1: PUSH1 0x00
000008f3: REVERT
000008f4: JUMPDEST
000008f5: POP
000008f6: POP
000008f7: POP
000008f8: POP
000008f9: POP
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x01
000008fe: SLOAD
000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000914: AND
00000915: CALLER
00000916: EQ
00000917: PUSH2 0x01f7
0000091a: JUMPI
0000091b: PUSH1 0x00
0000091d: DUP1
0000091e: REVERT
0000091f: JUMPDEST
00000920: DUP3
00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000936: AND
00000937: DUP3
00000938: DUP3
00000939: PUSH1 0x40
0000093b: MLOAD
0000093c: DUP1
0000093d: DUP3
0000093e: DUP1
0000093f: MLOAD
00000940: SWAP1
00000941: PUSH1 0x20
00000943: ADD
00000944: SWAP1
00000945: DUP1
00000946: DUP4
00000947: DUP4
00000948: PUSH1 0x00
0000094a: JUMPDEST
0000094b: DUP4
0000094c: DUP2
0000094d: LT
0000094e: ISZERO
0000094f: PUSH2 0x023a
00000952: JUMPI
00000953: DUP2
00000954: DUP2
00000955: ADD
00000956: MLOAD
00000957: DUP4
00000958: DUP3
00000959: ADD
0000095a: MSTORE
0000095b: PUSH1 0x20
0000095d: ADD
0000095e: PUSH2 0x0222
00000961: JUMP
00000962: JUMPDEST
00000963: POP
00000964: POP
00000965: POP
00000966: POP
00000967: SWAP1
00000968: POP
00000969: SWAP1
0000096a: DUP2
0000096b: ADD
0000096c: SWAP1
0000096d: PUSH1 0x1f
0000096f: AND
00000970: DUP1
00000971: ISZERO
00000972: PUSH2 0x0267
00000975: JUMPI
00000976: DUP1
00000977: DUP3
00000978: SUB
00000979: DUP1
0000097a: MLOAD
0000097b: PUSH1 0x01
0000097d: DUP4
0000097e: PUSH1 0x20
00000980: SUB
00000981: PUSH2 0x0100
00000984: EXP
00000985: SUB
00000986: NOT
00000987: AND
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: SWAP2
0000098e: POP
0000098f: JUMPDEST
00000990: POP
00000991: SWAP2
00000992: POP
00000993: POP
00000994: PUSH1 0x00
00000996: PUSH1 0x40
00000998: MLOAD
00000999: DUP1
0000099a: DUP4
0000099b: SUB
0000099c: DUP2
0000099d: DUP6
0000099e: DUP8
0000099f: GAS
000009a0: CALL
000009a1: SWAP3
000009a2: POP
000009a3: POP
000009a4: POP
000009a5: ISZERO
000009a6: ISZERO
000009a7: PUSH2 0x0287
000009aa: JUMPI
000009ab: PUSH1 0x00
000009ad: DUP1
000009ae: REVERT
000009af: JUMPDEST
000009b0: POP
000009b1: POP
000009b2: POP
000009b3: JUMP
000009b4: STOP
000009b5: LOG1
000009b6: PUSH6 0x627a7a723058
000009bd: KECCAK256
000009be: PUSH3 0xd2b857
000009c2: PUSH20 0xc9d57e198e66d447d369a1216032f877efc36ff7
000009d7: UNKNOWN(0xD0)
000009d8: UNKNOWN(0x2E)
000009d9: RETURNDATASIZE
000009da: PUSH5 0xcda31d0029
000009e0: LOG1
000009e1: PUSH6 0x627a7a723058
000009e8: KECCAK256
000009e9: SWAP6
000009ea: UNKNOWN(0xD7)
000009eb: UNKNOWN(0xD5)
000009ec: UNKNOWN(0xDE)
000009ed: CODESIZE
000009ee: UNKNOWN(0xC9)
000009ef: PUSH8 0x2137377e429bd75d
000009f8: DUP1
000009f9: UNKNOWN(0x28)
000009fa: UNKNOWN(0x22)
000009fb: SHL
000009fc: PUSH21

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: 0xf24ccfbfd2a49d052e40a334a0fe827abe3f719df3e601bb24deec9b9ebdc11e call_targets: 0x2ca1e3f250f56f1761b9a52bc42db53986085eff target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf24ccfbfd2a49d052e40a334a0fe827abe3f719df3e601bb24deec9b9ebdc11e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2ca1e3f250f56f1761b9a52bc42db53986085eff" ], "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": "0x06a3c5a9", "selector": "0x06a3c5a9", "calldata_variants": [ "0x06a3c5a9", "0x06a3c5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28b5b7de", "selector": "0x28b5b7de", "calldata_variants": [ "0x28b5b7de", "0x28b5b7de0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9a9149e4", "selector": "0x9a9149e4", "calldata_variants": [ "0x9a9149e4", "0x9a9149e40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0856748", "selector": "0xb0856748", "calldata_variants": [ "0xb0856748", "0xb08567480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1557c2c", "selector": "0xb1557c2c", "calldata_variants": [ "0xb1557c2c", "0xb1557c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 582, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 743, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 889, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [], "untrusted_call_count": 11 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xf24ccfbfd2a49d052e40a334a0fe827abe3f719df3e601bb24deec9b9ebdc11e call_targets: 0x2ca1e3f250f56f1761b9a52bc42db53986085eff target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf24ccfbfd2a49d052e40a334a0fe827abe3f719df3e601bb24deec9b9ebdc11e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2ca1e3f250f56f1761b9a52bc42db53986085eff" ], "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": "0x06a3c5a9", "selector": "0x06a3c5a9", "calldata_variants": [ "0x06a3c5a9", "0x06a3c5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28b5b7de", "selector": "0x28b5b7de", "calldata_variants": [ "0x28b5b7de", "0x28b5b7de0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9a9149e4", "selector": "0x9a9149e4", "calldata_variants": [ "0x9a9149e4", "0x9a9149e40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0856748", "selector": "0xb0856748", "calldata_variants": [ "0xb0856748", "0xb08567480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1557c2c", "selector": "0xb1557c2c", "calldata_variants": [ "0xb1557c2c", "0xb1557c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 582, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 743, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 889, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xa5df326094a2ca266ca946fa83eefebc3774ccf6a30d213c25cc668561e0cbe4 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 22, "trace_id": "0xa5df326094a2ca266ca946fa83eefebc3774ccf6a30d213c25cc668561e0cbe4", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x06a3c5a9", "selector": "0x06a3c5a9", "calldata_variants": [ "0x06a3c5a9", "0x06a3c5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28b5b7de", "selector": "0x28b5b7de", "calldata_variants": [ "0x28b5b7de", "0x28b5b7de0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9a9149e4", "selector": "0x9a9149e4", "calldata_variants": [ "0x9a9149e4", "0x9a9149e40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0856748", "selector": "0xb0856748", "calldata_variants": [ "0xb0856748", "0xb08567480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1557c2c", "selector": "0xb1557c2c", "calldata_variants": [ "0xb1557c2c", "0xb1557c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	yes	yes	view trace_id: 0xba162f007a4d7f82781fe8ad21a9cf7b807d722eabeca489cf222ef53a532023 validation_json { "sink": "CREATE", "errors": 0, "status": "confirmed", "attempts": 21, "trace_id": "0xba162f007a4d7f82781fe8ad21a9cf7b807d722eabeca489cf222ef53a532023", "confirmed": true, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "sink_reached" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x06a3c5a9", "selector": "0x06a3c5a9", "calldata_variants": [ "0x06a3c5a9", "0x06a3c5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28b5b7de", "selector": "0x28b5b7de", "calldata_variants": [ "0x28b5b7de", "0x28b5b7de0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9a9149e4", "selector": "0x9a9149e4", "calldata_variants": [ "0x9a9149e4", "0x9a9149e40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0856748", "selector": "0xb0856748", "calldata_variants": [ "0xb0856748", "0xb08567480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1557c2c", "selector": "0xb1557c2c", "calldata_variants": [ "0xb1557c2c", "0xb1557c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }