0b3ce39c-46bd-48c7-a0cd-2df0d133a904
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 |
|---|---|---|---|---|
| 30234 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73588 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 73589 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 73590 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73591 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73592 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73593 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:534515] OpenAI Codex v0.77.0 (research preview)
[codex:534515] --------
[codex:534515] workdir: /tmp/codex-multi-0h9ykutl
[codex:534515] model: gpt-5.2-codex
[codex:534515] provider: openai
[codex:534515] approval: never
[codex:534515] sandbox: read-only
[codex:534515] reasoning effort: xhigh
[codex:534515] reasoning summaries: auto
[codex:534515] session id: 019b6223-478b-7ac2-b3fc-0c93475aa0c7
[codex:534515] --------
[codex:534515] user
[codex:534515] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:534515] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:534515] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:534515]
[codex:534515] Scope rules:
[codex:534515] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:534515] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:534515]
[codex:534515] Output MUST be valid JSON matching the provided schema.
[codex:534515] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:534515] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:534515]
[codex:534515] Output constraints (IMPORTANT):
[codex:534515] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:534515] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:534515] mcp startup: no servers
[codex:534515]
[codex:534515] thinking
[codex:534515] **Auditing AUDIT_BUNDLE file**
[codex:534515] exec
[codex:534515] /bin/bash -lc ls in /tmp/codex-multi-0h9ykutl succeeded in 5ms:
[codex:534515] AUDIT_BUNDLE.txt
[codex:534515] codex-output-schema.json
[codex:534515] contracts
[codex:534515] exec
[codex:534515] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-0h9ykutl succeeded in 5ms:
[codex:534515] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:534515]
[codex:534515] ================================================================================
[codex:534515] FILE: contracts/contracts/Governance/Timelock.sol
[codex:534515] ================================================================================
[codex:534515] // SPDX-License-Identifier: GPL-3.0-only
[codex:534515] // Copyright 2020 Compound Labs, Inc.
[codex:534515] //
[codex:534515] // Redistribution and use in source and binary forms, with or without
[codex:534515] // modification, are permitted provided that the following conditions are met:
[codex:534515] //
[codex:534515] // 1. Redistributions of source code must retain the above copyright notice,
[codex:534515] // this list of conditions and the following disclaimer.
[codex:534515] // 2. Redistributions in binary form must reproduce the above copyright notice,
[codex:534515] // this list of conditions and the following disclaimer in the documentation
[codex:534515] // and/or other materials provided with the distribution.
[codex:534515] // 3. Neither the name of the copyright holder nor the names of its
[codex:534515] // contributors may be used to endorse or promote products derived from this
[codex:534515] // software without specific prior written permission.
[codex:534515] //
[codex:534515]
[codex:534515] thinking
[codex:534515] **Reviewing Timelock and SafeMath for vulnerabilities**
[codex:534515]
[codex:534515] I'm carefully analyzing the Timelock and SafeMath contracts, focusing on possible reentrancy, access control, and arithmetic issues. I see that the admin-only execute flow is solid, reentrancy is guarded by clearing state before external calls, and SafeMath is used properly. There might be a low-risk deploy-time footgun if admin is zero address, but it's not exploitable. Overall, no critical vulnerabilities stand out, so I'll prepare a JSON audit summary reporting no findings.
[codex:534515] codex
[codex:534515] {"no_findings":true,"summary":"Reviewed contracts/contracts/Governance/Timelock.sol and contracts/contracts/libraries/SafeMath.sol from AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in scope.","findings":[]}
[codex:534515] tokens used
[codex:534515] 7,330
[codex:534515] {"no_findings":true,"summary":"Reviewed contracts/contracts/Governance/Timelock.sol and contracts/contracts/libraries/SafeMath.sol from AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in scope.","findings":[]}
{
"codex": {
"ran_at": "2025-12-27T23:27:38.950995+00:00",
"returncode": 0
},
"summary": "Reviewed contracts/contracts/Governance/Timelock.sol and contracts/contracts/libraries/SafeMath.sol from AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in scope.",
"raw_final": {
"summary": "Reviewed contracts/contracts/Governance/Timelock.sol and contracts/contracts/libraries/SafeMath.sol from AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in scope.",
"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 0x00e1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7d645fab 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc1a287e2 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc1a287e2 0000002f: EQ 00000030: PUSH2 0x04d6 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe177246e 0000003a: EQ 0000003b: PUSH2 0x04eb 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2b06537 00000045: EQ 00000046: PUSH2 0x0515 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf851a440 00000050: EQ 00000051: PUSH2 0x0553 00000054: JUMPI 00000055: PUSH2 0x00e8 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x7d645fab 00000060: EQ 00000061: PUSH2 0x0497 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa06db7dc 0000006b: EQ 0000006c: PUSH2 0x04ac 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb1b43ae5 00000076: EQ 00000077: PUSH2 0x04c1 0000007a: JUMPI 0000007b: PUSH2 0x00e8 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x3a66f901 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x3a66f901 00000091: EQ 00000092: PUSH2 0x027d 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4dd18bf5 0000009c: EQ 0000009d: PUSH2 0x036f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x591fcdfe 000000a7: EQ 000000a8: PUSH2 0x03a2 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6a42b8f8 000000b2: EQ 000000b3: PUSH2 0x0482 000000b6: JUMPI 000000b7: PUSH2 0x00e8 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x0825f38f 000000c2: EQ 000000c3: PUSH2 0x00ed 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x0e18b681 000000cd: EQ 000000ce: PUSH2 0x0235 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x26782247 000000d8: EQ 000000d9: PUSH2 0x024c 000000dc: JUMPI 000000dd: PUSH2 0x00e8 000000e0: JUMP 000000e1: JUMPDEST 000000e2: CALLDATASIZE 000000e3: PUSH2 0x00e8 000000e6: JUMPI 000000e7: STOP 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: PUSH2 0x01c0 000000f1: PUSH1 0x04 000000f3: DUP1 000000f4: CALLDATASIZE 000000f5: SUB 000000f6: PUSH1 0xa0 000000f8: DUP2 000000f9: LT 000000fa: ISZERO 000000fb: PUSH2 0x0103 000000fe: JUMPI 000000ff: PUSH1 0x00 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: PUSH1 0x01 00000106: PUSH1 0x01 00000108: PUSH1 0xa0 0000010a: SHL 0000010b: SUB 0000010c: DUP3 0000010d: CALLDATALOAD 0000010e: AND 0000010f: SWAP2 00000110: PUSH1 0x20 00000112: DUP2 00000113: ADD 00000114: CALLDATALOAD 00000115: SWAP2 00000116: DUP2 00000117: ADD 00000118: SWAP1 00000119: PUSH1 0x60 0000011b: DUP2 0000011c: ADD 0000011d: PUSH1 0x40 0000011f: DUP3 00000120: ADD 00000121: CALLDATALOAD 00000122: PUSH1 0x01 00000124: PUSH1 0x20 00000126: SHL 00000127: DUP2 00000128: GT 00000129: ISZERO 0000012a: PUSH2 0x0132 0000012d: JUMPI 0000012e: PUSH1 0x00 00000130: DUP1 00000131: REVERT 00000132: JUMPDEST 00000133: DUP3 00000134: ADD 00000135: DUP4 00000136: PUSH1 0x20 00000138: DUP3 00000139: ADD 0000013a: GT 0000013b: ISZERO 0000013c: PUSH2 0x0144 0000013f: JUMPI 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: DUP1 00000146: CALLDATALOAD 00000147: SWAP1 00000148: PUSH1 0x20 0000014a: ADD 0000014b: SWAP2 0000014c: DUP5 0000014d: PUSH1 0x01 0000014f: DUP4 00000150: MUL 00000151: DUP5 00000152: ADD 00000153: GT 00000154: PUSH1 0x01 00000156: PUSH1 0x20 00000158: SHL 00000159: DUP4 0000015a: GT 0000015b: OR 0000015c: ISZERO 0000015d: PUSH2 0x0165 00000160: JUMPI 00000161: PUSH1 0x00 00000163: DUP1 00000164: REVERT 00000165: JUMPDEST 00000166: SWAP2 00000167: SWAP4 00000168: SWAP1 00000169: SWAP3 0000016a: SWAP1 0000016b: SWAP2 0000016c: PUSH1 0x20 0000016e: DUP2 0000016f: ADD 00000170: SWAP1 00000171: CALLDATALOAD 00000172: PUSH1 0x01 00000174: PUSH1 0x20 00000176: SHL 00000177: DUP2 00000178: GT 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: DUP3 00000184: ADD 00000185: DUP4 00000186: PUSH1 0x20 00000188: DUP3 00000189: ADD 0000018a: GT 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: DUP1 00000196: CALLDATALOAD 00000197: SWAP1 00000198: PUSH1 0x20 0000019a: ADD 0000019b: SWAP2 0000019c: DUP5 0000019d: PUSH1 0x01 0000019f: DUP4 000001a0: MUL 000001a1: DUP5 000001a2: ADD 000001a3: GT 000001a4: PUSH1 0x01 000001a6: PUSH1 0x20 000001a8: SHL 000001a9: DUP4 000001aa: GT 000001ab: OR 000001ac: ISZERO 000001ad: PUSH2 0x01b5 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: SWAP2 000001b7: SWAP4 000001b8: POP 000001b9: SWAP2 000001ba: POP 000001bb: CALLDATALOAD 000001bc: PUSH2 0x0568 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH1 0x40 000001c3: DUP1 000001c4: MLOAD 000001c5: PUSH1 0x20 000001c7: DUP1 000001c8: DUP3 000001c9: MSTORE 000001ca: DUP4 000001cb: MLOAD 000001cc: DUP2 000001cd: DUP4 000001ce: ADD 000001cf: MSTORE 000001d0: DUP4 000001d1: MLOAD 000001d2: SWAP2 000001d3: SWAP3 000001d4: DUP4 000001d5: SWAP3 000001d6: SWAP1 000001d7: DUP4 000001d8: ADD 000001d9: SWAP2 000001da: DUP6 000001db: ADD 000001dc: SWAP1 000001dd: DUP1 000001de: DUP4 000001df: DUP4 000001e0: PUSH1 0x00 000001e2: JUMPDEST 000001e3: DUP4 000001e4: DUP2 000001e5: LT 000001e6: ISZERO 000001e7: PUSH2 0x01fa 000001ea: JUMPI 000001eb: DUP2 000001ec: DUP2 000001ed: ADD 000001ee: MLOAD 000001ef: DUP4 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: PUSH2 0x01e2 000001f9: JUMP 000001fa: JUMPDEST 000001fb: POP 000001fc: POP 000001fd: POP 000001fe: POP 000001ff: SWAP1 00000200: POP 00000201: SWAP1 00000202: DUP2 00000203: ADD 00000204: SWAP1 00000205: PUSH1 0x1f 00000207: AND 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0227 0000020d: JUMPI 0000020e: DUP1 0000020f: DUP3 00000210: SUB 00000211: DUP1 00000212: MLOAD 00000213: PUSH1 0x01 00000215: DUP4 00000216: PUSH1 0x20 00000218: SUB 00000219: PUSH2 0x0100 0000021c: EXP 0000021d: SUB 0000021e: NOT 0000021f: AND 00000220: DUP2 00000221: MSTORE 00000222: PUSH1 0x20 00000224: ADD 00000225: SWAP2 00000226: POP 00000227: JUMPDEST 00000228: POP 00000229: SWAP3 0000022a: POP 0000022b: POP 0000022c: POP 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: SWAP2 00000232: SUB 00000233: SWAP1 00000234: RETURN 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 0x024a 00000246: PUSH2 0x098d 00000249: JUMP 0000024a: JUMPDEST 0000024b: STOP 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: PUSH2 0x0261 0000025d: PUSH2 0x0a29 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH1 0x40 00000264: DUP1 00000265: MLOAD 00000266: PUSH1 0x01 00000268: PUSH1 0x01 0000026a: PUSH1 0xa0 0000026c: SHL 0000026d: SUB 0000026e: SWAP1 0000026f: SWAP3 00000270: AND 00000271: DUP3 00000272: MSTORE 00000273: MLOAD 00000274: SWAP1 00000275: DUP2 00000276: SWAP1 00000277: SUB 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP1 0000027c: RETURN 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x035d 0000028e: PUSH1 0x04 00000290: DUP1 00000291: CALLDATASIZE 00000292: SUB 00000293: PUSH1 0xa0 00000295: DUP2 00000296: LT 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: PUSH1 0x01 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: SHL 000002a8: SUB 000002a9: DUP3 000002aa: CALLDATALOAD 000002ab: AND 000002ac: SWAP2 000002ad: PUSH1 0x20 000002af: DUP2 000002b0: ADD 000002b1: CALLDATALOAD 000002b2: SWAP2 000002b3: DUP2 000002b4: ADD 000002b5: SWAP1 000002b6: PUSH1 0x60 000002b8: DUP2 000002b9: ADD 000002ba: PUSH1 0x40 000002bc: DUP3 000002bd: ADD 000002be: CALLDATALOAD 000002bf: PUSH1 0x01 000002c1: PUSH1 0x20 000002c3: SHL 000002c4: DUP2 000002c5: GT 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: DUP3 000002d1: ADD 000002d2: DUP4 000002d3: PUSH1 0x20 000002d5: DUP3 000002d6: ADD 000002d7: GT 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: DUP1 000002e3: CALLDATALOAD 000002e4: SWAP1 000002e5: PUSH1 0x20 000002e7: ADD 000002e8: SWAP2 000002e9: DUP5 000002ea: PUSH1 0x01 000002ec: DUP4 000002ed: MUL 000002ee: DUP5 000002ef: ADD 000002f0: GT 000002f1: PUSH1 0x01 000002f3: PUSH1 0x20 000002f5: SHL 000002f6: DUP4 000002f7: GT 000002f8: OR 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: SWAP2 00000304: SWAP4 00000305: SWAP1 00000306: SWAP3 00000307: SWAP1 00000308: SWAP2 00000309: PUSH1 0x20 0000030b: DUP2 0000030c: ADD 0000030d: SWAP1 0000030e: CALLDATALOAD 0000030f: PUSH1 0x01 00000311: PUSH1 0x20 00000313: SHL 00000314: DUP2 00000315: GT 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: DUP3 00000321: ADD 00000322: DUP4 00000323: PUSH1 0x20 00000325: DUP3 00000326: ADD 00000327: GT 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: DUP1 00000333: CALLDATALOAD 00000334: SWAP1 00000335: PUSH1 0x20 00000337: ADD 00000338: SWAP2 00000339: DUP5 0000033a: PUSH1 0x01 0000033c: DUP4 0000033d: MUL 0000033e: DUP5 0000033f: ADD 00000340: GT 00000341: PUSH1 0x01 00000343: PUSH1 0x20 00000345: SHL 00000346: DUP4 00000347: GT 00000348: OR 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: SWAP2 00000354: SWAP4 00000355: POP 00000356: SWAP2 00000357: POP 00000358: CALLDATALOAD 00000359: PUSH2 0x0a38 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: DUP1 00000361: MLOAD 00000362: SWAP2 00000363: DUP3 00000364: MSTORE 00000365: MLOAD 00000366: SWAP1 00000367: DUP2 00000368: SWAP1 00000369: SUB 0000036a: PUSH1 0x20 0000036c: ADD 0000036d: SWAP1 0000036e: RETURN 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x024a 00000380: PUSH1 0x04 00000382: DUP1 00000383: CALLDATASIZE 00000384: SUB 00000385: PUSH1 0x20 00000387: DUP2 00000388: LT 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: CALLDATALOAD 00000395: PUSH1 0x01 00000397: PUSH1 0x01 00000399: PUSH1 0xa0 0000039b: SHL 0000039c: SUB 0000039d: AND 0000039e: PUSH2 0x0c57 000003a1: JUMP 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x024a 000003b3: PUSH1 0x04 000003b5: DUP1 000003b6: CALLDATASIZE 000003b7: SUB 000003b8: PUSH1 0xa0 000003ba: DUP2 000003bb: LT 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: PUSH1 0x01 000003c8: PUSH1 0x01 000003ca: PUSH1 0xa0 000003cc: SHL 000003cd: SUB 000003ce: DUP3 000003cf: CALLDATALOAD 000003d0: AND 000003d1: SWAP2 000003d2: PUSH1 0x20 000003d4: DUP2 000003d5: ADD 000003d6: CALLDATALOAD 000003d7: SWAP2 000003d8: DUP2 000003d9: ADD 000003da: SWAP1 000003db: PUSH1 0x60 000003dd: DUP2 000003de: ADD 000003df: PUSH1 0x40 000003e1: DUP3 000003e2: ADD 000003e3: CALLDATALOAD 000003e4: PUSH1 0x01 000003e6: PUSH1 0x20 000003e8: SHL 000003e9: DUP2 000003ea: GT 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: DUP3 000003f6: ADD 000003f7: DUP4 000003f8: PUSH1 0x20 000003fa: DUP3 000003fb: ADD 000003fc: GT 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: DUP1 00000408: CALLDATALOAD 00000409: SWAP1 0000040a: PUSH1 0x20 0000040c: ADD 0000040d: SWAP2 0000040e: DUP5 0000040f: PUSH1 0x01 00000411: DUP4 00000412: MUL 00000413: DUP5 00000414: ADD 00000415: GT 00000416: PUSH1 0x01 00000418: PUSH1 0x20 0000041a: SHL 0000041b: DUP4 0000041c: GT 0000041d: OR 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: SWAP2 00000429: SWAP4 0000042a: SWAP1 0000042b: SWAP3 0000042c: SWAP1 0000042d: SWAP2 0000042e: PUSH1 0x20 00000430: DUP2 00000431: ADD 00000432: SWAP1 00000433: CALLDATALOAD 00000434: PUSH1 0x01 00000436: PUSH1 0x20 00000438: SHL 00000439: DUP2 0000043a: GT 0000043b: ISZERO 0000043c: PUSH2 0x0444 0000043f: JUMPI 00000440: PUSH1 0x00 00000442: DUP1 00000443: REVERT 00000444: JUMPDEST 00000445: DUP3 00000446: ADD 00000447: DUP4 00000448: PUSH1 0x20 0000044a: DUP3 0000044b: ADD 0000044c: GT 0000044d: ISZERO 0000044e: PUSH2 0x0456 00000451: JUMPI 00000452: PUSH1 0x00 00000454: DUP1 00000455: REVERT 00000456: JUMPDEST 00000457: DUP1 00000458: CALLDATALOAD 00000459: SWAP1 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: SWAP2 0000045e: DUP5 0000045f: PUSH1 0x01 00000461: DUP4 00000462: MUL 00000463: DUP5 00000464: ADD 00000465: GT 00000466: PUSH1 0x01 00000468: PUSH1 0x20 0000046a: SHL 0000046b: DUP4 0000046c: GT 0000046d: OR 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: SWAP2 00000479: SWAP4 0000047a: POP 0000047b: SWAP2 0000047c: POP 0000047d: CALLDATALOAD 0000047e: PUSH2 0x0ce5 00000481: JUMP 00000482: JUMPDEST 00000483: CALLVALUE 00000484: DUP1 00000485: ISZERO 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: POP 00000490: PUSH2 0x035d 00000493: PUSH2 0x0eaf 00000496: JUMP 00000497: JUMPDEST 00000498: CALLVALUE 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x035d 000004a8: PUSH2 0x0eb5 000004ab: JUMP 000004ac: JUMPDEST 000004ad: CALLVALUE 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04b8 000004b3: JUMPI 000004b4: PUSH1 0x00 000004b6: DUP1 000004b7: REVERT 000004b8: JUMPDEST 000004b9: POP 000004ba: PUSH2 0x035d 000004bd: PUSH2 0x0ebc 000004c0: JUMP 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: DUP1 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: POP 000004cf: PUSH2 0x035d 000004d2: PUSH2 0x0ec3 000004d5: JUMP 000004d6: JUMPDEST 000004d7: CALLVALUE 000004d8: DUP1 000004d9: ISZERO 000004da: PUSH2 0x04e2 000004dd: JUMPI 000004de: PUSH1 0x00 000004e0: DUP1 000004e1: REVERT 000004e2: JUMPDEST 000004e3: POP 000004e4: PUSH2 0x035d 000004e7: PUSH2 0x0eca 000004ea: JUMP 000004eb: JUMPDEST 000004ec: CALLVALUE 000004ed: DUP1 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: POP 000004f9: PUSH2 0x024a 000004fc: PUSH1 0x04 000004fe: DUP1 000004ff: CALLDATASIZE 00000500: SUB 00000501: PUSH1 0x20 00000503: DUP2 00000504: LT 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: CALLDATALOAD 00000511: PUSH2 0x0ed1 00000514: JUMP 00000515: JUMPDEST 00000516: CALLVALUE 00000517: DUP1 00000518: ISZERO 00000519: PUSH2 0x0521 0000051c: JUMPI 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: REVERT 00000521: JUMPDEST 00000522: POP 00000523: PUSH2 0x053f 00000526: PUSH1 0x04 00000528: DUP1 00000529: CALLDATASIZE 0000052a: SUB 0000052b: PUSH1 0x20 0000052d: DUP2 0000052e: LT 0000052f: ISZERO 00000530: PUSH2 0x0538 00000533: JUMPI 00000534: PUSH1 0x00 00000536: DUP1 00000537: REVERT 00000538: JUMPDEST 00000539: POP 0000053a: CALLDATALOAD 0000053b: PUSH2 0x0fc6 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH1 0x40 00000542: DUP1 00000543: MLOAD 00000544: SWAP2 00000545: ISZERO 00000546: ISZERO 00000547: DUP3 00000548: MSTORE 00000549: MLOAD 0000054a: SWAP1 0000054b: DUP2 0000054c: SWAP1 0000054d: SUB 0000054e: PUSH1 0x20 00000550: ADD 00000551: SWAP1 00000552: RETURN 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x0261 00000564: PUSH2 0x0fdb 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x00 0000056b: SLOAD 0000056c: PUSH1 0x60 0000056e: SWAP1 0000056f: PUSH1 0x01 00000571: PUSH1 0x01 00000573: PUSH1 0xa0 00000575: SHL 00000576: SUB 00000577: AND 00000578: CALLER 00000579: EQ 0000057a: PUSH2 0x05b4 0000057d: JUMPI 0000057e: PUSH1 0x40 00000580: MLOAD 00000581: PUSH3 0x461bcd 00000585: PUSH1 0xe5 00000587: SHL 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x04 0000058c: ADD 0000058d: DUP1 0000058e: DUP1 0000058f: PUSH1 0x20 00000591: ADD 00000592: DUP3 00000593: DUP2 00000594: SUB 00000595: DUP3 00000596: MSTORE 00000597: PUSH1 0x38 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: DUP1 0000059f: PUSH2 0x1044 000005a2: PUSH1 0x38 000005a4: SWAP2 000005a5: CODECOPY 000005a6: PUSH1 0x40 000005a8: ADD 000005a9: SWAP2 000005aa: POP 000005ab: POP 000005ac: PUSH1 0x40 000005ae: MLOAD 000005af: DUP1 000005b0: SWAP2 000005b1: SUB 000005b2: SWAP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: PUSH1 0x00 000005b7: DUP9 000005b8: DUP9 000005b9: DUP9 000005ba: DUP9 000005bb: DUP9 000005bc: DUP9 000005bd: DUP9 000005be: PUSH1 0x40 000005c0: MLOAD 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: DUP1 000005c5: DUP9 000005c6: PUSH1 0x01 000005c8: PUSH1 0x01 000005ca: PUSH1 0xa0 000005cc: SHL 000005cd: SUB 000005ce: AND 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x20 000005d3: ADD 000005d4: DUP8 000005d5: DUP2 000005d6: MSTORE 000005d7: PUSH1 0x20 000005d9: ADD 000005da: DUP1 000005db: PUSH1 0x20 000005dd: ADD 000005de: DUP1 000005df: PUSH1 0x20 000005e1: ADD 000005e2: DUP5 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: DUP4 000005e9: DUP2 000005ea: SUB 000005eb: DUP4 000005ec: MSTORE 000005ed: DUP9 000005ee: DUP9 000005ef: DUP3 000005f0: DUP2 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x20 000005f5: ADD 000005f6: SWAP3 000005f7: POP 000005f8: DUP1 000005f9: DUP3 000005fa: DUP5 000005fb: CALLDATACOPY 000005fc: PUSH1 0x00 000005fe: DUP4 000005ff: DUP3 00000600: ADD 00000601: MSTORE 00000602: PUSH1 0x1f 00000604: ADD 00000605: PUSH1 0x1f 00000607: NOT 00000608: AND 00000609: SWAP1 0000060a: SWAP2 0000060b: ADD 0000060c: DUP5 0000060d: DUP2 0000060e: SUB 0000060f: DUP4 00000610: MSTORE 00000611: DUP7 00000612: DUP2 00000613: MSTORE 00000614: PUSH1 0x20 00000616: ADD 00000617: SWAP1 00000618: POP 00000619: DUP7 0000061a: DUP7 0000061b: DUP1 0000061c: DUP3 0000061d: DUP5 0000061e: CALLDATACOPY 0000061f: PUSH1 0x00 00000621: DUP2 00000622: DUP5 00000623: ADD 00000624: DUP2 00000625: SWAP1 00000626: MSTORE 00000627: PUSH1 0x40 00000629: DUP1 0000062a: MLOAD 0000062b: PUSH1 0x1f 0000062d: NOT 0000062e: PUSH1 0x1f 00000630: SWAP1 00000631: SWAP5 00000632: ADD 00000633: DUP5 00000634: AND 00000635: SWAP1 00000636: SWAP6 00000637: ADD 00000638: DUP6 00000639: DUP2 0000063a: SUB 0000063b: SWAP1 0000063c: SWAP4 0000063d: ADD 0000063e: DUP6 0000063f: MSTORE 00000640: SWAP2 00000641: DUP3 00000642: MSTORE 00000643: DUP4 00000644: MLOAD 00000645: PUSH1 0x20 00000647: SWAP5 00000648: DUP6 00000649: ADD 0000064a: KECCAK256 0000064b: DUP1 0000064c: DUP3 0000064d: MSTORE 0000064e: PUSH1 0x03 00000650: SWAP1 00000651: SWAP5 00000652: MSTORE 00000653: KECCAK256 00000654: SLOAD 00000655: SWAP2 00000656: SWAP13 00000657: POP 00000658: POP 00000659: PUSH1 0xff 0000065b: AND 0000065c: SWAP10 0000065d: POP 0000065e: PUSH2 0x06a2 00000661: SWAP9 00000662: POP 00000663: POP 00000664: POP 00000665: POP 00000666: POP 00000667: POP 00000668: POP 00000669: POP 0000066a: POP 0000066b: JUMPI 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: PUSH3 0x461bcd 00000673: PUSH1 0xe5 00000675: SHL 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x04 0000067a: ADD 0000067b: DUP1 0000067c: DUP1 0000067d: PUSH1 0x20 0000067f: ADD 00000680: DUP3 00000681: DUP2 00000682: SUB 00000683: DUP3 00000684: MSTORE 00000685: PUSH1 0x3d 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x20 0000068b: ADD 0000068c: DUP1 0000068d: PUSH2 0x1197 00000690: PUSH1 0x3d 00000692: SWAP2 00000693: CODECOPY 00000694: PUSH1 0x40 00000696: ADD 00000697: SWAP2 00000698: POP 00000699: POP 0000069a: PUSH1 0x40 0000069c: MLOAD 0000069d: DUP1 0000069e: SWAP2 0000069f: SUB 000006a0: SWAP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: DUP3 000006a4: PUSH2 0x06ab 000006a7: PUSH2 0x0fea 000006aa: JUMP 000006ab: JUMPDEST 000006ac: LT 000006ad: ISZERO 000006ae: PUSH2 0x06e8 000006b1: JUMPI 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: PUSH3 0x461bcd 000006b9: PUSH1 0xe5 000006bb: SHL 000006bc: DUP2 000006bd: MSTORE 000006be: PUSH1 0x04 000006c0: ADD 000006c1: DUP1 000006c2: DUP1 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: DUP3 000006c7: DUP2 000006c8: SUB 000006c9: DUP3 000006ca: MSTORE 000006cb: PUSH1 0x45 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: DUP1 000006d3: PUSH2 0x10e6 000006d6: PUSH1 0x45 000006d8: SWAP2 000006d9: CODECOPY 000006da: PUSH1 0x60 000006dc: ADD 000006dd: SWAP2 000006de: POP 000006df: POP 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: DUP1 000006e4: SWAP2 000006e5: SUB 000006e6: SWAP1 000006e7: REVERT 000006e8: JUMPDEST 000006e9: PUSH2 0x06f5 000006ec: DUP4 000006ed: PUSH3 0x127500 000006f1: PUSH2 0x0fee 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH2 0x06fd 000006f9: PUSH2 0x0fea 000006fc: JUMP 000006fd: JUMPDEST 000006fe: GT 000006ff: ISZERO 00000700: PUSH2 0x073a 00000703: JUMPI 00000704: PUSH1 0x40 00000706: MLOAD 00000707: PUSH3 0x461bcd 0000070b: PUSH1 0xe5 0000070d: SHL 0000070e: DUP2 0000070f: MSTORE 00000710: PUSH1 0x04 00000712: ADD 00000713: DUP1 00000714: DUP1 00000715: PUSH1 0x20 00000717: ADD 00000718: DUP3 00000719: DUP2 0000071a: SUB 0000071b: DUP3 0000071c: MSTORE 0000071d: PUSH1 0x33 0000071f: DUP2 00000720: MSTORE 00000721: PUSH1 0x20 00000723: ADD 00000724: DUP1 00000725: PUSH2 0x10b3 00000728: PUSH1 0x33 0000072a: SWAP2 0000072b: CODECOPY 0000072c: PUSH1 0x40 0000072e: ADD 0000072f: SWAP2 00000730: POP 00000731: POP 00000732: PUSH1 0x40 00000734: MLOAD 00000735: DUP1 00000736: SWAP2 00000737: SUB 00000738: SWAP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: DUP2 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x03 00000742: PUSH1 0x20 00000744: MSTORE 00000745: PUSH1 0x40 00000747: SWAP1 00000748: KECCAK256 00000749: DUP1 0000074a: SLOAD 0000074b: PUSH1 0xff 0000074d: NOT 0000074e: AND 0000074f: SWAP1 00000750: SSTORE 00000751: PUSH1 0x60 00000753: DUP7 00000754: PUSH2 0x0796 00000757: JUMPI 00000758: DUP6 00000759: DUP6 0000075a: DUP1 0000075b: DUP1 0000075c: PUSH1 0x1f 0000075e: ADD 0000075f: PUSH1 0x20 00000761: DUP1 00000762: SWAP2 00000763: DIV 00000764: MUL 00000765: PUSH1 0x20 00000767: ADD 00000768: PUSH1 0x40 0000076a: MLOAD 0000076b: SWAP1 0000076c: DUP2 0000076d: ADD 0000076e: PUSH1 0x40 00000770: MSTORE 00000771: DUP1 00000772: SWAP4 00000773: SWAP3 00000774: SWAP2 00000775: SWAP1 00000776: DUP2 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x20 0000077b: ADD 0000077c: DUP4 0000077d: DUP4 0000077e: DUP1 0000077f: DUP3 00000780: DUP5 00000781: CALLDATACOPY 00000782: PUSH1 0x00 00000784: SWAP3 00000785: ADD 00000786: SWAP2 00000787: SWAP1 00000788: SWAP2 00000789: MSTORE 0000078a: POP 0000078b: SWAP3 0000078c: SWAP4 0000078d: POP 0000078e: PUSH2 0x07f1 00000791: SWAP3 00000792: POP 00000793: POP 00000794: POP 00000795: JUMP 00000796: JUMPDEST 00000797: DUP8 00000798: DUP8 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: DUP1 0000079d: DUP4 0000079e: DUP4 0000079f: DUP1 000007a0: DUP3 000007a1: DUP5 000007a2: CALLDATACOPY 000007a3: PUSH1 0x40 000007a5: MLOAD 000007a6: SWAP3 000007a7: ADD 000007a8: DUP3 000007a9: SWAP1 000007aa: SUB 000007ab: DUP3 000007ac: KECCAK256 000007ad: PUSH1 0x01 000007af: PUSH1 0x01 000007b1: PUSH1 0xe0 000007b3: SHL 000007b4: SUB 000007b5: NOT 000007b6: DUP2 000007b7: AND 000007b8: PUSH1 0x20 000007ba: DUP5 000007bb: ADD 000007bc: SWAP1 000007bd: DUP2 000007be: MSTORE 000007bf: SWAP1 000007c0: SWAP6 000007c1: POP 000007c2: DUP12 000007c3: SWAP5 000007c4: POP 000007c5: DUP11 000007c6: SWAP4 000007c7: POP 000007c8: SWAP2 000007c9: PUSH1 0x24 000007cb: ADD 000007cc: SWAP1 000007cd: POP 000007ce: DUP4 000007cf: DUP4 000007d0: DUP1 000007d1: DUP3 000007d2: DUP5 000007d3: CALLDATACOPY 000007d4: DUP1 000007d5: DUP4 000007d6: ADD 000007d7: SWAP3 000007d8: POP 000007d9: POP 000007da: POP 000007db: SWAP4 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: PUSH1 0x20 000007e5: DUP2 000007e6: DUP4 000007e7: SUB 000007e8: SUB 000007e9: DUP2 000007ea: MSTORE 000007eb: SWAP1 000007ec: PUSH1 0x40 000007ee: MSTORE 000007ef: SWAP1 000007f0: POP 000007f1: JUMPDEST 000007f2: PUSH1 0x00 000007f4: DUP1 000007f5: DUP12 000007f6: PUSH1 0x01 000007f8: PUSH1 0x01 000007fa: PUSH1 0xa0 000007fc: SHL 000007fd: SUB 000007fe: AND 000007ff: DUP12 00000800: DUP5 00000801: PUSH1 0x40 00000803: MLOAD 00000804: DUP1 00000805: DUP3 00000806: DUP1 00000807: MLOAD 00000808: SWAP1 00000809: PUSH1 0x20 0000080b: ADD 0000080c: SWAP1 0000080d: DUP1 0000080e: DUP4 0000080f: DUP4 00000810: JUMPDEST 00000811: PUSH1 0x20 00000813: DUP4 00000814: LT 00000815: PUSH2 0x082f 00000818: JUMPI 00000819: DUP1 0000081a: MLOAD 0000081b: DUP3 0000081c: MSTORE 0000081d: PUSH1 0x1f 0000081f: NOT 00000820: SWAP1 00000821: SWAP3 00000822: ADD 00000823: SWAP2 00000824: PUSH1 0x20 00000826: SWAP2 00000827: DUP3 00000828: ADD 00000829: SWAP2 0000082a: ADD 0000082b: PUSH2 0x0810 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x01 00000832: DUP4 00000833: PUSH1 0x20 00000835: SUB 00000836: PUSH2 0x0100 00000839: EXP 0000083a: SUB 0000083b: DUP1 0000083c: NOT 0000083d: DUP3 0000083e: MLOAD 0000083f: AND 00000840: DUP2 00000841: DUP5 00000842: MLOAD 00000843: AND 00000844: DUP1 00000845: DUP3 00000846: OR 00000847: DUP6 00000848: MSTORE 00000849: POP 0000084a: POP 0000084b: POP 0000084c: POP 0000084d: POP 0000084e: POP 0000084f: SWAP1 00000850: POP 00000851: ADD 00000852: SWAP2 00000853: POP 00000854: POP 00000855: PUSH1 0x00 00000857: PUSH1 0x40 00000859: MLOAD 0000085a: DUP1 0000085b: DUP4 0000085c: SUB 0000085d: DUP2 0000085e: DUP6 0000085f: DUP8 00000860: GAS 00000861: CALL 00000862: SWAP3 00000863: POP 00000864: POP 00000865: POP 00000866: RETURNDATASIZE 00000867: DUP1 00000868: PUSH1 0x00 0000086a: DUP2 0000086b: EQ 0000086c: PUSH2 0x0891 0000086f: JUMPI 00000870: PUSH1 0x40 00000872: MLOAD 00000873: SWAP2 00000874: POP 00000875: PUSH1 0x1f 00000877: NOT 00000878: PUSH1 0x3f 0000087a: RETURNDATASIZE 0000087b: ADD 0000087c: AND 0000087d: DUP3 0000087e: ADD 0000087f: PUSH1 0x40 00000881: MSTORE 00000882: RETURNDATASIZE 00000883: DUP3 00000884: MSTORE 00000885: RETURNDATASIZE 00000886: PUSH1 0x00 00000888: PUSH1 0x20 0000088a: DUP5 0000088b: ADD 0000088c: RETURNDATACOPY 0000088d: PUSH2 0x0896 00000890: JUMP 00000891: JUMPDEST 00000892: PUSH1 0x60 00000894: SWAP2 00000895: POP 00000896: JUMPDEST 00000897: POP 00000898: SWAP2 00000899: POP 0000089a: SWAP2 0000089b: POP 0000089c: DUP2 0000089d: PUSH2 0x08d7 000008a0: JUMPI 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: PUSH3 0x461bcd 000008a8: PUSH1 0xe5 000008aa: SHL 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x04 000008af: ADD 000008b0: DUP1 000008b1: DUP1 000008b2: PUSH1 0x20 000008b4: ADD 000008b5: DUP3 000008b6: DUP2 000008b7: SUB 000008b8: DUP3 000008b9: MSTORE 000008ba: PUSH1 0x3d 000008bc: DUP2 000008bd: MSTORE 000008be: PUSH1 0x20 000008c0: ADD 000008c1: DUP1 000008c2: PUSH2 0x127a 000008c5: PUSH1 0x3d 000008c7: SWAP2 000008c8: CODECOPY 000008c9: PUSH1 0x40 000008cb: ADD 000008cc: SWAP2 000008cd: POP 000008ce: POP 000008cf: PUSH1 0x40 000008d1: MLOAD 000008d2: DUP1 000008d3: SWAP2 000008d4: SUB 000008d5: SWAP1 000008d6: REVERT 000008d7: JUMPDEST 000008d8: DUP12 000008d9: PUSH1 0x01 000008db: PUSH1 0x01 000008dd: PUSH1 0xa0 000008df: SHL 000008e0: SUB 000008e1: AND 000008e2: DUP5 000008e3: PUSH32 0xa560e3198060a2f10670c1ec5b403077ea6ae93ca8de1c32b451dc1a943cd6e7 00000904: DUP14 00000905: DUP14 00000906: DUP14 00000907: DUP14 00000908: DUP14 00000909: DUP14 0000090a: PUSH1 0x40 0000090c: MLOAD 0000090d: DUP1 0000090e: DUP8 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x20 00000913: ADD 00000914: DUP1 00000915: PUSH1 0x20 00000917: ADD 00000918: DUP1 00000919: PUSH1 0x20 0000091b: ADD 0000091c: DUP5 0000091d: DUP2 0000091e: MSTORE 0000091f: PUSH1 0x20 00000921: ADD 00000922: DUP4 00000923: DUP2 00000924: SUB 00000925: DUP4 00000926: MSTORE 00000927: DUP9 00000928: DUP9 00000929: DUP3 0000092a: DUP2 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x20 0000092f: ADD 00000930: SWAP3 00000931: POP 00000932: DUP1 00000933: DUP3 00000934: DUP5 00000935: CALLDATACOPY 00000936: PUSH1 0x00 00000938: DUP4 00000939: DUP3 0000093a: ADD 0000093b: MSTORE 0000093c: PUSH1 0x1f 0000093e: ADD 0000093f: PUSH1 0x1f 00000941: NOT 00000942: AND 00000943: SWAP1 00000944: SWAP2 00000945: ADD 00000946: DUP5 00000947: DUP2 00000948: SUB 00000949: DUP4 0000094a: MSTORE 0000094b: DUP7 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x20 00000950: ADD 00000951: SWAP1 00000952: POP 00000953: DUP7 00000954: DUP7 00000955: DUP1 00000956: DUP3 00000957: DUP5 00000958: CALLDATACOPY 00000959: PUSH1 0x00 0000095b: DUP4 0000095c: DUP3 0000095d: ADD 0000095e: MSTORE 0000095f: PUSH1 0x40 00000961: MLOAD 00000962: PUSH1 0x1f 00000964: SWAP1 00000965: SWAP2 00000966: ADD 00000967: PUSH1 0x1f 00000969: NOT 0000096a: AND 0000096b: SWAP1 0000096c: SWAP3 0000096d: ADD 0000096e: DUP3 0000096f: SWAP1 00000970: SUB 00000971: SWAP11 00000972: POP 00000973: SWAP1 00000974: SWAP9 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: POP 0000097a: POP 0000097b: POP 0000097c: POP 0000097d: POP 0000097e: LOG3 0000097f: SWAP12 00000980: SWAP11 00000981: POP 00000982: POP 00000983: POP 00000984: POP 00000985: POP 00000986: POP 00000987: POP 00000988: POP 00000989: POP 0000098a: POP 0000098b: POP 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x01 00000990: SLOAD 00000991: PUSH1 0x01 00000993: PUSH1 0x01 00000995: PUSH1 0xa0 00000997: SHL 00000998: SUB 00000999: AND 0000099a: CALLER 0000099b: EQ 0000099c: PUSH2 0x09d6 0000099f: JUMPI 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: PUSH3 0x461bcd 000009a7: PUSH1 0xe5 000009a9: SHL 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x04 000009ae: ADD 000009af: DUP1 000009b0: DUP1 000009b1: PUSH1 0x20 000009b3: ADD 000009b4: DUP3 000009b5: DUP2 000009b6: SUB 000009b7: DUP3 000009b8: MSTORE 000009b9: PUSH1 0x38 000009bb: DUP2 000009bc: MSTORE 000009bd: PUSH1 0x20 000009bf: ADD 000009c0: DUP1 000009c1: PUSH2 0x11d4 000009c4: PUSH1 0x38 000009c6: SWAP2 000009c7: CODECOPY 000009c8: PUSH1 0x40 000009ca: ADD 000009cb: SWAP2 000009cc: POP 000009cd: POP 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: DUP1 000009d2: SWAP2 000009d3: SUB 000009d4: SWAP1 000009d5: REVERT 000009d6: JUMPDEST 000009d7: PUSH1 0x00 000009d9: DUP1 000009da: SLOAD 000009db: CALLER 000009dc: PUSH1 0x01 000009de: PUSH1 0x01 000009e0: PUSH1 0xa0 000009e2: SHL 000009e3: SUB 000009e4: NOT 000009e5: SWAP2 000009e6: DUP3 000009e7: AND 000009e8: OR 000009e9: DUP1 000009ea: DUP4 000009eb: SSTORE 000009ec: PUSH1 0x01 000009ee: DUP1 000009ef: SLOAD 000009f0: SWAP1 000009f1: SWAP3 000009f2: AND 000009f3: SWAP1 000009f4: SWAP2 000009f5: SSTORE 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: PUSH1 0x01 000009fb: PUSH1 0x01 000009fd: PUSH1 0xa0 000009ff: SHL 00000a00: SUB 00000a01: SWAP1 00000a02: SWAP2 00000a03: AND 00000a04: SWAP2 00000a05: PUSH32 0x71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c 00000a26: SWAP2 00000a27: LOG2 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH1 0x01 00000a2c: SLOAD 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0x01 00000a31: PUSH1 0xa0 00000a33: SHL 00000a34: SUB 00000a35: AND 00000a36: DUP2 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x00 00000a3b: DUP1 00000a3c: SLOAD 00000a3d: PUSH1 0x01 00000a3f: PUSH1 0x01 00000a41: PUSH1 0xa0 00000a43: SHL 00000a44: SUB 00000a45: AND 00000a46: CALLER 00000a47: EQ 00000a48: PUSH2 0x0a82 00000a4b: JUMPI 00000a4c: PUSH1 0x40 00000a4e: MLOAD 00000a4f: PUSH3 0x461bcd 00000a53: PUSH1 0xe5 00000a55: SHL 00000a56: DUP2 00000a57: MSTORE 00000a58: PUSH1 0x04 00000a5a: ADD 00000a5b: DUP1 00000a5c: DUP1 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: DUP3 00000a61: DUP2 00000a62: SUB 00000a63: DUP3 00000a64: MSTORE 00000a65: PUSH1 0x36 00000a67: DUP2 00000a68: MSTORE 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: DUP1 00000a6d: PUSH2 0x1244 00000a70: PUSH1 0x36 00000a72: SWAP2 00000a73: CODECOPY 00000a74: PUSH1 0x40 00000a76: ADD 00000a77: SWAP2 00000a78: POP 00000a79: POP 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: DUP1 00000a7e: SWAP2 00000a7f: SUB 00000a80: SWAP1 00000a81: REVERT 00000a82: JUMPDEST 00000a83: PUSH2 0x0a96 00000a86: PUSH1 0x02 00000a88: SLOAD 00000a89: PUSH2 0x0a90 00000a8c: PUSH2 0x0fea 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: SWAP1 00000a92: PUSH2 0x0fee 00000a95: JUMP 00000a96: JUMPDEST 00000a97: DUP3 00000a98: LT 00000a99: ISZERO 00000a9a: PUSH2 0x0ad4 00000a9d: JUMPI 00000a9e: PUSH1 0x40 00000aa0: MLOAD 00000aa1: PUSH3 0x461bcd 00000aa5: PUSH1 0xe5 00000aa7: SHL 00000aa8: DUP2 00000aa9: MSTORE 00000aaa: PUSH1 0x04 00000aac: ADD 00000aad: DUP1 00000aae: DUP1 00000aaf: PUSH1 0x20 00000ab1: ADD 00000ab2: DUP3 00000ab3: DUP2 00000ab4: SUB 00000ab5: DUP3 00000ab6: MSTORE 00000ab7: PUSH1 0x49 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: ADD 00000abe: DUP1 00000abf: PUSH2 0x12b7 00000ac2: PUSH1 0x49 00000ac4: SWAP2 00000ac5: CODECOPY 00000ac6: PUSH1 0x60 00000ac8: ADD 00000ac9: SWAP2 00000aca: POP 00000acb: POP 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: DUP1 00000ad0: SWAP2 00000ad1: SUB 00000ad2: SWAP1 00000ad3: REVERT 00000ad4: JUMPDEST 00000ad5: PUSH1 0x00 00000ad7: DUP9 00000ad8: DUP9 00000ad9: DUP9 00000ada: DUP9 00000adb: DUP9 00000adc: DUP9 00000add: DUP9 00000ade: PUSH1 0x40 00000ae0: MLOAD 00000ae1: PUSH1 0x20 00000ae3: ADD 00000ae4: DUP1 00000ae5: DUP9 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0x01 00000aea: PUSH1 0xa0 00000aec: SHL 00000aed: SUB 00000aee: AND 00000aef: DUP2 00000af0: MSTORE 00000af1: PUSH1 0x20 00000af3: ADD 00000af4: DUP8 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x20 00000af9: ADD 00000afa: DUP1 00000afb: PUSH1 0x20 00000afd: ADD 00000afe: DUP1 00000aff: PUSH1 0x20 00000b01: ADD 00000b02: DUP5 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x20 00000b07: ADD 00000b08: DUP4 00000b09: DUP2 00000b0a: SUB 00000b0b: DUP4 00000b0c: MSTORE 00000b0d: DUP9 00000b0e: DUP9 00000b0f: DUP3 00000b10: DUP2 00000b11: DUP2 00000b12: MSTORE 00000b13: PUSH1 0x20 00000b15: ADD 00000b16: SWAP3 00000b17: POP 00000b18: DUP1 00000b19: DUP3 00000b1a: DUP5 00000b1b: CALLDATACOPY 00000b1c: PUSH1 0x00 00000b1e: DUP4 00000b1f: DUP3 00000b20: ADD 00000b21: MSTORE 00000b22: PUSH1 0x1f 00000b24: ADD 00000b25: PUSH1 0x1f 00000b27: NOT 00000b28: AND 00000b29: SWAP1 00000b2a: SWAP2 00000b2b: ADD 00000b2c: DUP5 00000b2d: DUP2 00000b2e: SUB 00000b2f: DUP4 00000b30: MSTORE 00000b31: DUP7 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: ADD 00000b37: SWAP1 00000b38: POP 00000b39: DUP7 00000b3a: DUP7 00000b3b: DUP1 00000b3c: DUP3 00000b3d: DUP5 00000b3e: CALLDATACOPY 00000b3f: PUSH1 0x00 00000b41: DUP2 00000b42: DUP5 00000b43: ADD 00000b44: MSTORE 00000b45: PUSH1 0x1f 00000b47: NOT 00000b48: PUSH1 0x1f 00000b4a: DUP3 00000b4b: ADD 00000b4c: AND 00000b4d: SWAP1 00000b4e: POP 00000b4f: DUP1 00000b50: DUP4 00000b51: ADD 00000b52: SWAP3 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: SWAP10 00000b57: POP 00000b58: POP 00000b59: POP 00000b5a: POP 00000b5b: POP 00000b5c: POP 00000b5d: POP 00000b5e: POP 00000b5f: POP 00000b60: POP 00000b61: PUSH1 0x40 00000b63: MLOAD 00000b64: PUSH1 0x20 00000b66: DUP2 00000b67: DUP4 00000b68: SUB 00000b69: SUB 00000b6a: DUP2 00000b6b: MSTORE 00000b6c: SWAP1 00000b6d: PUSH1 0x40 00000b6f: MSTORE 00000b70: DUP1 00000b71: MLOAD 00000b72: SWAP1 00000b73: PUSH1 0x20 00000b75: ADD 00000b76: KECCAK256 00000b77: SWAP1 00000b78: POP 00000b79: PUSH1 0x01 00000b7b: PUSH1 0x03 00000b7d: PUSH1 0x00 00000b7f: DUP4 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x20 00000b84: ADD 00000b85: SWAP1 00000b86: DUP2 00000b87: MSTORE 00000b88: PUSH1 0x20 00000b8a: ADD 00000b8b: PUSH1 0x00 00000b8d: KECCAK256 00000b8e: PUSH1 0x00 00000b90: PUSH2 0x0100 00000b93: EXP 00000b94: DUP2 00000b95: SLOAD 00000b96: DUP2 00000b97: PUSH1 0xff 00000b99: MUL 00000b9a: NOT 00000b9b: AND 00000b9c: SWAP1 00000b9d: DUP4 00000b9e: ISZERO 00000b9f: ISZERO 00000ba0: MUL 00000ba1: OR 00000ba2: SWAP1 00000ba3: SSTORE 00000ba4: POP 00000ba5: DUP9 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0x01 00000baa: PUSH1 0xa0 00000bac: SHL 00000bad: SUB 00000bae: AND 00000baf: DUP2 00000bb0: PUSH32 0x76e2796dc3a81d57b0e8504b647febcbeeb5f4af818e164f11eef8131a6a763f 00000bd1: DUP11 00000bd2: DUP11 00000bd3: DUP11 00000bd4: DUP11 00000bd5: DUP11 00000bd6: DUP11 00000bd7: PUSH1 0x40 00000bd9: MLOAD 00000bda: DUP1 00000bdb: DUP8 00000bdc: DUP2 00000bdd: MSTORE 00000bde: PUSH1 0x20 00000be0: ADD 00000be1: DUP1 00000be2: PUSH1 0x20 00000be4: ADD 00000be5: DUP1 00000be6: PUSH1 0x20 00000be8: ADD 00000be9: DUP5 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: ADD 00000bef: DUP4 00000bf0: DUP2 00000bf1: SUB 00000bf2: DUP4 00000bf3: MSTORE 00000bf4: DUP9 00000bf5: DUP9 00000bf6: DUP3 00000bf7: DUP2 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x20 00000bfc: ADD 00000bfd: SWAP3 00000bfe: POP 00000bff: DUP1 00000c00: DUP3 00000c01: DUP5 00000c02: CALLDATACOPY 00000c03: PUSH1 0x00 00000c05: DUP4 00000c06: DUP3 00000c07: ADD 00000c08: MSTORE 00000c09: PUSH1 0x1f 00000c0b: ADD 00000c0c: PUSH1 0x1f 00000c0e: NOT 00000c0f: AND 00000c10: SWAP1 00000c11: SWAP2 00000c12: ADD 00000c13: DUP5 00000c14: DUP2 00000c15: SUB 00000c16: DUP4 00000c17: MSTORE 00000c18: DUP7 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x20 00000c1d: ADD 00000c1e: SWAP1 00000c1f: POP 00000c20: DUP7 00000c21: DUP7 00000c22: DUP1 00000c23: DUP3 00000c24: DUP5 00000c25: CALLDATACOPY 00000c26: PUSH1 0x00 00000c28: DUP4 00000c29: DUP3 00000c2a: ADD 00000c2b: MSTORE 00000c2c: PUSH1 0x40 00000c2e: MLOAD 00000c2f: PUSH1 0x1f 00000c31: SWAP1 00000c32: SWAP2 00000c33: ADD 00000c34: PUSH1 0x1f 00000c36: NOT 00000c37: AND 00000c38: SWAP1 00000c39: SWAP3 00000c3a: ADD 00000c3b: DUP3 00000c3c: SWAP1 00000c3d: SUB 00000c3e: SWAP11 00000c3f: POP 00000c40: SWAP1 00000c41: SWAP9 00000c42: POP 00000c43: POP 00000c44: POP 00000c45: POP 00000c46: POP 00000c47: POP 00000c48: POP 00000c49: POP 00000c4a: POP 00000c4b: LOG3 00000c4c: SWAP9 00000c4d: SWAP8 00000c4e: POP 00000c4f: POP 00000c50: POP 00000c51: POP 00000c52: POP 00000c53: POP 00000c54: POP 00000c55: POP 00000c56: JUMP 00000c57: JUMPDEST 00000c58: CALLER 00000c59: ADDRESS 00000c5a: EQ 00000c5b: PUSH2 0x0c95 00000c5e: JUMPI 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: PUSH3 0x461bcd 00000c66: PUSH1 0xe5 00000c68: SHL 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x04 00000c6d: ADD 00000c6e: DUP1 00000c6f: DUP1 00000c70: PUSH1 0x20 00000c72: ADD 00000c73: DUP3 00000c74: DUP2 00000c75: SUB 00000c76: DUP3 00000c77: MSTORE 00000c78: PUSH1 0x38 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x20 00000c7e: ADD 00000c7f: DUP1 00000c80: PUSH2 0x120c 00000c83: PUSH1 0x38 00000c85: SWAP2 00000c86: CODECOPY 00000c87: PUSH1 0x40 00000c89: ADD 00000c8a: SWAP2 00000c8b: POP 00000c8c: POP 00000c8d: PUSH1 0x40 00000c8f: MLOAD 00000c90: DUP1 00000c91: SWAP2 00000c92: SUB 00000c93: SWAP1 00000c94: REVERT 00000c95: JUMPDEST 00000c96: PUSH1 0x01 00000c98: DUP1 00000c99: SLOAD 00000c9a: PUSH1 0x01 00000c9c: PUSH1 0x01 00000c9e: PUSH1 0xa0 00000ca0: SHL 00000ca1: SUB 00000ca2: NOT 00000ca3: AND 00000ca4: PUSH1 0x01 00000ca6: PUSH1 0x01 00000ca8: PUSH1 0xa0 00000caa: SHL 00000cab: SUB 00000cac: DUP4 00000cad: DUP2 00000cae: AND 00000caf: SWAP2 00000cb0: SWAP1 00000cb1: SWAP2 00000cb2: OR 00000cb3: SWAP2 00000cb4: DUP3 00000cb5: SWAP1 00000cb6: SSTORE 00000cb7: PUSH1 0x40 00000cb9: MLOAD 00000cba: SWAP2 00000cbb: AND 00000cbc: SWAP1 00000cbd: PUSH32 0x69d78e38a01985fbb1462961809b4b2d65531bc93b2b94037f3334b82ca4a756 00000cde: SWAP1 00000cdf: PUSH1 0x00 00000ce1: SWAP1 00000ce2: LOG2 00000ce3: POP 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x00 00000ce8: SLOAD 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0x01 00000ced: PUSH1 0xa0 00000cef: SHL 00000cf0: SUB 00000cf1: AND 00000cf2: CALLER 00000cf3: EQ 00000cf4: PUSH2 0x0d2e 00000cf7: JUMPI 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: PUSH3 0x461bcd 00000cff: PUSH1 0xe5 00000d01: SHL 00000d02: DUP2 00000d03: MSTORE 00000d04: PUSH1 0x04 00000d06: ADD 00000d07: DUP1 00000d08: DUP1 00000d09: PUSH1 0x20 00000d0b: ADD 00000d0c: DUP3 00000d0d: DUP2 00000d0e: SUB 00000d0f: DUP3 00000d10: MSTORE 00000d11: PUSH1 0x37 00000d13: DUP2 00000d14: MSTORE 00000d15: PUSH1 0x20 00000d17: ADD 00000d18: DUP1 00000d19: PUSH2 0x107c 00000d1c: PUSH1 0x37 00000d1e: SWAP2 00000d1f: CODECOPY 00000d20: PUSH1 0x40 00000d22: ADD 00000d23: SWAP2 00000d24: POP 00000d25: POP 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: DUP1 00000d2a: SWAP2 00000d2b: SUB 00000d2c: SWAP1 00000d2d: REVERT 00000d2e: JUMPDEST 00000d2f: PUSH1 0x00 00000d31: DUP8 00000d32: DUP8 00000d33: DUP8 00000d34: DUP8 00000d35: DUP8 00000d36: DUP8 00000d37: DUP8 00000d38: PUSH1 0x40 00000d3a: MLOAD 00000d3b: PUSH1 0x20 00000d3d: ADD 00000d3e: DUP1 00000d3f: DUP9 00000d40: PUSH1 0x01 00000d42: PUSH1 0x01 00000d44: PUSH1 0xa0 00000d46: SHL 00000d47: SUB 00000d48: AND 00000d49: DUP2 00000d4a: MSTORE 00000d4b: PUSH1 0x20 00000d4d: ADD 00000d4e: DUP8 00000d4f: DUP2 00000d50: MSTORE 00000d51: PUSH1 0x20 00000d53: ADD 00000d54: DUP1 00000d55: PUSH1 0x20 00000d57: ADD 00000d58: DUP1 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: DUP5 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: PUSH1 0x20 00000d61: ADD 00000d62: DUP4 00000d63: DUP2 00000d64: SUB 00000d65: DUP4 00000d66: MSTORE 00000d67: DUP9 00000d68: DUP9 00000d69: DUP3 00000d6a: DUP2 00000d6b: DUP2 00000d6c: MSTORE 00000d6d: PUSH1 0x20 00000d6f: ADD 00000d70: SWAP3 00000d71: POP 00000d72: DUP1 00000d73: DUP3 00000d74: DUP5 00000d75: CALLDATACOPY 00000d76: PUSH1 0x00 00000d78: DUP4 00000d79: DUP3 00000d7a: ADD 00000d7b: MSTORE 00000d7c: PUSH1 0x1f 00000d7e: ADD 00000d7f: PUSH1 0x1f 00000d81: NOT 00000d82: AND 00000d83: SWAP1 00000d84: SWAP2 00000d85: ADD 00000d86: DUP5 00000d87: DUP2 00000d88: SUB 00000d89: DUP4 00000d8a: MSTORE 00000d8b: DUP7 00000d8c: DUP2 00000d8d: MSTORE 00000d8e: PUSH1 0x20 00000d90: ADD 00000d91: SWAP1 00000d92: POP 00000d93: DUP7 00000d94: DUP7 00000d95: DUP1 00000d96: DUP3 00000d97: DUP5 00000d98: CALLDATACOPY 00000d99: PUSH1 0x00 00000d9b: DUP2 00000d9c: DUP5 00000d9d: ADD 00000d9e: MSTORE 00000d9f: PUSH1 0x1f 00000da1: NOT 00000da2: PUSH1 0x1f 00000da4: DUP3 00000da5: ADD 00000da6: AND 00000da7: SWAP1 00000da8: POP 00000da9: DUP1 00000daa: DUP4 00000dab: ADD 00000dac: SWAP3 00000dad: POP 00000dae: POP 00000daf: POP 00000db0: SWAP10 00000db1: POP 00000db2: POP 00000db3: POP 00000db4: POP 00000db5: POP 00000db6: POP 00000db7: POP 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: PUSH1 0x20 00000dc0: DUP2 00000dc1: DUP4 00000dc2: SUB 00000dc3: SUB 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: SWAP1 00000dc7: PUSH1 0x40 00000dc9: MSTORE 00000dca: DUP1 00000dcb: MLOAD 00000dcc: SWAP1 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: KECCAK256 00000dd1: SWAP1 00000dd2: POP 00000dd3: PUSH1 0x00 00000dd5: PUSH1 0x03 00000dd7: PUSH1 0x00 00000dd9: DUP4 00000dda: DUP2 00000ddb: MSTORE 00000ddc: PUSH1 0x20 00000dde: ADD 00000ddf: SWAP1 00000de0: DUP2 00000de1: MSTORE 00000de2: PUSH1 0x20 00000de4: ADD 00000de5: PUSH1 0x00 00000de7: KECCAK256 00000de8: PUSH1 0x00 00000dea: PUSH2 0x0100 00000ded: EXP 00000dee: DUP2 00000def: SLOAD 00000df0: DUP2 00000df1: PUSH1 0xff 00000df3: MUL 00000df4: NOT 00000df5: AND 00000df6: SWAP1 00000df7: DUP4 00000df8: ISZERO 00000df9: ISZERO 00000dfa: MUL 00000dfb: OR 00000dfc: SWAP1 00000dfd: SSTORE 00000dfe: POP 00000dff: DUP8 00000e00: PUSH1 0x01 00000e02: PUSH1 0x01 00000e04: PUSH1 0xa0 00000e06: SHL 00000e07: SUB 00000e08: AND 00000e09: DUP2 00000e0a: PUSH32 0x2fffc091a501fd91bfbff27141450d3acb40fb8e6d8382b243ec7a812a3aaf87 00000e2b: DUP10 00000e2c: DUP10 00000e2d: DUP10 00000e2e: DUP10 00000e2f: DUP10 00000e30: DUP10 00000e31: PUSH1 0x40 00000e33: MLOAD 00000e34: DUP1 00000e35: DUP8 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: DUP1 00000e3c: PUSH1 0x20 00000e3e: ADD 00000e3f: DUP1 00000e40: PUSH1 0x20 00000e42: ADD 00000e43: DUP5 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: DUP4 00000e4a: DUP2 00000e4b: SUB 00000e4c: DUP4 00000e4d: MSTORE 00000e4e: DUP9 00000e4f: DUP9 00000e50: DUP3 00000e51: DUP2 00000e52: DUP2 00000e53: MSTORE 00000e54: PUSH1 0x20 00000e56: ADD 00000e57: SWAP3 00000e58: POP 00000e59: DUP1 00000e5a: DUP3 00000e5b: DUP5 00000e5c: CALLDATACOPY 00000e5d: PUSH1 0x00 00000e5f: DUP4 00000e60: DUP3 00000e61: ADD 00000e62: MSTORE 00000e63: PUSH1 0x1f 00000e65: ADD 00000e66: PUSH1 0x1f 00000e68: NOT 00000e69: AND 00000e6a: SWAP1 00000e6b: SWAP2 00000e6c: ADD 00000e6d: DUP5 00000e6e: DUP2 00000e6f: SUB 00000e70: DUP4 00000e71: MSTORE 00000e72: DUP7 00000e73: DUP2 00000e74: MSTORE 00000e75: PUSH1 0x20 00000e77: ADD 00000e78: SWAP1 00000e79: POP 00000e7a: DUP7 00000e7b: DUP7 00000e7c: DUP1 00000e7d: DUP3 00000e7e: DUP5 00000e7f: CALLDATACOPY 00000e80: PUSH1 0x00 00000e82: DUP4 00000e83: DUP3 00000e84: ADD 00000e85: MSTORE 00000e86: PUSH1 0x40 00000e88: MLOAD 00000e89: PUSH1 0x1f 00000e8b: SWAP1 00000e8c: SWAP2 00000e8d: ADD 00000e8e: PUSH1 0x1f 00000e90: NOT 00000e91: AND 00000e92: SWAP1 00000e93: SWAP3 00000e94: ADD 00000e95: DUP3 00000e96: SWAP1 00000e97: SUB 00000e98: SWAP11 00000e99: POP 00000e9a: SWAP1 00000e9b: SWAP9 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: POP 00000ea0: POP 00000ea1: POP 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: LOG3 00000ea6: POP 00000ea7: POP 00000ea8: POP 00000ea9: POP 00000eaa: POP 00000eab: POP 00000eac: POP 00000ead: POP 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: PUSH1 0x02 00000eb2: SLOAD 00000eb3: DUP2 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH3 0x278d00 00000eba: DUP2 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH3 0x127500 00000ec1: SWAP1 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: PUSH3 0x02a300 00000ec8: DUP2 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: PUSH3 0x127500 00000ecf: DUP2 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: CALLER 00000ed3: ADDRESS 00000ed4: EQ 00000ed5: PUSH2 0x0f0f 00000ed8: JUMPI 00000ed9: PUSH1 0x40 00000edb: MLOAD 00000edc: PUSH3 0x461bcd 00000ee0: PUSH1 0xe5 00000ee2: SHL 00000ee3: DUP2 00000ee4: MSTORE 00000ee5: PUSH1 0x04 00000ee7: ADD 00000ee8: DUP1 00000ee9: DUP1 00000eea: PUSH1 0x20 00000eec: ADD 00000eed: DUP3 00000eee: DUP2 00000eef: SUB 00000ef0: DUP3 00000ef1: MSTORE 00000ef2: PUSH1 0x31 00000ef4: DUP2 00000ef5: MSTORE 00000ef6: PUSH1 0x20 00000ef8: ADD 00000ef9: DUP1 00000efa: PUSH2 0x1300 00000efd: PUSH1 0x31 00000eff: SWAP2 00000f00: CODECOPY 00000f01: PUSH1 0x40 00000f03: ADD 00000f04: SWAP2 00000f05: POP 00000f06: POP 00000f07: PUSH1 0x40 00000f09: MLOAD 00000f0a: DUP1 00000f0b: SWAP2 00000f0c: SUB 00000f0d: SWAP1 00000f0e: REVERT 00000f0f: JUMPDEST 00000f10: PUSH3 0x02a300 00000f14: DUP2 00000f15: LT 00000f16: ISZERO 00000f17: PUSH2 0x0f51 00000f1a: JUMPI 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: PUSH3 0x461bcd 00000f22: PUSH1 0xe5 00000f24: SHL 00000f25: DUP2 00000f26: MSTORE 00000f27: PUSH1 0x04 00000f29: ADD 00000f2a: DUP1 00000f2b: DUP1 00000f2c: PUSH1 0x20 00000f2e: ADD 00000f2f: DUP3 00000f30: DUP2 00000f31: SUB 00000f32: DUP3 00000f33: MSTORE 00000f34: PUSH1 0x34 00000f36: DUP2 00000f37: MSTORE 00000f38: PUSH1 0x20 00000f3a: ADD 00000f3b: DUP1 00000f3c: PUSH2 0x112b 00000f3f: PUSH1 0x34 00000f41: SWAP2 00000f42: CODECOPY 00000f43: PUSH1 0x40 00000f45: ADD 00000f46: SWAP2 00000f47: POP 00000f48: POP 00000f49: PUSH1 0x40 00000f4b: MLOAD 00000f4c: DUP1 00000f4d: SWAP2 00000f4e: SUB 00000f4f: SWAP1 00000f50: REVERT 00000f51: JUMPDEST 00000f52: PUSH3 0x278d00 00000f56: DUP2 00000f57: GT 00000f58: ISZERO 00000f59: PUSH2 0x0f93 00000f5c: JUMPI 00000f5d: PUSH1 0x40 00000f5f: MLOAD 00000f60: PUSH3 0x461bcd 00000f64: PUSH1 0xe5 00000f66: SHL 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x04 00000f6b: ADD 00000f6c: DUP1 00000f6d: DUP1 00000f6e: PUSH1 0x20 00000f70: ADD 00000f71: DUP3 00000f72: DUP2 00000f73: SUB 00000f74: DUP3 00000f75: MSTORE 00000f76: PUSH1 0x38 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x20 00000f7c: ADD 00000f7d: DUP1 00000f7e: PUSH2 0x115f 00000f81: PUSH1 0x38 00000f83: SWAP2 00000f84: CODECOPY 00000f85: PUSH1 0x40 00000f87: ADD 00000f88: SWAP2 00000f89: POP 00000f8a: POP 00000f8b: PUSH1 0x40 00000f8d: MLOAD 00000f8e: DUP1 00000f8f: SWAP2 00000f90: SUB 00000f91: SWAP1 00000f92: REVERT 00000f93: JUMPDEST 00000f94: PUSH1 0x02 00000f96: DUP2 00000f97: SWAP1 00000f98: SSTORE 00000f99: PUSH1 0x40 00000f9b: MLOAD 00000f9c: DUP2 00000f9d: SWAP1 00000f9e: PUSH32 0x948b1f6a42ee138b7e34058ba85a37f716d55ff25ff05a763f15bed6a04c8d2c 00000fbf: SWAP1 00000fc0: PUSH1 0x00 00000fc2: SWAP1 00000fc3: LOG2 00000fc4: POP 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x03 00000fc9: PUSH1 0x20 00000fcb: MSTORE 00000fcc: PUSH1 0x00 00000fce: SWAP1 00000fcf: DUP2 00000fd0: MSTORE 00000fd1: PUSH1 0x40 00000fd3: SWAP1 00000fd4: KECCAK256 00000fd5: SLOAD 00000fd6: PUSH1 0xff 00000fd8: AND 00000fd9: DUP2 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x00 00000fde: SLOAD 00000fdf: PUSH1 0x01 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0xa0 00000fe5: SHL 00000fe6: SUB 00000fe7: AND 00000fe8: DUP2 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: TIMESTAMP 00000fec: SWAP1 00000fed: JUMP 00000fee: JUMPDEST 00000fef: DUP1 00000ff0: DUP3 00000ff1: ADD 00000ff2: DUP3 00000ff3: DUP2 00000ff4: LT 00000ff5: ISZERO 00000ff6: PUSH2 0x103d 00000ff9: JUMPI 00000ffa: PUSH1 0x40 00000ffc: DUP1 00000ffd: MLOAD 00000ffe: PUSH3 0x461bcd 00001002: PUSH1 0xe5 00001004: SHL 00001005: DUP2 00001006: MSTORE 00001007: PUSH1 0x20 00001009: PUSH1 0x04 0000100b: DUP3 0000100c: ADD 0000100d: MSTORE 0000100e: PUSH1 0x14 00001010: PUSH1 0x24 00001012: DUP3 00001013: ADD 00001014: MSTORE 00001015: PUSH20 0x64732d6d6174682d6164642d6f766572666c6f77 0000102a: PUSH1 0x60 0000102c: SHL 0000102d: PUSH1 0x44 0000102f: DUP3 00001030: ADD 00001031: MSTORE 00001032: SWAP1 00001033: MLOAD 00001034: SWAP1 00001035: DUP2 00001036: SWAP1 00001037: SUB 00001038: PUSH1 0x64 0000103a: ADD 0000103b: SWAP1 0000103c: REVERT 0000103d: JUMPDEST 0000103e: SWAP3 0000103f: SWAP2 00001040: POP 00001041: POP 00001042: JUMP 00001043: INVALID 00001044: SLOAD 00001045: PUSH10 0x6d656c6f636b3a3a6578 00001050: PUSH6 0x637574655472 00001057: PUSH2 0x6e73 0000105a: PUSH2 0x6374 0000105d: PUSH10 0x6f6e3a2043616c6c206d 00001068: PUSH22 0x737420636f6d652066726f6d2061646d696e2e54696d 0000107f: PUSH6 0x6c6f636b3a3a 00001086: PUSH4 0x616e6365 0000108b: PUSH13 0x5472616e73616374696f6e3a20 00001099: NUMBER 0000109a: PUSH2 0x6c6c 0000109d: KECCAK256 0000109e: PUSH14 0x75737420636f6d652066726f6d20 000010ad: PUSH2 0x646d 000010b0: PUSH10 0x6e2e54696d656c6f636b 000010bb: GASPRICE 000010bc: GASPRICE 000010bd: PUSH6 0x786563757465 000010c4: SLOAD 000010c5: PUSH19 0x616e73616374696f6e3a205472616e73616374 000010d9: PUSH10 0x6f6e206973207374616c 000010e4: PUSH6 0x2e54696d656c 000010eb: PUSH16 0x636b3a3a657865637574655472616e73 000010fc: PUSH2 0x6374 000010ff: PUSH10 0x6f6e3a205472616e7361 0000110a: PUSH4 0x74696f6e 0000110f: KECCAK256 00001110: PUSH9 0x61736e277420737572 0000111a: PUSH17 0x61737365642074696d65206c6f636b2e54 0000112c: PUSH10 0x6d656c6f636b3a3a7365 00001137: PUSH21 0x44656c61793a2044656c6179206d75737420657863 0000114d: PUSH6 0x6564206d696e 00001154: PUSH10 0x6d756d2064656c61792e 0000115f: SLOAD 00001160: PUSH10 0x6d656c6f636b3a3a7365 0000116b: PUSH21 0x44656c61793a2044656c6179206d757374206e6f74 00001181: KECCAK256 00001182: PUSH6 0x786365656420 00001189: PUSH14 0x6178696d756d2064656c61792e54 00001198: PUSH10 0x6d656c6f636b3a3a6578 000011a3: PUSH6 0x637574655472 000011aa: PUSH2 0x6e73 000011ad: PUSH2 0x6374 000011b0: PUSH10 0x6f6e3a205472616e7361 000011bb: PUSH4 0x74696f6e 000011c0: KECCAK256 000011c1: PUSH9 0x61736e277420626565 000011cb: PUSH15 0x207175657565642e54696d656c6f63 000011db: PUSH12 0x3a3a61636365707441646d69 000011e8: PUSH15 0x3a2043616c6c206d75737420636f6d 000011f8: PUSH6 0x2066726f6d20 000011ff: PUSH17 0x656e64696e6741646d696e2e54696d656c 00001211: PUSH16 0x636b3a3a73657450656e64696e674164 00001222: PUSH14 0x696e3a2043616c6c206d75737420 00001231: PUSH4 0x6f6d6520 00001236: PUSH7 0x726f6d2054696d 0000123e: PUSH6 0x6c6f636b2e54 00001245: PUSH10 0x6d656c6f636b3a3a7175 00001250: PUSH6 0x75655472616e 00001257: PUSH20 0x616374696f6e3a2043616c6c206d75737420636f 0000126c: PUSH14 0x652066726f6d2061646d696e2e54 0000127b: PUSH10 0x6d656c6f636b3a3a6578 00001286: PUSH6 0x637574655472 0000128d: PUSH2 0x6e73 00001290: PUSH2 0x6374 00001293: PUSH10 0x6f6e3a205472616e7361 0000129e: PUSH4 0x74696f6e 000012a3: KECCAK256 000012a4: PUSH6 0x786563757469 000012ab: PUSH16 0x6e2072657665727465642e54696d656c 000012bc: PUSH16 0x636b3a3a71756575655472616e736163 000012cd: PUSH21 0x696f6e3a20457374696d6174656420657865637574 000012e3: PUSH10 0x6f6e20626c6f636b206d 000012ee: PUSH22 0x737420736174697366792064656c61792e54696d656c 00001305: PUSH16 0x636b3a3a73657444656c61793a204361 00001316: PUSH13 0x6c206d75737420636f6d652066 00001324: PUSH19 0x6f6d2054696d656c6f636b2ea2646970667358 00001338: UNKNOWN(0x22) 00001339: SLT 0000133a: KECCAK256 0000133b: UNKNOWN(0x2D) 0000133c: UNKNOWN(0xD8) 0000133d: UNKNOWN(0xBF) 0000133e: PUSH8 0x41e9ce3588fc8f25 00001347: SWAP5 00001348: PUSH28 0x2ee111089479e18e3de7ae000103bd85cc3064736f6c634300070600 00001365: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x468817417dd42fa723b1b18b76d4e3c5b50fd930eecb6de42977adc305a6bb87
call_targets:
0x8da8f82d2bbdd896822de723f55d6edf416130ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x468817417dd42fa723b1b18b76d4e3c5b50fd930eecb6de42977adc305a6bb87",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8da8f82d2bbdd896822de723f55d6edf416130ba"
],
"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": "0xc1a287e2",
"selector": "0xc1a287e2",
"calldata_variants": [
"0xc1a287e2",
"0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe177246e",
"selector": "0xe177246e",
"calldata_variants": [
"0xe177246e",
"0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2b06537",
"selector": "0xf2b06537",
"calldata_variants": [
"0xf2b06537",
"0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d645fab",
"selector": "0x7d645fab",
"calldata_variants": [
"0x7d645fab",
"0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa06db7dc",
"selector": "0xa06db7dc",
"calldata_variants": [
"0xa06db7dc",
"0xa06db7dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1b43ae5",
"selector": "0xb1b43ae5",
"calldata_variants": [
"0xb1b43ae5",
"0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a66f901",
"selector": "0x3a66f901",
"calldata_variants": [
"0x3a66f901",
"0x3a66f9010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x468817417dd42fa723b1b18b76d4e3c5b50fd930eecb6de42977adc305a6bb87
call_targets:
0x8da8f82d2bbdd896822de723f55d6edf416130ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x468817417dd42fa723b1b18b76d4e3c5b50fd930eecb6de42977adc305a6bb87",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8da8f82d2bbdd896822de723f55d6edf416130ba"
],
"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": "0xc1a287e2",
"selector": "0xc1a287e2",
"calldata_variants": [
"0xc1a287e2",
"0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe177246e",
"selector": "0xe177246e",
"calldata_variants": [
"0xe177246e",
"0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2b06537",
"selector": "0xf2b06537",
"calldata_variants": [
"0xf2b06537",
"0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d645fab",
"selector": "0x7d645fab",
"calldata_variants": [
"0x7d645fab",
"0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa06db7dc",
"selector": "0xa06db7dc",
"calldata_variants": [
"0xa06db7dc",
"0xa06db7dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1b43ae5",
"selector": "0xb1b43ae5",
"calldata_variants": [
"0xb1b43ae5",
"0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a66f901",
"selector": "0x3a66f901",
"calldata_variants": [
"0x3a66f901",
"0x3a66f9010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|