1170a450-5d4b-4df6-9c07-de9e73acc61b
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31763 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 96001 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 96002 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 96003 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 96004 | capability.graph | complete | 1 / 3 | 1 week ago |
| 96005 | detector.run | complete | 1 / 3 | 1 week ago |
| 96006 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:443328] OpenAI Codex v0.77.0 (research preview)
[codex:443328] --------
[codex:443328] workdir: /tmp/codex-multi-022je0ac
[codex:443328] model: gpt-5.2-codex
[codex:443328] provider: openai
[codex:443328] approval: never
[codex:443328] sandbox: read-only
[codex:443328] reasoning effort: xhigh
[codex:443328] reasoning summaries: auto
[codex:443328] session id: 019b8feb-3af0-7ab3-bee5-67117a868b21
[codex:443328] --------
[codex:443328] user
[codex:443328] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:443328]
[codex:443328] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:443328]
[codex:443328] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:443328] - Gas inefficiency, code quality, naming, or best practices
[codex:443328] - Theoretical vulnerabilities without a clear extraction path
[codex:443328] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:443328] - Front-running unless it enables theft beyond MEV
[codex:443328] - DoS, griefing, or issues that don't result in attacker profit
[codex:443328] - Missing events, view function issues, or informational findings
[codex:443328]
[codex:443328] HIGH-VALUE PATTERNS TO HUNT:
[codex:443328] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:443328] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:443328] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:443328] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:443328] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:443328] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:443328] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:443328] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:443328] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:443328]
[codex:443328] For each finding, you MUST provide:
[codex:443328] 1. Exact file and line numbers of vulnerable code
[codex:443328] 2. Step-by-step exploit transaction sequence
[codex:443328] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:443328]
[codex:443328] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:443328]
[codex:443328] Output MUST be valid JSON matching the provided schema.
[codex:443328] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:443328] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:443328] mcp startup: no servers
[codex:443328]
[codex:443328] thinking
[codex:443328] **Reading AUDIT_BUNDLE.txt**
[codex:443328] exec
[codex:443328] /bin/bash -lc ls in /tmp/codex-multi-022je0ac succeeded in 7ms:
[codex:443328] AUDIT_BUNDLE.txt
[codex:443328] codex-output-schema.json
[codex:443328] contracts
[codex:443328]
[codex:443328] thinking
[codex:443328] **Reading bundle information**
[codex:443328] exec
[codex:443328] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-022je0ac succeeded in 14ms:
[codex:443328] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:443328]
[codex:443328] ================================================================================
[codex:443328] FILE: contracts/Contract.sol
[codex:443328] ================================================================================
[codex:443328] // File: contracts/AvastarTypes.sol
[codex:443328]
[codex:443328] pragma solidity 0.5.14;
[codex:443328]
[codex:443328] /**
[codex:443328] * @title Avastar Data Types
[codex:443328] * @author Cliff Hall
[codex:443328] */
[codex:443328] contract AvastarTypes {
[codex:443328]
[codex:443328] enum Generation {
[codex:443328] ONE,
[codex:443328] TWO,
[codex:443328] THREE,
[codex:443328] FOUR,
[codex:443328]
[codex:443328] thinking
[codex:443328] **Continuing exploration**
[codex:443328] exec
[codex:443328] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-022je0ac succeeded in 7ms:
[codex:443328] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:443328]
[codex:443328] ================================================================================
[codex:443328] FILE: contracts/Contract.sol
[codex:443328] ================================================================================
[codex:443328] // File: contracts/AvastarTypes.sol
[codex:443328]
[codex:443328] pragma solidity 0.5.14;
[codex:443328]
[codex:443328] /**
[codex:443328] * @title Avastar Data Types
[codex:443328] * @author Cliff Hall
[codex:443328] */
[codex:443328] contract AvastarTypes {
[codex:443328]
[codex:443328] enum Generation {
[codex:443328] ONE,
[codex:443328] TWO,
[codex:443328] THREE,
[codex:443328] FOUR,
[codex:443328]
[codex:443328] thinking
[codex:443328] **Analyzing contract for vulnerabilities**
[codex:443328]
[codex:443328] I'm carefully reviewing the contract’s logic around deposits, withdrawals, and minting to spot any profit-extracting bugs. I’m verifying access controls, reentrancy safety with transfer calls, integer overflow protections using SafeMath, and the behavior of external calls to address zero, especially in Solidity 0.5. I’m also considering whether unspent deposits accounting could be manipulated. The audit bundle seems limited, so I’m thinking about checking other contracts or the directory to be sure nothing crucial is missing.
[codex:443328] exec
[codex:443328] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-022je0ac succeeded in 34ms:
[codex:443328] contracts/Contract.sol
[codex:443328]
[codex:443328] thinking
[codex:443328] **Preparing JSON output for no findings**
[codex:443328] codex
[codex:443328] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in `contracts/Contract.sol` given the stated assumptions (trusted admin/roles and teleporter).","findings":[]}
[codex:443328] tokens used
[codex:443328] 19,567
[codex:443328] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in `contracts/Contract.sol` given the stated assumptions (trusted admin/roles and teleporter).","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T20:49:05.202944+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in `contracts/Contract.sol` given the stated assumptions (trusted admin/roles and teleporter).",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in `contracts/Contract.sol` given the stated assumptions (trusted admin/roles and teleporter).",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0114 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6af04a57 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x983b2d56 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x983b2d56 0000002f: EQ 00000030: PUSH2 0x0361 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9a3b58c9 0000003a: EQ 0000003b: PUSH2 0x0394 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc28de2cd 00000045: EQ 00000046: PUSH2 0x03c7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd0e30db0 00000050: EQ 00000051: PUSH2 0x03dc 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xeb2c0223 0000005b: EQ 0000005c: PUSH2 0x03e4 0000005f: JUMPI 00000060: PUSH2 0x0114 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x6af04a57 0000006b: EQ 0000006c: PUSH2 0x02be 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x7065cb48 00000076: EQ 00000077: PUSH2 0x02ef 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8456cb59 00000081: EQ 00000082: PUSH2 0x0322 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8b2b303c 0000008c: EQ 0000008d: PUSH2 0x0337 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x9618652c 00000097: EQ 00000098: PUSH2 0x034c 0000009b: JUMPI 0000009c: PUSH2 0x0114 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x3bdafc43 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x3bdafc43 000000b2: EQ 000000b3: PUSH2 0x01ed 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x3f4ba83a 000000bd: EQ 000000be: PUSH2 0x0220 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5352a839 000000c8: EQ 000000c9: PUSH2 0x0235 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5c975abb 000000d3: EQ 000000d4: PUSH2 0x0262 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x5fdc4ec6 000000de: EQ 000000df: PUSH2 0x028b 000000e2: JUMPI 000000e3: PUSH2 0x0114 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0b4005e3 000000ee: EQ 000000ef: PUSH2 0x0119 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x0f42c61d 000000f9: EQ 000000fa: PUSH2 0x0140 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x1d946cc4 00000104: EQ 00000105: PUSH2 0x0155 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x356282bf 0000010f: EQ 00000110: PUSH2 0x0184 00000113: JUMPI 00000114: JUMPDEST 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: DUP1 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: PUSH2 0x012e 0000012a: PUSH2 0x0417 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH1 0x40 00000131: DUP1 00000132: MLOAD 00000133: SWAP2 00000134: DUP3 00000135: MSTORE 00000136: MLOAD 00000137: SWAP1 00000138: DUP2 00000139: SWAP1 0000013a: SUB 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP1 0000013f: RETURN 00000140: JUMPDEST 00000141: CALLVALUE 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: PUSH2 0x012e 00000151: PUSH2 0x04cf 00000154: JUMP 00000155: JUMPDEST 00000156: CALLVALUE 00000157: DUP1 00000158: ISZERO 00000159: PUSH2 0x0161 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: POP 00000163: PUSH2 0x0182 00000166: PUSH1 0x04 00000168: DUP1 00000169: CALLDATASIZE 0000016a: SUB 0000016b: PUSH1 0x20 0000016d: DUP2 0000016e: LT 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: CALLDATALOAD 0000017b: PUSH1 0xff 0000017d: AND 0000017e: PUSH2 0x04e2 00000181: JUMP 00000182: JUMPDEST 00000183: STOP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x01d4 00000195: PUSH1 0x04 00000197: DUP1 00000198: CALLDATASIZE 00000199: SUB 0000019a: PUSH1 0xa0 0000019c: DUP2 0000019d: LT 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH1 0x01 000001ab: PUSH1 0x01 000001ad: PUSH1 0xa0 000001af: SHL 000001b0: SUB 000001b1: DUP2 000001b2: CALLDATALOAD 000001b3: AND 000001b4: SWAP1 000001b5: PUSH1 0x20 000001b7: DUP2 000001b8: ADD 000001b9: CALLDATALOAD 000001ba: SWAP1 000001bb: PUSH1 0x40 000001bd: DUP2 000001be: ADD 000001bf: CALLDATALOAD 000001c0: SWAP1 000001c1: PUSH1 0xff 000001c3: PUSH1 0x60 000001c5: DUP3 000001c6: ADD 000001c7: CALLDATALOAD 000001c8: DUP2 000001c9: AND 000001ca: SWAP2 000001cb: PUSH1 0x80 000001cd: ADD 000001ce: CALLDATALOAD 000001cf: AND 000001d0: PUSH2 0x059a 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: DUP1 000001d8: MLOAD 000001d9: SWAP3 000001da: DUP4 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: DUP4 000001df: ADD 000001e0: SWAP2 000001e1: SWAP1 000001e2: SWAP2 000001e3: MSTORE 000001e4: DUP1 000001e5: MLOAD 000001e6: SWAP2 000001e7: DUP3 000001e8: SWAP1 000001e9: SUB 000001ea: ADD 000001eb: SWAP1 000001ec: RETURN 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: PUSH2 0x0182 000001fe: PUSH1 0x04 00000200: DUP1 00000201: CALLDATASIZE 00000202: SUB 00000203: PUSH1 0x20 00000205: DUP2 00000206: LT 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: CALLDATALOAD 00000213: PUSH1 0x01 00000215: PUSH1 0x01 00000217: PUSH1 0xa0 00000219: SHL 0000021a: SUB 0000021b: AND 0000021c: PUSH2 0x07bd 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0182 00000231: PUSH2 0x0882 00000234: JUMP 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH2 0x0182 00000246: PUSH1 0x04 00000248: DUP1 00000249: CALLDATASIZE 0000024a: SUB 0000024b: PUSH1 0x20 0000024d: DUP2 0000024e: LT 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: CALLDATALOAD 0000025b: PUSH1 0xff 0000025d: AND 0000025e: PUSH2 0x08f5 00000261: JUMP 00000262: JUMPDEST 00000263: CALLVALUE 00000264: DUP1 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: PUSH2 0x0277 00000273: PUSH2 0x09b7 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: DUP1 0000027b: MLOAD 0000027c: SWAP2 0000027d: ISZERO 0000027e: ISZERO 0000027f: DUP3 00000280: MSTORE 00000281: MLOAD 00000282: SWAP1 00000283: DUP2 00000284: SWAP1 00000285: SUB 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: RETURN 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x0182 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: CALLDATASIZE 000002a0: SUB 000002a1: PUSH1 0x20 000002a3: DUP2 000002a4: LT 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: CALLDATALOAD 000002b1: PUSH1 0x01 000002b3: PUSH1 0x01 000002b5: PUSH1 0xa0 000002b7: SHL 000002b8: SUB 000002b9: AND 000002ba: PUSH2 0x09c0 000002bd: JUMP 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x02d3 000002cf: PUSH2 0x0ac6 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: DUP1 000002d7: MLOAD 000002d8: PUSH1 0x01 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: SHL 000002df: SUB 000002e0: SWAP1 000002e1: SWAP3 000002e2: AND 000002e3: DUP3 000002e4: MSTORE 000002e5: MLOAD 000002e6: SWAP1 000002e7: DUP2 000002e8: SWAP1 000002e9: SUB 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP1 000002ee: RETURN 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0182 00000300: PUSH1 0x04 00000302: DUP1 00000303: CALLDATASIZE 00000304: SUB 00000305: PUSH1 0x20 00000307: DUP2 00000308: LT 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: CALLDATALOAD 00000315: PUSH1 0x01 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: SHL 0000031c: SUB 0000031d: AND 0000031e: PUSH2 0x0adb 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x0182 00000333: PUSH2 0x0b20 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x012e 00000348: PUSH2 0x0b82 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x012e 0000035d: PUSH2 0x0c2d 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x0182 00000372: PUSH1 0x04 00000374: DUP1 00000375: CALLDATASIZE 00000376: SUB 00000377: PUSH1 0x20 00000379: DUP2 0000037a: LT 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: CALLDATALOAD 00000387: PUSH1 0x01 00000389: PUSH1 0x01 0000038b: PUSH1 0xa0 0000038d: SHL 0000038e: SUB 0000038f: AND 00000390: PUSH2 0x0c62 00000393: JUMP 00000394: JUMPDEST 00000395: CALLVALUE 00000396: DUP1 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: POP 000003a2: PUSH2 0x0182 000003a5: PUSH1 0x04 000003a7: DUP1 000003a8: CALLDATASIZE 000003a9: SUB 000003aa: PUSH1 0x20 000003ac: DUP2 000003ad: LT 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: CALLDATALOAD 000003ba: PUSH1 0x01 000003bc: PUSH1 0x01 000003be: PUSH1 0xa0 000003c0: SHL 000003c1: SUB 000003c2: AND 000003c3: PUSH2 0x0c9e 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x0277 000003d8: PUSH2 0x0cda 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0182 000003e0: PUSH2 0x0ce8 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x0182 000003f5: PUSH1 0x04 000003f7: DUP1 000003f8: CALLDATASIZE 000003f9: SUB 000003fa: PUSH1 0x20 000003fc: DUP2 000003fd: LT 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: CALLDATALOAD 0000040a: PUSH1 0x01 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: SHL 00000411: SUB 00000412: AND 00000413: PUSH2 0x0d92 00000416: JUMP 00000417: JUMPDEST 00000418: CALLER 00000419: PUSH1 0x00 0000041b: SWAP1 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x05 00000420: PUSH1 0x20 00000422: MSTORE 00000423: PUSH1 0x40 00000425: DUP2 00000426: KECCAK256 00000427: SLOAD 00000428: DUP1 00000429: ISZERO 0000042a: DUP1 0000042b: ISZERO 0000042c: SWAP1 0000042d: PUSH2 0x0436 00000430: JUMPI 00000431: POP 00000432: DUP1 00000433: SELFBALANCE 00000434: LT 00000435: ISZERO 00000436: JUMPDEST 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: CALLER 00000441: PUSH1 0x00 00000443: SWAP1 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x05 00000448: PUSH1 0x20 0000044a: MSTORE 0000044b: PUSH1 0x40 0000044d: DUP2 0000044e: KECCAK256 0000044f: SSTORE 00000450: PUSH1 0x06 00000452: SLOAD 00000453: PUSH2 0x0462 00000456: SWAP1 00000457: DUP3 00000458: PUSH4 0xffffffff 0000045d: PUSH2 0x0e4c 00000460: AND 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x06 00000465: SSTORE 00000466: PUSH1 0x40 00000468: MLOAD 00000469: CALLER 0000046a: SWAP1 0000046b: DUP3 0000046c: ISZERO 0000046d: PUSH2 0x08fc 00000470: MUL 00000471: SWAP1 00000472: DUP4 00000473: SWAP1 00000474: PUSH1 0x00 00000476: DUP2 00000477: DUP2 00000478: DUP2 00000479: DUP6 0000047a: DUP9 0000047b: DUP9 0000047c: CALL 0000047d: SWAP4 0000047e: POP 0000047f: POP 00000480: POP 00000481: POP 00000482: ISZERO 00000483: DUP1 00000484: ISZERO 00000485: PUSH2 0x0492 00000488: JUMPI 00000489: RETURNDATASIZE 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: RETURNDATACOPY 0000048e: RETURNDATASIZE 0000048f: PUSH1 0x00 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: PUSH1 0x40 00000496: DUP1 00000497: MLOAD 00000498: PUSH1 0x00 0000049a: DUP2 0000049b: MSTORE 0000049c: SWAP1 0000049d: MLOAD 0000049e: CALLER 0000049f: SWAP2 000004a0: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 000004c1: SWAP2 000004c2: SWAP1 000004c3: DUP2 000004c4: SWAP1 000004c5: SUB 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP1 000004ca: LOG2 000004cb: SWAP1 000004cc: POP 000004cd: SWAP1 000004ce: JUMP 000004cf: JUMPDEST 000004d0: CALLER 000004d1: PUSH1 0x00 000004d3: SWAP1 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x05 000004d8: PUSH1 0x20 000004da: MSTORE 000004db: PUSH1 0x40 000004dd: SWAP1 000004de: KECCAK256 000004df: SLOAD 000004e0: SWAP1 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH2 0x04f3 000004e6: PUSH1 0x00 000004e8: CALLER 000004e9: PUSH4 0xffffffff 000004ee: PUSH2 0x0e95 000004f1: AND 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: PUSH1 0x03 000004ff: SLOAD 00000500: PUSH1 0xff 00000502: AND 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: PUSH1 0x03 0000050e: SLOAD 0000050f: PUSH2 0x0100 00000512: SWAP1 00000513: DIV 00000514: PUSH1 0xff 00000516: AND 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: PUSH1 0x04 00000523: DUP1 00000524: SLOAD 00000525: DUP3 00000526: SWAP2 00000527: SWAP1 00000528: PUSH1 0xff 0000052a: PUSH1 0xa8 0000052c: SHL 0000052d: NOT 0000052e: AND 0000052f: PUSH1 0x01 00000531: PUSH1 0xa8 00000533: SHL 00000534: DUP4 00000535: PUSH1 0x05 00000537: DUP2 00000538: GT 00000539: ISZERO 0000053a: PUSH2 0x053f 0000053d: JUMPI 0000053e: INVALID 0000053f: JUMPDEST 00000540: MUL 00000541: OR 00000542: SWAP1 00000543: SSTORE 00000544: POP 00000545: PUSH1 0x04 00000547: SLOAD 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: PUSH32 0x9e37d6841345f8e4b31d3f2191820df11948b07a3f62df09880a47dc37336531 0000056c: SWAP2 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa8 00000571: SHL 00000572: SWAP1 00000573: DIV 00000574: PUSH1 0xff 00000576: AND 00000577: SWAP1 00000578: DUP1 00000579: DUP3 0000057a: PUSH1 0x05 0000057c: DUP2 0000057d: GT 0000057e: ISZERO 0000057f: PUSH2 0x0584 00000582: JUMPI 00000583: INVALID 00000584: JUMPDEST 00000585: PUSH1 0xff 00000587: AND 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP2 0000058e: POP 0000058f: POP 00000590: PUSH1 0x40 00000592: MLOAD 00000593: DUP1 00000594: SWAP2 00000595: SUB 00000596: SWAP1 00000597: LOG1 00000598: POP 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: PUSH2 0x05ae 000005a1: PUSH1 0x01 000005a3: CALLER 000005a4: PUSH4 0xffffffff 000005a9: PUSH2 0x0e95 000005ac: AND 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: PUSH1 0x03 000005ba: SLOAD 000005bb: PUSH1 0xff 000005bd: AND 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: PUSH1 0x01 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: SHL 000005cf: SUB 000005d0: DUP8 000005d1: AND 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH1 0x01 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: SHL 000005e2: SUB 000005e3: DUP8 000005e4: AND 000005e5: PUSH1 0x00 000005e7: SWAP1 000005e8: DUP2 000005e9: MSTORE 000005ea: PUSH1 0x05 000005ec: PUSH1 0x20 000005ee: MSTORE 000005ef: PUSH1 0x40 000005f1: SWAP1 000005f2: KECCAK256 000005f3: SLOAD 000005f4: DUP7 000005f5: GT 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: PUSH1 0x00 00000602: DUP5 00000603: PUSH1 0x02 00000605: DUP2 00000606: GT 00000607: ISZERO 00000608: PUSH2 0x060d 0000060b: JUMPI 0000060c: INVALID 0000060d: JUMPDEST 0000060e: GT 0000060f: PUSH2 0x0617 00000612: JUMPI 00000613: PUSH1 0x00 00000615: DUP1 00000616: REVERT 00000617: JUMPDEST 00000618: PUSH1 0x01 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: SHL 0000061f: SUB 00000620: DUP8 00000621: AND 00000622: PUSH1 0x00 00000624: SWAP1 00000625: DUP2 00000626: MSTORE 00000627: PUSH1 0x05 00000629: PUSH1 0x20 0000062b: MSTORE 0000062c: PUSH1 0x40 0000062e: SWAP1 0000062f: KECCAK256 00000630: SLOAD 00000631: PUSH2 0x0640 00000634: SWAP1 00000635: DUP8 00000636: PUSH4 0xffffffff 0000063b: PUSH2 0x0e4c 0000063e: AND 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x01 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: SHL 00000648: SUB 00000649: DUP9 0000064a: AND 0000064b: PUSH1 0x00 0000064d: SWAP1 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x05 00000652: PUSH1 0x20 00000654: MSTORE 00000655: PUSH1 0x40 00000657: SWAP1 00000658: KECCAK256 00000659: SSTORE 0000065a: PUSH1 0x06 0000065c: SLOAD 0000065d: PUSH2 0x066c 00000660: SWAP1 00000661: DUP8 00000662: PUSH4 0xffffffff 00000667: PUSH2 0x0e4c 0000066a: AND 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x06 0000066f: SSTORE 00000670: PUSH1 0x04 00000672: DUP1 00000673: SLOAD 00000674: PUSH1 0x40 00000676: MLOAD 00000677: PUSH4 0x64625405 0000067c: PUSH1 0xe1 0000067e: SHL 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x01 00000683: PUSH1 0x01 00000685: PUSH1 0xa0 00000687: SHL 00000688: SUB 00000689: DUP11 0000068a: DUP2 0000068b: AND 0000068c: DUP3 0000068d: DUP6 0000068e: ADD 0000068f: SWAP1 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x24 00000694: DUP4 00000695: ADD 00000696: DUP11 00000697: SWAP1 00000698: MSTORE 00000699: SWAP1 0000069a: DUP4 0000069b: AND 0000069c: SWAP4 0000069d: PUSH4 0xc8c4a80a 000006a2: SWAP4 000006a3: DUP13 000006a4: SWAP4 000006a5: DUP12 000006a6: SWAP4 000006a7: PUSH1 0xff 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: SHL 000006ae: DUP5 000006af: DIV 000006b0: DUP2 000006b1: AND 000006b2: SWAP5 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa8 000006b7: SHL 000006b8: SWAP1 000006b9: SWAP5 000006ba: DIV 000006bb: AND 000006bc: SWAP3 000006bd: DUP13 000006be: SWAP3 000006bf: DUP13 000006c0: SWAP3 000006c1: SWAP2 000006c2: PUSH1 0x44 000006c4: SWAP1 000006c5: SWAP2 000006c6: ADD 000006c7: SWAP1 000006c8: DUP7 000006c9: SWAP1 000006ca: DUP2 000006cb: GT 000006cc: ISZERO 000006cd: PUSH2 0x06d2 000006d0: JUMPI 000006d1: INVALID 000006d2: JUMPDEST 000006d3: PUSH1 0xff 000006d5: AND 000006d6: DUP2 000006d7: MSTORE 000006d8: PUSH1 0x20 000006da: ADD 000006db: DUP5 000006dc: PUSH1 0x05 000006de: DUP2 000006df: GT 000006e0: ISZERO 000006e1: PUSH2 0x06e6 000006e4: JUMPI 000006e5: INVALID 000006e6: JUMPDEST 000006e7: PUSH1 0xff 000006e9: AND 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: ADD 000006ef: DUP4 000006f0: PUSH1 0x02 000006f2: DUP2 000006f3: GT 000006f4: ISZERO 000006f5: PUSH2 0x06fa 000006f8: JUMPI 000006f9: INVALID 000006fa: JUMPDEST 000006fb: PUSH1 0xff 000006fd: AND 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x20 00000702: ADD 00000703: DUP3 00000704: PUSH1 0xff 00000706: AND 00000707: PUSH1 0xff 00000709: AND 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: SWAP7 00000710: POP 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: POP 00000716: POP 00000717: PUSH1 0x40 00000719: DUP1 0000071a: MLOAD 0000071b: DUP1 0000071c: DUP4 0000071d: SUB 0000071e: DUP2 0000071f: PUSH1 0x00 00000721: DUP8 00000722: DUP1 00000723: EXTCODESIZE 00000724: ISZERO 00000725: DUP1 00000726: ISZERO 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: POP 00000731: GAS 00000732: CALL 00000733: ISZERO 00000734: DUP1 00000735: ISZERO 00000736: PUSH2 0x0743 00000739: JUMPI 0000073a: RETURNDATASIZE 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: RETURNDATACOPY 0000073f: RETURNDATASIZE 00000740: PUSH1 0x00 00000742: REVERT 00000743: JUMPDEST 00000744: POP 00000745: POP 00000746: POP 00000747: POP 00000748: PUSH1 0x40 0000074a: MLOAD 0000074b: RETURNDATASIZE 0000074c: PUSH1 0x40 0000074e: DUP2 0000074f: LT 00000750: ISZERO 00000751: PUSH2 0x0759 00000754: JUMPI 00000755: PUSH1 0x00 00000757: DUP1 00000758: REVERT 00000759: JUMPDEST 0000075a: POP 0000075b: DUP1 0000075c: MLOAD 0000075d: PUSH1 0x20 0000075f: SWAP2 00000760: DUP3 00000761: ADD 00000762: MLOAD 00000763: PUSH1 0x01 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: SHL 0000076a: SUB 0000076b: DUP11 0000076c: AND 0000076d: PUSH1 0x00 0000076f: DUP2 00000770: DUP2 00000771: MSTORE 00000772: PUSH1 0x05 00000774: DUP6 00000775: MSTORE 00000776: PUSH1 0x40 00000778: SWAP1 00000779: DUP2 0000077a: SWAP1 0000077b: KECCAK256 0000077c: SLOAD 0000077d: DUP2 0000077e: MLOAD 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: SWAP1 00000783: MLOAD 00000784: SWAP4 00000785: SWAP7 00000786: POP 00000787: SWAP2 00000788: SWAP5 00000789: POP 0000078a: SWAP3 0000078b: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 000007ac: SWAP3 000007ad: SWAP2 000007ae: DUP3 000007af: SWAP1 000007b0: SUB 000007b1: ADD 000007b2: SWAP1 000007b3: LOG2 000007b4: SWAP6 000007b5: POP 000007b6: SWAP6 000007b7: SWAP4 000007b8: POP 000007b9: POP 000007ba: POP 000007bb: POP 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH2 0x07ce 000007c1: PUSH1 0x02 000007c3: CALLER 000007c4: PUSH4 0xffffffff 000007c9: PUSH2 0x0e95 000007cc: AND 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x07d7 000007d2: JUMPI 000007d3: PUSH1 0x00 000007d5: DUP1 000007d6: REVERT 000007d7: JUMPDEST 000007d8: CALLER 000007d9: PUSH1 0x01 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: SHL 000007e0: SUB 000007e1: DUP3 000007e2: AND 000007e3: EQ 000007e4: ISZERO 000007e5: PUSH2 0x07ed 000007e8: JUMPI 000007e9: PUSH1 0x00 000007eb: DUP1 000007ec: REVERT 000007ed: JUMPDEST 000007ee: PUSH1 0x00 000007f0: PUSH2 0x07ff 000007f3: DUP2 000007f4: DUP4 000007f5: PUSH4 0xffffffff 000007fa: PUSH2 0x0e95 000007fd: AND 000007fe: JUMP 000007ff: JUMPDEST 00000800: ISZERO 00000801: PUSH2 0x0819 00000804: JUMPI 00000805: PUSH2 0x0815 00000808: PUSH1 0x00 0000080a: DUP4 0000080b: PUSH4 0xffffffff 00000810: PUSH2 0x0efc 00000813: AND 00000814: JUMP 00000815: JUMPDEST 00000816: POP 00000817: PUSH1 0x01 00000819: JUMPDEST 0000081a: PUSH2 0x082a 0000081d: PUSH1 0x01 0000081f: DUP4 00000820: PUSH4 0xffffffff 00000825: PUSH2 0x0e95 00000828: AND 00000829: JUMP 0000082a: JUMPDEST 0000082b: ISZERO 0000082c: PUSH2 0x0844 0000082f: JUMPI 00000830: PUSH2 0x0840 00000833: PUSH1 0x01 00000835: DUP4 00000836: PUSH4 0xffffffff 0000083b: PUSH2 0x0efc 0000083e: AND 0000083f: JUMP 00000840: JUMPDEST 00000841: POP 00000842: PUSH1 0x01 00000844: JUMPDEST 00000845: PUSH2 0x0855 00000848: PUSH1 0x02 0000084a: DUP4 0000084b: PUSH4 0xffffffff 00000850: PUSH2 0x0e95 00000853: AND 00000854: JUMP 00000855: JUMPDEST 00000856: ISZERO 00000857: PUSH2 0x086f 0000085a: JUMPI 0000085b: PUSH2 0x086b 0000085e: PUSH1 0x02 00000860: DUP4 00000861: PUSH4 0xffffffff 00000866: PUSH2 0x0efc 00000869: AND 0000086a: JUMP 0000086b: JUMPDEST 0000086c: POP 0000086d: PUSH1 0x01 0000086f: JUMPDEST 00000870: PUSH1 0x01 00000872: DUP2 00000873: ISZERO 00000874: ISZERO 00000875: EQ 00000876: PUSH2 0x087e 00000879: JUMPI 0000087a: PUSH1 0x00 0000087c: DUP1 0000087d: REVERT 0000087e: JUMPDEST 0000087f: POP 00000880: POP 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH2 0x0893 00000886: PUSH1 0x00 00000888: CALLER 00000889: PUSH4 0xffffffff 0000088e: PUSH2 0x0e95 00000891: AND 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH2 0x089c 00000897: JUMPI 00000898: PUSH1 0x00 0000089a: DUP1 0000089b: REVERT 0000089c: JUMPDEST 0000089d: PUSH1 0x03 0000089f: SLOAD 000008a0: PUSH1 0xff 000008a2: AND 000008a3: PUSH2 0x08ab 000008a6: JUMPI 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: REVERT 000008ab: JUMPDEST 000008ac: PUSH1 0x03 000008ae: SLOAD 000008af: PUSH2 0x0100 000008b2: SWAP1 000008b3: DIV 000008b4: PUSH1 0xff 000008b6: AND 000008b7: ISZERO 000008b8: PUSH2 0x08c0 000008bb: JUMPI 000008bc: PUSH1 0x00 000008be: DUP1 000008bf: REVERT 000008c0: JUMPDEST 000008c1: PUSH1 0x03 000008c3: DUP1 000008c4: SLOAD 000008c5: PUSH1 0xff 000008c7: NOT 000008c8: AND 000008c9: SWAP1 000008ca: SSTORE 000008cb: PUSH1 0x40 000008cd: MLOAD 000008ce: PUSH32 0x0e5e3b3fb504c22cf5c42fa07d521225937514c654007e1f12646f89768d6f94 000008ef: SWAP1 000008f0: PUSH1 0x00 000008f2: SWAP1 000008f3: LOG1 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH2 0x0906 000008f9: PUSH1 0x00 000008fb: CALLER 000008fc: PUSH4 0xffffffff 00000901: PUSH2 0x0e95 00000904: AND 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: PUSH1 0x03 00000912: SLOAD 00000913: PUSH1 0xff 00000915: AND 00000916: PUSH2 0x091e 00000919: JUMPI 0000091a: PUSH1 0x00 0000091c: DUP1 0000091d: REVERT 0000091e: JUMPDEST 0000091f: PUSH1 0x03 00000921: SLOAD 00000922: PUSH2 0x0100 00000925: SWAP1 00000926: DIV 00000927: PUSH1 0xff 00000929: AND 0000092a: ISZERO 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH1 0x00 00000931: DUP1 00000932: REVERT 00000933: JUMPDEST 00000934: PUSH1 0x04 00000936: DUP1 00000937: SLOAD 00000938: DUP3 00000939: SWAP2 0000093a: SWAP1 0000093b: PUSH1 0xff 0000093d: PUSH1 0xa0 0000093f: SHL 00000940: NOT 00000941: AND 00000942: PUSH1 0x01 00000944: PUSH1 0xa0 00000946: SHL 00000947: DUP4 00000948: DUP4 00000949: DUP2 0000094a: GT 0000094b: ISZERO 0000094c: PUSH2 0x0951 0000094f: JUMPI 00000950: INVALID 00000951: JUMPDEST 00000952: MUL 00000953: OR 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: PUSH32 0xf6f89c5740b3ef3333a4c100b6af26b85330a53841d797e6b6fb3d7e014fa639 00000978: PUSH1 0x04 0000097a: PUSH1 0x14 0000097c: SWAP1 0000097d: SLOAD 0000097e: SWAP1 0000097f: PUSH2 0x0100 00000982: EXP 00000983: SWAP1 00000984: DIV 00000985: PUSH1 0xff 00000987: AND 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: DUP1 0000098c: DUP3 0000098d: PUSH1 0x04 0000098f: DUP2 00000990: GT 00000991: ISZERO 00000992: PUSH2 0x0997 00000995: JUMPI 00000996: INVALID 00000997: JUMPDEST 00000998: PUSH1 0xff 0000099a: AND 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x20 0000099f: ADD 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: DUP1 000009a7: SWAP2 000009a8: SUB 000009a9: SWAP1 000009aa: LOG1 000009ab: PUSH2 0x09b4 000009ae: PUSH1 0x01 000009b0: PUSH2 0x04e2 000009b3: JUMP 000009b4: JUMPDEST 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x03 000009ba: SLOAD 000009bb: PUSH1 0xff 000009bd: AND 000009be: DUP2 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x09d1 000009c4: PUSH1 0x00 000009c6: CALLER 000009c7: PUSH4 0xffffffff 000009cc: PUSH2 0x0e95 000009cf: AND 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH2 0x09da 000009d5: JUMPI 000009d6: PUSH1 0x00 000009d8: DUP1 000009d9: REVERT 000009da: JUMPDEST 000009db: PUSH1 0x03 000009dd: SLOAD 000009de: PUSH1 0xff 000009e0: AND 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: PUSH1 0x03 000009ec: SLOAD 000009ed: PUSH2 0x0100 000009f0: SWAP1 000009f1: DIV 000009f2: PUSH1 0xff 000009f4: AND 000009f5: ISZERO 000009f6: PUSH2 0x09fe 000009f9: JUMPI 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: DUP2 00000a02: SWAP1 00000a03: POP 00000a04: DUP1 00000a05: PUSH1 0x01 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: SHL 00000a0c: SUB 00000a0d: AND 00000a0e: PUSH4 0x950699fe 00000a13: PUSH1 0x40 00000a15: MLOAD 00000a16: DUP2 00000a17: PUSH4 0xffffffff 00000a1c: AND 00000a1d: PUSH1 0xe0 00000a1f: SHL 00000a20: DUP2 00000a21: MSTORE 00000a22: PUSH1 0x04 00000a24: ADD 00000a25: PUSH1 0x20 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP1 00000a2b: DUP4 00000a2c: SUB 00000a2d: DUP2 00000a2e: DUP7 00000a2f: DUP1 00000a30: EXTCODESIZE 00000a31: ISZERO 00000a32: DUP1 00000a33: ISZERO 00000a34: PUSH2 0x0a3c 00000a37: JUMPI 00000a38: PUSH1 0x00 00000a3a: DUP1 00000a3b: REVERT 00000a3c: JUMPDEST 00000a3d: POP 00000a3e: GAS 00000a3f: STATICCALL 00000a40: ISZERO 00000a41: DUP1 00000a42: ISZERO 00000a43: PUSH2 0x0a50 00000a46: JUMPI 00000a47: RETURNDATASIZE 00000a48: PUSH1 0x00 00000a4a: DUP1 00000a4b: RETURNDATACOPY 00000a4c: RETURNDATASIZE 00000a4d: PUSH1 0x00 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: POP 00000a52: POP 00000a53: POP 00000a54: POP 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: RETURNDATASIZE 00000a59: PUSH1 0x20 00000a5b: DUP2 00000a5c: LT 00000a5d: ISZERO 00000a5e: PUSH2 0x0a66 00000a61: JUMPI 00000a62: PUSH1 0x00 00000a64: DUP1 00000a65: REVERT 00000a66: JUMPDEST 00000a67: POP 00000a68: MLOAD 00000a69: PUSH2 0x0a71 00000a6c: JUMPI 00000a6d: PUSH1 0x00 00000a6f: DUP1 00000a70: REVERT 00000a71: JUMPDEST 00000a72: PUSH1 0x04 00000a74: DUP1 00000a75: SLOAD 00000a76: PUSH1 0x01 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: SHL 00000a7d: SUB 00000a7e: DUP5 00000a7f: AND 00000a80: PUSH1 0x01 00000a82: PUSH1 0x01 00000a84: PUSH1 0xa0 00000a86: SHL 00000a87: SUB 00000a88: NOT 00000a89: SWAP1 00000a8a: SWAP2 00000a8b: AND 00000a8c: DUP2 00000a8d: OR 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: SSTORE 00000a91: PUSH1 0x40 00000a93: DUP1 00000a94: MLOAD 00000a95: SWAP2 00000a96: DUP3 00000a97: MSTORE 00000a98: MLOAD 00000a99: PUSH32 0x703bc78725b2f16bafbf6232f3d5d610f25096a4a6b759fdbb5a46252d12108f 00000aba: SWAP2 00000abb: DUP2 00000abc: SWAP1 00000abd: SUB 00000abe: PUSH1 0x20 00000ac0: ADD 00000ac1: SWAP1 00000ac2: LOG1 00000ac3: POP 00000ac4: POP 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x03 00000ac9: SLOAD 00000aca: PUSH3 0x010000 00000ace: SWAP1 00000acf: DIV 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0xa0 00000ad6: SHL 00000ad7: SUB 00000ad8: AND 00000ad9: DUP2 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH2 0x0aec 00000adf: PUSH1 0x00 00000ae1: CALLER 00000ae2: PUSH4 0xffffffff 00000ae7: PUSH2 0x0e95 00000aea: AND 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH2 0x0af5 00000af0: JUMPI 00000af1: PUSH1 0x00 00000af3: DUP1 00000af4: REVERT 00000af5: JUMPDEST 00000af6: PUSH2 0x0b06 00000af9: PUSH1 0x02 00000afb: DUP3 00000afc: PUSH4 0xffffffff 00000b01: PUSH2 0x0f63 00000b04: AND 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH2 0x0b17 00000b0a: PUSH1 0x02 00000b0c: DUP3 00000b0d: PUSH4 0xffffffff 00000b12: PUSH2 0x0e95 00000b15: AND 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH2 0x09b4 00000b1b: JUMPI 00000b1c: PUSH1 0x00 00000b1e: DUP1 00000b1f: REVERT 00000b20: JUMPDEST 00000b21: PUSH2 0x0b31 00000b24: PUSH1 0x00 00000b26: CALLER 00000b27: PUSH4 0xffffffff 00000b2c: PUSH2 0x0e95 00000b2f: AND 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH2 0x0b3a 00000b35: JUMPI 00000b36: PUSH1 0x00 00000b38: DUP1 00000b39: REVERT 00000b3a: JUMPDEST 00000b3b: PUSH1 0x03 00000b3d: SLOAD 00000b3e: PUSH1 0xff 00000b40: AND 00000b41: ISZERO 00000b42: PUSH2 0x0b4a 00000b45: JUMPI 00000b46: PUSH1 0x00 00000b48: DUP1 00000b49: REVERT 00000b4a: JUMPDEST 00000b4b: PUSH1 0x03 00000b4d: DUP1 00000b4e: SLOAD 00000b4f: PUSH1 0xff 00000b51: NOT 00000b52: AND 00000b53: PUSH1 0x01 00000b55: OR 00000b56: SWAP1 00000b57: SSTORE 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: PUSH32 0xab35696f06e428ebc5ceba8cd17f8fed287baf43440206d1943af1ee53e6d267 00000b7c: SWAP1 00000b7d: PUSH1 0x00 00000b7f: SWAP1 00000b80: LOG1 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x00 00000b85: PUSH2 0x0b95 00000b88: PUSH1 0x02 00000b8a: CALLER 00000b8b: PUSH4 0xffffffff 00000b90: PUSH2 0x0e95 00000b93: AND 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: PUSH1 0x00 00000ba1: PUSH2 0x0bb5 00000ba4: PUSH1 0x06 00000ba6: SLOAD 00000ba7: SELFBALANCE 00000ba8: PUSH2 0x0e4c 00000bab: SWAP1 00000bac: SWAP2 00000bad: SWAP1 00000bae: PUSH4 0xffffffff 00000bb3: AND 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: SWAP1 00000bb7: POP 00000bb8: PUSH1 0x00 00000bba: DUP2 00000bbb: GT 00000bbc: PUSH2 0x0bc4 00000bbf: JUMPI 00000bc0: PUSH1 0x00 00000bc2: DUP1 00000bc3: REVERT 00000bc4: JUMPDEST 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: CALLER 00000bc9: SWAP1 00000bca: DUP3 00000bcb: ISZERO 00000bcc: PUSH2 0x08fc 00000bcf: MUL 00000bd0: SWAP1 00000bd1: DUP4 00000bd2: SWAP1 00000bd3: PUSH1 0x00 00000bd5: DUP2 00000bd6: DUP2 00000bd7: DUP2 00000bd8: DUP6 00000bd9: DUP9 00000bda: DUP9 00000bdb: CALL 00000bdc: SWAP4 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: POP 00000be1: ISZERO 00000be2: DUP1 00000be3: ISZERO 00000be4: PUSH2 0x0bf1 00000be7: JUMPI 00000be8: RETURNDATASIZE 00000be9: PUSH1 0x00 00000beb: DUP1 00000bec: RETURNDATACOPY 00000bed: RETURNDATASIZE 00000bee: PUSH1 0x00 00000bf0: REVERT 00000bf1: JUMPDEST 00000bf2: POP 00000bf3: PUSH1 0x40 00000bf5: DUP1 00000bf6: MLOAD 00000bf7: DUP3 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: SWAP1 00000bfb: MLOAD 00000bfc: CALLER 00000bfd: SWAP2 00000bfe: PUSH32 0xdaa02d445fa29c6ca8afbd8e42e7aeaefd601994715370cd129be6246e305544 00000c1f: SWAP2 00000c20: SWAP1 00000c21: DUP2 00000c22: SWAP1 00000c23: SUB 00000c24: PUSH1 0x20 00000c26: ADD 00000c27: SWAP1 00000c28: LOG2 00000c29: SWAP1 00000c2a: POP 00000c2b: SWAP1 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x00 00000c30: PUSH2 0x0c40 00000c33: PUSH1 0x02 00000c35: CALLER 00000c36: PUSH4 0xffffffff 00000c3b: PUSH2 0x0e95 00000c3e: AND 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH2 0x0c49 00000c44: JUMPI 00000c45: PUSH1 0x00 00000c47: DUP1 00000c48: REVERT 00000c49: JUMPDEST 00000c4a: PUSH1 0x06 00000c4c: SLOAD 00000c4d: PUSH2 0x0c5d 00000c50: SWAP1 00000c51: SELFBALANCE 00000c52: SWAP1 00000c53: PUSH4 0xffffffff 00000c58: PUSH2 0x0e4c 00000c5b: AND 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: SWAP1 00000c5f: POP 00000c60: SWAP1 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH2 0x0c73 00000c66: PUSH1 0x00 00000c68: CALLER 00000c69: PUSH4 0xffffffff 00000c6e: PUSH2 0x0e95 00000c71: AND 00000c72: JUMP 00000c73: JUMPDEST 00000c74: PUSH2 0x0c7c 00000c77: JUMPI 00000c78: PUSH1 0x00 00000c7a: DUP1 00000c7b: REVERT 00000c7c: JUMPDEST 00000c7d: PUSH2 0x0c8d 00000c80: PUSH1 0x01 00000c82: DUP3 00000c83: PUSH4 0xffffffff 00000c88: PUSH2 0x0f63 00000c8b: AND 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH2 0x0b17 00000c91: PUSH1 0x01 00000c93: DUP3 00000c94: PUSH4 0xffffffff 00000c99: PUSH2 0x0e95 00000c9c: AND 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH2 0x0caf 00000ca2: PUSH1 0x00 00000ca4: CALLER 00000ca5: PUSH4 0xffffffff 00000caa: PUSH2 0x0e95 00000cad: AND 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH2 0x0cb8 00000cb3: JUMPI 00000cb4: PUSH1 0x00 00000cb6: DUP1 00000cb7: REVERT 00000cb8: JUMPDEST 00000cb9: PUSH2 0x0cc9 00000cbc: PUSH1 0x00 00000cbe: DUP3 00000cbf: PUSH4 0xffffffff 00000cc4: PUSH2 0x0f63 00000cc7: AND 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH2 0x0b17 00000ccd: PUSH1 0x00 00000ccf: DUP3 00000cd0: PUSH4 0xffffffff 00000cd5: PUSH2 0x0e95 00000cd8: AND 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: PUSH1 0x03 00000cdd: SLOAD 00000cde: PUSH2 0x0100 00000ce1: SWAP1 00000ce2: DIV 00000ce3: PUSH1 0xff 00000ce5: AND 00000ce6: DUP2 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH1 0x03 00000ceb: SLOAD 00000cec: PUSH1 0xff 00000cee: AND 00000cef: ISZERO 00000cf0: PUSH2 0x0cf8 00000cf3: JUMPI 00000cf4: PUSH1 0x00 00000cf6: DUP1 00000cf7: REVERT 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: CALLVALUE 00000cfc: GT 00000cfd: PUSH2 0x0d05 00000d00: JUMPI 00000d01: PUSH1 0x00 00000d03: DUP1 00000d04: REVERT 00000d05: JUMPDEST 00000d06: CALLER 00000d07: PUSH1 0x00 00000d09: SWAP1 00000d0a: DUP2 00000d0b: MSTORE 00000d0c: PUSH1 0x05 00000d0e: PUSH1 0x20 00000d10: MSTORE 00000d11: PUSH1 0x40 00000d13: SWAP1 00000d14: KECCAK256 00000d15: SLOAD 00000d16: PUSH2 0x0d25 00000d19: SWAP1 00000d1a: CALLVALUE 00000d1b: PUSH4 0xffffffff 00000d20: PUSH2 0x0fe4 00000d23: AND 00000d24: JUMP 00000d25: JUMPDEST 00000d26: CALLER 00000d27: PUSH1 0x00 00000d29: SWAP1 00000d2a: DUP2 00000d2b: MSTORE 00000d2c: PUSH1 0x05 00000d2e: PUSH1 0x20 00000d30: MSTORE 00000d31: PUSH1 0x40 00000d33: SWAP1 00000d34: KECCAK256 00000d35: SSTORE 00000d36: PUSH1 0x06 00000d38: SLOAD 00000d39: PUSH2 0x0d48 00000d3c: SWAP1 00000d3d: CALLVALUE 00000d3e: PUSH4 0xffffffff 00000d43: PUSH2 0x0fe4 00000d46: AND 00000d47: JUMP 00000d48: JUMPDEST 00000d49: PUSH1 0x06 00000d4b: SSTORE 00000d4c: CALLER 00000d4d: PUSH1 0x00 00000d4f: DUP2 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x05 00000d54: PUSH1 0x20 00000d56: SWAP1 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x40 00000d5b: SWAP2 00000d5c: DUP3 00000d5d: SWAP1 00000d5e: KECCAK256 00000d5f: SLOAD 00000d60: DUP3 00000d61: MLOAD 00000d62: SWAP1 00000d63: DUP2 00000d64: MSTORE 00000d65: SWAP2 00000d66: MLOAD 00000d67: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 00000d88: SWAP3 00000d89: DUP2 00000d8a: SWAP1 00000d8b: SUB 00000d8c: SWAP1 00000d8d: SWAP2 00000d8e: ADD 00000d8f: SWAP1 00000d90: LOG2 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH2 0x0da3 00000d96: PUSH1 0x00 00000d98: CALLER 00000d99: PUSH4 0xffffffff 00000d9e: PUSH2 0x0e95 00000da1: AND 00000da2: JUMP 00000da3: JUMPDEST 00000da4: PUSH2 0x0dac 00000da7: JUMPI 00000da8: PUSH1 0x00 00000daa: DUP1 00000dab: REVERT 00000dac: JUMPDEST 00000dad: PUSH1 0x03 00000daf: SLOAD 00000db0: PUSH1 0xff 00000db2: AND 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: PUSH1 0x03 00000dbe: SLOAD 00000dbf: PUSH2 0x0100 00000dc2: SWAP1 00000dc3: DIV 00000dc4: PUSH1 0xff 00000dc6: AND 00000dc7: ISZERO 00000dc8: PUSH2 0x0dd0 00000dcb: JUMPI 00000dcc: PUSH1 0x00 00000dce: DUP1 00000dcf: REVERT 00000dd0: JUMPDEST 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xa0 00000dd7: SHL 00000dd8: SUB 00000dd9: DUP2 00000dda: AND 00000ddb: PUSH2 0x0de3 00000dde: JUMPI 00000ddf: PUSH1 0x00 00000de1: DUP1 00000de2: REVERT 00000de3: JUMPDEST 00000de4: PUSH1 0x03 00000de6: DUP1 00000de7: SLOAD 00000de8: PUSH2 0x0100 00000deb: PUSH2 0xff00 00000dee: NOT 00000def: SWAP1 00000df0: SWAP2 00000df1: AND 00000df2: OR 00000df3: PUSH3 0x010000 00000df7: PUSH1 0x01 00000df9: PUSH1 0xb0 00000dfb: SHL 00000dfc: SUB 00000dfd: NOT 00000dfe: AND 00000dff: PUSH3 0x010000 00000e03: PUSH1 0x01 00000e05: PUSH1 0x01 00000e07: PUSH1 0xa0 00000e09: SHL 00000e0a: SUB 00000e0b: DUP5 00000e0c: AND 00000e0d: SWAP1 00000e0e: DUP2 00000e0f: MUL 00000e10: SWAP2 00000e11: SWAP1 00000e12: SWAP2 00000e13: OR 00000e14: SWAP1 00000e15: SWAP2 00000e16: SSTORE 00000e17: PUSH1 0x40 00000e19: DUP1 00000e1a: MLOAD 00000e1b: SWAP2 00000e1c: DUP3 00000e1d: MSTORE 00000e1e: MLOAD 00000e1f: PUSH32 0x450db8da6efbe9c22f2347f7c2021231df1fc58d3ae9a2fa75d39fa446199305 00000e40: SWAP2 00000e41: PUSH1 0x20 00000e43: SWAP1 00000e44: DUP3 00000e45: SWAP1 00000e46: SUB 00000e47: ADD 00000e48: SWAP1 00000e49: LOG1 00000e4a: POP 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x00 00000e4f: PUSH2 0x0e8e 00000e52: DUP4 00000e53: DUP4 00000e54: PUSH1 0x40 00000e56: MLOAD 00000e57: DUP1 00000e58: PUSH1 0x40 00000e5a: ADD 00000e5b: PUSH1 0x40 00000e5d: MSTORE 00000e5e: DUP1 00000e5f: PUSH1 0x1e 00000e61: DUP2 00000e62: MSTORE 00000e63: PUSH1 0x20 00000e65: ADD 00000e66: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000e87: DUP2 00000e88: MSTORE 00000e89: POP 00000e8a: PUSH2 0x103e 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: SWAP4 00000e90: SWAP3 00000e91: POP 00000e92: POP 00000e93: POP 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x00 00000e98: PUSH1 0x01 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0xa0 00000e9e: SHL 00000e9f: SUB 00000ea0: DUP3 00000ea1: AND 00000ea2: PUSH2 0x0edc 00000ea5: JUMPI 00000ea6: PUSH1 0x40 00000ea8: MLOAD 00000ea9: PUSH3 0x461bcd 00000ead: PUSH1 0xe5 00000eaf: SHL 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH1 0x04 00000eb4: ADD 00000eb5: DUP1 00000eb6: DUP1 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: DUP3 00000ebb: DUP2 00000ebc: SUB 00000ebd: DUP3 00000ebe: MSTORE 00000ebf: PUSH1 0x22 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x20 00000ec5: ADD 00000ec6: DUP1 00000ec7: PUSH2 0x10f7 00000eca: PUSH1 0x22 00000ecc: SWAP2 00000ecd: CODECOPY 00000ece: PUSH1 0x40 00000ed0: ADD 00000ed1: SWAP2 00000ed2: POP 00000ed3: POP 00000ed4: PUSH1 0x40 00000ed6: MLOAD 00000ed7: DUP1 00000ed8: SWAP2 00000ed9: SUB 00000eda: SWAP1 00000edb: REVERT 00000edc: JUMPDEST 00000edd: POP 00000ede: PUSH1 0x01 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa0 00000ee4: SHL 00000ee5: SUB 00000ee6: AND 00000ee7: PUSH1 0x00 00000ee9: SWAP1 00000eea: DUP2 00000eeb: MSTORE 00000eec: PUSH1 0x20 00000eee: SWAP2 00000eef: SWAP1 00000ef0: SWAP2 00000ef1: MSTORE 00000ef2: PUSH1 0x40 00000ef4: SWAP1 00000ef5: KECCAK256 00000ef6: SLOAD 00000ef7: PUSH1 0xff 00000ef9: AND 00000efa: SWAP1 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH2 0x0f06 00000f00: DUP3 00000f01: DUP3 00000f02: PUSH2 0x0e95 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH2 0x0f41 00000f0a: JUMPI 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: PUSH3 0x461bcd 00000f12: PUSH1 0xe5 00000f14: SHL 00000f15: DUP2 00000f16: MSTORE 00000f17: PUSH1 0x04 00000f19: ADD 00000f1a: DUP1 00000f1b: DUP1 00000f1c: PUSH1 0x20 00000f1e: ADD 00000f1f: DUP3 00000f20: DUP2 00000f21: SUB 00000f22: DUP3 00000f23: MSTORE 00000f24: PUSH1 0x21 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x20 00000f2a: ADD 00000f2b: DUP1 00000f2c: PUSH2 0x10d6 00000f2f: PUSH1 0x21 00000f31: SWAP2 00000f32: CODECOPY 00000f33: PUSH1 0x40 00000f35: ADD 00000f36: SWAP2 00000f37: POP 00000f38: POP 00000f39: PUSH1 0x40 00000f3b: MLOAD 00000f3c: DUP1 00000f3d: SWAP2 00000f3e: SUB 00000f3f: SWAP1 00000f40: REVERT 00000f41: JUMPDEST 00000f42: PUSH1 0x01 00000f44: PUSH1 0x01 00000f46: PUSH1 0xa0 00000f48: SHL 00000f49: SUB 00000f4a: AND 00000f4b: PUSH1 0x00 00000f4d: SWAP1 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x20 00000f52: SWAP2 00000f53: SWAP1 00000f54: SWAP2 00000f55: MSTORE 00000f56: PUSH1 0x40 00000f58: SWAP1 00000f59: KECCAK256 00000f5a: DUP1 00000f5b: SLOAD 00000f5c: PUSH1 0xff 00000f5e: NOT 00000f5f: AND 00000f60: SWAP1 00000f61: SSTORE 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH2 0x0f6d 00000f67: DUP3 00000f68: DUP3 00000f69: PUSH2 0x0e95 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: ISZERO 00000f6f: PUSH2 0x0fbf 00000f72: JUMPI 00000f73: PUSH1 0x40 00000f75: DUP1 00000f76: MLOAD 00000f77: PUSH3 0x461bcd 00000f7b: PUSH1 0xe5 00000f7d: SHL 00000f7e: DUP2 00000f7f: MSTORE 00000f80: PUSH1 0x20 00000f82: PUSH1 0x04 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH1 0x1f 00000f89: PUSH1 0x24 00000f8b: DUP3 00000f8c: ADD 00000f8d: MSTORE 00000f8e: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500 00000faf: PUSH1 0x44 00000fb1: DUP3 00000fb2: ADD 00000fb3: MSTORE 00000fb4: SWAP1 00000fb5: MLOAD 00000fb6: SWAP1 00000fb7: DUP2 00000fb8: SWAP1 00000fb9: SUB 00000fba: PUSH1 0x64 00000fbc: ADD 00000fbd: SWAP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xa0 00000fc6: SHL 00000fc7: SUB 00000fc8: AND 00000fc9: PUSH1 0x00 00000fcb: SWAP1 00000fcc: DUP2 00000fcd: MSTORE 00000fce: PUSH1 0x20 00000fd0: SWAP2 00000fd1: SWAP1 00000fd2: SWAP2 00000fd3: MSTORE 00000fd4: PUSH1 0x40 00000fd6: SWAP1 00000fd7: KECCAK256 00000fd8: DUP1 00000fd9: SLOAD 00000fda: PUSH1 0xff 00000fdc: NOT 00000fdd: AND 00000fde: PUSH1 0x01 00000fe0: OR 00000fe1: SWAP1 00000fe2: SSTORE 00000fe3: JUMP 00000fe4: JUMPDEST 00000fe5: PUSH1 0x00 00000fe7: DUP3 00000fe8: DUP3 00000fe9: ADD 00000fea: DUP4 00000feb: DUP2 00000fec: LT 00000fed: ISZERO 00000fee: PUSH2 0x0e8e 00000ff1: JUMPI 00000ff2: PUSH1 0x40 00000ff4: DUP1 00000ff5: MLOAD 00000ff6: PUSH3 0x461bcd 00000ffa: PUSH1 0xe5 00000ffc: SHL 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x20 00001001: PUSH1 0x04 00001003: DUP3 00001004: ADD 00001005: MSTORE 00001006: PUSH1 0x1b 00001008: PUSH1 0x24 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000102e: PUSH1 0x44 00001030: DUP3 00001031: ADD 00001032: MSTORE 00001033: SWAP1 00001034: MLOAD 00001035: SWAP1 00001036: DUP2 00001037: SWAP1 00001038: SUB 00001039: PUSH1 0x64 0000103b: ADD 0000103c: SWAP1 0000103d: REVERT 0000103e: JUMPDEST 0000103f: PUSH1 0x00 00001041: DUP2 00001042: DUP5 00001043: DUP5 00001044: GT 00001045: ISZERO 00001046: PUSH2 0x10cd 00001049: JUMPI 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: PUSH3 0x461bcd 00001051: PUSH1 0xe5 00001053: SHL 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x04 00001058: ADD 00001059: DUP1 0000105a: DUP1 0000105b: PUSH1 0x20 0000105d: ADD 0000105e: DUP3 0000105f: DUP2 00001060: SUB 00001061: DUP3 00001062: MSTORE 00001063: DUP4 00001064: DUP2 00001065: DUP2 00001066: MLOAD 00001067: DUP2 00001068: MSTORE 00001069: PUSH1 0x20 0000106b: ADD 0000106c: SWAP2 0000106d: POP 0000106e: DUP1 0000106f: MLOAD 00001070: SWAP1 00001071: PUSH1 0x20 00001073: ADD 00001074: SWAP1 00001075: DUP1 00001076: DUP4 00001077: DUP4 00001078: PUSH1 0x00 0000107a: JUMPDEST 0000107b: DUP4 0000107c: DUP2 0000107d: LT 0000107e: ISZERO 0000107f: PUSH2 0x1092 00001082: JUMPI 00001083: DUP2 00001084: DUP2 00001085: ADD 00001086: MLOAD 00001087: DUP4 00001088: DUP3 00001089: ADD 0000108a: MSTORE 0000108b: PUSH1 0x20 0000108d: ADD 0000108e: PUSH2 0x107a 00001091: JUMP 00001092: JUMPDEST 00001093: POP 00001094: POP 00001095: POP 00001096: POP 00001097: SWAP1 00001098: POP 00001099: SWAP1 0000109a: DUP2 0000109b: ADD 0000109c: SWAP1 0000109d: PUSH1 0x1f 0000109f: AND 000010a0: DUP1 000010a1: ISZERO 000010a2: PUSH2 0x10bf 000010a5: JUMPI 000010a6: DUP1 000010a7: DUP3 000010a8: SUB 000010a9: DUP1 000010aa: MLOAD 000010ab: PUSH1 0x01 000010ad: DUP4 000010ae: PUSH1 0x20 000010b0: SUB 000010b1: PUSH2 0x0100 000010b4: EXP 000010b5: SUB 000010b6: NOT 000010b7: AND 000010b8: DUP2 000010b9: MSTORE 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP2 000010be: POP 000010bf: JUMPDEST 000010c0: POP 000010c1: SWAP3 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: DUP1 000010c9: SWAP2 000010ca: SUB 000010cb: SWAP1 000010cc: REVERT 000010cd: JUMPDEST 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: SWAP1 000010d2: SUB 000010d3: SWAP1 000010d4: JUMP 000010d5: INVALID 000010d6: MSTORE 000010d7: PUSH16 0x6c65733a206163636f756e7420646f65 000010e8: PUSH20 0x206e6f74206861766520726f6c65526f6c65733a 000010fd: KECCAK256 000010fe: PUSH2 0x6363 00001101: PUSH16 0x756e7420697320746865207a65726f20 00001112: PUSH2 0x6464 00001115: PUSH19 0x657373a265627a7a723158200865c58406e401 00001129: SWAP15 0000112a: UNKNOWN(0xC7) 0000112b: UNKNOWN(0xED) 0000112c: UNKNOWN(0xC3) 0000112d: UNKNOWN(0xBF) 0000112e: MOD 0000112f: PUSH17 0x470649dd2b9678aed6ee1f5ba18dd05943 00001141: DELEGATECALL 00001142: PUSH5 0x736f6c6343 00001148: STOP 00001149: SDIV 0000114a: UNKNOWN(0x0E) 0000114b: STOP 0000114c: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x295b442bc8a27736caffe663332fc8b1356b94f30d379bdf0e5e841ac44e2223
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x295b442bc8a27736caffe663332fc8b1356b94f30d379bdf0e5e841ac44e2223",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4417,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb
call_targets:
0xe31763aad9294f073ddf18b36503ed037ae5e737
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe31763aad9294f073ddf18b36503ed037ae5e737"
],
"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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb
call_targets:
0xe31763aad9294f073ddf18b36503ed037ae5e737
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe31763aad9294f073ddf18b36503ed037ae5e737"
],
"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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
]
}
|