dfac12bf-7b20-47ff-9149-380955d1acc2
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 |
|---|---|---|---|---|
| 30767 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 75598 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 75599 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 75600 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 75601 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 75602 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 75603 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:1469266] OpenAI Codex v0.77.0 (research preview)
[codex:1469266] --------
[codex:1469266] workdir: /tmp/codex-multi-_s34ydlz
[codex:1469266] model: gpt-5.2-codex
[codex:1469266] provider: openai
[codex:1469266] approval: never
[codex:1469266] sandbox: read-only
[codex:1469266] reasoning effort: xhigh
[codex:1469266] reasoning summaries: auto
[codex:1469266] session id: 019b7113-1a04-7ab2-8cd1-5f5fe8e774d3
[codex:1469266] --------
[codex:1469266] user
[codex:1469266] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1469266] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1469266] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1469266]
[codex:1469266] Scope rules:
[codex:1469266] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1469266] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1469266]
[codex:1469266] Output MUST be valid JSON matching the provided schema.
[codex:1469266] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1469266] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1469266]
[codex:1469266] Output constraints (IMPORTANT):
[codex:1469266] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1469266] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1469266] mcp startup: no servers
[codex:1469266]
[codex:1469266] thinking
[codex:1469266] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1469266] exec
[codex:1469266] /bin/bash -lc ls in /tmp/codex-multi-_s34ydlz succeeded in 5ms:
[codex:1469266] AUDIT_BUNDLE.txt
[codex:1469266] codex-output-schema.json
[codex:1469266] contracts
[codex:1469266] exec
[codex:1469266] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_s34ydlz succeeded in 5ms:
[codex:1469266] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1469266]
[codex:1469266] ================================================================================
[codex:1469266] FILE: contracts/node_modules/openzeppelin-contracts/access/Ownable.sol
[codex:1469266] ================================================================================
[codex:1469266] // SPDX-License-Identifier: MIT
[codex:1469266] // OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)
[codex:1469266]
[codex:1469266] pragma solidity ^0.8.0;
[codex:1469266]
[codex:1469266] import "../utils/Context.sol";
[codex:1469266]
[codex:1469266] /**
[codex:1469266] * @dev Contract module which provides a basic access control mechanism, where
[codex:1469266] * there is an account (an owner) that can be granted exclusive access to
[codex:1469266] * specific functions.
[codex:1469266] *
[codex:1469266] * By default, the owner account will be the one that deploys the contract. This
[codex:1469266] * can later be changed with {transferOwnership}.
[codex:1469266] *
[codex:1469266]
[codex:1469266] thinking
[codex:1469266] **Evaluating KintoLeftOver contract security**
[codex:1469266] codex
[codex:1469266] {"no_findings":true,"summary":"Reviewed first-party contract KintoLeftOver for the requested vulnerability classes; no exploitable issues found.","findings":[]}
[codex:1469266] tokens used
[codex:1469266] 15,958
[codex:1469266] {"no_findings":true,"summary":"Reviewed first-party contract KintoLeftOver for the requested vulnerability classes; no exploitable issues found.","findings":[]}
{
"codex": {
"ran_at": "2025-12-30T21:04:44.486436+00:00",
"returncode": 0
},
"summary": "Reviewed first-party contract KintoLeftOver for the requested vulnerability classes; no exploitable issues found.",
"raw_final": {
"summary": "Reviewed first-party contract KintoLeftOver for the requested vulnerability classes; no exploitable issues found.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x000f 0000000b: JUMPI 0000000c: PUSH0 0000000d: DUP1 0000000e: REVERT 0000000f: JUMPDEST 00000010: POP 00000011: PUSH1 0x04 00000013: CALLDATASIZE 00000014: LT 00000015: PUSH2 0x009b 00000018: JUMPI 00000019: PUSH0 0000001a: CALLDATALOAD 0000001b: PUSH1 0xe0 0000001d: SHR 0000001e: DUP1 0000001f: PUSH4 0x73346f98 00000024: GT 00000025: PUSH2 0x0063 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x73346f98 0000002f: EQ 00000030: PUSH2 0x012f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x89a30271 0000003a: EQ 0000003b: PUSH2 0x0142 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8da5cb5b 00000045: EQ 00000046: PUSH2 0x015d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeb637fb0 00000050: EQ 00000051: PUSH2 0x016d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0180 0000005f: JUMPI 00000060: PUSH0 00000061: DUP1 00000062: REVERT 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x117803e3 0000006a: EQ 0000006b: PUSH2 0x009f 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x1b992218 00000075: EQ 00000076: PUSH2 0x00d7 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x2a0b4ebf 00000080: EQ 00000081: PUSH2 0x00e1 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x43b0215f 0000008b: EQ 0000008c: PUSH2 0x00e9 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0x715018a6 00000096: EQ 00000097: PUSH2 0x0127 0000009a: JUMPI 0000009b: JUMPDEST 0000009c: PUSH0 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: PUSH2 0x00ba 000000a3: PUSH20 0x2e7111ef34d39b36ec84c656b947ca746e495ff6 000000b8: DUP2 000000b9: JUMP 000000ba: JUMPDEST 000000bb: PUSH1 0x40 000000bd: MLOAD 000000be: PUSH1 0x01 000000c0: PUSH1 0x01 000000c2: PUSH1 0xa0 000000c4: SHL 000000c5: SUB 000000c6: SWAP1 000000c7: SWAP2 000000c8: AND 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x20 000000cd: ADD 000000ce: JUMPDEST 000000cf: PUSH1 0x40 000000d1: MLOAD 000000d2: DUP1 000000d3: SWAP2 000000d4: SUB 000000d5: SWAP1 000000d6: RETURN 000000d7: JUMPDEST 000000d8: PUSH2 0x00df 000000db: PUSH2 0x0193 000000de: JUMP 000000df: JUMPDEST 000000e0: STOP 000000e1: JUMPDEST 000000e2: PUSH2 0x00df 000000e5: PUSH2 0x028a 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x0112 000000ed: PUSH2 0x00f7 000000f0: CALLDATASIZE 000000f1: PUSH1 0x04 000000f3: PUSH2 0x0a23 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH1 0x02 000000fa: PUSH1 0x20 000000fc: MSTORE 000000fd: PUSH0 000000fe: SWAP1 000000ff: DUP2 00000100: MSTORE 00000101: PUSH1 0x40 00000103: SWAP1 00000104: KECCAK256 00000105: DUP1 00000106: SLOAD 00000107: PUSH1 0x01 00000109: SWAP1 0000010a: SWAP2 0000010b: ADD 0000010c: SLOAD 0000010d: PUSH1 0xff 0000010f: AND 00000110: DUP3 00000111: JUMP 00000112: JUMPDEST 00000113: PUSH1 0x40 00000115: DUP1 00000116: MLOAD 00000117: SWAP3 00000118: DUP4 00000119: MSTORE 0000011a: SWAP1 0000011b: ISZERO 0000011c: ISZERO 0000011d: PUSH1 0x20 0000011f: DUP4 00000120: ADD 00000121: MSTORE 00000122: ADD 00000123: PUSH2 0x00ce 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x00df 0000012b: PUSH2 0x03c3 0000012e: JUMP 0000012f: JUMPDEST 00000130: PUSH2 0x00df 00000133: PUSH2 0x013d 00000136: CALLDATASIZE 00000137: PUSH1 0x04 00000139: PUSH2 0x0a8b 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH2 0x03d4 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH2 0x00ba 00000146: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000015b: DUP2 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH0 0000015f: SLOAD 00000160: PUSH1 0x01 00000162: PUSH1 0x01 00000164: PUSH1 0xa0 00000166: SHL 00000167: SUB 00000168: AND 00000169: PUSH2 0x00ba 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH2 0x00df 00000171: PUSH2 0x017b 00000174: CALLDATASIZE 00000175: PUSH1 0x04 00000177: PUSH2 0x0af2 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH2 0x054d 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH2 0x00df 00000184: PUSH2 0x018e 00000187: CALLDATASIZE 00000188: PUSH1 0x04 0000018a: PUSH2 0x0a23 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH2 0x05da 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x019b 00000197: PUSH2 0x0653 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH2 0x01a3 0000019f: PUSH2 0x06ac 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: PUSH4 0x70a08231 000001ac: PUSH1 0xe0 000001ae: SHL 000001af: DUP2 000001b0: MSTORE 000001b1: ADDRESS 000001b2: PUSH1 0x04 000001b4: DUP3 000001b5: ADD 000001b6: MSTORE 000001b7: PUSH0 000001b8: SWAP1 000001b9: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000001ce: SWAP1 000001cf: PUSH4 0x70a08231 000001d4: SWAP1 000001d5: PUSH1 0x24 000001d7: ADD 000001d8: PUSH1 0x20 000001da: PUSH1 0x40 000001dc: MLOAD 000001dd: DUP1 000001de: DUP4 000001df: SUB 000001e0: DUP2 000001e1: DUP7 000001e2: GAS 000001e3: STATICCALL 000001e4: ISZERO 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x01f2 000001ea: JUMPI 000001eb: RETURNDATASIZE 000001ec: PUSH0 000001ed: DUP1 000001ee: RETURNDATACOPY 000001ef: RETURNDATASIZE 000001f0: PUSH0 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: POP 000001f5: POP 000001f6: POP 000001f7: PUSH1 0x40 000001f9: MLOAD 000001fa: RETURNDATASIZE 000001fb: PUSH1 0x1f 000001fd: NOT 000001fe: PUSH1 0x1f 00000200: DUP3 00000201: ADD 00000202: AND 00000203: DUP3 00000204: ADD 00000205: DUP1 00000206: PUSH1 0x40 00000208: MSTORE 00000209: POP 0000020a: DUP2 0000020b: ADD 0000020c: SWAP1 0000020d: PUSH2 0x0216 00000210: SWAP2 00000211: SWAP1 00000212: PUSH2 0x0b2e 00000215: JUMP 00000216: JUMPDEST 00000217: SWAP1 00000218: POP 00000219: PUSH2 0x024b 0000021c: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000231: PUSH20 0x2e7111ef34d39b36ec84c656b947ca746e495ff6 00000246: DUP4 00000247: PUSH2 0x0705 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH1 0x40 0000024e: MLOAD 0000024f: DUP2 00000250: DUP2 00000251: MSTORE 00000252: PUSH32 0x1010ac54e8c5565ea52205d406de8d8a2fc6886f41ae0c855d68ee076b5615aa 00000273: SWAP1 00000274: PUSH1 0x20 00000276: ADD 00000277: PUSH1 0x40 00000279: MLOAD 0000027a: DUP1 0000027b: SWAP2 0000027c: SUB 0000027d: SWAP1 0000027e: LOG1 0000027f: POP 00000280: PUSH2 0x0288 00000283: PUSH1 0x01 00000285: DUP1 00000286: SSTORE 00000287: JUMP 00000288: JUMPDEST 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x0292 0000028e: PUSH2 0x06ac 00000291: JUMP 00000292: JUMPDEST 00000293: CALLER 00000294: PUSH0 00000295: SWAP1 00000296: DUP2 00000297: MSTORE 00000298: PUSH1 0x02 0000029a: PUSH1 0x20 0000029c: MSTORE 0000029d: PUSH1 0x40 0000029f: SWAP1 000002a0: KECCAK256 000002a1: PUSH1 0x01 000002a3: ADD 000002a4: SLOAD 000002a5: PUSH1 0xff 000002a7: AND 000002a8: ISZERO 000002a9: PUSH2 0x02eb 000002ac: JUMPI 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: PUSH3 0x461bcd 000002b4: PUSH1 0xe5 000002b6: SHL 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: PUSH1 0x04 000002bd: DUP3 000002be: ADD 000002bf: MSTORE 000002c0: PUSH1 0x0f 000002c2: PUSH1 0x24 000002c4: DUP3 000002c5: ADD 000002c6: MSTORE 000002c7: PUSH15 0x105b1c9958591e4818db185a5b5959 000002d7: PUSH1 0x8a 000002d9: SHL 000002da: PUSH1 0x44 000002dc: DUP3 000002dd: ADD 000002de: MSTORE 000002df: PUSH1 0x64 000002e1: ADD 000002e2: JUMPDEST 000002e3: PUSH1 0x40 000002e5: MLOAD 000002e6: DUP1 000002e7: SWAP2 000002e8: SUB 000002e9: SWAP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: CALLER 000002ed: PUSH0 000002ee: SWAP1 000002ef: DUP2 000002f0: MSTORE 000002f1: PUSH1 0x02 000002f3: PUSH1 0x20 000002f5: MSTORE 000002f6: PUSH1 0x40 000002f8: SWAP1 000002f9: KECCAK256 000002fa: SLOAD 000002fb: PUSH2 0x0339 000002fe: JUMPI 000002ff: PUSH1 0x40 00000301: MLOAD 00000302: PUSH3 0x461bcd 00000306: PUSH1 0xe5 00000308: SHL 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x20 0000030d: PUSH1 0x04 0000030f: DUP3 00000310: ADD 00000311: MSTORE 00000312: PUSH1 0x10 00000314: PUSH1 0x24 00000316: DUP3 00000317: ADD 00000318: MSTORE 00000319: PUSH16 0x4e6f7468696e6720746f20636c61696d 0000032a: PUSH1 0x80 0000032c: SHL 0000032d: PUSH1 0x44 0000032f: DUP3 00000330: ADD 00000331: MSTORE 00000332: PUSH1 0x64 00000334: ADD 00000335: PUSH2 0x02e2 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLER 0000033b: PUSH0 0000033c: DUP2 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x02 00000341: PUSH1 0x20 00000343: MSTORE 00000344: PUSH1 0x40 00000346: SWAP1 00000347: KECCAK256 00000348: PUSH1 0x01 0000034a: DUP2 0000034b: DUP2 0000034c: ADD 0000034d: DUP1 0000034e: SLOAD 0000034f: PUSH1 0xff 00000351: NOT 00000352: AND 00000353: SWAP1 00000354: SWAP2 00000355: OR 00000356: SWAP1 00000357: SSTORE 00000358: SLOAD 00000359: PUSH2 0x0377 0000035c: SWAP2 0000035d: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000372: SWAP2 00000373: PUSH2 0x0705 00000376: JUMP 00000377: JUMPDEST 00000378: CALLER 00000379: PUSH0 0000037a: DUP2 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x02 0000037f: PUSH1 0x20 00000381: SWAP1 00000382: DUP2 00000383: MSTORE 00000384: PUSH1 0x40 00000386: SWAP2 00000387: DUP3 00000388: SWAP1 00000389: KECCAK256 0000038a: SLOAD 0000038b: SWAP2 0000038c: MLOAD 0000038d: SWAP2 0000038e: DUP3 0000038f: MSTORE 00000390: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 000003b1: SWAP2 000003b2: ADD 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: DUP1 000003b7: SWAP2 000003b8: SUB 000003b9: SWAP1 000003ba: LOG2 000003bb: PUSH2 0x0288 000003be: PUSH1 0x01 000003c0: DUP1 000003c1: SSTORE 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH2 0x03cb 000003c7: PUSH2 0x0653 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH2 0x0288 000003cf: PUSH0 000003d0: PUSH2 0x075c 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH2 0x03dc 000003d8: PUSH2 0x0653 000003db: JUMP 000003dc: JUMPDEST 000003dd: DUP3 000003de: DUP2 000003df: EQ 000003e0: PUSH2 0x041c 000003e3: JUMPI 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: PUSH3 0x461bcd 000003eb: PUSH1 0xe5 000003ed: SHL 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: PUSH1 0x04 000003f4: DUP3 000003f5: ADD 000003f6: MSTORE 000003f7: PUSH1 0x0e 000003f9: PUSH1 0x24 000003fb: DUP3 000003fc: ADD 000003fd: MSTORE 000003fe: PUSH14 0x496e76616c696420706172616d73 0000040d: PUSH1 0x90 0000040f: SHL 00000410: PUSH1 0x44 00000412: DUP3 00000413: ADD 00000414: MSTORE 00000415: PUSH1 0x64 00000417: ADD 00000418: PUSH2 0x02e2 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH0 0000041e: JUMPDEST 0000041f: DUP4 00000420: DUP2 00000421: LT 00000422: ISZERO 00000423: PUSH2 0x0546 00000426: JUMPI 00000427: PUSH1 0x02 00000429: PUSH0 0000042a: DUP7 0000042b: DUP7 0000042c: DUP5 0000042d: DUP2 0000042e: DUP2 0000042f: LT 00000430: PUSH2 0x043b 00000433: JUMPI 00000434: PUSH2 0x043b 00000437: PUSH2 0x0b45 0000043a: JUMP 0000043b: JUMPDEST 0000043c: SWAP1 0000043d: POP 0000043e: PUSH1 0x20 00000440: MUL 00000441: ADD 00000442: PUSH1 0x20 00000444: DUP2 00000445: ADD 00000446: SWAP1 00000447: PUSH2 0x0450 0000044a: SWAP2 0000044b: SWAP1 0000044c: PUSH2 0x0a23 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH1 0x01 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: SHL 00000458: SUB 00000459: AND 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: DUP2 0000045f: ADD 00000460: SWAP2 00000461: SWAP1 00000462: SWAP2 00000463: MSTORE 00000464: PUSH1 0x40 00000466: ADD 00000467: PUSH0 00000468: KECCAK256 00000469: PUSH1 0x01 0000046b: ADD 0000046c: SLOAD 0000046d: PUSH1 0xff 0000046f: AND 00000470: ISZERO 00000471: PUSH2 0x04b3 00000474: JUMPI 00000475: PUSH1 0x40 00000477: MLOAD 00000478: PUSH3 0x461bcd 0000047c: PUSH1 0xe5 0000047e: SHL 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x20 00000483: PUSH1 0x04 00000485: DUP3 00000486: ADD 00000487: MSTORE 00000488: PUSH1 0x14 0000048a: PUSH1 0x24 0000048c: DUP3 0000048d: ADD 0000048e: MSTORE 0000048f: PUSH20 0x155cd95c88185b1c9958591e4818db185a5b5959 000004a4: PUSH1 0x62 000004a6: SHL 000004a7: PUSH1 0x44 000004a9: DUP3 000004aa: ADD 000004ab: MSTORE 000004ac: PUSH1 0x64 000004ae: ADD 000004af: PUSH2 0x02e2 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: PUSH1 0x40 000004ba: ADD 000004bb: PUSH1 0x40 000004bd: MSTORE 000004be: DUP1 000004bf: DUP5 000004c0: DUP5 000004c1: DUP5 000004c2: DUP2 000004c3: DUP2 000004c4: LT 000004c5: PUSH2 0x04d0 000004c8: JUMPI 000004c9: PUSH2 0x04d0 000004cc: PUSH2 0x0b45 000004cf: JUMP 000004d0: JUMPDEST 000004d1: SWAP1 000004d2: POP 000004d3: PUSH1 0x20 000004d5: MUL 000004d6: ADD 000004d7: CALLDATALOAD 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH1 0x20 000004dc: ADD 000004dd: PUSH0 000004de: ISZERO 000004df: ISZERO 000004e0: DUP2 000004e1: MSTORE 000004e2: POP 000004e3: PUSH1 0x02 000004e5: PUSH0 000004e6: DUP8 000004e7: DUP8 000004e8: DUP6 000004e9: DUP2 000004ea: DUP2 000004eb: LT 000004ec: PUSH2 0x04f7 000004ef: JUMPI 000004f0: PUSH2 0x04f7 000004f3: PUSH2 0x0b45 000004f6: JUMP 000004f7: JUMPDEST 000004f8: SWAP1 000004f9: POP 000004fa: PUSH1 0x20 000004fc: MUL 000004fd: ADD 000004fe: PUSH1 0x20 00000500: DUP2 00000501: ADD 00000502: SWAP1 00000503: PUSH2 0x050c 00000506: SWAP2 00000507: SWAP1 00000508: PUSH2 0x0a23 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x01 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: SHL 00000514: SUB 00000515: AND 00000516: DUP2 00000517: MSTORE 00000518: PUSH1 0x20 0000051a: DUP1 0000051b: DUP3 0000051c: ADD 0000051d: SWAP3 0000051e: SWAP1 0000051f: SWAP3 00000520: MSTORE 00000521: PUSH1 0x40 00000523: ADD 00000524: PUSH0 00000525: KECCAK256 00000526: DUP3 00000527: MLOAD 00000528: DUP2 00000529: SSTORE 0000052a: SWAP2 0000052b: ADD 0000052c: MLOAD 0000052d: PUSH1 0x01 0000052f: SWAP2 00000530: DUP3 00000531: ADD 00000532: DUP1 00000533: SLOAD 00000534: PUSH1 0xff 00000536: NOT 00000537: AND 00000538: SWAP2 00000539: ISZERO 0000053a: ISZERO 0000053b: SWAP2 0000053c: SWAP1 0000053d: SWAP2 0000053e: OR 0000053f: SWAP1 00000540: SSTORE 00000541: ADD 00000542: PUSH2 0x041e 00000545: JUMP 00000546: JUMPDEST 00000547: POP 00000548: POP 00000549: POP 0000054a: POP 0000054b: POP 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH2 0x0555 00000551: PUSH2 0x0653 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x01 00000558: PUSH1 0x01 0000055a: PUSH1 0xa0 0000055c: SHL 0000055d: SUB 0000055e: DUP3 0000055f: AND 00000560: PUSH0 00000561: SWAP1 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x02 00000566: PUSH1 0x20 00000568: MSTORE 00000569: PUSH1 0x40 0000056b: SWAP1 0000056c: KECCAK256 0000056d: PUSH1 0x01 0000056f: ADD 00000570: SLOAD 00000571: PUSH1 0xff 00000573: AND 00000574: ISZERO 00000575: PUSH2 0x05b1 00000578: JUMPI 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: PUSH3 0x461bcd 00000580: PUSH1 0xe5 00000582: SHL 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x20 00000587: PUSH1 0x04 00000589: DUP3 0000058a: ADD 0000058b: MSTORE 0000058c: PUSH1 0x0e 0000058e: PUSH1 0x24 00000590: DUP3 00000591: ADD 00000592: MSTORE 00000593: PUSH14 0x5573657220696d6d757461626c65 000005a2: PUSH1 0x90 000005a4: SHL 000005a5: PUSH1 0x44 000005a7: DUP3 000005a8: ADD 000005a9: MSTORE 000005aa: PUSH1 0x64 000005ac: ADD 000005ad: PUSH2 0x02e2 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH1 0x01 000005b4: PUSH1 0x01 000005b6: PUSH1 0xa0 000005b8: SHL 000005b9: SUB 000005ba: DUP3 000005bb: AND 000005bc: PUSH0 000005bd: SWAP1 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x02 000005c2: PUSH1 0x20 000005c4: MSTORE 000005c5: PUSH1 0x40 000005c7: SWAP1 000005c8: KECCAK256 000005c9: DUP2 000005ca: SWAP1 000005cb: PUSH2 0x05d4 000005ce: DUP3 000005cf: DUP3 000005d0: PUSH2 0x0b66 000005d3: JUMP 000005d4: JUMPDEST 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH2 0x05e2 000005de: PUSH2 0x0653 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH1 0x01 000005e5: PUSH1 0x01 000005e7: PUSH1 0xa0 000005e9: SHL 000005ea: SUB 000005eb: DUP2 000005ec: AND 000005ed: PUSH2 0x0647 000005f0: JUMPI 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: PUSH3 0x461bcd 000005f8: PUSH1 0xe5 000005fa: SHL 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH1 0x20 000005ff: PUSH1 0x04 00000601: DUP3 00000602: ADD 00000603: MSTORE 00000604: PUSH1 0x26 00000606: PUSH1 0x24 00000608: DUP3 00000609: ADD 0000060a: MSTORE 0000060b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000062c: PUSH1 0x44 0000062e: DUP3 0000062f: ADD 00000630: MSTORE 00000631: PUSH6 0x646472657373 00000638: PUSH1 0xd0 0000063a: SHL 0000063b: PUSH1 0x64 0000063d: DUP3 0000063e: ADD 0000063f: MSTORE 00000640: PUSH1 0x84 00000642: ADD 00000643: PUSH2 0x02e2 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH2 0x0650 0000064b: DUP2 0000064c: PUSH2 0x075c 0000064f: JUMP 00000650: JUMPDEST 00000651: POP 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH0 00000655: SLOAD 00000656: PUSH1 0x01 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: SHL 0000065d: SUB 0000065e: AND 0000065f: CALLER 00000660: EQ 00000661: PUSH2 0x0288 00000664: JUMPI 00000665: PUSH1 0x40 00000667: MLOAD 00000668: PUSH3 0x461bcd 0000066c: PUSH1 0xe5 0000066e: SHL 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x20 00000673: PUSH1 0x04 00000675: DUP3 00000676: ADD 00000677: DUP2 00000678: SWAP1 00000679: MSTORE 0000067a: PUSH1 0x24 0000067c: DUP3 0000067d: ADD 0000067e: MSTORE 0000067f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000006a0: PUSH1 0x44 000006a2: DUP3 000006a3: ADD 000006a4: MSTORE 000006a5: PUSH1 0x64 000006a7: ADD 000006a8: PUSH2 0x02e2 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH1 0x02 000006af: PUSH1 0x01 000006b1: SLOAD 000006b2: SUB 000006b3: PUSH2 0x06fe 000006b6: JUMPI 000006b7: PUSH1 0x40 000006b9: MLOAD 000006ba: PUSH3 0x461bcd 000006be: PUSH1 0xe5 000006c0: SHL 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: PUSH1 0x04 000006c7: DUP3 000006c8: ADD 000006c9: MSTORE 000006ca: PUSH1 0x1f 000006cc: PUSH1 0x24 000006ce: DUP3 000006cf: ADD 000006d0: MSTORE 000006d1: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000006f2: PUSH1 0x44 000006f4: DUP3 000006f5: ADD 000006f6: MSTORE 000006f7: PUSH1 0x64 000006f9: ADD 000006fa: PUSH2 0x02e2 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH1 0x02 00000701: PUSH1 0x01 00000703: SSTORE 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x40 00000708: DUP1 00000709: MLOAD 0000070a: PUSH1 0x01 0000070c: PUSH1 0x01 0000070e: PUSH1 0xa0 00000710: SHL 00000711: SUB 00000712: DUP5 00000713: AND 00000714: PUSH1 0x24 00000716: DUP3 00000717: ADD 00000718: MSTORE 00000719: PUSH1 0x44 0000071b: DUP1 0000071c: DUP3 0000071d: ADD 0000071e: DUP5 0000071f: SWAP1 00000720: MSTORE 00000721: DUP3 00000722: MLOAD 00000723: DUP1 00000724: DUP4 00000725: SUB 00000726: SWAP1 00000727: SWAP2 00000728: ADD 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x64 0000072d: SWAP1 0000072e: SWAP2 0000072f: ADD 00000730: SWAP1 00000731: SWAP2 00000732: MSTORE 00000733: PUSH1 0x20 00000735: DUP2 00000736: ADD 00000737: DUP1 00000738: MLOAD 00000739: PUSH1 0x01 0000073b: PUSH1 0x01 0000073d: PUSH1 0xe0 0000073f: SHL 00000740: SUB 00000741: AND 00000742: PUSH4 0xa9059cbb 00000747: PUSH1 0xe0 00000749: SHL 0000074a: OR 0000074b: SWAP1 0000074c: MSTORE 0000074d: PUSH2 0x0757 00000750: SWAP1 00000751: DUP5 00000752: SWAP1 00000753: PUSH2 0x07ab 00000756: JUMP 00000757: JUMPDEST 00000758: POP 00000759: POP 0000075a: POP 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH0 0000075e: DUP1 0000075f: SLOAD 00000760: PUSH1 0x01 00000762: PUSH1 0x01 00000764: PUSH1 0xa0 00000766: SHL 00000767: SUB 00000768: DUP4 00000769: DUP2 0000076a: AND 0000076b: PUSH1 0x01 0000076d: PUSH1 0x01 0000076f: PUSH1 0xa0 00000771: SHL 00000772: SUB 00000773: NOT 00000774: DUP4 00000775: AND 00000776: DUP2 00000777: OR 00000778: DUP5 00000779: SSTORE 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: SWAP2 0000077e: SWAP1 0000077f: SWAP3 00000780: AND 00000781: SWAP3 00000782: DUP4 00000783: SWAP2 00000784: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007a5: SWAP2 000007a6: SWAP1 000007a7: LOG3 000007a8: POP 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH0 000007ad: PUSH2 0x07ff 000007b0: DUP3 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: PUSH1 0x40 000007b7: ADD 000007b8: PUSH1 0x40 000007ba: MSTORE 000007bb: DUP1 000007bc: PUSH1 0x20 000007be: DUP2 000007bf: MSTORE 000007c0: PUSH1 0x20 000007c2: ADD 000007c3: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000007e4: DUP2 000007e5: MSTORE 000007e6: POP 000007e7: DUP6 000007e8: PUSH1 0x01 000007ea: PUSH1 0x01 000007ec: PUSH1 0xa0 000007ee: SHL 000007ef: SUB 000007f0: AND 000007f1: PUSH2 0x087e 000007f4: SWAP1 000007f5: SWAP3 000007f6: SWAP2 000007f7: SWAP1 000007f8: PUSH4 0xffffffff 000007fd: AND 000007fe: JUMP 000007ff: JUMPDEST 00000800: SWAP1 00000801: POP 00000802: DUP1 00000803: MLOAD 00000804: PUSH0 00000805: EQ 00000806: DUP1 00000807: PUSH2 0x081f 0000080a: JUMPI 0000080b: POP 0000080c: DUP1 0000080d: DUP1 0000080e: PUSH1 0x20 00000810: ADD 00000811: SWAP1 00000812: MLOAD 00000813: DUP2 00000814: ADD 00000815: SWAP1 00000816: PUSH2 0x081f 00000819: SWAP2 0000081a: SWAP1 0000081b: PUSH2 0x0b92 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH2 0x0757 00000823: JUMPI 00000824: PUSH1 0x40 00000826: MLOAD 00000827: PUSH3 0x461bcd 0000082b: PUSH1 0xe5 0000082d: SHL 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x20 00000832: PUSH1 0x04 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: PUSH1 0x2a 00000839: PUSH1 0x24 0000083b: DUP3 0000083c: ADD 0000083d: MSTORE 0000083e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 0000085f: PUSH1 0x44 00000861: DUP3 00000862: ADD 00000863: MSTORE 00000864: PUSH10 0x1bdd081cdd58d8d95959 0000086f: PUSH1 0xb2 00000871: SHL 00000872: PUSH1 0x64 00000874: DUP3 00000875: ADD 00000876: MSTORE 00000877: PUSH1 0x84 00000879: ADD 0000087a: PUSH2 0x02e2 0000087d: JUMP 0000087e: JUMPDEST 0000087f: PUSH1 0x60 00000881: PUSH2 0x088c 00000884: DUP5 00000885: DUP5 00000886: PUSH0 00000887: DUP6 00000888: PUSH2 0x0894 0000088b: JUMP 0000088c: JUMPDEST 0000088d: SWAP5 0000088e: SWAP4 0000088f: POP 00000890: POP 00000891: POP 00000892: POP 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x60 00000897: DUP3 00000898: SELFBALANCE 00000899: LT 0000089a: ISZERO 0000089b: PUSH2 0x08f5 0000089e: JUMPI 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: PUSH3 0x461bcd 000008a6: PUSH1 0xe5 000008a8: SHL 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x20 000008ad: PUSH1 0x04 000008af: DUP3 000008b0: ADD 000008b1: MSTORE 000008b2: PUSH1 0x26 000008b4: PUSH1 0x24 000008b6: DUP3 000008b7: ADD 000008b8: MSTORE 000008b9: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000008da: PUSH1 0x44 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: PUSH6 0x1c8818d85b1b 000008e6: PUSH1 0xd2 000008e8: SHL 000008e9: PUSH1 0x64 000008eb: DUP3 000008ec: ADD 000008ed: MSTORE 000008ee: PUSH1 0x84 000008f0: ADD 000008f1: PUSH2 0x02e2 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH0 000008f7: DUP1 000008f8: DUP7 000008f9: PUSH1 0x01 000008fb: PUSH1 0x01 000008fd: PUSH1 0xa0 000008ff: SHL 00000900: SUB 00000901: AND 00000902: DUP6 00000903: DUP8 00000904: PUSH1 0x40 00000906: MLOAD 00000907: PUSH2 0x0910 0000090a: SWAP2 0000090b: SWAP1 0000090c: PUSH2 0x0bcf 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH0 00000912: PUSH1 0x40 00000914: MLOAD 00000915: DUP1 00000916: DUP4 00000917: SUB 00000918: DUP2 00000919: DUP6 0000091a: DUP8 0000091b: GAS 0000091c: CALL 0000091d: SWAP3 0000091e: POP 0000091f: POP 00000920: POP 00000921: RETURNDATASIZE 00000922: DUP1 00000923: PUSH0 00000924: DUP2 00000925: EQ 00000926: PUSH2 0x094a 00000929: JUMPI 0000092a: PUSH1 0x40 0000092c: MLOAD 0000092d: SWAP2 0000092e: POP 0000092f: PUSH1 0x1f 00000931: NOT 00000932: PUSH1 0x3f 00000934: RETURNDATASIZE 00000935: ADD 00000936: AND 00000937: DUP3 00000938: ADD 00000939: PUSH1 0x40 0000093b: MSTORE 0000093c: RETURNDATASIZE 0000093d: DUP3 0000093e: MSTORE 0000093f: RETURNDATASIZE 00000940: PUSH0 00000941: PUSH1 0x20 00000943: DUP5 00000944: ADD 00000945: RETURNDATACOPY 00000946: PUSH2 0x094f 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH1 0x60 0000094d: SWAP2 0000094e: POP 0000094f: JUMPDEST 00000950: POP 00000951: SWAP2 00000952: POP 00000953: SWAP2 00000954: POP 00000955: PUSH2 0x0960 00000958: DUP8 00000959: DUP4 0000095a: DUP4 0000095b: DUP8 0000095c: PUSH2 0x096b 0000095f: JUMP 00000960: JUMPDEST 00000961: SWAP8 00000962: SWAP7 00000963: POP 00000964: POP 00000965: POP 00000966: POP 00000967: POP 00000968: POP 00000969: POP 0000096a: JUMP 0000096b: JUMPDEST 0000096c: PUSH1 0x60 0000096e: DUP4 0000096f: ISZERO 00000970: PUSH2 0x09d9 00000973: JUMPI 00000974: DUP3 00000975: MLOAD 00000976: PUSH0 00000977: SUB 00000978: PUSH2 0x09d2 0000097b: JUMPI 0000097c: PUSH1 0x01 0000097e: PUSH1 0x01 00000980: PUSH1 0xa0 00000982: SHL 00000983: SUB 00000984: DUP6 00000985: AND 00000986: EXTCODESIZE 00000987: PUSH2 0x09d2 0000098a: JUMPI 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: PUSH3 0x461bcd 00000992: PUSH1 0xe5 00000994: SHL 00000995: DUP2 00000996: MSTORE 00000997: PUSH1 0x20 00000999: PUSH1 0x04 0000099b: DUP3 0000099c: ADD 0000099d: MSTORE 0000099e: PUSH1 0x1d 000009a0: PUSH1 0x24 000009a2: DUP3 000009a3: ADD 000009a4: MSTORE 000009a5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000009c6: PUSH1 0x44 000009c8: DUP3 000009c9: ADD 000009ca: MSTORE 000009cb: PUSH1 0x64 000009cd: ADD 000009ce: PUSH2 0x02e2 000009d1: JUMP 000009d2: JUMPDEST 000009d3: POP 000009d4: DUP2 000009d5: PUSH2 0x088c 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH2 0x088c 000009dd: DUP4 000009de: DUP4 000009df: DUP2 000009e0: MLOAD 000009e1: ISZERO 000009e2: PUSH2 0x09ee 000009e5: JUMPI 000009e6: DUP2 000009e7: MLOAD 000009e8: DUP1 000009e9: DUP4 000009ea: PUSH1 0x20 000009ec: ADD 000009ed: REVERT 000009ee: JUMPDEST 000009ef: DUP1 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: PUSH3 0x461bcd 000009f7: PUSH1 0xe5 000009f9: SHL 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x04 000009fe: ADD 000009ff: PUSH2 0x02e2 00000a02: SWAP2 00000a03: SWAP1 00000a04: PUSH2 0x0bea 00000a07: JUMP 00000a08: JUMPDEST 00000a09: DUP1 00000a0a: CALLDATALOAD 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0xa0 00000a11: SHL 00000a12: SUB 00000a13: DUP2 00000a14: AND 00000a15: DUP2 00000a16: EQ 00000a17: PUSH2 0x0a1e 00000a1a: JUMPI 00000a1b: PUSH0 00000a1c: DUP1 00000a1d: REVERT 00000a1e: JUMPDEST 00000a1f: SWAP2 00000a20: SWAP1 00000a21: POP 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH0 00000a25: PUSH1 0x20 00000a27: DUP3 00000a28: DUP5 00000a29: SUB 00000a2a: SLT 00000a2b: ISZERO 00000a2c: PUSH2 0x0a33 00000a2f: JUMPI 00000a30: PUSH0 00000a31: DUP1 00000a32: REVERT 00000a33: JUMPDEST 00000a34: PUSH2 0x0a3c 00000a37: DUP3 00000a38: PUSH2 0x0a08 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: SWAP4 00000a3e: SWAP3 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: JUMP 00000a43: JUMPDEST 00000a44: PUSH0 00000a45: DUP1 00000a46: DUP4 00000a47: PUSH1 0x1f 00000a49: DUP5 00000a4a: ADD 00000a4b: SLT 00000a4c: PUSH2 0x0a53 00000a4f: JUMPI 00000a50: PUSH0 00000a51: DUP1 00000a52: REVERT 00000a53: JUMPDEST 00000a54: POP 00000a55: DUP2 00000a56: CALLDATALOAD 00000a57: PUSH8 0xffffffffffffffff 00000a60: DUP2 00000a61: GT 00000a62: ISZERO 00000a63: PUSH2 0x0a6a 00000a66: JUMPI 00000a67: PUSH0 00000a68: DUP1 00000a69: REVERT 00000a6a: JUMPDEST 00000a6b: PUSH1 0x20 00000a6d: DUP4 00000a6e: ADD 00000a6f: SWAP2 00000a70: POP 00000a71: DUP4 00000a72: PUSH1 0x20 00000a74: DUP3 00000a75: PUSH1 0x05 00000a77: SHL 00000a78: DUP6 00000a79: ADD 00000a7a: ADD 00000a7b: GT 00000a7c: ISZERO 00000a7d: PUSH2 0x0a84 00000a80: JUMPI 00000a81: PUSH0 00000a82: DUP1 00000a83: REVERT 00000a84: JUMPDEST 00000a85: SWAP3 00000a86: POP 00000a87: SWAP3 00000a88: SWAP1 00000a89: POP 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH0 00000a8d: DUP1 00000a8e: PUSH0 00000a8f: DUP1 00000a90: PUSH1 0x40 00000a92: DUP6 00000a93: DUP8 00000a94: SUB 00000a95: SLT 00000a96: ISZERO 00000a97: PUSH2 0x0a9e 00000a9a: JUMPI 00000a9b: PUSH0 00000a9c: DUP1 00000a9d: REVERT 00000a9e: JUMPDEST 00000a9f: DUP5 00000aa0: CALLDATALOAD 00000aa1: PUSH8 0xffffffffffffffff 00000aaa: DUP1 00000aab: DUP3 00000aac: GT 00000aad: ISZERO 00000aae: PUSH2 0x0ab5 00000ab1: JUMPI 00000ab2: PUSH0 00000ab3: DUP1 00000ab4: REVERT 00000ab5: JUMPDEST 00000ab6: PUSH2 0x0ac1 00000ab9: DUP9 00000aba: DUP4 00000abb: DUP10 00000abc: ADD 00000abd: PUSH2 0x0a43 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: SWAP1 00000ac3: SWAP7 00000ac4: POP 00000ac5: SWAP5 00000ac6: POP 00000ac7: PUSH1 0x20 00000ac9: DUP8 00000aca: ADD 00000acb: CALLDATALOAD 00000acc: SWAP2 00000acd: POP 00000ace: DUP1 00000acf: DUP3 00000ad0: GT 00000ad1: ISZERO 00000ad2: PUSH2 0x0ad9 00000ad5: JUMPI 00000ad6: PUSH0 00000ad7: DUP1 00000ad8: REVERT 00000ad9: JUMPDEST 00000ada: POP 00000adb: PUSH2 0x0ae6 00000ade: DUP8 00000adf: DUP3 00000ae0: DUP9 00000ae1: ADD 00000ae2: PUSH2 0x0a43 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: SWAP6 00000ae8: SWAP9 00000ae9: SWAP5 00000aea: SWAP8 00000aeb: POP 00000aec: SWAP6 00000aed: POP 00000aee: POP 00000aef: POP 00000af0: POP 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH0 00000af4: DUP1 00000af5: DUP3 00000af6: DUP5 00000af7: SUB 00000af8: PUSH1 0x60 00000afa: DUP2 00000afb: SLT 00000afc: ISZERO 00000afd: PUSH2 0x0b04 00000b00: JUMPI 00000b01: PUSH0 00000b02: DUP1 00000b03: REVERT 00000b04: JUMPDEST 00000b05: PUSH2 0x0b0d 00000b08: DUP5 00000b09: PUSH2 0x0a08 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: SWAP3 00000b0f: POP 00000b10: PUSH1 0x40 00000b12: PUSH1 0x1f 00000b14: NOT 00000b15: DUP3 00000b16: ADD 00000b17: SLT 00000b18: ISZERO 00000b19: PUSH2 0x0b20 00000b1c: JUMPI 00000b1d: PUSH0 00000b1e: DUP1 00000b1f: REVERT 00000b20: JUMPDEST 00000b21: POP 00000b22: PUSH1 0x20 00000b24: DUP4 00000b25: ADD 00000b26: SWAP1 00000b27: POP 00000b28: SWAP3 00000b29: POP 00000b2a: SWAP3 00000b2b: SWAP1 00000b2c: POP 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH0 00000b30: PUSH1 0x20 00000b32: DUP3 00000b33: DUP5 00000b34: SUB 00000b35: SLT 00000b36: ISZERO 00000b37: PUSH2 0x0b3e 00000b3a: JUMPI 00000b3b: PUSH0 00000b3c: DUP1 00000b3d: REVERT 00000b3e: JUMPDEST 00000b3f: POP 00000b40: MLOAD 00000b41: SWAP2 00000b42: SWAP1 00000b43: POP 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH4 0x4e487b71 00000b4b: PUSH1 0xe0 00000b4d: SHL 00000b4e: PUSH0 00000b4f: MSTORE 00000b50: PUSH1 0x32 00000b52: PUSH1 0x04 00000b54: MSTORE 00000b55: PUSH1 0x24 00000b57: PUSH0 00000b58: REVERT 00000b59: JUMPDEST 00000b5a: DUP1 00000b5b: ISZERO 00000b5c: ISZERO 00000b5d: DUP2 00000b5e: EQ 00000b5f: PUSH2 0x0650 00000b62: JUMPI 00000b63: PUSH0 00000b64: DUP1 00000b65: REVERT 00000b66: JUMPDEST 00000b67: DUP2 00000b68: CALLDATALOAD 00000b69: DUP2 00000b6a: SSTORE 00000b6b: PUSH1 0x01 00000b6d: DUP2 00000b6e: ADD 00000b6f: PUSH1 0x20 00000b71: DUP4 00000b72: ADD 00000b73: CALLDATALOAD 00000b74: PUSH2 0x0b7c 00000b77: DUP2 00000b78: PUSH2 0x0b59 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: DUP2 00000b7e: SLOAD 00000b7f: SWAP1 00000b80: ISZERO 00000b81: ISZERO 00000b82: PUSH1 0xff 00000b84: AND 00000b85: PUSH1 0xff 00000b87: NOT 00000b88: SWAP2 00000b89: SWAP1 00000b8a: SWAP2 00000b8b: AND 00000b8c: OR 00000b8d: SWAP1 00000b8e: SSTORE 00000b8f: POP 00000b90: POP 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH0 00000b94: PUSH1 0x20 00000b96: DUP3 00000b97: DUP5 00000b98: SUB 00000b99: SLT 00000b9a: ISZERO 00000b9b: PUSH2 0x0ba2 00000b9e: JUMPI 00000b9f: PUSH0 00000ba0: DUP1 00000ba1: REVERT 00000ba2: JUMPDEST 00000ba3: DUP2 00000ba4: MLOAD 00000ba5: PUSH2 0x0a3c 00000ba8: DUP2 00000ba9: PUSH2 0x0b59 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH0 00000baf: JUMPDEST 00000bb0: DUP4 00000bb1: DUP2 00000bb2: LT 00000bb3: ISZERO 00000bb4: PUSH2 0x0bc7 00000bb7: JUMPI 00000bb8: DUP2 00000bb9: DUP2 00000bba: ADD 00000bbb: MLOAD 00000bbc: DUP4 00000bbd: DUP3 00000bbe: ADD 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: PUSH2 0x0baf 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: POP 00000bc9: POP 00000bca: PUSH0 00000bcb: SWAP2 00000bcc: ADD 00000bcd: MSTORE 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH0 00000bd1: DUP3 00000bd2: MLOAD 00000bd3: PUSH2 0x0be0 00000bd6: DUP2 00000bd7: DUP5 00000bd8: PUSH1 0x20 00000bda: DUP8 00000bdb: ADD 00000bdc: PUSH2 0x0bad 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: SWAP2 00000be2: SWAP1 00000be3: SWAP2 00000be4: ADD 00000be5: SWAP3 00000be6: SWAP2 00000be7: POP 00000be8: POP 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH1 0x20 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH0 00000bf0: DUP3 00000bf1: MLOAD 00000bf2: DUP1 00000bf3: PUSH1 0x20 00000bf5: DUP5 00000bf6: ADD 00000bf7: MSTORE 00000bf8: PUSH2 0x0c08 00000bfb: DUP2 00000bfc: PUSH1 0x40 00000bfe: DUP6 00000bff: ADD 00000c00: PUSH1 0x20 00000c02: DUP8 00000c03: ADD 00000c04: PUSH2 0x0bad 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x1f 00000c0b: ADD 00000c0c: PUSH1 0x1f 00000c0e: NOT 00000c0f: AND 00000c10: SWAP2 00000c11: SWAP1 00000c12: SWAP2 00000c13: ADD 00000c14: PUSH1 0x40 00000c16: ADD 00000c17: SWAP3 00000c18: SWAP2 00000c19: POP 00000c1a: POP 00000c1b: JUMP 00000c1c: INVALID 00000c1d: LOG2 00000c1e: PUSH5 0x6970667358 00000c24: UNKNOWN(0x22) 00000c25: SLT 00000c26: KECCAK256 00000c27: UNKNOWN(0xD2) 00000c28: SAR 00000c29: UNKNOWN(0xEE) 00000c2a: DUP9 00000c2b: SAR 00000c2c: UNKNOWN(0xAD) 00000c2d: DIV 00000c2e: UNKNOWN(0xC2) 00000c2f: ADD 00000c30: SMOD 00000c31: SWAP4 00000c32: UNKNOWN(0xAF) 00000c33: PUSH27 0xed37d911257a02607054cacda8bd433b7aeeb664736f6c63430008 00000c4f: XOR 00000c50: STOP 00000c51: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcfd5a894a3df0ee1237d2f6901109d62c095616649148675f47542382dbd8cfa
call_targets:
0x47a56a558892de88367108183df913852617e77c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcfd5a894a3df0ee1237d2f6901109d62c095616649148675f47542382dbd8cfa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x47a56a558892de88367108183df913852617e77c"
],
"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": "0x73346f98",
"selector": "0x73346f98",
"calldata_variants": [
"0x73346f98",
"0x73346f980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89a30271",
"selector": "0x89a30271",
"calldata_variants": [
"0x89a30271",
"0x89a302710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb637fb0",
"selector": "0xeb637fb0",
"calldata_variants": [
"0xeb637fb0",
"0xeb637fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x117803e3",
"selector": "0x117803e3",
"calldata_variants": [
"0x117803e3",
"0x117803e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b992218",
"selector": "0x1b992218",
"calldata_variants": [
"0x1b992218",
"0x1b9922180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a0b4ebf",
"selector": "0x2a0b4ebf",
"calldata_variants": [
"0x2a0b4ebf",
"0x2a0b4ebf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2332,
"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: 0xcfd5a894a3df0ee1237d2f6901109d62c095616649148675f47542382dbd8cfa
call_targets:
0x47a56a558892de88367108183df913852617e77c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcfd5a894a3df0ee1237d2f6901109d62c095616649148675f47542382dbd8cfa",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x47a56a558892de88367108183df913852617e77c"
],
"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": "0x73346f98",
"selector": "0x73346f98",
"calldata_variants": [
"0x73346f98",
"0x73346f980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89a30271",
"selector": "0x89a30271",
"calldata_variants": [
"0x89a30271",
"0x89a302710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb637fb0",
"selector": "0xeb637fb0",
"calldata_variants": [
"0xeb637fb0",
"0xeb637fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x117803e3",
"selector": "0x117803e3",
"calldata_variants": [
"0x117803e3",
"0x117803e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b992218",
"selector": "0x1b992218",
"calldata_variants": [
"0x1b992218",
"0x1b9922180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a0b4ebf",
"selector": "0x2a0b4ebf",
"calldata_variants": [
"0x2a0b4ebf",
"0x2a0b4ebf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2332,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|