c1a9c2ed-e818-47db-a208-33de4d0fbc2d
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 |
|---|---|---|---|---|
| 31598 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 78215 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 78216 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 78217 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 78218 | capability.graph | complete | 1 / 3 | 1 week ago |
| 78219 | detector.run | complete | 1 / 3 | 1 week ago |
| 78220 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:464677] OpenAI Codex v0.77.0 (research preview)
[codex:464677] --------
[codex:464677] workdir: /tmp/codex-multi-feshdoqw
[codex:464677] model: gpt-5.2-codex
[codex:464677] provider: openai
[codex:464677] approval: never
[codex:464677] sandbox: read-only
[codex:464677] reasoning effort: xhigh
[codex:464677] reasoning summaries: auto
[codex:464677] session id: 019b87d9-8a90-7d12-9a1d-289aad54652a
[codex:464677] --------
[codex:464677] user
[codex:464677] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:464677]
[codex:464677] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:464677]
[codex:464677] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:464677] - Gas inefficiency, code quality, naming, or best practices
[codex:464677] - Theoretical vulnerabilities without a clear extraction path
[codex:464677] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:464677] - Front-running unless it enables theft beyond MEV
[codex:464677] - DoS, griefing, or issues that don't result in attacker profit
[codex:464677] - Missing events, view function issues, or informational findings
[codex:464677]
[codex:464677] HIGH-VALUE PATTERNS TO HUNT:
[codex:464677] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:464677] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:464677] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:464677] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:464677] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:464677] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:464677] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:464677] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:464677] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:464677]
[codex:464677] For each finding, you MUST provide:
[codex:464677] 1. Exact file and line numbers of vulnerable code
[codex:464677] 2. Step-by-step exploit transaction sequence
[codex:464677] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:464677]
[codex:464677] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:464677]
[codex:464677] Output MUST be valid JSON matching the provided schema.
[codex:464677] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:464677] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:464677] mcp startup: no servers
[codex:464677]
[codex:464677] thinking
[codex:464677] **Planning to read AUDIT_BUNDLE.txt**
[codex:464677] exec
[codex:464677] /bin/bash -lc ls in /tmp/codex-multi-feshdoqw succeeded in 6ms:
[codex:464677] AUDIT_BUNDLE.txt
[codex:464677] codex-output-schema.json
[codex:464677] contracts
[codex:464677]
[codex:464677] thinking
[codex:464677] **Preparing to read AUDIT_BUNDLE.txt**
[codex:464677] exec
[codex:464677] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-feshdoqw succeeded in 5ms:
[codex:464677] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:464677]
[codex:464677] ================================================================================
[codex:464677] FILE: contracts/Contract.sol
[codex:464677] ================================================================================
[codex:464677] pragma solidity 0.5.16;
[codex:464677]
[codex:464677]
[codex:464677] contract Context {
[codex:464677] // Empty internal constructor, to prevent people from mistakenly deploying
[codex:464677] // an instance of this contract, which should be used via inheritance.
[codex:464677] constructor () internal { }
[codex:464677] // solhint-disable-previous-line no-empty-blocks
[codex:464677]
[codex:464677] function _msgSender() internal view returns (address payable) {
[codex:464677] return msg.sender;
[codex:464677] }
[codex:464677]
[codex:464677] function _msgData() internal view returns (bytes memory) {
[codex:464677] this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
[codex:464677]
[codex:464677] thinking
[codex:464677] **Generating vulnerability assessment JSON**
[codex:464677]
[codex:464677] I've reviewed the dividend token contract carefully for exploit paths including reentrancy, access control flaws, integer overflows, and profit extraction via flash loans or token transfer manipulations. The contract's state updates before external calls and uses standard dividend accounting mechanisms, making straightforward attack vectors unprofitable or blocked. No concrete exploit or profit path appears feasible, so I'll output JSON indicating no findings with a brief summary.
[codex:464677] codex
[codex:464677] {"no_findings":true,"summary":"No concrete, exploitable profit paths found after reviewing `contracts/Contract.sol`; dividend distribution and withdrawal flows do not allow an attacker to extract value beyond their rightful share.","findings":[]}
[codex:464677] tokens used
[codex:464677] 12,431
[codex:464677] {"no_findings":true,"summary":"No concrete, exploitable profit paths found after reviewing `contracts/Contract.sol`; dividend distribution and withdrawal flows do not allow an attacker to extract value beyond their rightful share.","findings":[]}
{
"codex": {
"ran_at": "2026-01-04T07:13:22.719913+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found after reviewing `contracts/Contract.sol`; dividend distribution and withdrawal flows do not allow an attacker to extract value beyond their rightful share.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found after reviewing `contracts/Contract.sol`; dividend distribution and withdrawal flows do not allow an attacker to extract value beyond their rightful share.",
"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 0x0108 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x443bb293 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x95d89b41 0000002f: EQ 00000030: PUSH2 0x03fe 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa457c2d7 0000003a: EQ 0000003b: PUSH2 0x0413 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa9059cbb 00000045: EQ 00000046: PUSH2 0x044c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xa9691f3f 00000050: EQ 00000051: PUSH2 0x0485 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdd62ed3e 0000005b: EQ 0000005c: PUSH2 0x049a 0000005f: JUMPI 00000060: PUSH2 0x0108 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x443bb293 0000006b: EQ 0000006c: PUSH2 0x0350 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x46c162de 00000076: EQ 00000077: PUSH2 0x0383 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4e97415f 00000081: EQ 00000082: PUSH2 0x0398 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x70a08231 0000008c: EQ 0000008d: PUSH2 0x03cb 00000090: JUMPI 00000091: PUSH2 0x0108 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x23b872dd 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x23b872dd 000000a7: EQ 000000a8: PUSH2 0x023b 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x24600fc3 000000b2: EQ 000000b3: PUSH2 0x027e 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x313ce567 000000bd: EQ 000000be: PUSH2 0x0293 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x39509351 000000c8: EQ 000000c9: PUSH2 0x02be 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x41b4ffc9 000000d3: EQ 000000d4: PUSH2 0x02f7 000000d7: JUMPI 000000d8: PUSH2 0x0108 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH3 0x41c52c 000000e2: EQ 000000e3: PUSH2 0x010a 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x06fdde03 000000ed: EQ 000000ee: PUSH2 0x014f 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x095ea7b3 000000f8: EQ 000000f9: PUSH2 0x01d9 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x18160ddd 00000103: EQ 00000104: PUSH2 0x0226 00000107: JUMPI 00000108: JUMPDEST 00000109: STOP 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x013d 0000011b: PUSH1 0x04 0000011d: DUP1 0000011e: CALLDATASIZE 0000011f: SUB 00000120: PUSH1 0x20 00000122: DUP2 00000123: LT 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: POP 0000012f: CALLDATALOAD 00000130: PUSH1 0x01 00000132: PUSH1 0x01 00000134: PUSH1 0xa0 00000136: SHL 00000137: SUB 00000138: AND 00000139: PUSH2 0x04d5 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: DUP1 00000141: MLOAD 00000142: SWAP2 00000143: DUP3 00000144: MSTORE 00000145: MLOAD 00000146: SWAP1 00000147: DUP2 00000148: SWAP1 00000149: SUB 0000014a: PUSH1 0x20 0000014c: ADD 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x0164 00000160: PUSH2 0x04f0 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH1 0x40 00000167: DUP1 00000168: MLOAD 00000169: PUSH1 0x20 0000016b: DUP1 0000016c: DUP3 0000016d: MSTORE 0000016e: DUP4 0000016f: MLOAD 00000170: DUP2 00000171: DUP4 00000172: ADD 00000173: MSTORE 00000174: DUP4 00000175: MLOAD 00000176: SWAP2 00000177: SWAP3 00000178: DUP4 00000179: SWAP3 0000017a: SWAP1 0000017b: DUP4 0000017c: ADD 0000017d: SWAP2 0000017e: DUP6 0000017f: ADD 00000180: SWAP1 00000181: DUP1 00000182: DUP4 00000183: DUP4 00000184: PUSH1 0x00 00000186: JUMPDEST 00000187: DUP4 00000188: DUP2 00000189: LT 0000018a: ISZERO 0000018b: PUSH2 0x019e 0000018e: JUMPI 0000018f: DUP2 00000190: DUP2 00000191: ADD 00000192: MLOAD 00000193: DUP4 00000194: DUP3 00000195: ADD 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: PUSH2 0x0186 0000019d: JUMP 0000019e: JUMPDEST 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: SWAP1 000001a4: POP 000001a5: SWAP1 000001a6: DUP2 000001a7: ADD 000001a8: SWAP1 000001a9: PUSH1 0x1f 000001ab: AND 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01cb 000001b1: JUMPI 000001b2: DUP1 000001b3: DUP3 000001b4: SUB 000001b5: DUP1 000001b6: MLOAD 000001b7: PUSH1 0x01 000001b9: DUP4 000001ba: PUSH1 0x20 000001bc: SUB 000001bd: PUSH2 0x0100 000001c0: EXP 000001c1: SUB 000001c2: NOT 000001c3: AND 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: SWAP2 000001ca: POP 000001cb: JUMPDEST 000001cc: POP 000001cd: SWAP3 000001ce: POP 000001cf: POP 000001d0: POP 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: SWAP2 000001d6: SUB 000001d7: SWAP1 000001d8: RETURN 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x0212 000001ea: PUSH1 0x04 000001ec: DUP1 000001ed: CALLDATASIZE 000001ee: SUB 000001ef: PUSH1 0x40 000001f1: DUP2 000001f2: LT 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH1 0x01 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: SHL 00000205: SUB 00000206: DUP2 00000207: CALLDATALOAD 00000208: AND 00000209: SWAP1 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: CALLDATALOAD 0000020e: PUSH2 0x0586 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: DUP1 00000216: MLOAD 00000217: SWAP2 00000218: ISZERO 00000219: ISZERO 0000021a: DUP3 0000021b: MSTORE 0000021c: MLOAD 0000021d: SWAP1 0000021e: DUP2 0000021f: SWAP1 00000220: SUB 00000221: PUSH1 0x20 00000223: ADD 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: POP 00000234: PUSH2 0x013d 00000237: PUSH2 0x05a4 0000023a: JUMP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0212 0000024c: PUSH1 0x04 0000024e: DUP1 0000024f: CALLDATASIZE 00000250: SUB 00000251: PUSH1 0x60 00000253: DUP2 00000254: LT 00000255: ISZERO 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: POP 00000260: PUSH1 0x01 00000262: PUSH1 0x01 00000264: PUSH1 0xa0 00000266: SHL 00000267: SUB 00000268: DUP2 00000269: CALLDATALOAD 0000026a: DUP2 0000026b: AND 0000026c: SWAP2 0000026d: PUSH1 0x20 0000026f: DUP2 00000270: ADD 00000271: CALLDATALOAD 00000272: SWAP1 00000273: SWAP2 00000274: AND 00000275: SWAP1 00000276: PUSH1 0x40 00000278: ADD 00000279: CALLDATALOAD 0000027a: PUSH2 0x05aa 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x0108 0000028f: PUSH2 0x0637 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x02a8 000002a4: PUSH2 0x0681 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: DUP1 000002ac: MLOAD 000002ad: PUSH1 0xff 000002af: SWAP1 000002b0: SWAP3 000002b1: AND 000002b2: DUP3 000002b3: MSTORE 000002b4: MLOAD 000002b5: SWAP1 000002b6: DUP2 000002b7: SWAP1 000002b8: SUB 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP1 000002bd: RETURN 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 0x0212 000002cf: PUSH1 0x04 000002d1: DUP1 000002d2: CALLDATASIZE 000002d3: SUB 000002d4: PUSH1 0x40 000002d6: DUP2 000002d7: LT 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH1 0x01 000002e5: PUSH1 0x01 000002e7: PUSH1 0xa0 000002e9: SHL 000002ea: SUB 000002eb: DUP2 000002ec: CALLDATALOAD 000002ed: AND 000002ee: SWAP1 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: CALLDATALOAD 000002f3: PUSH2 0x068a 000002f6: JUMP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x032a 00000308: PUSH1 0x04 0000030a: DUP1 0000030b: CALLDATASIZE 0000030c: SUB 0000030d: PUSH1 0x20 0000030f: DUP2 00000310: LT 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: CALLDATALOAD 0000031d: PUSH1 0x01 0000031f: PUSH1 0x01 00000321: PUSH1 0xa0 00000323: SHL 00000324: SUB 00000325: AND 00000326: PUSH2 0x06de 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH1 0x40 0000032d: DUP1 0000032e: MLOAD 0000032f: SWAP5 00000330: DUP6 00000331: MSTORE 00000332: PUSH1 0x20 00000334: DUP6 00000335: ADD 00000336: SWAP4 00000337: SWAP1 00000338: SWAP4 00000339: MSTORE 0000033a: DUP4 0000033b: DUP4 0000033c: ADD 0000033d: SWAP2 0000033e: SWAP1 0000033f: SWAP2 00000340: MSTORE 00000341: PUSH1 0x60 00000343: DUP4 00000344: ADD 00000345: MSTORE 00000346: MLOAD 00000347: SWAP1 00000348: DUP2 00000349: SWAP1 0000034a: SUB 0000034b: PUSH1 0x80 0000034d: ADD 0000034e: SWAP1 0000034f: RETURN 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x013d 00000361: PUSH1 0x04 00000363: DUP1 00000364: CALLDATASIZE 00000365: SUB 00000366: PUSH1 0x20 00000368: DUP2 00000369: LT 0000036a: ISZERO 0000036b: PUSH2 0x0373 0000036e: JUMPI 0000036f: PUSH1 0x00 00000371: DUP1 00000372: REVERT 00000373: JUMPDEST 00000374: POP 00000375: CALLDATALOAD 00000376: PUSH1 0x01 00000378: PUSH1 0x01 0000037a: PUSH1 0xa0 0000037c: SHL 0000037d: SUB 0000037e: AND 0000037f: PUSH2 0x072b 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x0108 00000394: PUSH2 0x075d 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x013d 000003a9: PUSH1 0x04 000003ab: DUP1 000003ac: CALLDATASIZE 000003ad: SUB 000003ae: PUSH1 0x20 000003b0: DUP2 000003b1: LT 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: POP 000003bd: CALLDATALOAD 000003be: PUSH1 0x01 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: SHL 000003c5: SUB 000003c6: AND 000003c7: PUSH2 0x0786 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x013d 000003dc: PUSH1 0x04 000003de: DUP1 000003df: CALLDATASIZE 000003e0: SUB 000003e1: PUSH1 0x20 000003e3: DUP2 000003e4: LT 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: CALLDATALOAD 000003f1: PUSH1 0x01 000003f3: PUSH1 0x01 000003f5: PUSH1 0xa0 000003f7: SHL 000003f8: SUB 000003f9: AND 000003fa: PUSH2 0x07ef 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x0164 0000040f: PUSH2 0x080a 00000412: JUMP 00000413: JUMPDEST 00000414: CALLVALUE 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: PUSH2 0x0212 00000424: PUSH1 0x04 00000426: DUP1 00000427: CALLDATASIZE 00000428: SUB 00000429: PUSH1 0x40 0000042b: DUP2 0000042c: LT 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH1 0x01 0000043a: PUSH1 0x01 0000043c: PUSH1 0xa0 0000043e: SHL 0000043f: SUB 00000440: DUP2 00000441: CALLDATALOAD 00000442: AND 00000443: SWAP1 00000444: PUSH1 0x20 00000446: ADD 00000447: CALLDATALOAD 00000448: PUSH2 0x086a 0000044b: JUMP 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0212 0000045d: PUSH1 0x04 0000045f: DUP1 00000460: CALLDATASIZE 00000461: SUB 00000462: PUSH1 0x40 00000464: DUP2 00000465: LT 00000466: ISZERO 00000467: PUSH2 0x046f 0000046a: JUMPI 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: PUSH1 0x01 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: SHL 00000478: SUB 00000479: DUP2 0000047a: CALLDATALOAD 0000047b: AND 0000047c: SWAP1 0000047d: PUSH1 0x20 0000047f: ADD 00000480: CALLDATALOAD 00000481: PUSH2 0x08d8 00000484: JUMP 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x013d 00000496: PUSH2 0x08ec 00000499: JUMP 0000049a: JUMPDEST 0000049b: CALLVALUE 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: PUSH2 0x013d 000004ab: PUSH1 0x04 000004ad: DUP1 000004ae: CALLDATASIZE 000004af: SUB 000004b0: PUSH1 0x40 000004b2: DUP2 000004b3: LT 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH1 0x01 000004c1: PUSH1 0x01 000004c3: PUSH1 0xa0 000004c5: SHL 000004c6: SUB 000004c7: DUP2 000004c8: CALLDATALOAD 000004c9: DUP2 000004ca: AND 000004cb: SWAP2 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: CALLDATALOAD 000004d0: AND 000004d1: PUSH2 0x08f2 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x01 000004d8: PUSH1 0x01 000004da: PUSH1 0xa0 000004dc: SHL 000004dd: SUB 000004de: AND 000004df: PUSH1 0x00 000004e1: SWAP1 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x08 000004e6: PUSH1 0x20 000004e8: MSTORE 000004e9: PUSH1 0x40 000004eb: SWAP1 000004ec: KECCAK256 000004ed: SLOAD 000004ee: SWAP1 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: SLOAD 000004f5: PUSH1 0x40 000004f7: DUP1 000004f8: MLOAD 000004f9: PUSH1 0x20 000004fb: PUSH1 0x1f 000004fd: PUSH1 0x02 000004ff: PUSH1 0x00 00000501: NOT 00000502: PUSH2 0x0100 00000505: PUSH1 0x01 00000507: DUP9 00000508: AND 00000509: ISZERO 0000050a: MUL 0000050b: ADD 0000050c: SWAP1 0000050d: SWAP6 0000050e: AND 0000050f: SWAP5 00000510: SWAP1 00000511: SWAP5 00000512: DIV 00000513: SWAP4 00000514: DUP5 00000515: ADD 00000516: DUP2 00000517: SWAP1 00000518: DIV 00000519: DUP2 0000051a: MUL 0000051b: DUP3 0000051c: ADD 0000051d: DUP2 0000051e: ADD 0000051f: SWAP1 00000520: SWAP3 00000521: MSTORE 00000522: DUP3 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x60 00000527: SWAP4 00000528: SWAP1 00000529: SWAP3 0000052a: SWAP1 0000052b: SWAP2 0000052c: DUP4 0000052d: ADD 0000052e: DUP3 0000052f: DUP3 00000530: DUP1 00000531: ISZERO 00000532: PUSH2 0x057c 00000535: JUMPI 00000536: DUP1 00000537: PUSH1 0x1f 00000539: LT 0000053a: PUSH2 0x0551 0000053d: JUMPI 0000053e: PUSH2 0x0100 00000541: DUP1 00000542: DUP4 00000543: SLOAD 00000544: DIV 00000545: MUL 00000546: DUP4 00000547: MSTORE 00000548: SWAP2 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP2 0000054d: PUSH2 0x057c 00000550: JUMP 00000551: JUMPDEST 00000552: DUP3 00000553: ADD 00000554: SWAP2 00000555: SWAP1 00000556: PUSH1 0x00 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: PUSH1 0x00 0000055d: KECCAK256 0000055e: SWAP1 0000055f: JUMPDEST 00000560: DUP2 00000561: SLOAD 00000562: DUP2 00000563: MSTORE 00000564: SWAP1 00000565: PUSH1 0x01 00000567: ADD 00000568: SWAP1 00000569: PUSH1 0x20 0000056b: ADD 0000056c: DUP1 0000056d: DUP4 0000056e: GT 0000056f: PUSH2 0x055f 00000572: JUMPI 00000573: DUP3 00000574: SWAP1 00000575: SUB 00000576: PUSH1 0x1f 00000578: AND 00000579: DUP3 0000057a: ADD 0000057b: SWAP2 0000057c: JUMPDEST 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: POP 00000582: SWAP1 00000583: POP 00000584: SWAP1 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x00 00000589: PUSH2 0x059a 0000058c: PUSH2 0x0593 0000058f: PUSH2 0x091d 00000592: JUMP 00000593: JUMPDEST 00000594: DUP5 00000595: DUP5 00000596: PUSH2 0x0921 00000599: JUMP 0000059a: JUMPDEST 0000059b: POP 0000059c: PUSH1 0x01 0000059e: JUMPDEST 0000059f: SWAP3 000005a0: SWAP2 000005a1: POP 000005a2: POP 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH1 0x05 000005a7: SLOAD 000005a8: SWAP1 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x00 000005ad: PUSH2 0x05b7 000005b0: DUP5 000005b1: DUP5 000005b2: DUP5 000005b3: PUSH2 0x0a0d 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x062d 000005bb: DUP5 000005bc: PUSH2 0x05c3 000005bf: PUSH2 0x091d 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x0628 000005c7: DUP6 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: DUP1 000005cc: PUSH1 0x60 000005ce: ADD 000005cf: PUSH1 0x40 000005d1: MSTORE 000005d2: DUP1 000005d3: PUSH1 0x28 000005d5: DUP2 000005d6: MSTORE 000005d7: PUSH1 0x20 000005d9: ADD 000005da: PUSH2 0x114a 000005dd: PUSH1 0x28 000005df: SWAP2 000005e0: CODECOPY 000005e1: PUSH1 0x01 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: SHL 000005e8: SUB 000005e9: DUP11 000005ea: AND 000005eb: PUSH1 0x00 000005ed: SWAP1 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x04 000005f2: PUSH1 0x20 000005f4: MSTORE 000005f5: PUSH1 0x40 000005f7: DUP2 000005f8: KECCAK256 000005f9: SWAP1 000005fa: PUSH2 0x0601 000005fd: PUSH2 0x091d 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x01 00000604: PUSH1 0x01 00000606: PUSH1 0xa0 00000608: SHL 00000609: SUB 0000060a: AND 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: DUP2 00000610: ADD 00000611: SWAP2 00000612: SWAP1 00000613: SWAP2 00000614: MSTORE 00000615: PUSH1 0x40 00000617: ADD 00000618: PUSH1 0x00 0000061a: KECCAK256 0000061b: SLOAD 0000061c: SWAP2 0000061d: SWAP1 0000061e: PUSH4 0xffffffff 00000623: PUSH2 0x0ab5 00000626: AND 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x0921 0000062c: JUMP 0000062d: JUMPDEST 0000062e: POP 0000062f: PUSH1 0x01 00000631: SWAP4 00000632: SWAP3 00000633: POP 00000634: POP 00000635: POP 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH1 0x00 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x0b4c 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: SWAP1 00000646: SWAP2 00000647: POP 00000648: CALLER 00000649: SWAP1 0000064a: DUP2 0000064b: SWAP1 0000064c: DUP4 0000064d: ISZERO 0000064e: PUSH2 0x08fc 00000651: MUL 00000652: SWAP1 00000653: DUP5 00000654: SWAP1 00000655: PUSH1 0x00 00000657: DUP2 00000658: DUP2 00000659: DUP2 0000065a: DUP6 0000065b: DUP9 0000065c: DUP9 0000065d: CALL 0000065e: SWAP4 0000065f: POP 00000660: POP 00000661: POP 00000662: POP 00000663: ISZERO 00000664: DUP1 00000665: ISZERO 00000666: PUSH2 0x0673 00000669: JUMPI 0000066a: RETURNDATASIZE 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: RETURNDATACOPY 0000066f: RETURNDATASIZE 00000670: PUSH1 0x00 00000672: REVERT 00000673: JUMPDEST 00000674: POP 00000675: PUSH2 0x067c 00000678: PUSH2 0x0bc9 0000067b: JUMP 0000067c: JUMPDEST 0000067d: POP 0000067e: POP 0000067f: POP 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x02 00000684: SLOAD 00000685: PUSH1 0xff 00000687: AND 00000688: SWAP1 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH1 0x00 0000068d: PUSH2 0x059a 00000690: PUSH2 0x0697 00000693: PUSH2 0x091d 00000696: JUMP 00000697: JUMPDEST 00000698: DUP5 00000699: PUSH2 0x0628 0000069c: DUP6 0000069d: PUSH1 0x04 0000069f: PUSH1 0x00 000006a1: PUSH2 0x06a8 000006a4: PUSH2 0x091d 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x01 000006ab: PUSH1 0x01 000006ad: PUSH1 0xa0 000006af: SHL 000006b0: SUB 000006b1: SWAP1 000006b2: DUP2 000006b3: AND 000006b4: DUP3 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: DUP1 000006b9: DUP4 000006ba: ADD 000006bb: SWAP4 000006bc: SWAP1 000006bd: SWAP4 000006be: MSTORE 000006bf: PUSH1 0x40 000006c1: SWAP2 000006c2: DUP3 000006c3: ADD 000006c4: PUSH1 0x00 000006c6: SWAP1 000006c7: DUP2 000006c8: KECCAK256 000006c9: SWAP2 000006ca: DUP13 000006cb: AND 000006cc: DUP2 000006cd: MSTORE 000006ce: SWAP3 000006cf: MSTORE 000006d0: SWAP1 000006d1: KECCAK256 000006d2: SLOAD 000006d3: SWAP1 000006d4: PUSH4 0xffffffff 000006d9: PUSH2 0x0beb 000006dc: AND 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: PUSH2 0x06ed 000006e8: DUP6 000006e9: PUSH2 0x07ef 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x01 000006f0: PUSH1 0x01 000006f2: PUSH1 0xa0 000006f4: SHL 000006f5: SUB 000006f6: DUP7 000006f7: AND 000006f8: PUSH1 0x00 000006fa: SWAP1 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x07 000006ff: PUSH1 0x20 00000701: SWAP1 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x40 00000706: DUP1 00000707: DUP4 00000708: KECCAK256 00000709: SLOAD 0000070a: PUSH1 0x08 0000070c: SWAP1 0000070d: SWAP3 0000070e: MSTORE 0000070f: SWAP1 00000710: SWAP2 00000711: KECCAK256 00000712: SLOAD 00000713: SWAP2 00000714: SWAP6 00000715: POP 00000716: SWAP4 00000717: POP 00000718: SWAP2 00000719: POP 0000071a: PUSH2 0x0722 0000071d: DUP6 0000071e: PUSH2 0x072b 00000721: JUMP 00000722: JUMPDEST 00000723: SWAP1 00000724: POP 00000725: SWAP2 00000726: SWAP4 00000727: POP 00000728: SWAP2 00000729: SWAP4 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x01 0000072e: PUSH1 0x01 00000730: PUSH1 0xa0 00000732: SHL 00000733: SUB 00000734: DUP2 00000735: AND 00000736: PUSH1 0x00 00000738: SWAP1 00000739: DUP2 0000073a: MSTORE 0000073b: PUSH1 0x08 0000073d: PUSH1 0x20 0000073f: MSTORE 00000740: PUSH1 0x40 00000742: DUP2 00000743: KECCAK256 00000744: SLOAD 00000745: PUSH2 0x059e 00000748: SWAP1 00000749: PUSH2 0x0751 0000074c: DUP5 0000074d: PUSH2 0x0786 00000750: JUMP 00000751: JUMPDEST 00000752: SWAP1 00000753: PUSH4 0xffffffff 00000758: PUSH2 0x0c4c 0000075b: AND 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH1 0x00 00000760: PUSH2 0x0767 00000763: PUSH2 0x0bc9 00000766: JUMP 00000767: JUMPDEST 00000768: SWAP1 00000769: POP 0000076a: PUSH1 0x00 0000076c: DUP2 0000076d: SGT 0000076e: ISZERO 0000076f: PUSH2 0x0783 00000772: JUMPI 00000773: PUSH2 0x0783 00000776: PUSH2 0x077e 00000779: DUP3 0000077a: PUSH2 0x0c8e 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x0ca1 00000782: JUMP 00000783: JUMPDEST 00000784: POP 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x01 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: SHL 0000078e: SUB 0000078f: DUP2 00000790: AND 00000791: PUSH1 0x00 00000793: SWAP1 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x07 00000798: PUSH1 0x20 0000079a: MSTORE 0000079b: PUSH1 0x40 0000079d: DUP2 0000079e: KECCAK256 0000079f: SLOAD 000007a0: PUSH1 0x01 000007a2: PUSH1 0x80 000007a4: SHL 000007a5: SWAP1 000007a6: PUSH2 0x07e1 000007a9: SWAP1 000007aa: PUSH2 0x07dc 000007ad: SWAP1 000007ae: PUSH2 0x07d0 000007b1: PUSH2 0x07cb 000007b4: PUSH2 0x07bc 000007b7: DUP9 000007b8: PUSH2 0x07ef 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x06 000007bf: SLOAD 000007c0: SWAP1 000007c1: PUSH4 0xffffffff 000007c6: PUSH2 0x0d60 000007c9: AND 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH2 0x0db9 000007cf: JUMP 000007d0: JUMPDEST 000007d1: SWAP1 000007d2: PUSH4 0xffffffff 000007d7: PUSH2 0x0dc9 000007da: AND 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH2 0x0c8e 000007e0: JUMP 000007e1: JUMPDEST 000007e2: DUP2 000007e3: PUSH2 0x07e8 000007e6: JUMPI 000007e7: INVALID 000007e8: JUMPDEST 000007e9: DIV 000007ea: SWAP3 000007eb: SWAP2 000007ec: POP 000007ed: POP 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x01 000007f2: PUSH1 0x01 000007f4: PUSH1 0xa0 000007f6: SHL 000007f7: SUB 000007f8: AND 000007f9: PUSH1 0x00 000007fb: SWAP1 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x03 00000800: PUSH1 0x20 00000802: MSTORE 00000803: PUSH1 0x40 00000805: SWAP1 00000806: KECCAK256 00000807: SLOAD 00000808: SWAP1 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x01 0000080d: DUP1 0000080e: SLOAD 0000080f: PUSH1 0x40 00000811: DUP1 00000812: MLOAD 00000813: PUSH1 0x20 00000815: PUSH1 0x1f 00000817: PUSH1 0x02 00000819: PUSH1 0x00 0000081b: NOT 0000081c: PUSH2 0x0100 0000081f: DUP8 00000820: DUP10 00000821: AND 00000822: ISZERO 00000823: MUL 00000824: ADD 00000825: SWAP1 00000826: SWAP6 00000827: AND 00000828: SWAP5 00000829: SWAP1 0000082a: SWAP5 0000082b: DIV 0000082c: SWAP4 0000082d: DUP5 0000082e: ADD 0000082f: DUP2 00000830: SWAP1 00000831: DIV 00000832: DUP2 00000833: MUL 00000834: DUP3 00000835: ADD 00000836: DUP2 00000837: ADD 00000838: SWAP1 00000839: SWAP3 0000083a: MSTORE 0000083b: DUP3 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x60 00000840: SWAP4 00000841: SWAP1 00000842: SWAP3 00000843: SWAP1 00000844: SWAP2 00000845: DUP4 00000846: ADD 00000847: DUP3 00000848: DUP3 00000849: DUP1 0000084a: ISZERO 0000084b: PUSH2 0x057c 0000084e: JUMPI 0000084f: DUP1 00000850: PUSH1 0x1f 00000852: LT 00000853: PUSH2 0x0551 00000856: JUMPI 00000857: PUSH2 0x0100 0000085a: DUP1 0000085b: DUP4 0000085c: SLOAD 0000085d: DIV 0000085e: MUL 0000085f: DUP4 00000860: MSTORE 00000861: SWAP2 00000862: PUSH1 0x20 00000864: ADD 00000865: SWAP2 00000866: PUSH2 0x057c 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: PUSH2 0x059a 00000870: PUSH2 0x0877 00000873: PUSH2 0x091d 00000876: JUMP 00000877: JUMPDEST 00000878: DUP5 00000879: PUSH2 0x0628 0000087c: DUP6 0000087d: PUSH1 0x40 0000087f: MLOAD 00000880: DUP1 00000881: PUSH1 0x60 00000883: ADD 00000884: PUSH1 0x40 00000886: MSTORE 00000887: DUP1 00000888: PUSH1 0x25 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x20 0000088e: ADD 0000088f: PUSH2 0x11bb 00000892: PUSH1 0x25 00000894: SWAP2 00000895: CODECOPY 00000896: PUSH1 0x04 00000898: PUSH1 0x00 0000089a: PUSH2 0x08a1 0000089d: PUSH2 0x091d 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH1 0x01 000008a4: PUSH1 0x01 000008a6: PUSH1 0xa0 000008a8: SHL 000008a9: SUB 000008aa: SWAP1 000008ab: DUP2 000008ac: AND 000008ad: DUP3 000008ae: MSTORE 000008af: PUSH1 0x20 000008b1: DUP1 000008b2: DUP4 000008b3: ADD 000008b4: SWAP4 000008b5: SWAP1 000008b6: SWAP4 000008b7: MSTORE 000008b8: PUSH1 0x40 000008ba: SWAP2 000008bb: DUP3 000008bc: ADD 000008bd: PUSH1 0x00 000008bf: SWAP1 000008c0: DUP2 000008c1: KECCAK256 000008c2: SWAP2 000008c3: DUP14 000008c4: AND 000008c5: DUP2 000008c6: MSTORE 000008c7: SWAP3 000008c8: MSTORE 000008c9: SWAP1 000008ca: KECCAK256 000008cb: SLOAD 000008cc: SWAP2 000008cd: SWAP1 000008ce: PUSH4 0xffffffff 000008d3: PUSH2 0x0ab5 000008d6: AND 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: PUSH2 0x059a 000008de: PUSH2 0x08e5 000008e1: PUSH2 0x091d 000008e4: JUMP 000008e5: JUMPDEST 000008e6: DUP5 000008e7: DUP5 000008e8: PUSH2 0x0a0d 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x09 000008ef: SLOAD 000008f0: DUP2 000008f1: JUMP 000008f2: JUMPDEST 000008f3: PUSH1 0x01 000008f5: PUSH1 0x01 000008f7: PUSH1 0xa0 000008f9: SHL 000008fa: SUB 000008fb: SWAP2 000008fc: DUP3 000008fd: AND 000008fe: PUSH1 0x00 00000900: SWAP1 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x04 00000905: PUSH1 0x20 00000907: SWAP1 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: DUP4 0000090e: KECCAK256 0000090f: SWAP4 00000910: SWAP1 00000911: SWAP5 00000912: AND 00000913: DUP3 00000914: MSTORE 00000915: SWAP2 00000916: SWAP1 00000917: SWAP2 00000918: MSTORE 00000919: KECCAK256 0000091a: SLOAD 0000091b: SWAP1 0000091c: JUMP 0000091d: JUMPDEST 0000091e: CALLER 0000091f: SWAP1 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x01 00000924: PUSH1 0x01 00000926: PUSH1 0xa0 00000928: SHL 00000929: SUB 0000092a: DUP4 0000092b: AND 0000092c: PUSH2 0x0966 0000092f: JUMPI 00000930: PUSH1 0x40 00000932: MLOAD 00000933: PUSH3 0x461bcd 00000937: PUSH1 0xe5 00000939: SHL 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x04 0000093e: ADD 0000093f: DUP1 00000940: DUP1 00000941: PUSH1 0x20 00000943: ADD 00000944: DUP3 00000945: DUP2 00000946: SUB 00000947: DUP3 00000948: MSTORE 00000949: PUSH1 0x24 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: ADD 00000950: DUP1 00000951: PUSH2 0x1197 00000954: PUSH1 0x24 00000956: SWAP2 00000957: CODECOPY 00000958: PUSH1 0x40 0000095a: ADD 0000095b: SWAP2 0000095c: POP 0000095d: POP 0000095e: PUSH1 0x40 00000960: MLOAD 00000961: DUP1 00000962: SWAP2 00000963: SUB 00000964: SWAP1 00000965: REVERT 00000966: JUMPDEST 00000967: PUSH1 0x01 00000969: PUSH1 0x01 0000096b: PUSH1 0xa0 0000096d: SHL 0000096e: SUB 0000096f: DUP3 00000970: AND 00000971: PUSH2 0x09ab 00000974: JUMPI 00000975: PUSH1 0x40 00000977: MLOAD 00000978: PUSH3 0x461bcd 0000097c: PUSH1 0xe5 0000097e: SHL 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x04 00000983: ADD 00000984: DUP1 00000985: DUP1 00000986: PUSH1 0x20 00000988: ADD 00000989: DUP3 0000098a: DUP2 0000098b: SUB 0000098c: DUP3 0000098d: MSTORE 0000098e: PUSH1 0x22 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x20 00000994: ADD 00000995: DUP1 00000996: PUSH2 0x10aa 00000999: PUSH1 0x22 0000099b: SWAP2 0000099c: CODECOPY 0000099d: PUSH1 0x40 0000099f: ADD 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: DUP1 000009a7: SWAP2 000009a8: SUB 000009a9: SWAP1 000009aa: REVERT 000009ab: JUMPDEST 000009ac: PUSH1 0x01 000009ae: PUSH1 0x01 000009b0: PUSH1 0xa0 000009b2: SHL 000009b3: SUB 000009b4: DUP1 000009b5: DUP5 000009b6: AND 000009b7: PUSH1 0x00 000009b9: DUP2 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x04 000009be: PUSH1 0x20 000009c0: SWAP1 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x40 000009c5: DUP1 000009c6: DUP4 000009c7: KECCAK256 000009c8: SWAP5 000009c9: DUP8 000009ca: AND 000009cb: DUP1 000009cc: DUP5 000009cd: MSTORE 000009ce: SWAP5 000009cf: DUP3 000009d0: MSTORE 000009d1: SWAP2 000009d2: DUP3 000009d3: SWAP1 000009d4: KECCAK256 000009d5: DUP6 000009d6: SWAP1 000009d7: SSTORE 000009d8: DUP2 000009d9: MLOAD 000009da: DUP6 000009db: DUP2 000009dc: MSTORE 000009dd: SWAP2 000009de: MLOAD 000009df: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a00: SWAP3 00000a01: DUP2 00000a02: SWAP1 00000a03: SUB 00000a04: SWAP1 00000a05: SWAP2 00000a06: ADD 00000a07: SWAP1 00000a08: LOG3 00000a09: POP 00000a0a: POP 00000a0b: POP 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: PUSH2 0x0a18 00000a11: DUP4 00000a12: DUP4 00000a13: DUP4 00000a14: PUSH2 0x0dfc 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: PUSH2 0x0a32 00000a1e: PUSH2 0x07cb 00000a21: DUP4 00000a22: PUSH1 0x06 00000a24: SLOAD 00000a25: PUSH2 0x0d60 00000a28: SWAP1 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: PUSH4 0xffffffff 00000a30: AND 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: SHL 00000a3a: SUB 00000a3b: DUP6 00000a3c: AND 00000a3d: PUSH1 0x00 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x07 00000a44: PUSH1 0x20 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: SLOAD 00000a4c: SWAP1 00000a4d: SWAP2 00000a4e: POP 00000a4f: PUSH2 0x0a5e 00000a52: SWAP1 00000a53: DUP3 00000a54: PUSH4 0xffffffff 00000a59: PUSH2 0x0dc9 00000a5c: AND 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x01 00000a61: PUSH1 0x01 00000a63: PUSH1 0xa0 00000a65: SHL 00000a66: SUB 00000a67: DUP1 00000a68: DUP7 00000a69: AND 00000a6a: PUSH1 0x00 00000a6c: SWAP1 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x07 00000a71: PUSH1 0x20 00000a73: MSTORE 00000a74: PUSH1 0x40 00000a76: DUP1 00000a77: DUP3 00000a78: KECCAK256 00000a79: SWAP4 00000a7a: SWAP1 00000a7b: SWAP4 00000a7c: SSTORE 00000a7d: SWAP1 00000a7e: DUP6 00000a7f: AND 00000a80: DUP2 00000a81: MSTORE 00000a82: KECCAK256 00000a83: SLOAD 00000a84: PUSH2 0x0a93 00000a87: SWAP1 00000a88: DUP3 00000a89: PUSH4 0xffffffff 00000a8e: PUSH2 0x0f5a 00000a91: AND 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH1 0x01 00000a96: PUSH1 0x01 00000a98: PUSH1 0xa0 00000a9a: SHL 00000a9b: SUB 00000a9c: SWAP1 00000a9d: SWAP4 00000a9e: AND 00000a9f: PUSH1 0x00 00000aa1: SWAP1 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x07 00000aa6: PUSH1 0x20 00000aa8: MSTORE 00000aa9: PUSH1 0x40 00000aab: SWAP1 00000aac: KECCAK256 00000aad: SWAP3 00000aae: SWAP1 00000aaf: SWAP3 00000ab0: SSTORE 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH1 0x00 00000ab8: DUP2 00000ab9: DUP5 00000aba: DUP5 00000abb: GT 00000abc: ISZERO 00000abd: PUSH2 0x0b44 00000ac0: JUMPI 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: PUSH3 0x461bcd 00000ac8: PUSH1 0xe5 00000aca: SHL 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x04 00000acf: ADD 00000ad0: DUP1 00000ad1: DUP1 00000ad2: PUSH1 0x20 00000ad4: ADD 00000ad5: DUP3 00000ad6: DUP2 00000ad7: SUB 00000ad8: DUP3 00000ad9: MSTORE 00000ada: DUP4 00000adb: DUP2 00000adc: DUP2 00000add: MLOAD 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x20 00000ae2: ADD 00000ae3: SWAP2 00000ae4: POP 00000ae5: DUP1 00000ae6: MLOAD 00000ae7: SWAP1 00000ae8: PUSH1 0x20 00000aea: ADD 00000aeb: SWAP1 00000aec: DUP1 00000aed: DUP4 00000aee: DUP4 00000aef: PUSH1 0x00 00000af1: JUMPDEST 00000af2: DUP4 00000af3: DUP2 00000af4: LT 00000af5: ISZERO 00000af6: PUSH2 0x0b09 00000af9: JUMPI 00000afa: DUP2 00000afb: DUP2 00000afc: ADD 00000afd: MLOAD 00000afe: DUP4 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: ADD 00000b05: PUSH2 0x0af1 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: POP 00000b0e: SWAP1 00000b0f: POP 00000b10: SWAP1 00000b11: DUP2 00000b12: ADD 00000b13: SWAP1 00000b14: PUSH1 0x1f 00000b16: AND 00000b17: DUP1 00000b18: ISZERO 00000b19: PUSH2 0x0b36 00000b1c: JUMPI 00000b1d: DUP1 00000b1e: DUP3 00000b1f: SUB 00000b20: DUP1 00000b21: MLOAD 00000b22: PUSH1 0x01 00000b24: DUP4 00000b25: PUSH1 0x20 00000b27: SUB 00000b28: PUSH2 0x0100 00000b2b: EXP 00000b2c: SUB 00000b2d: NOT 00000b2e: AND 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: ADD 00000b34: SWAP2 00000b35: POP 00000b36: JUMPDEST 00000b37: POP 00000b38: SWAP3 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: DUP1 00000b40: SWAP2 00000b41: SUB 00000b42: SWAP1 00000b43: REVERT 00000b44: JUMPDEST 00000b45: POP 00000b46: POP 00000b47: POP 00000b48: SWAP1 00000b49: SUB 00000b4a: SWAP1 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH1 0x00 00000b4f: DUP1 00000b50: PUSH2 0x0b58 00000b53: CALLER 00000b54: PUSH2 0x072b 00000b57: JUMP 00000b58: JUMPDEST 00000b59: CALLER 00000b5a: PUSH1 0x00 00000b5c: SWAP1 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: PUSH1 0x08 00000b61: PUSH1 0x20 00000b63: MSTORE 00000b64: PUSH1 0x40 00000b66: SWAP1 00000b67: KECCAK256 00000b68: SLOAD 00000b69: SWAP1 00000b6a: SWAP2 00000b6b: POP 00000b6c: PUSH2 0x0b7b 00000b6f: SWAP1 00000b70: DUP3 00000b71: PUSH4 0xffffffff 00000b76: PUSH2 0x0beb 00000b79: AND 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: CALLER 00000b7d: PUSH1 0x00 00000b7f: DUP2 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x08 00000b84: PUSH1 0x20 00000b86: SWAP1 00000b87: DUP2 00000b88: MSTORE 00000b89: PUSH1 0x40 00000b8b: SWAP2 00000b8c: DUP3 00000b8d: SWAP1 00000b8e: KECCAK256 00000b8f: SWAP4 00000b90: SWAP1 00000b91: SWAP4 00000b92: SSTORE 00000b93: DUP1 00000b94: MLOAD 00000b95: DUP5 00000b96: DUP2 00000b97: MSTORE 00000b98: SWAP1 00000b99: MLOAD 00000b9a: SWAP2 00000b9b: SWAP3 00000b9c: PUSH32 0xeaff4b37086828766ad3268786972c0cd24259d4c87a80f9d3963a3c3d999b0d 00000bbd: SWAP3 00000bbe: SWAP2 00000bbf: DUP3 00000bc0: SWAP1 00000bc1: SUB 00000bc2: ADD 00000bc3: SWAP1 00000bc4: LOG2 00000bc5: SWAP1 00000bc6: POP 00000bc7: SWAP1 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x09 00000bcc: DUP1 00000bcd: SLOAD 00000bce: SELFBALANCE 00000bcf: SWAP2 00000bd0: DUP3 00000bd1: SWAP1 00000bd2: SSTORE 00000bd3: PUSH1 0x00 00000bd5: SWAP2 00000bd6: PUSH2 0x0be5 00000bd9: SWAP1 00000bda: DUP3 00000bdb: PUSH4 0xffffffff 00000be0: PUSH2 0x0f5a 00000be3: AND 00000be4: JUMP 00000be5: JUMPDEST 00000be6: SWAP2 00000be7: POP 00000be8: POP 00000be9: SWAP1 00000bea: JUMP 00000beb: JUMPDEST 00000bec: PUSH1 0x00 00000bee: DUP3 00000bef: DUP3 00000bf0: ADD 00000bf1: DUP4 00000bf2: DUP2 00000bf3: LT 00000bf4: ISZERO 00000bf5: PUSH2 0x0c45 00000bf8: JUMPI 00000bf9: PUSH1 0x40 00000bfb: DUP1 00000bfc: MLOAD 00000bfd: PUSH3 0x461bcd 00000c01: PUSH1 0xe5 00000c03: SHL 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: PUSH1 0x04 00000c0a: DUP3 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH1 0x1b 00000c0f: PUSH1 0x24 00000c11: DUP3 00000c12: ADD 00000c13: MSTORE 00000c14: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000c35: PUSH1 0x44 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: SWAP1 00000c3b: MLOAD 00000c3c: SWAP1 00000c3d: DUP2 00000c3e: SWAP1 00000c3f: SUB 00000c40: PUSH1 0x64 00000c42: ADD 00000c43: SWAP1 00000c44: REVERT 00000c45: JUMPDEST 00000c46: SWAP4 00000c47: SWAP3 00000c48: POP 00000c49: POP 00000c4a: POP 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x00 00000c4f: PUSH2 0x0c45 00000c52: DUP4 00000c53: DUP4 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: DUP1 00000c58: PUSH1 0x40 00000c5a: ADD 00000c5b: PUSH1 0x40 00000c5d: MSTORE 00000c5e: DUP1 00000c5f: PUSH1 0x1e 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x20 00000c65: ADD 00000c66: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000c87: DUP2 00000c88: MSTORE 00000c89: POP 00000c8a: PUSH2 0x0ab5 00000c8d: JUMP 00000c8e: JUMPDEST 00000c8f: PUSH1 0x00 00000c91: DUP1 00000c92: DUP3 00000c93: SLT 00000c94: ISZERO 00000c95: PUSH2 0x0c9d 00000c98: JUMPI 00000c99: PUSH1 0x00 00000c9b: DUP1 00000c9c: REVERT 00000c9d: JUMPDEST 00000c9e: POP 00000c9f: SWAP1 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH1 0x00 00000ca4: PUSH2 0x0cab 00000ca7: PUSH2 0x05a4 00000caa: JUMP 00000cab: JUMPDEST 00000cac: GT 00000cad: PUSH2 0x0ce7 00000cb0: JUMPI 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH3 0x461bcd 00000cb8: PUSH1 0xe5 00000cba: SHL 00000cbb: DUP2 00000cbc: MSTORE 00000cbd: PUSH1 0x04 00000cbf: ADD 00000cc0: DUP1 00000cc1: DUP1 00000cc2: PUSH1 0x20 00000cc4: ADD 00000cc5: DUP3 00000cc6: DUP2 00000cc7: SUB 00000cc8: DUP3 00000cc9: MSTORE 00000cca: PUSH1 0x37 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: DUP1 00000cd2: PUSH2 0x10f2 00000cd5: PUSH1 0x37 00000cd7: SWAP2 00000cd8: CODECOPY 00000cd9: PUSH1 0x40 00000cdb: ADD 00000cdc: SWAP2 00000cdd: POP 00000cde: POP 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: DUP1 00000ce3: SWAP2 00000ce4: SUB 00000ce5: SWAP1 00000ce6: REVERT 00000ce7: JUMPDEST 00000ce8: DUP1 00000ce9: ISZERO 00000cea: PUSH2 0x0783 00000ced: JUMPI 00000cee: PUSH2 0x0d24 00000cf1: PUSH2 0x0cf8 00000cf4: PUSH2 0x05a4 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH2 0x0d0c 00000cfc: DUP4 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x80 00000d01: SHL 00000d02: PUSH4 0xffffffff 00000d07: PUSH2 0x0d60 00000d0a: AND 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: DUP2 00000d0e: PUSH2 0x0d13 00000d11: JUMPI 00000d12: INVALID 00000d13: JUMPDEST 00000d14: PUSH1 0x06 00000d16: SLOAD 00000d17: SWAP2 00000d18: SWAP1 00000d19: DIV 00000d1a: PUSH4 0xffffffff 00000d1f: PUSH2 0x0beb 00000d22: AND 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH1 0x06 00000d27: SSTORE 00000d28: PUSH1 0x40 00000d2a: DUP1 00000d2b: MLOAD 00000d2c: DUP3 00000d2d: DUP2 00000d2e: MSTORE 00000d2f: SWAP1 00000d30: MLOAD 00000d31: CALLER 00000d32: SWAP2 00000d33: PUSH32 0x26536799ace2c3dbe12e638ec3ade6b4173dcf1289be0a58d51a5003015649bd 00000d54: SWAP2 00000d55: SWAP1 00000d56: DUP2 00000d57: SWAP1 00000d58: SUB 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: SWAP1 00000d5d: LOG2 00000d5e: POP 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: DUP3 00000d64: PUSH2 0x0d6f 00000d67: JUMPI 00000d68: POP 00000d69: PUSH1 0x00 00000d6b: PUSH2 0x059e 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: DUP3 00000d71: DUP3 00000d72: MUL 00000d73: DUP3 00000d74: DUP5 00000d75: DUP3 00000d76: DUP2 00000d77: PUSH2 0x0d7c 00000d7a: JUMPI 00000d7b: INVALID 00000d7c: JUMPDEST 00000d7d: DIV 00000d7e: EQ 00000d7f: PUSH2 0x0c45 00000d82: JUMPI 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: PUSH3 0x461bcd 00000d8a: PUSH1 0xe5 00000d8c: SHL 00000d8d: DUP2 00000d8e: MSTORE 00000d8f: PUSH1 0x04 00000d91: ADD 00000d92: DUP1 00000d93: DUP1 00000d94: PUSH1 0x20 00000d96: ADD 00000d97: DUP3 00000d98: DUP2 00000d99: SUB 00000d9a: DUP3 00000d9b: MSTORE 00000d9c: PUSH1 0x21 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x20 00000da2: ADD 00000da3: DUP1 00000da4: PUSH2 0x1129 00000da7: PUSH1 0x21 00000da9: SWAP2 00000daa: CODECOPY 00000dab: PUSH1 0x40 00000dad: ADD 00000dae: SWAP2 00000daf: POP 00000db0: POP 00000db1: PUSH1 0x40 00000db3: MLOAD 00000db4: DUP1 00000db5: SWAP2 00000db6: SUB 00000db7: SWAP1 00000db8: REVERT 00000db9: JUMPDEST 00000dba: PUSH1 0x00 00000dbc: DUP2 00000dbd: DUP2 00000dbe: DUP2 00000dbf: SLT 00000dc0: ISZERO 00000dc1: PUSH2 0x059e 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: PUSH1 0x00 00000dcc: DUP3 00000dcd: DUP3 00000dce: ADD 00000dcf: DUP2 00000dd0: DUP4 00000dd1: SLT 00000dd2: DUP1 00000dd3: ISZERO 00000dd4: SWAP1 00000dd5: PUSH2 0x0dde 00000dd8: JUMPI 00000dd9: POP 00000dda: DUP4 00000ddb: DUP2 00000ddc: SLT 00000ddd: ISZERO 00000dde: JUMPDEST 00000ddf: DUP1 00000de0: PUSH2 0x0df3 00000de3: JUMPI 00000de4: POP 00000de5: PUSH1 0x00 00000de7: DUP4 00000de8: SLT 00000de9: DUP1 00000dea: ISZERO 00000deb: PUSH2 0x0df3 00000dee: JUMPI 00000def: POP 00000df0: DUP4 00000df1: DUP2 00000df2: SLT 00000df3: JUMPDEST 00000df4: PUSH2 0x0c45 00000df7: JUMPI 00000df8: PUSH1 0x00 00000dfa: DUP1 00000dfb: REVERT 00000dfc: JUMPDEST 00000dfd: PUSH1 0x01 00000dff: PUSH1 0x01 00000e01: PUSH1 0xa0 00000e03: SHL 00000e04: SUB 00000e05: DUP4 00000e06: AND 00000e07: PUSH2 0x0e41 00000e0a: JUMPI 00000e0b: PUSH1 0x40 00000e0d: MLOAD 00000e0e: PUSH3 0x461bcd 00000e12: PUSH1 0xe5 00000e14: SHL 00000e15: DUP2 00000e16: MSTORE 00000e17: PUSH1 0x04 00000e19: ADD 00000e1a: DUP1 00000e1b: DUP1 00000e1c: PUSH1 0x20 00000e1e: ADD 00000e1f: DUP3 00000e20: DUP2 00000e21: SUB 00000e22: DUP3 00000e23: MSTORE 00000e24: PUSH1 0x25 00000e26: DUP2 00000e27: MSTORE 00000e28: PUSH1 0x20 00000e2a: ADD 00000e2b: DUP1 00000e2c: PUSH2 0x1172 00000e2f: PUSH1 0x25 00000e31: SWAP2 00000e32: CODECOPY 00000e33: PUSH1 0x40 00000e35: ADD 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: DUP1 00000e3d: SWAP2 00000e3e: SUB 00000e3f: SWAP1 00000e40: REVERT 00000e41: JUMPDEST 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0xa0 00000e48: SHL 00000e49: SUB 00000e4a: DUP3 00000e4b: AND 00000e4c: PUSH2 0x0e86 00000e4f: JUMPI 00000e50: PUSH1 0x40 00000e52: MLOAD 00000e53: PUSH3 0x461bcd 00000e57: PUSH1 0xe5 00000e59: SHL 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x04 00000e5e: ADD 00000e5f: DUP1 00000e60: DUP1 00000e61: PUSH1 0x20 00000e63: ADD 00000e64: DUP3 00000e65: DUP2 00000e66: SUB 00000e67: DUP3 00000e68: MSTORE 00000e69: PUSH1 0x23 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: DUP1 00000e71: PUSH2 0x1087 00000e74: PUSH1 0x23 00000e76: SWAP2 00000e77: CODECOPY 00000e78: PUSH1 0x40 00000e7a: ADD 00000e7b: SWAP2 00000e7c: POP 00000e7d: POP 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: DUP1 00000e82: SWAP2 00000e83: SUB 00000e84: SWAP1 00000e85: REVERT 00000e86: JUMPDEST 00000e87: PUSH2 0x0ec9 00000e8a: DUP2 00000e8b: PUSH1 0x40 00000e8d: MLOAD 00000e8e: DUP1 00000e8f: PUSH1 0x60 00000e91: ADD 00000e92: PUSH1 0x40 00000e94: MSTORE 00000e95: DUP1 00000e96: PUSH1 0x26 00000e98: DUP2 00000e99: MSTORE 00000e9a: PUSH1 0x20 00000e9c: ADD 00000e9d: PUSH2 0x10cc 00000ea0: PUSH1 0x26 00000ea2: SWAP2 00000ea3: CODECOPY 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0xa0 00000eaa: SHL 00000eab: SUB 00000eac: DUP7 00000ead: AND 00000eae: PUSH1 0x00 00000eb0: SWAP1 00000eb1: DUP2 00000eb2: MSTORE 00000eb3: PUSH1 0x03 00000eb5: PUSH1 0x20 00000eb7: MSTORE 00000eb8: PUSH1 0x40 00000eba: SWAP1 00000ebb: KECCAK256 00000ebc: SLOAD 00000ebd: SWAP2 00000ebe: SWAP1 00000ebf: PUSH4 0xffffffff 00000ec4: PUSH2 0x0ab5 00000ec7: AND 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x01 00000ecc: PUSH1 0x01 00000ece: PUSH1 0xa0 00000ed0: SHL 00000ed1: SUB 00000ed2: DUP1 00000ed3: DUP6 00000ed4: AND 00000ed5: PUSH1 0x00 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: MSTORE 00000eda: PUSH1 0x03 00000edc: PUSH1 0x20 00000ede: MSTORE 00000edf: PUSH1 0x40 00000ee1: DUP1 00000ee2: DUP3 00000ee3: KECCAK256 00000ee4: SWAP4 00000ee5: SWAP1 00000ee6: SWAP4 00000ee7: SSTORE 00000ee8: SWAP1 00000ee9: DUP5 00000eea: AND 00000eeb: DUP2 00000eec: MSTORE 00000eed: KECCAK256 00000eee: SLOAD 00000eef: PUSH2 0x0efe 00000ef2: SWAP1 00000ef3: DUP3 00000ef4: PUSH4 0xffffffff 00000ef9: PUSH2 0x0beb 00000efc: AND 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x01 00000f01: PUSH1 0x01 00000f03: PUSH1 0xa0 00000f05: SHL 00000f06: SUB 00000f07: DUP1 00000f08: DUP5 00000f09: AND 00000f0a: PUSH1 0x00 00000f0c: DUP2 00000f0d: DUP2 00000f0e: MSTORE 00000f0f: PUSH1 0x03 00000f11: PUSH1 0x20 00000f13: SWAP1 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x40 00000f18: SWAP2 00000f19: DUP3 00000f1a: SWAP1 00000f1b: KECCAK256 00000f1c: SWAP5 00000f1d: SWAP1 00000f1e: SWAP5 00000f1f: SSTORE 00000f20: DUP1 00000f21: MLOAD 00000f22: DUP6 00000f23: DUP2 00000f24: MSTORE 00000f25: SWAP1 00000f26: MLOAD 00000f27: SWAP2 00000f28: SWAP4 00000f29: SWAP3 00000f2a: DUP8 00000f2b: AND 00000f2c: SWAP3 00000f2d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f4e: SWAP3 00000f4f: SWAP2 00000f50: DUP3 00000f51: SWAP1 00000f52: SUB 00000f53: ADD 00000f54: SWAP1 00000f55: LOG3 00000f56: POP 00000f57: POP 00000f58: POP 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: DUP3 00000f5f: SLT 00000f60: ISZERO 00000f61: DUP1 00000f62: ISZERO 00000f63: PUSH2 0x0f6e 00000f66: JUMPI 00000f67: POP 00000f68: DUP3 00000f69: DUP3 00000f6a: DUP5 00000f6b: SUB 00000f6c: SGT 00000f6d: ISZERO 00000f6e: JUMPDEST 00000f6f: DUP1 00000f70: PUSH2 0x0f85 00000f73: JUMPI 00000f74: POP 00000f75: PUSH1 0x00 00000f77: DUP3 00000f78: SLT 00000f79: DUP1 00000f7a: ISZERO 00000f7b: PUSH2 0x0f85 00000f7e: JUMPI 00000f7f: POP 00000f80: DUP3 00000f81: DUP3 00000f82: DUP5 00000f83: SUB 00000f84: SGT 00000f85: JUMPDEST 00000f86: PUSH2 0x0f8e 00000f89: JUMPI 00000f8a: PUSH1 0x00 00000f8c: DUP1 00000f8d: REVERT 00000f8e: JUMPDEST 00000f8f: POP 00000f90: SWAP1 00000f91: SUB 00000f92: SWAP1 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x01 00000f97: PUSH1 0x01 00000f99: PUSH1 0xa0 00000f9b: SHL 00000f9c: SUB 00000f9d: DUP3 00000f9e: AND 00000f9f: PUSH2 0x0fef 00000fa2: JUMPI 00000fa3: PUSH1 0x40 00000fa5: DUP1 00000fa6: MLOAD 00000fa7: PUSH3 0x461bcd 00000fab: PUSH1 0xe5 00000fad: SHL 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x20 00000fb2: PUSH1 0x04 00000fb4: DUP3 00000fb5: ADD 00000fb6: MSTORE 00000fb7: PUSH1 0x1f 00000fb9: PUSH1 0x24 00000fbb: DUP3 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00000fdf: PUSH1 0x44 00000fe1: DUP3 00000fe2: ADD 00000fe3: MSTORE 00000fe4: SWAP1 00000fe5: MLOAD 00000fe6: SWAP1 00000fe7: DUP2 00000fe8: SWAP1 00000fe9: SUB 00000fea: PUSH1 0x64 00000fec: ADD 00000fed: SWAP1 00000fee: REVERT 00000fef: JUMPDEST 00000ff0: PUSH1 0x05 00000ff2: SLOAD 00000ff3: PUSH2 0x1002 00000ff6: SWAP1 00000ff7: DUP3 00000ff8: PUSH4 0xffffffff 00000ffd: PUSH2 0x0beb 00001000: AND 00001001: JUMP 00001002: JUMPDEST 00001003: PUSH1 0x05 00001005: SSTORE 00001006: PUSH1 0x01 00001008: PUSH1 0x01 0000100a: PUSH1 0xa0 0000100c: SHL 0000100d: SUB 0000100e: DUP3 0000100f: AND 00001010: PUSH1 0x00 00001012: SWAP1 00001013: DUP2 00001014: MSTORE 00001015: PUSH1 0x03 00001017: PUSH1 0x20 00001019: MSTORE 0000101a: PUSH1 0x40 0000101c: SWAP1 0000101d: KECCAK256 0000101e: SLOAD 0000101f: PUSH2 0x102e 00001022: SWAP1 00001023: DUP3 00001024: PUSH4 0xffffffff 00001029: PUSH2 0x0beb 0000102c: AND 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x01 00001031: PUSH1 0x01 00001033: PUSH1 0xa0 00001035: SHL 00001036: SUB 00001037: DUP4 00001038: AND 00001039: PUSH1 0x00 0000103b: DUP2 0000103c: DUP2 0000103d: MSTORE 0000103e: PUSH1 0x03 00001040: PUSH1 0x20 00001042: SWAP1 00001043: DUP2 00001044: MSTORE 00001045: PUSH1 0x40 00001047: DUP1 00001048: DUP4 00001049: KECCAK256 0000104a: SWAP5 0000104b: SWAP1 0000104c: SWAP5 0000104d: SSTORE 0000104e: DUP4 0000104f: MLOAD 00001050: DUP6 00001051: DUP2 00001052: MSTORE 00001053: SWAP4 00001054: MLOAD 00001055: SWAP3 00001056: SWAP4 00001057: SWAP2 00001058: SWAP3 00001059: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000107a: SWAP3 0000107b: DUP2 0000107c: SWAP1 0000107d: SUB 0000107e: SWAP1 0000107f: SWAP2 00001080: ADD 00001081: SWAP1 00001082: LOG3 00001083: POP 00001084: POP 00001085: JUMP 00001086: INVALID 00001087: GASLIMIT 00001088: MSTORE 00001089: NUMBER 0000108a: ORIGIN 0000108b: ADDRESS 0000108c: GASPRICE 0000108d: KECCAK256 0000108e: PUSH21 0x72616e7366657220746f20746865207a65726f2061 000010a4: PUSH5 0x6472657373 000010aa: GASLIMIT 000010ab: MSTORE 000010ac: NUMBER 000010ad: ORIGIN 000010ae: ADDRESS 000010af: GASPRICE 000010b0: KECCAK256 000010b1: PUSH2 0x7070 000010b4: PUSH19 0x6f766520746f20746865207a65726f20616464 000010c8: PUSH19 0x65737345524332303a207472616e7366657220 000010dc: PUSH2 0x6d6f 000010df: PUSH22 0x6e7420657863656564732062616c616e636546756e64 000010f6: PUSH20 0x446973747269627574696f6e546f6b656e2e5f64 0000110b: PUSH10 0x73747269627574654675 00001116: PUSH15 0x64733a20535550504c595f49535f5a 00001126: GASLIMIT 00001127: MSTORE 00001128: UNKNOWN(0x4F) 00001129: MSTORE8 0000112a: PUSH2 0x6665 0000112d: UNKNOWN(0x4D) 0000112e: PUSH2 0x7468 00001131: GASPRICE 00001132: KECCAK256 00001133: PUSH14 0x756c7469706c69636174696f6e20 00001142: PUSH16 0x766572666c6f7745524332303a207472 00001153: PUSH2 0x6e73 00001156: PUSH7 0x657220616d6f75 0000115e: PUSH15 0x74206578636565647320616c6c6f77 0000116e: PUSH2 0x6e63 00001171: PUSH6 0x45524332303a 00001178: KECCAK256 00001179: PUSH21 0x72616e736665722066726f6d20746865207a65726f 0000118f: KECCAK256 00001190: PUSH2 0x6464 00001193: PUSH19 0x65737345524332303a20617070726f76652066 000011a7: PUSH19 0x6f6d20746865207a65726f2061646472657373 000011bb: GASLIMIT 000011bc: MSTORE 000011bd: NUMBER 000011be: ORIGIN 000011bf: ADDRESS 000011c0: GASPRICE 000011c1: KECCAK256 000011c2: PUSH5 0x6563726561 000011c8: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 000011dd: PUSH6 0x726fa265627a 000011e4: PUSH27 0x723158206590fc7503fd06846214c07fb96155bb4bcfd337bd99e2 00001200: UNKNOWN(0x0D) 00001201: UNKNOWN(0xA7) 00001202: PUSH3 0x0c96d1 00001206: UNKNOWN(0x4E) 00001207: UNKNOWN(0xD2) 00001208: UNKNOWN(0xD2) 00001209: PUSH5 0x736f6c6343 0000120f: STOP 00001210: SDIV 00001211: LT 00001212: STOP 00001213: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| 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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1
call_targets:
0x5b67930050adb057cff0f3290e9496920085ba4b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b67930050adb057cff0f3290e9496920085ba4b"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1
call_targets:
0x5b67930050adb057cff0f3290e9496920085ba4b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b67930050adb057cff0f3290e9496920085ba4b"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
]
}
|