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

Analysis Run

019b477e-a901-71b3-8813-87aca9f1eae4

complete
Chain ID
1
Address
0x0a6794fb71a4f567e6eb432ade293db7faf4b8d8
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
20537 artifact.fetch complete 1 / 3 3 months ago
20538 tool.cast_disasm complete 1 / 3 3 months ago
88501 analysis.bundle complete 1 / 3 1 week ago
88502 capability.graph complete 1 / 3 1 week ago
88503 detector.run complete 1 / 3 1 week ago
88504 validation.fork complete 1 / 3 1 week ago
113722 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-9kpt4k8u
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9c-b6a8-7313-b33e-2f89a06c6b3b
--------
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:47:49.106135+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 6992,
        "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)
6
EXT*/BALANCE
2
Total opcodes
2271
Flags
selfdestruct_present create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x011c
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x017c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1cee0700
00000025: EQ
00000026: PUSH2 0x01e1
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x325a19f1
00000030: EQ
00000031: PUSH2 0x0227
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x37c08923
0000003b: EQ
0000003c: PUSH2 0x0235
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x38af3eed
00000046: EQ
00000047: PUSH2 0x0244
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x3a0936ce
00000051: EQ
00000052: PUSH2 0x025b
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x54fd4d50
0000005c: EQ
0000005d: PUSH2 0x02df
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x6a40515a
00000067: EQ
00000068: PUSH2 0x031e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x73bdae5b
00000072: EQ
00000073: PUSH2 0x0335
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x7a3a0e84
0000007d: EQ
0000007e: PUSH2 0x034e
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x7b3e5e7b
00000088: EQ
00000089: PUSH2 0x035c
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8c3c23d0
00000093: EQ
00000094: PUSH2 0x036a
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x8da5cb5b
0000009e: EQ
0000009f: PUSH2 0x038a
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8e3390b4
000000a9: EQ
000000aa: PUSH2 0x03a1
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x9d13156c
000000b4: EQ
000000b5: PUSH2 0x0408
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa4d69fd3
000000bf: EQ
000000c0: PUSH2 0x0422
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa63c7ba2
000000ca: EQ
000000cb: PUSH2 0x0461
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xac5db332
000000d5: EQ
000000d6: PUSH2 0x0484
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xc040e6b8
000000e0: EQ
000000e1: PUSH2 0x04be
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xd52230c4
000000eb: EQ
000000ec: PUSH2 0x04cb
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xe184c9be
000000f6: EQ
000000f7: PUSH2 0x04fe
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xe3b2594f
00000101: EQ
00000102: PUSH2 0x050c
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xfb687c24
0000010c: EQ
0000010d: PUSH2 0x051a
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xff8f30a1
00000117: EQ
00000118: PUSH2 0x0581
0000011b: JUMPI
0000011c: JUMPDEST
0000011d: PUSH2 0x05a7
00000120: PUSH2 0x05a9
00000123: PUSH1 0x01
00000125: PUSH1 0x00
00000127: POP
00000128: DUP1
00000129: SLOAD
0000012a: DUP1
0000012b: PUSH1 0x20
0000012d: MUL
0000012e: PUSH1 0x20
00000130: ADD
00000131: PUSH1 0x40
00000133: MLOAD
00000134: SWAP1
00000135: DUP2
00000136: ADD
00000137: PUSH1 0x40
00000139: MSTORE
0000013a: DUP1
0000013b: SWAP3
0000013c: SWAP2
0000013d: SWAP1
0000013e: DUP2
0000013f: DUP2
00000140: MSTORE
00000141: PUSH1 0x20
00000143: ADD
00000144: DUP3
00000145: DUP1
00000146: SLOAD
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0172
0000014c: JUMPI
0000014d: PUSH1 0x20
0000014f: MUL
00000150: DUP3
00000151: ADD
00000152: SWAP2
00000153: SWAP1
00000154: PUSH1 0x00
00000156: MSTORE
00000157: PUSH1 0x20
00000159: PUSH1 0x00
0000015b: KECCAK256
0000015c: SWAP1
0000015d: JUMPDEST
0000015e: DUP2
0000015f: SLOAD
00000160: DUP2
00000161: MSTORE
00000162: PUSH1 0x01
00000164: SWAP1
00000165: SWAP2
00000166: ADD
00000167: SWAP1
00000168: PUSH1 0x20
0000016a: ADD
0000016b: DUP1
0000016c: DUP4
0000016d: GT
0000016e: PUSH2 0x015d
00000171: JUMPI
00000172: JUMPDEST
00000173: POP
00000174: POP
00000175: POP
00000176: POP
00000177: POP
00000178: PUSH2 0x029c
0000017b: JUMP
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: PUSH2 0x0002
00000181: JUMPI
00000182: PUSH2 0x05ac
00000185: PUSH1 0x0e
00000187: DUP1
00000188: SLOAD
00000189: PUSH1 0x40
0000018b: DUP1
0000018c: MLOAD
0000018d: PUSH1 0x20
0000018f: PUSH1 0x1f
00000191: PUSH1 0x02
00000193: PUSH1 0x00
00000195: NOT
00000196: PUSH2 0x0100
00000199: PUSH1 0x01
0000019b: DUP9
0000019c: AND
0000019d: ISZERO
0000019e: MUL
0000019f: ADD
000001a0: SWAP1
000001a1: SWAP6
000001a2: AND
000001a3: SWAP5
000001a4: SWAP1
000001a5: SWAP5
000001a6: DIV
000001a7: SWAP4
000001a8: DUP5
000001a9: ADD
000001aa: DUP2
000001ab: SWAP1
000001ac: DIV
000001ad: DUP2
000001ae: MUL
000001af: DUP3
000001b0: ADD
000001b1: DUP2
000001b2: ADD
000001b3: SWAP1
000001b4: SWAP3
000001b5: MSTORE
000001b6: DUP3
000001b7: DUP2
000001b8: MSTORE
000001b9: SWAP3
000001ba: SWAP2
000001bb: SWAP1
000001bc: DUP4
000001bd: ADD
000001be: DUP3
000001bf: DUP3
000001c0: DUP1
000001c1: ISZERO
000001c2: PUSH2 0x095b
000001c5: JUMPI
000001c6: DUP1
000001c7: PUSH1 0x1f
000001c9: LT
000001ca: PUSH2 0x0930
000001cd: JUMPI
000001ce: PUSH2 0x0100
000001d1: DUP1
000001d2: DUP4
000001d3: SLOAD
000001d4: DIV
000001d5: MUL
000001d6: DUP4
000001d7: MSTORE
000001d8: SWAP2
000001d9: PUSH1 0x20
000001db: ADD
000001dc: SWAP2
000001dd: PUSH2 0x095b
000001e0: JUMP
000001e1: JUMPDEST
000001e2: CALLVALUE
000001e3: PUSH2 0x0002
000001e6: JUMPI
000001e7: PUSH2 0x061a
000001ea: PUSH1 0x04
000001ec: CALLDATALOAD
000001ed: PUSH1 0x0a
000001ef: DUP1
000001f0: SLOAD
000001f1: DUP3
000001f2: SWAP1
000001f3: DUP2
000001f4: LT
000001f5: ISZERO
000001f6: PUSH2 0x0002
000001f9: JUMPI
000001fa: SWAP1
000001fb: PUSH1 0x00
000001fd: MSTORE
000001fe: PUSH1 0x20
00000200: PUSH1 0x00
00000202: KECCAK256
00000203: SWAP1
00000204: PUSH1 0x03
00000206: MUL
00000207: ADD
00000208: PUSH1 0x00
0000020a: POP
0000020b: DUP1
0000020c: SLOAD
0000020d: PUSH1 0x01
0000020f: DUP3
00000210: ADD
00000211: SLOAD
00000212: PUSH1 0x02
00000214: SWAP1
00000215: SWAP3
00000216: ADD
00000217: SLOAD
00000218: PUSH1 0x01
0000021a: PUSH1 0xa0
0000021c: PUSH1 0x02
0000021e: EXP
0000021f: SUB
00000220: SWAP1
00000221: SWAP2
00000222: AND
00000223: SWAP3
00000224: POP
00000225: DUP4
00000226: JUMP
00000227: JUMPDEST
00000228: CALLVALUE
00000229: PUSH2 0x0002
0000022c: JUMPI
0000022d: PUSH2 0x04ec
00000230: PUSH1 0x08
00000232: SLOAD
00000233: DUP2
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: PUSH2 0x0002
0000023a: JUMPI
0000023b: PUSH2 0x04ec
0000023e: PUSH1 0x0a
00000240: SLOAD
00000241: JUMPDEST
00000242: SWAP1
00000243: JUMP
00000244: JUMPDEST
00000245: CALLVALUE
00000246: PUSH2 0x0002
00000249: JUMPI
0000024a: PUSH2 0x0642
0000024d: PUSH1 0x09
0000024f: SLOAD
00000250: PUSH1 0x01
00000252: PUSH1 0xa0
00000254: PUSH1 0x02
00000256: EXP
00000257: SUB
00000258: AND
00000259: DUP2
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x40
0000025e: DUP1
0000025f: MLOAD
00000260: PUSH1 0x20
00000262: PUSH1 0x04
00000264: DUP1
00000265: CALLDATALOAD
00000266: DUP1
00000267: DUP3
00000268: ADD
00000269: CALLDATALOAD
0000026a: DUP4
0000026b: DUP2
0000026c: MUL
0000026d: DUP1
0000026e: DUP7
0000026f: ADD
00000270: DUP6
00000271: ADD
00000272: SWAP1
00000273: SWAP7
00000274: MSTORE
00000275: DUP1
00000276: DUP6
00000277: MSTORE
00000278: PUSH2 0x04ec
0000027b: SWAP6
0000027c: SWAP3
0000027d: SWAP5
0000027e: PUSH1 0x24
00000280: SWAP5
00000281: SWAP1
00000282: SWAP4
00000283: SWAP3
00000284: DUP6
00000285: ADD
00000286: SWAP3
00000287: DUP3
00000288: SWAP2
00000289: DUP6
0000028a: ADD
0000028b: SWAP1
0000028c: DUP5
0000028d: SWAP1
0000028e: DUP1
0000028f: DUP3
00000290: DUP5
00000291: CALLDATACOPY
00000292: POP
00000293: SWAP5
00000294: SWAP7
00000295: POP
00000296: POP
00000297: POP
00000298: POP
00000299: POP
0000029a: POP
0000029b: POP
0000029c: JUMPDEST
0000029d: PUSH1 0x00
0000029f: PUSH1 0x00
000002a1: DUP1
000002a2: PUSH2 0x0672
000002a5: JUMPDEST
000002a6: PUSH1 0x07
000002a8: SLOAD
000002a9: PUSH1 0x00
000002ab: SWAP1
000002ac: NUMBER
000002ad: LT
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02c3
000002b3: JUMPI
000002b4: POP
000002b5: PUSH1 0x02
000002b7: SLOAD
000002b8: PUSH1 0xa0
000002ba: PUSH1 0x02
000002bc: EXP
000002bd: SWAP1
000002be: DIV
000002bf: PUSH1 0xff
000002c1: AND
000002c2: ISZERO
000002c3: JUMPDEST
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02d2
000002c9: JUMPI
000002ca: POP
000002cb: PUSH1 0x05
000002cd: SLOAD
000002ce: PUSH1 0x06
000002d0: SLOAD
000002d1: LT
000002d2: JUMPDEST
000002d3: ISZERO
000002d4: PUSH2 0x0b92
000002d7: JUMPI
000002d8: POP
000002d9: PUSH1 0x00
000002db: PUSH2 0x0241
000002de: JUMP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: PUSH2 0x0002
000002e4: JUMPI
000002e5: PUSH2 0x05ac
000002e8: PUSH1 0x40
000002ea: DUP1
000002eb: MLOAD
000002ec: DUP1
000002ed: DUP3
000002ee: ADD
000002ef: SWAP1
000002f0: SWAP2
000002f1: MSTORE
000002f2: PUSH1 0x05
000002f4: DUP2
000002f5: MSTORE
000002f6: PUSH32 0x302e312e30000000000000000000000000000000000000000000000000000000
00000317: PUSH1 0x20
00000319: DUP3
0000031a: ADD
0000031b: MSTORE
0000031c: DUP2
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: PUSH2 0x0002
00000323: JUMPI
00000324: PUSH2 0x0642
00000327: PUSH1 0x02
00000329: SLOAD
0000032a: PUSH1 0x01
0000032c: PUSH1 0xa0
0000032e: PUSH1 0x02
00000330: EXP
00000331: SUB
00000332: AND
00000333: DUP2
00000334: JUMP
00000335: JUMPDEST
00000336: CALLVALUE
00000337: PUSH2 0x0002
0000033a: JUMPI
0000033b: PUSH2 0x065e
0000033e: PUSH1 0x02
00000340: SLOAD
00000341: PUSH1 0xff
00000343: PUSH1 0xa0
00000345: PUSH1 0x02
00000347: EXP
00000348: SWAP1
00000349: SWAP2
0000034a: DIV
0000034b: AND
0000034c: DUP2
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: PUSH2 0x0002
00000353: JUMPI
00000354: PUSH2 0x04ec
00000357: PUSH1 0x04
00000359: SLOAD
0000035a: DUP2
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: PUSH2 0x0002
00000361: JUMPI
00000362: PUSH2 0x04ec
00000365: PUSH1 0x06
00000367: SLOAD
00000368: DUP2
00000369: JUMP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: PUSH2 0x0002
0000036f: JUMPI
00000370: PUSH2 0x065e
00000373: PUSH1 0x04
00000375: CALLDATALOAD
00000376: PUSH1 0x0d
00000378: PUSH1 0x20
0000037a: MSTORE
0000037b: PUSH1 0x00
0000037d: SWAP1
0000037e: DUP2
0000037f: MSTORE
00000380: PUSH1 0x40
00000382: SWAP1
00000383: KECCAK256
00000384: SLOAD
00000385: PUSH1 0xff
00000387: AND
00000388: DUP2
00000389: JUMP
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: PUSH2 0x0002
0000038f: JUMPI
00000390: PUSH2 0x0642
00000393: PUSH1 0x03
00000395: SLOAD
00000396: PUSH1 0x01
00000398: PUSH1 0xa0
0000039a: PUSH1 0x02
0000039c: EXP
0000039d: SUB
0000039e: AND
0000039f: DUP2
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: PUSH2 0x0002
000003a6: JUMPI
000003a7: PUSH2 0x05ac
000003aa: PUSH1 0x40
000003ac: DUP1
000003ad: MLOAD
000003ae: PUSH1 0x60
000003b0: DUP2
000003b1: ADD
000003b2: DUP3
000003b3: MSTORE
000003b4: PUSH1 0x27
000003b6: DUP2
000003b7: MSTORE
000003b8: PUSH32 0x636f6e747269627574654d736756616c75652875696e743235365b5d293a2875
000003d9: PUSH1 0x20
000003db: DUP3
000003dc: ADD
000003dd: MSTORE
000003de: PUSH32 0x696e743235362900000000000000000000000000000000000000000000000000
000003ff: SWAP2
00000400: DUP2
00000401: ADD
00000402: SWAP2
00000403: SWAP1
00000404: SWAP2
00000405: MSTORE
00000406: DUP2
00000407: JUMP
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: PUSH2 0x0002
0000040d: JUMPI
0000040e: PUSH2 0x0642
00000411: PUSH1 0x04
00000413: CALLDATALOAD
00000414: PUSH1 0x00
00000416: PUSH1 0x00
00000418: PUSH1 0x01
0000041a: DUP1
0000041b: PUSH2 0x0963
0000041e: PUSH2 0x02a5
00000421: JUMP
00000422: JUMPDEST
00000423: CALLVALUE
00000424: PUSH2 0x0002
00000427: JUMPI
00000428: PUSH2 0x05ac
0000042b: PUSH1 0x40
0000042d: DUP1
0000042e: MLOAD
0000042f: DUP1
00000430: DUP3
00000431: ADD
00000432: SWAP1
00000433: SWAP2
00000434: MSTORE
00000435: PUSH1 0x15
00000437: DUP2
00000438: MSTORE
00000439: PUSH32 0x7061796f7574546f42656e656669636961727928290000000000000000000000
0000045a: PUSH1 0x20
0000045c: DUP3
0000045d: ADD
0000045e: MSTORE
0000045f: DUP2
00000460: JUMP
00000461: JUMPDEST
00000462: CALLVALUE
00000463: PUSH2 0x0002
00000466: JUMPI
00000467: PUSH2 0x05a7
0000046a: PUSH1 0x09
0000046c: SLOAD
0000046d: CALLER
0000046e: PUSH1 0x01
00000470: PUSH1 0xa0
00000472: PUSH1 0x02
00000474: EXP
00000475: SUB
00000476: SWAP1
00000477: DUP2
00000478: AND
00000479: SWAP2
0000047a: AND
0000047b: EQ
0000047c: PUSH2 0x0af8
0000047f: JUMPI
00000480: PUSH2 0x0002
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: PUSH2 0x0002
00000489: JUMPI
0000048a: PUSH2 0x04ec
0000048d: PUSH1 0x04
0000048f: CALLDATALOAD
00000490: PUSH1 0x24
00000492: CALLDATALOAD
00000493: PUSH1 0x0b
00000495: PUSH1 0x20
00000497: MSTORE
00000498: PUSH1 0x00
0000049a: DUP3
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x40
0000049f: SWAP1
000004a0: KECCAK256
000004a1: DUP1
000004a2: SLOAD
000004a3: DUP3
000004a4: SWAP1
000004a5: DUP2
000004a6: LT
000004a7: ISZERO
000004a8: PUSH2 0x0002
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: SWAP2
000004af: DUP3
000004b0: MSTORE
000004b1: PUSH1 0x20
000004b3: SWAP1
000004b4: SWAP2
000004b5: KECCAK256
000004b6: ADD
000004b7: SLOAD
000004b8: SWAP2
000004b9: POP
000004ba: DUP3
000004bb: SWAP1
000004bc: POP
000004bd: JUMP
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: PUSH2 0x0002
000004c3: JUMPI
000004c4: PUSH2 0x04ec
000004c7: PUSH2 0x02a5
000004ca: JUMP
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: PUSH2 0x0002
000004d0: JUMPI
000004d1: PUSH1 0x01
000004d3: PUSH1 0xa0
000004d5: PUSH1 0x02
000004d7: EXP
000004d8: SUB
000004d9: PUSH1 0x04
000004db: CALLDATALOAD
000004dc: AND
000004dd: PUSH1 0x00
000004df: SWAP1
000004e0: DUP2
000004e1: MSTORE
000004e2: PUSH1 0x0b
000004e4: PUSH1 0x20
000004e6: MSTORE
000004e7: PUSH1 0x40
000004e9: SWAP1
000004ea: KECCAK256
000004eb: SLOAD
000004ec: JUMPDEST
000004ed: PUSH1 0x40
000004ef: DUP1
000004f0: MLOAD
000004f1: SWAP2
000004f2: DUP3
000004f3: MSTORE
000004f4: MLOAD
000004f5: SWAP1
000004f6: DUP2
000004f7: SWAP1
000004f8: SUB
000004f9: PUSH1 0x20
000004fb: ADD
000004fc: SWAP1
000004fd: RETURN
000004fe: JUMPDEST
000004ff: CALLVALUE
00000500: PUSH2 0x0002
00000503: JUMPI
00000504: PUSH2 0x04ec
00000507: PUSH1 0x07
00000509: SLOAD
0000050a: DUP2
0000050b: JUMP
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: PUSH2 0x0002
00000511: JUMPI
00000512: PUSH2 0x04ec
00000515: PUSH1 0x05
00000517: SLOAD
00000518: DUP2
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: PUSH2 0x0002
0000051f: JUMPI
00000520: PUSH2 0x05ac
00000523: PUSH1 0x40
00000525: DUP1
00000526: MLOAD
00000527: PUSH1 0x60
00000529: DUP2
0000052a: ADD
0000052b: DUP3
0000052c: MSTORE
0000052d: PUSH1 0x22
0000052f: DUP2
00000530: MSTORE
00000531: PUSH32 0x636c61696d526566756e644f7765642875696e74323536293a28616464726573
00000552: PUSH1 0x20
00000554: DUP3
00000555: ADD
00000556: MSTORE
00000557: PUSH32 0x7329000000000000000000000000000000000000000000000000000000000000
00000578: SWAP2
00000579: DUP2
0000057a: ADD
0000057b: SWAP2
0000057c: SWAP1
0000057d: SWAP2
0000057e: MSTORE
0000057f: DUP2
00000580: JUMP
00000581: JUMPDEST
00000582: CALLVALUE
00000583: PUSH2 0x0002
00000586: JUMPI
00000587: PUSH2 0x0642
0000058a: PUSH1 0x04
0000058c: CALLDATALOAD
0000058d: PUSH1 0x0c
0000058f: PUSH1 0x20
00000591: MSTORE
00000592: PUSH1 0x00
00000594: SWAP1
00000595: DUP2
00000596: MSTORE
00000597: PUSH1 0x40
00000599: SWAP1
0000059a: KECCAK256
0000059b: SLOAD
0000059c: PUSH1 0x01
0000059e: PUSH1 0xa0
000005a0: PUSH1 0x02
000005a2: EXP
000005a3: SUB
000005a4: AND
000005a5: DUP2
000005a6: JUMP
000005a7: JUMPDEST
000005a8: STOP
000005a9: JUMPDEST
000005aa: POP
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP1
000005b1: DUP1
000005b2: PUSH1 0x20
000005b4: ADD
000005b5: DUP3
000005b6: DUP2
000005b7: SUB
000005b8: DUP3
000005b9: MSTORE
000005ba: DUP4
000005bb: DUP2
000005bc: DUP2
000005bd: MLOAD
000005be: DUP2
000005bf: MSTORE
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: SWAP2
000005c4: POP
000005c5: DUP1
000005c6: MLOAD
000005c7: SWAP1
000005c8: PUSH1 0x20
000005ca: ADD
000005cb: SWAP1
000005cc: DUP1
000005cd: DUP4
000005ce: DUP4
000005cf: DUP3
000005d0: SWAP1
000005d1: PUSH1 0x00
000005d3: PUSH1 0x04
000005d5: PUSH1 0x20
000005d7: DUP5
000005d8: PUSH1 0x1f
000005da: ADD
000005db: DIV
000005dc: PUSH1 0x03
000005de: MUL
000005df: PUSH1 0x0f
000005e1: ADD
000005e2: CALL
000005e3: POP
000005e4: SWAP1
000005e5: POP
000005e6: SWAP1
000005e7: DUP2
000005e8: ADD
000005e9: SWAP1
000005ea: PUSH1 0x1f
000005ec: AND
000005ed: DUP1
000005ee: ISZERO
000005ef: PUSH2 0x060c
000005f2: JUMPI
000005f3: DUP1
000005f4: DUP3
000005f5: SUB
000005f6: DUP1
000005f7: MLOAD
000005f8: PUSH1 0x01
000005fa: DUP4
000005fb: PUSH1 0x20
000005fd: SUB
000005fe: PUSH2 0x0100
00000601: EXP
00000602: SUB
00000603: NOT
00000604: AND
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x20
00000609: ADD
0000060a: SWAP2
0000060b: POP
0000060c: JUMPDEST
0000060d: POP
0000060e: SWAP3
0000060f: POP
00000610: POP
00000611: POP
00000612: PUSH1 0x40
00000614: MLOAD
00000615: DUP1
00000616: SWAP2
00000617: SUB
00000618: SWAP1
00000619: RETURN
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: DUP1
0000061e: MLOAD
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: PUSH1 0x02
00000625: EXP
00000626: SUB
00000627: SWAP1
00000628: SWAP5
00000629: AND
0000062a: DUP5
0000062b: MSTORE
0000062c: PUSH1 0x20
0000062e: DUP5
0000062f: ADD
00000630: SWAP3
00000631: SWAP1
00000632: SWAP3
00000633: MSTORE
00000634: DUP3
00000635: DUP3
00000636: ADD
00000637: MSTORE
00000638: MLOAD
00000639: SWAP1
0000063a: DUP2
0000063b: SWAP1
0000063c: SUB
0000063d: PUSH1 0x60
0000063f: ADD
00000640: SWAP1
00000641: RETURN
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: DUP1
00000646: MLOAD
00000647: PUSH1 0x01
00000649: PUSH1 0xa0
0000064b: PUSH1 0x02
0000064d: EXP
0000064e: SUB
0000064f: SWAP1
00000650: SWAP3
00000651: AND
00000652: DUP3
00000653: MSTORE
00000654: MLOAD
00000655: SWAP1
00000656: DUP2
00000657: SWAP1
00000658: SUB
00000659: PUSH1 0x20
0000065b: ADD
0000065c: SWAP1
0000065d: RETURN
0000065e: JUMPDEST
0000065f: PUSH1 0x40
00000661: DUP1
00000662: MLOAD
00000663: SWAP2
00000664: ISZERO
00000665: ISZERO
00000666: DUP3
00000667: MSTORE
00000668: MLOAD
00000669: SWAP1
0000066a: DUP2
0000066b: SWAP1
0000066c: SUB
0000066d: PUSH1 0x20
0000066f: ADD
00000670: SWAP1
00000671: RETURN
00000672: JUMPDEST
00000673: EQ
00000674: PUSH2 0x067c
00000677: JUMPI
00000678: PUSH2 0x0002
0000067b: JUMP
0000067c: JUMPDEST
0000067d: CALLVALUE
0000067e: ISZERO
0000067f: DUP1
00000680: PUSH2 0x068e
00000683: JUMPI
00000684: POP
00000685: PUSH1 0x05
00000687: SLOAD
00000688: PUSH1 0x06
0000068a: SLOAD
0000068b: CALLVALUE
0000068c: ADD
0000068d: GT
0000068e: JUMPDEST
0000068f: DUP1
00000690: PUSH2 0x069c
00000693: JUMPI
00000694: POP
00000695: PUSH1 0x06
00000697: SLOAD
00000698: CALLVALUE
00000699: DUP2
0000069a: ADD
0000069b: LT
0000069c: JUMPDEST
0000069d: ISZERO
0000069e: PUSH2 0x06a6
000006a1: JUMPI
000006a2: PUSH2 0x0002
000006a5: JUMP
000006a6: JUMPDEST
000006a7: PUSH1 0x0a
000006a9: DUP1
000006aa: SLOAD
000006ab: PUSH1 0x01
000006ad: DUP2
000006ae: ADD
000006af: DUP1
000006b0: DUP4
000006b1: SSTORE
000006b2: SWAP1
000006b3: SWAP2
000006b4: SWAP1
000006b5: DUP3
000006b6: DUP1
000006b7: ISZERO
000006b8: DUP3
000006b9: SWAP1
000006ba: GT
000006bb: PUSH2 0x0705
000006be: JUMPI
000006bf: PUSH1 0x03
000006c1: MUL
000006c2: DUP2
000006c3: PUSH1 0x03
000006c5: MUL
000006c6: DUP4
000006c7: PUSH1 0x00
000006c9: MSTORE
000006ca: PUSH1 0x20
000006cc: PUSH1 0x00
000006ce: KECCAK256
000006cf: SWAP2
000006d0: DUP3
000006d1: ADD
000006d2: SWAP2
000006d3: ADD
000006d4: PUSH2 0x0705
000006d7: SWAP2
000006d8: SWAP1
000006d9: JUMPDEST
000006da: DUP1
000006db: DUP3
000006dc: GT
000006dd: ISZERO
000006de: PUSH2 0x07e0
000006e1: JUMPI
000006e2: DUP1
000006e3: SLOAD
000006e4: PUSH1 0x01
000006e6: PUSH1 0xa0
000006e8: PUSH1 0x02
000006ea: EXP
000006eb: SUB
000006ec: NOT
000006ed: AND
000006ee: DUP2
000006ef: SSTORE
000006f0: PUSH1 0x00
000006f2: PUSH1 0x01
000006f4: DUP3
000006f5: ADD
000006f6: DUP2
000006f7: SWAP1
000006f8: SSTORE
000006f9: PUSH1 0x02
000006fb: DUP3
000006fc: ADD
000006fd: SSTORE
000006fe: PUSH1 0x03
00000700: ADD
00000701: PUSH2 0x06d9
00000704: JUMP
00000705: JUMPDEST
00000706: POP
00000707: POP
00000708: POP
00000709: SWAP2
0000070a: POP
0000070b: DUP2
0000070c: POP
0000070d: PUSH1 0x60
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: SWAP1
00000713: DUP2
00000714: ADD
00000715: PUSH1 0x40
00000717: MSTORE
00000718: DUP1
00000719: CALLER
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: CALLVALUE
00000720: DUP2
00000721: MSTORE
00000722: PUSH1 0x20
00000724: ADD
00000725: NUMBER
00000726: DUP2
00000727: MSTORE
00000728: PUSH1 0x20
0000072a: ADD
0000072b: POP
0000072c: PUSH1 0x0a
0000072e: PUSH1 0x00
00000730: POP
00000731: DUP4
00000732: DUP2
00000733: SLOAD
00000734: DUP2
00000735: LT
00000736: ISZERO
00000737: PUSH2 0x0002
0000073a: JUMPI
0000073b: PUSH1 0x00
0000073d: SWAP2
0000073e: DUP3
0000073f: MSTORE
00000740: PUSH1 0x20
00000742: DUP1
00000743: DUP4
00000744: KECCAK256
00000745: DUP5
00000746: MLOAD
00000747: PUSH1 0x03
00000749: SWAP1
0000074a: SWAP4
0000074b: MUL
0000074c: ADD
0000074d: DUP1
0000074e: SLOAD
0000074f: PUSH1 0x01
00000751: PUSH1 0xa0
00000753: PUSH1 0x02
00000755: EXP
00000756: SUB
00000757: NOT
00000758: AND
00000759: PUSH13 0x01000000000000000000000000
00000767: SWAP4
00000768: DUP5
00000769: MUL
0000076a: SWAP4
0000076b: SWAP1
0000076c: SWAP4
0000076d: DIV
0000076e: SWAP3
0000076f: SWAP1
00000770: SWAP3
00000771: OR
00000772: DUP3
00000773: SSTORE
00000774: DUP4
00000775: DUP2
00000776: ADD
00000777: MLOAD
00000778: PUSH1 0x01
0000077a: DUP1
0000077b: DUP5
0000077c: ADD
0000077d: SWAP2
0000077e: SWAP1
0000077f: SWAP2
00000780: SSTORE
00000781: PUSH1 0x40
00000783: SWAP5
00000784: DUP6
00000785: ADD
00000786: MLOAD
00000787: PUSH1 0x02
00000789: SWAP1
0000078a: SWAP4
0000078b: ADD
0000078c: SWAP3
0000078d: SWAP1
0000078e: SWAP3
0000078f: SSTORE
00000790: PUSH1 0x01
00000792: PUSH1 0xa0
00000794: PUSH1 0x02
00000796: EXP
00000797: SUB
00000798: CALLER
00000799: AND
0000079a: DUP4
0000079b: MSTORE
0000079c: PUSH1 0x0b
0000079e: SWAP1
0000079f: MSTORE
000007a0: SWAP2
000007a1: SWAP1
000007a2: KECCAK256
000007a3: DUP1
000007a4: SLOAD
000007a5: SWAP2
000007a6: DUP3
000007a7: ADD
000007a8: DUP1
000007a9: DUP3
000007aa: SSTORE
000007ab: SWAP1
000007ac: SWAP2
000007ad: SWAP1
000007ae: DUP3
000007af: DUP2
000007b0: DUP4
000007b1: DUP1
000007b2: ISZERO
000007b3: DUP3
000007b4: SWAP1
000007b5: GT
000007b6: PUSH2 0x07e4
000007b9: JUMPI
000007ba: PUSH1 0x00
000007bc: DUP4
000007bd: DUP2
000007be: MSTORE
000007bf: PUSH1 0x20
000007c1: SWAP1
000007c2: KECCAK256
000007c3: PUSH2 0x07e4
000007c6: SWAP2
000007c7: DUP2
000007c8: ADD
000007c9: SWAP1
000007ca: DUP4
000007cb: ADD
000007cc: JUMPDEST
000007cd: DUP1
000007ce: DUP3
000007cf: GT
000007d0: ISZERO
000007d1: PUSH2 0x07e0
000007d4: JUMPI
000007d5: PUSH1 0x00
000007d7: DUP2
000007d8: SSTORE
000007d9: PUSH1 0x01
000007db: ADD
000007dc: PUSH2 0x07cc
000007df: JUMP
000007e0: JUMPDEST
000007e1: POP
000007e2: SWAP1
000007e3: JUMP
000007e4: JUMPDEST
000007e5: POP
000007e6: POP
000007e7: POP
000007e8: SWAP2
000007e9: SWAP1
000007ea: SWAP1
000007eb: PUSH1 0x00
000007ed: MSTORE
000007ee: PUSH1 0x20
000007f0: PUSH1 0x00
000007f2: KECCAK256
000007f3: SWAP1
000007f4: ADD
000007f5: PUSH1 0x00
000007f7: POP
000007f8: DUP4
000007f9: SWAP1
000007fa: SSTORE
000007fb: POP
000007fc: PUSH1 0x06
000007fe: DUP1
000007ff: SLOAD
00000800: CALLVALUE
00000801: ADD
00000802: SWAP1
00000803: SSTORE
00000804: PUSH1 0x40
00000806: DUP1
00000807: MLOAD
00000808: PUSH1 0x01
0000080a: PUSH1 0xa0
0000080c: PUSH1 0x02
0000080e: EXP
0000080f: SUB
00000810: CALLER
00000811: AND
00000812: DUP2
00000813: MSTORE
00000814: SWAP1
00000815: MLOAD
00000816: PUSH32 0x97a3367c201ad38e0d37322fd0ffa1b93457541ae8baf20eb9aa50bb83fcabef
00000837: SWAP2
00000838: DUP2
00000839: SWAP1
0000083a: SUB
0000083b: PUSH1 0x20
0000083d: ADD
0000083e: SWAP1
0000083f: LOG1
00000840: PUSH1 0x02
00000842: PUSH1 0x00
00000844: SWAP1
00000845: SLOAD
00000846: SWAP1
00000847: PUSH2 0x0100
0000084a: EXP
0000084b: SWAP1
0000084c: DIV
0000084d: PUSH1 0x01
0000084f: PUSH1 0xa0
00000851: PUSH1 0x02
00000853: EXP
00000854: SUB
00000855: AND
00000856: PUSH1 0x01
00000858: PUSH1 0xa0
0000085a: PUSH1 0x02
0000085c: EXP
0000085d: SUB
0000085e: AND
0000085f: PUSH4 0x456fe579
00000864: CALLER
00000865: CALLVALUE
00000866: NUMBER
00000867: DUP8
00000868: PUSH1 0x00
0000086a: PUSH1 0x40
0000086c: MLOAD
0000086d: PUSH1 0x20
0000086f: ADD
00000870: MSTORE
00000871: PUSH1 0x40
00000873: MLOAD
00000874: DUP6
00000875: PUSH1 0xe0
00000877: PUSH1 0x02
00000879: EXP
0000087a: MUL
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x04
0000087f: ADD
00000880: DUP1
00000881: DUP6
00000882: PUSH1 0x01
00000884: PUSH1 0xa0
00000886: PUSH1 0x02
00000888: EXP
00000889: SUB
0000088a: AND
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x20
0000088f: ADD
00000890: DUP5
00000891: DUP2
00000892: MSTORE
00000893: PUSH1 0x20
00000895: ADD
00000896: DUP4
00000897: DUP2
00000898: MSTORE
00000899: PUSH1 0x20
0000089b: ADD
0000089c: DUP1
0000089d: PUSH1 0x20
0000089f: ADD
000008a0: DUP3
000008a1: DUP2
000008a2: SUB
000008a3: DUP3
000008a4: MSTORE
000008a5: DUP4
000008a6: DUP2
000008a7: DUP2
000008a8: MLOAD
000008a9: DUP2
000008aa: MSTORE
000008ab: PUSH1 0x20
000008ad: ADD
000008ae: SWAP2
000008af: POP
000008b0: DUP1
000008b1: MLOAD
000008b2: SWAP1
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP1
000008b7: PUSH1 0x20
000008b9: MUL
000008ba: DUP1
000008bb: DUP4
000008bc: DUP4
000008bd: DUP3
000008be: SWAP1
000008bf: PUSH1 0x00
000008c1: PUSH1 0x04
000008c3: PUSH1 0x20
000008c5: DUP5
000008c6: PUSH1 0x1f
000008c8: ADD
000008c9: DIV
000008ca: PUSH1 0x03
000008cc: MUL
000008cd: PUSH1 0x0f
000008cf: ADD
000008d0: CALL
000008d1: POP
000008d2: SWAP1
000008d3: POP
000008d4: ADD
000008d5: SWAP6
000008d6: POP
000008d7: POP
000008d8: POP
000008d9: POP
000008da: POP
000008db: POP
000008dc: PUSH1 0x20
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: DUP1
000008e2: DUP4
000008e3: SUB
000008e4: DUP2
000008e5: PUSH1 0x00
000008e7: DUP8
000008e8: DUP1
000008e9: EXTCODESIZE
000008ea: ISZERO
000008eb: PUSH2 0x0002
000008ee: JUMPI
000008ef: PUSH1 0x32
000008f1: GAS
000008f2: SUB
000008f3: CALL
000008f4: ISZERO
000008f5: PUSH2 0x0002
000008f8: JUMPI
000008f9: POP
000008fa: POP
000008fb: PUSH1 0x40
000008fd: MLOAD
000008fe: MLOAD
000008ff: ISZERO
00000900: SWAP1
00000901: POP
00000902: PUSH2 0x092a
00000905: JUMPI
00000906: PUSH1 0x02
00000908: DUP1
00000909: SLOAD
0000090a: PUSH21 0xff0000000000000000000000000000000000000000
00000920: NOT
00000921: AND
00000922: PUSH1 0xa0
00000924: PUSH1 0x02
00000926: EXP
00000927: OR
00000928: SWAP1
00000929: SSTORE
0000092a: JUMPDEST
0000092b: POP
0000092c: SWAP2
0000092d: SWAP1
0000092e: POP
0000092f: JUMP
00000930: JUMPDEST
00000931: DUP3
00000932: ADD
00000933: SWAP2
00000934: SWAP1
00000935: PUSH1 0x00
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: PUSH1 0x00
0000093c: KECCAK256
0000093d: SWAP1
0000093e: JUMPDEST
0000093f: DUP2
00000940: SLOAD
00000941: DUP2
00000942: MSTORE
00000943: SWAP1
00000944: PUSH1 0x01
00000946: ADD
00000947: SWAP1
00000948: PUSH1 0x20
0000094a: ADD
0000094b: DUP1
0000094c: DUP4
0000094d: GT
0000094e: PUSH2 0x093e
00000951: JUMPI
00000952: DUP3
00000953: SWAP1
00000954: SUB
00000955: PUSH1 0x1f
00000957: AND
00000958: DUP3
00000959: ADD
0000095a: SWAP2
0000095b: JUMPDEST
0000095c: POP
0000095d: POP
0000095e: POP
0000095f: POP
00000960: POP
00000961: DUP2
00000962: JUMP
00000963: JUMPDEST
00000964: EQ
00000965: PUSH2 0x096d
00000968: JUMPI
00000969: PUSH2 0x0002
0000096c: JUMP
0000096d: JUMPDEST
0000096e: DUP4
0000096f: PUSH1 0x00
00000971: PUSH1 0x0a
00000973: PUSH1 0x00
00000975: POP
00000976: DUP3
00000977: DUP2
00000978: SLOAD
00000979: DUP2
0000097a: LT
0000097b: ISZERO
0000097c: PUSH2 0x0002
0000097f: JUMPI
00000980: SWAP1
00000981: PUSH1 0x00
00000983: MSTORE
00000984: PUSH1 0x20
00000986: PUSH1 0x00
00000988: KECCAK256
00000989: SWAP1
0000098a: PUSH1 0x03
0000098c: MUL
0000098d: ADD
0000098e: PUSH1 0x00
00000990: POP
00000991: PUSH1 0x00
00000993: DUP4
00000994: DUP2
00000995: MSTORE
00000996: PUSH1 0x0d
00000998: PUSH1 0x20
0000099a: MSTORE
0000099b: PUSH1 0x40
0000099d: SWAP1
0000099e: KECCAK256
0000099f: SLOAD
000009a0: SWAP1
000009a1: SWAP2
000009a2: POP
000009a3: PUSH1 0xff
000009a5: AND
000009a6: ISZERO
000009a7: ISZERO
000009a8: PUSH1 0x01
000009aa: EQ
000009ab: DUP1
000009ac: PUSH2 0x09c3
000009af: JUMPI
000009b0: POP
000009b1: DUP1
000009b2: SLOAD
000009b3: CALLER
000009b4: PUSH1 0x01
000009b6: PUSH1 0xa0
000009b8: PUSH1 0x02
000009ba: EXP
000009bb: SUB
000009bc: SWAP1
000009bd: DUP2
000009be: AND
000009bf: SWAP2
000009c0: AND
000009c1: EQ
000009c2: ISZERO
000009c3: JUMPDEST
000009c4: ISZERO
000009c5: PUSH2 0x09cd
000009c8: JUMPI
000009c9: PUSH2 0x0002
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH1 0x00
000009d0: DUP7
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x0d
000009d5: PUSH1 0x20
000009d7: MSTORE
000009d8: PUSH1 0x40
000009da: SWAP1
000009db: KECCAK256
000009dc: DUP1
000009dd: SLOAD
000009de: PUSH1 0xff
000009e0: NOT
000009e1: AND
000009e2: PUSH1 0x01
000009e4: OR
000009e5: SWAP1
000009e6: SSTORE
000009e7: PUSH1 0x0a
000009e9: DUP1
000009ea: SLOAD
000009eb: DUP8
000009ec: SWAP1
000009ed: DUP2
000009ee: LT
000009ef: ISZERO
000009f0: PUSH2 0x0002
000009f3: JUMPI
000009f4: SWAP1
000009f5: PUSH1 0x00
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: PUSH1 0x00
000009fc: KECCAK256
000009fd: SWAP1
000009fe: PUSH1 0x03
00000a00: MUL
00000a01: ADD
00000a02: PUSH1 0x00
00000a04: POP
00000a05: DUP1
00000a06: SLOAD
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: SWAP2
00000a0b: SWAP6
00000a0c: POP
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0xa0
00000a11: PUSH1 0x02
00000a13: EXP
00000a14: SUB
00000a15: AND
00000a16: SWAP1
00000a17: PUSH2 0x0192
00000a1a: DUP1
00000a1b: PUSH2 0x0c15
00000a1e: DUP4
00000a1f: CODECOPY
00000a20: ADD
00000a21: DUP1
00000a22: DUP3
00000a23: PUSH1 0x01
00000a25: PUSH1 0xa0
00000a27: PUSH1 0x02
00000a29: EXP
00000a2a: SUB
00000a2b: AND
00000a2c: DUP2
00000a2d: MSTORE
00000a2e: PUSH1 0x20
00000a30: ADD
00000a31: SWAP2
00000a32: POP
00000a33: POP
00000a34: PUSH1 0x40
00000a36: MLOAD
00000a37: DUP1
00000a38: SWAP2
00000a39: SUB
00000a3a: SWAP1
00000a3b: PUSH1 0x00
00000a3d: CREATE
00000a3e: DUP1
00000a3f: ISZERO
00000a40: PUSH2 0x0002
00000a43: JUMPI
00000a44: PUSH1 0x00
00000a46: DUP8
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x0c
00000a4b: PUSH1 0x20
00000a4d: MSTORE
00000a4e: PUSH1 0x40
00000a50: DUP1
00000a51: DUP3
00000a52: KECCAK256
00000a53: DUP1
00000a54: SLOAD
00000a55: PUSH1 0x01
00000a57: PUSH1 0xa0
00000a59: PUSH1 0x02
00000a5b: EXP
00000a5c: SUB
00000a5d: NOT
00000a5e: AND
00000a5f: PUSH13 0x01000000000000000000000000
00000a6d: DUP6
00000a6e: DUP2
00000a6f: MUL
00000a70: DIV
00000a71: OR
00000a72: SWAP1
00000a73: SSTORE
00000a74: PUSH1 0x01
00000a76: DUP8
00000a77: ADD
00000a78: SLOAD
00000a79: SWAP1
00000a7a: MLOAD
00000a7b: SWAP3
00000a7c: SWAP8
00000a7d: POP
00000a7e: PUSH1 0x01
00000a80: PUSH1 0xa0
00000a82: PUSH1 0x02
00000a84: EXP
00000a85: SUB
00000a86: DUP9
00000a87: AND
00000a88: SWAP3
00000a89: PUSH2 0x08fc
00000a8c: DUP3
00000a8d: ISZERO
00000a8e: MUL
00000a8f: SWAP3
00000a90: DUP2
00000a91: DUP2
00000a92: DUP2
00000a93: DUP6
00000a94: DUP9
00000a95: DUP9
00000a96: CALL
00000a97: SWAP4
00000a98: POP
00000a99: POP
00000a9a: POP
00000a9b: POP
00000a9c: ISZERO
00000a9d: ISZERO
00000a9e: PUSH2 0x0aa6
00000aa1: JUMPI
00000aa2: PUSH2 0x0002
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x01
00000aa9: DUP5
00000aaa: ADD
00000aab: SLOAD
00000aac: PUSH1 0x40
00000aae: DUP1
00000aaf: MLOAD
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0xa0
00000ab4: PUSH1 0x02
00000ab6: EXP
00000ab7: SUB
00000ab8: DUP9
00000ab9: AND
00000aba: DUP2
00000abb: MSTORE
00000abc: PUSH1 0x20
00000abe: DUP2
00000abf: ADD
00000ac0: SWAP3
00000ac1: SWAP1
00000ac2: SWAP3
00000ac3: MSTORE
00000ac4: DUP1
00000ac5: MLOAD
00000ac6: PUSH32 0xfc5c909773f8fa60a909a6596944daa96ef6da8d69ca714c1e62811a3830210c
00000ae7: SWAP3
00000ae8: DUP2
00000ae9: SWAP1
00000aea: SUB
00000aeb: SWAP1
00000aec: SWAP2
00000aed: ADD
00000aee: SWAP1
00000aef: LOG1
00000af0: POP
00000af1: POP
00000af2: POP
00000af3: POP
00000af4: SWAP2
00000af5: SWAP1
00000af6: POP
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x02
00000afb: DUP1
00000afc: SLOAD
00000afd: PUSH21 0xff0000000000000000000000000000000000000000
00000b13: NOT
00000b14: AND
00000b15: PUSH1 0xa0
00000b17: PUSH1 0x02
00000b19: EXP
00000b1a: OR
00000b1b: SWAP1
00000b1c: SSTORE
00000b1d: PUSH1 0x09
00000b1f: SLOAD
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: PUSH1 0x01
00000b25: PUSH1 0xa0
00000b27: PUSH1 0x02
00000b29: EXP
00000b2a: SUB
00000b2b: SWAP2
00000b2c: DUP3
00000b2d: AND
00000b2e: SWAP2
00000b2f: ADDRESS
00000b30: AND
00000b31: BALANCE
00000b32: DUP1
00000b33: ISZERO
00000b34: PUSH2 0x08fc
00000b37: MUL
00000b38: SWAP2
00000b39: PUSH1 0x00
00000b3b: DUP2
00000b3c: DUP2
00000b3d: DUP2
00000b3e: DUP6
00000b3f: DUP9
00000b40: DUP9
00000b41: CALL
00000b42: SWAP4
00000b43: POP
00000b44: POP
00000b45: POP
00000b46: POP
00000b47: ISZERO
00000b48: ISZERO
00000b49: PUSH2 0x0b51
00000b4c: JUMPI
00000b4d: PUSH2 0x0002
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x09
00000b54: SLOAD
00000b55: PUSH1 0x40
00000b57: DUP1
00000b58: MLOAD
00000b59: PUSH1 0x01
00000b5b: PUSH1 0xa0
00000b5d: PUSH1 0x02
00000b5f: EXP
00000b60: SUB
00000b61: SWAP1
00000b62: SWAP3
00000b63: AND
00000b64: DUP3
00000b65: MSTORE
00000b66: MLOAD
00000b67: PUSH32 0x8de95bf60f39e968f91141c2aa6b45410fc9369f09a1ef4aa48e440c7d384a56
00000b88: SWAP2
00000b89: DUP2
00000b8a: SWAP1
00000b8b: SUB
00000b8c: PUSH1 0x20
00000b8e: ADD
00000b8f: SWAP1
00000b90: LOG1
00000b91: JUMP
00000b92: JUMPDEST
00000b93: PUSH1 0x07
00000b95: SLOAD
00000b96: NUMBER
00000b97: LT
00000b98: DUP1
00000b99: ISZERO
00000b9a: SWAP1
00000b9b: PUSH2 0x0bae
00000b9e: JUMPI
00000b9f: POP
00000ba0: PUSH1 0x02
00000ba2: SLOAD
00000ba3: PUSH1 0xa0
00000ba5: PUSH1 0x02
00000ba7: EXP
00000ba8: SWAP1
00000ba9: DIV
00000baa: PUSH1 0xff
00000bac: AND
00000bad: ISZERO
00000bae: JUMPDEST
00000baf: DUP1
00000bb0: ISZERO
00000bb1: PUSH2 0x0bbd
00000bb4: JUMPI
00000bb5: POP
00000bb6: PUSH1 0x04
00000bb8: SLOAD
00000bb9: PUSH1 0x06
00000bbb: SLOAD
00000bbc: LT
00000bbd: JUMPDEST
00000bbe: ISZERO
00000bbf: PUSH2 0x0bca
00000bc2: JUMPI
00000bc3: POP
00000bc4: PUSH1 0x01
00000bc6: PUSH2 0x0241
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH1 0x07
00000bcd: SLOAD
00000bce: NUMBER
00000bcf: LT
00000bd0: DUP1
00000bd1: ISZERO
00000bd2: SWAP1
00000bd3: PUSH2 0x0be0
00000bd6: JUMPI
00000bd7: POP
00000bd8: PUSH1 0x04
00000bda: SLOAD
00000bdb: PUSH1 0x06
00000bdd: SLOAD
00000bde: LT
00000bdf: ISZERO
00000be0: JUMPDEST
00000be1: DUP1
00000be2: PUSH2 0x0bf9
00000be5: JUMPI
00000be6: POP
00000be7: PUSH1 0x02
00000be9: SLOAD
00000bea: PUSH1 0xa0
00000bec: PUSH1 0x02
00000bee: EXP
00000bef: SWAP1
00000bf0: DIV
00000bf1: PUSH1 0xff
00000bf3: AND
00000bf4: ISZERO
00000bf5: ISZERO
00000bf6: PUSH1 0x01
00000bf8: EQ
00000bf9: JUMPDEST
00000bfa: DUP1
00000bfb: PUSH2 0x0c08
00000bfe: JUMPI
00000bff: POP
00000c00: PUSH1 0x05
00000c02: SLOAD
00000c03: PUSH1 0x06
00000c05: SLOAD
00000c06: LT
00000c07: ISZERO
00000c08: JUMPDEST
00000c09: ISZERO
00000c0a: PUSH2 0x0241
00000c0d: JUMPI
00000c0e: POP
00000c0f: PUSH1 0x02
00000c11: PUSH2 0x0241
00000c14: JUMP
00000c15: PUSH1 0x60
00000c17: PUSH1 0x40
00000c19: MSTORE
00000c1a: PUSH1 0x40
00000c1c: MLOAD
00000c1d: PUSH1 0x20
00000c1f: DUP1
00000c20: PUSH2 0x0192
00000c23: DUP4
00000c24: CODECOPY
00000c25: POP
00000c26: PUSH1 0x80
00000c28: PUSH1 0x40
00000c2a: MSTORE
00000c2b: MLOAD
00000c2c: PUSH1 0x00
00000c2e: DUP1
00000c2f: SLOAD
00000c30: PUSH13 0x01000000000000000000000000
00000c3e: DUP1
00000c3f: DUP5
00000c40: MUL
00000c41: DIV
00000c42: PUSH1 0x01
00000c44: PUSH1 0xa0
00000c46: PUSH1 0x02
00000c48: EXP
00000c49: SUB
00000c4a: NOT
00000c4b: SWAP1
00000c4c: SWAP2
00000c4d: AND
00000c4e: OR
00000c4f: SWAP1
00000c50: SSTORE
00000c51: POP
00000c52: PUSH2 0x0148
00000c55: DUP1
00000c56: PUSH2 0x004a
00000c59: PUSH1 0x00
00000c5b: CODECOPY
00000c5c: PUSH1 0x00
00000c5e: RETURN
00000c5f: PUSH1 0x60
00000c61: PUSH1 0x40
00000c63: MSTORE
00000c64: CALLDATASIZE
00000c65: ISZERO
00000c66: PUSH2 0x0035
00000c69: JUMPI
00000c6a: PUSH1 0xe0
00000c6c: PUSH1 0x02
00000c6e: EXP
00000c6f: PUSH1 0x00
00000c71: CALLDATALOAD
00000c72: DIV
00000c73: PUSH4 0x30509bca
00000c78: DUP2
00000c79: EQ
00000c7a: PUSH2 0x0037
00000c7d: JUMPI
00000c7e: DUP1
00000c7f: PUSH4 0x47eeb75f
00000c84: EQ
00000c85: PUSH2 0x005a
00000c88: JUMPI
00000c89: DUP1
00000c8a: PUSH4 0x8da5cb5b
00000c8f: EQ
00000c90: PUSH2 0x0099
00000c93: JUMPI
00000c94: JUMPDEST
00000c95: STOP
00000c96: JUMPDEST
00000c97: CALLVALUE
00000c98: PUSH2 0x0002
00000c9b: JUMPI
00000c9c: PUSH2 0x0035
00000c9f: PUSH1 0x00
00000ca1: SLOAD
00000ca2: CALLER
00000ca3: PUSH1 0x01
00000ca5: PUSH1 0xa0
00000ca7: PUSH1 0x02
00000ca9: EXP
00000caa: SUB
00000cab: SWAP1
00000cac: DUP2
00000cad: AND
00000cae: SWAP2
00000caf: AND
00000cb0: EQ
00000cb1: PUSH2 0x013a
00000cb4: JUMPI
00000cb5: PUSH2 0x0002
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: CALLVALUE
00000cbb: PUSH2 0x0002
00000cbe: JUMPI
00000cbf: PUSH2 0x00b0
00000cc2: PUSH1 0x40
00000cc4: DUP1
00000cc5: MLOAD
00000cc6: DUP1
00000cc7: DUP3
00000cc8: ADD
00000cc9: SWAP1
00000cca: SWAP2
00000ccb: MSTORE
00000ccc: PUSH1 0x0e
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH32 0x636c61696d42616c616e63652829000000000000000000000000000000000000
00000cf1: PUSH1 0x20
00000cf3: DUP3
00000cf4: ADD
00000cf5: MSTORE
00000cf6: DUP2
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: CALLVALUE
00000cfa: PUSH2 0x0002
00000cfd: JUMPI
00000cfe: PUSH2 0x011e
00000d01: PUSH1 0x00
00000d03: SLOAD
00000d04: PUSH1 0x01
00000d06: PUSH1 0xa0
00000d08: PUSH1 0x02
00000d0a: EXP
00000d0b: SUB
00000d0c: AND
00000d0d: DUP2
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: DUP1
00000d14: DUP1
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: DUP3
00000d19: DUP2
00000d1a: SUB
00000d1b: DUP3
00000d1c: MSTORE
00000d1d: DUP4
00000d1e: DUP2
00000d1f: DUP2
00000d20: MLOAD
00000d21: DUP2
00000d22: MSTORE
00000d23: PUSH1 0x20
00000d25: ADD
00000d26: SWAP2
00000d27: POP
00000d28: DUP1
00000d29: MLOAD
00000d2a: SWAP1
00000d2b: PUSH1 0x20
00000d2d: ADD
00000d2e: SWAP1
00000d2f: DUP1
00000d30: DUP4
00000d31: DUP4
00000d32: DUP3
00000d33: SWAP1
00000d34: PUSH1 0x00
00000d36: PUSH1 0x04
00000d38: PUSH1 0x20
00000d3a: DUP5
00000d3b: PUSH1 0x1f
00000d3d: ADD
00000d3e: DIV
00000d3f: PUSH1 0x03
00000d41: MUL
00000d42: PUSH1 0x0f
00000d44: ADD
00000d45: CALL
00000d46: POP
00000d47: SWAP1
00000d48: POP
00000d49: SWAP1
00000d4a: DUP2
00000d4b: ADD
00000d4c: SWAP1
00000d4d: PUSH1 0x1f
00000d4f: AND
00000d50: DUP1
00000d51: ISZERO
00000d52: PUSH2 0x0110
00000d55: JUMPI
00000d56: DUP1
00000d57: DUP3
00000d58: SUB
00000d59: DUP1
00000d5a: MLOAD
00000d5b: PUSH1 0x01
00000d5d: DUP4
00000d5e: PUSH1 0x20
00000d60: SUB
00000d61: PUSH2 0x0100
00000d64: EXP
00000d65: SUB
00000d66: NOT
00000d67: AND
00000d68: DUP2
00000d69: MSTORE
00000d6a: PUSH1 0x20
00000d6c: ADD
00000d6d: SWAP2
00000d6e: POP
00000d6f: JUMPDEST
00000d70: POP
00000d71: SWAP3
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: PUSH1 0x40
00000d77: MLOAD
00000d78: DUP1
00000d79: SWAP2
00000d7a: SUB
00000d7b: SWAP1
00000d7c: RETURN
00000d7d: JUMPDEST
00000d7e: PUSH1 0x40
00000d80: DUP1
00000d81: MLOAD
00000d82: PUSH1 0x01
00000d84: PUSH1 0xa0
00000d86: PUSH1 0x02
00000d88: EXP
00000d89: SUB
00000d8a: SWAP1
00000d8b: SWAP3
00000d8c: AND
00000d8d: DUP3
00000d8e: MSTORE
00000d8f: MLOAD
00000d90: SWAP1
00000d91: DUP2
00000d92: SWAP1
00000d93: SUB
00000d94: PUSH1 0x20
00000d96: ADD
00000d97: SWAP1
00000d98: RETURN
00000d99: JUMPDEST
00000d9a: PUSH1 0x00
00000d9c: SLOAD
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: PUSH1 0x02
00000da3: EXP
00000da4: SUB
00000da5: AND
00000da6: SELFDESTRUCT

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0xb310db04ca668553038826aa22943fc15e16c910ea73753916fc1644018c753a
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xb310db04ca668553038826aa22943fc15e16c910ea73753916fc1644018c753a",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cee0700",
            "selector": "0x1cee0700",
            "calldata_variants": [
                "0x1cee0700",
                "0x1cee07000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x325a19f1",
            "selector": "0x325a19f1",
            "calldata_variants": [
                "0x325a19f1",
                "0x325a19f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a0936ce",
            "selector": "0x3a0936ce",
            "calldata_variants": [
                "0x3a0936ce",
                "0x3a0936ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a40515a",
            "selector": "0x6a40515a",
            "calldata_variants": [
                "0x6a40515a",
                "0x6a40515a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}
high other detector Untrusted CALL target/value reachable 60 yes yes
view
trace_id: 0xa5b8ab913b1a0d0e84521a19c2445daae9e59f1e0b0b42dcc2780ed9aa803837
call_targets: 0x0000000000000000000000000000000000000004, 0x0a6794fb71a4f567e6eb432ade293db7faf4b8d8
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xa5b8ab913b1a0d0e84521a19c2445daae9e59f1e0b0b42dcc2780ed9aa803837",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000004",
        "0x0a6794fb71a4f567e6eb432ade293db7faf4b8d8"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cee0700",
            "selector": "0x1cee0700",
            "calldata_variants": [
                "0x1cee0700",
                "0x1cee07000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x325a19f1",
            "selector": "0x325a19f1",
            "calldata_variants": [
                "0x325a19f1",
                "0x325a19f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a0936ce",
            "selector": "0x3a0936ce",
            "calldata_variants": [
                "0x3a0936ce",
                "0x3a0936ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a40515a",
            "selector": "0x6a40515a",
            "calldata_variants": [
                "0x6a40515a",
                "0x6a40515a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1506,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2256,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2291,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 yes yes
view
trace_id: 0xa5b8ab913b1a0d0e84521a19c2445daae9e59f1e0b0b42dcc2780ed9aa803837
call_targets: 0x0000000000000000000000000000000000000004, 0x0a6794fb71a4f567e6eb432ade293db7faf4b8d8
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xa5b8ab913b1a0d0e84521a19c2445daae9e59f1e0b0b42dcc2780ed9aa803837",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000004",
        "0x0a6794fb71a4f567e6eb432ade293db7faf4b8d8"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cee0700",
            "selector": "0x1cee0700",
            "calldata_variants": [
                "0x1cee0700",
                "0x1cee07000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x325a19f1",
            "selector": "0x325a19f1",
            "calldata_variants": [
                "0x325a19f1",
                "0x325a19f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a0936ce",
            "selector": "0x3a0936ce",
            "calldata_variants": [
                "0x3a0936ce",
                "0x3a0936ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a40515a",
            "selector": "0x6a40515a",
            "calldata_variants": [
                "0x6a40515a",
                "0x6a40515a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1506,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2256,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2291,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xb310db04ca668553038826aa22943fc15e16c910ea73753916fc1644018c753a
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xb310db04ca668553038826aa22943fc15e16c910ea73753916fc1644018c753a",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cee0700",
            "selector": "0x1cee0700",
            "calldata_variants": [
                "0x1cee0700",
                "0x1cee07000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x325a19f1",
            "selector": "0x325a19f1",
            "calldata_variants": [
                "0x325a19f1",
                "0x325a19f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38af3eed",
            "selector": "0x38af3eed",
            "calldata_variants": [
                "0x38af3eed",
                "0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a0936ce",
            "selector": "0x3a0936ce",
            "calldata_variants": [
                "0x3a0936ce",
                "0x3a0936ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a40515a",
            "selector": "0x6a40515a",
            "calldata_variants": [
                "0x6a40515a",
                "0x6a40515a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 1,
    "create2_count": 0
}