019b3836-5d3e-723e-a121-7fbc00536e64
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 |
|---|---|---|---|---|
| 9301 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 9302 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 83124 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 83125 | capability.graph | complete | 1 / 3 | 1 week ago |
| 83126 | detector.run | complete | 1 / 3 | 1 week ago |
| 83127 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113674 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-xfo3eyr8 model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c9b-29df-7611-8cc4-1235f1cd79d3 -------- user You are a security auditor. You ONLY have runtime bytecode + analysis artifacts. You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary, evidence bundle, callsites, storage slots, and detector findings. Special cases when reasoning from bytecode (be explicit about uncertainty): - Selector inference is best-effort; missing selectors are common. - Fallback/receive paths may be the only entrypoints. - CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage. - Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative. - Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown. - Guard detection is heuristic; absence of guards does NOT mean unguarded. - Returndata checking is unknown unless explicitly shown in evidence. - Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim. Output MUST be valid JSON matching the provided schema. - If you find nothing meaningful: set no_findings=true and findings=[]. - Otherwise: set no_findings=false and include findings with severity/category/title. - Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb". Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, accounting/invariant breaks, dangerous delegatecall, and untrusted external calls. Be conservative: if evidence is weak, mark severity low/medium and explain why. warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime. ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM. ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
{
"codex": {
"ran_at": "2026-04-05T07:46:07.708529+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 11500,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x007e 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH3 0xe03652 00000033: EQ 00000034: PUSH2 0x0281 00000037: JUMPI 00000038: DUP1 00000039: PUSH4 0x27dc297e 0000003e: EQ 0000003f: PUSH2 0x02a2 00000042: JUMPI 00000043: DUP1 00000044: PUSH4 0x3e9836c6 00000049: EQ 0000004a: PUSH2 0x0301 0000004d: JUMPI 0000004e: DUP1 0000004f: PUSH4 0x41c0e1b5 00000054: EQ 00000055: PUSH2 0x032a 00000058: JUMPI 00000059: DUP1 0000005a: PUSH4 0x89ed0b30 0000005f: EQ 00000060: PUSH2 0x0339 00000063: JUMPI 00000064: DUP1 00000065: PUSH4 0xb17acdcd 0000006a: EQ 0000006b: PUSH2 0x0351 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0xf8833efd 00000075: EQ 00000076: PUSH2 0x0369 00000079: JUMPI 0000007a: PUSH2 0x007e 0000007d: JUMP 0000007e: JUMPDEST 0000007f: PUSH2 0x027f 00000082: JUMPDEST 00000083: PUSH1 0x00 00000085: PUSH1 0x00 00000087: PUSH1 0x00 00000089: SWAP1 0000008a: SLOAD 0000008b: SWAP1 0000008c: PUSH2 0x0100 0000008f: EXP 00000090: SWAP1 00000091: DIV 00000092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000a7: AND 000000a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000bd: AND 000000be: CALLER 000000bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d4: AND 000000d5: EQ 000000d6: ISZERO 000000d7: ISZERO 000000d8: PUSH2 0x027b 000000db: JUMPI 000000dc: PUSH8 0x016345785d8a0000 000000e5: CALLVALUE 000000e6: LT 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH2 0x0002 000000ef: JUMP 000000f0: JUMPDEST 000000f1: PUSH1 0x12 000000f3: PUSH1 0x0a 000000f5: CALLVALUE 000000f6: DIV 000000f7: MUL 000000f8: ADDRESS 000000f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010e: AND 0000010f: BALANCE 00000110: LT 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH2 0x0002 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH1 0x12 0000011d: PUSH1 0x0a 0000011f: CALLVALUE 00000120: DIV 00000121: MUL 00000122: PUSH1 0x07 00000124: PUSH1 0x00 00000126: DUP3 00000127: DUP3 00000128: DUP3 00000129: POP 0000012a: SLOAD 0000012b: ADD 0000012c: SWAP3 0000012d: POP 0000012e: POP 0000012f: DUP2 00000130: SWAP1 00000131: SSTORE 00000132: POP 00000133: PUSH2 0x0213 00000136: PUSH1 0x40 00000138: PUSH1 0x40 0000013a: MLOAD 0000013b: SWAP1 0000013c: DUP2 0000013d: ADD 0000013e: PUSH1 0x40 00000140: MSTORE 00000141: DUP1 00000142: PUSH1 0x03 00000144: DUP2 00000145: MSTORE 00000146: PUSH1 0x20 00000148: ADD 00000149: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH1 0x20 0000016e: ADD 0000016f: POP 00000170: PUSH1 0x80 00000172: PUSH1 0x40 00000174: MLOAD 00000175: SWAP1 00000176: DUP2 00000177: ADD 00000178: PUSH1 0x40 0000017a: MSTORE 0000017b: DUP1 0000017c: PUSH1 0x57 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x20 00000182: ADD 00000183: PUSH32 0x68747470733a2f2f7777772e72616e646f6d2e6f72672f696e7465676572732f 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x20 000001a8: ADD 000001a9: PUSH32 0x3f6e756d3d31266d696e3d30266d61783d31303026636f6c3d3126626173653d 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x20 000001ce: ADD 000001cf: PUSH32 0x313026666f726d61743d706c61696e26726e643d6e6577000000000000000000 000001f0: DUP2 000001f1: MSTORE 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: POP 000001f6: PUSH1 0x04 000001f8: PUSH1 0x00 000001fa: SWAP1 000001fb: SLOAD 000001fc: SWAP1 000001fd: PUSH2 0x0100 00000200: EXP 00000201: SWAP1 00000202: DIV 00000203: PUSH4 0xffffffff 00000208: AND 00000209: PUSH4 0xffffffff 0000020e: AND 0000020f: PUSH2 0x0398 00000212: JUMP 00000213: JUMPDEST 00000214: SWAP1 00000215: POP 00000216: CALLVALUE 00000217: PUSH1 0x06 00000219: PUSH1 0x00 0000021b: POP 0000021c: PUSH1 0x00 0000021e: DUP4 0000021f: PUSH1 0x00 00000221: NOT 00000222: AND 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP1 00000229: DUP2 0000022a: MSTORE 0000022b: PUSH1 0x20 0000022d: ADD 0000022e: PUSH1 0x00 00000230: KECCAK256 00000231: PUSH1 0x00 00000233: POP 00000234: DUP2 00000235: SWAP1 00000236: SSTORE 00000237: POP 00000238: CALLER 00000239: PUSH1 0x03 0000023b: PUSH1 0x00 0000023d: POP 0000023e: PUSH1 0x00 00000240: DUP4 00000241: PUSH1 0x00 00000243: NOT 00000244: AND 00000245: DUP2 00000246: MSTORE 00000247: PUSH1 0x20 00000249: ADD 0000024a: SWAP1 0000024b: DUP2 0000024c: MSTORE 0000024d: PUSH1 0x20 0000024f: ADD 00000250: PUSH1 0x00 00000252: KECCAK256 00000253: PUSH1 0x00 00000255: PUSH2 0x0100 00000258: EXP 00000259: DUP2 0000025a: SLOAD 0000025b: DUP2 0000025c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000271: MUL 00000272: NOT 00000273: AND 00000274: SWAP1 00000275: DUP4 00000276: MUL 00000277: OR 00000278: SWAP1 00000279: SSTORE 0000027a: POP 0000027b: JUMPDEST 0000027c: JUMPDEST 0000027d: POP 0000027e: JUMP 0000027f: JUMPDEST 00000280: STOP 00000281: JUMPDEST 00000282: PUSH2 0x02a0 00000285: PUSH1 0x04 00000287: DUP1 00000288: DUP1 00000289: CALLDATALOAD 0000028a: SWAP1 0000028b: PUSH1 0x20 0000028d: ADD 0000028e: SWAP1 0000028f: SWAP2 00000290: SWAP1 00000291: DUP1 00000292: CALLDATALOAD 00000293: SWAP1 00000294: PUSH1 0x20 00000296: ADD 00000297: SWAP1 00000298: SWAP2 00000299: SWAP1 0000029a: POP 0000029b: POP 0000029c: PUSH2 0x0725 0000029f: JUMP 000002a0: JUMPDEST 000002a1: STOP 000002a2: JUMPDEST 000002a3: PUSH2 0x02ff 000002a6: PUSH1 0x04 000002a8: DUP1 000002a9: DUP1 000002aa: CALLDATALOAD 000002ab: SWAP1 000002ac: PUSH1 0x20 000002ae: ADD 000002af: SWAP1 000002b0: SWAP2 000002b1: SWAP1 000002b2: DUP1 000002b3: CALLDATALOAD 000002b4: SWAP1 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP1 000002b9: DUP3 000002ba: ADD 000002bb: DUP1 000002bc: CALLDATALOAD 000002bd: SWAP1 000002be: PUSH1 0x20 000002c0: ADD 000002c1: SWAP2 000002c2: SWAP2 000002c3: SWAP1 000002c4: DUP1 000002c5: DUP1 000002c6: PUSH1 0x1f 000002c8: ADD 000002c9: PUSH1 0x20 000002cb: DUP1 000002cc: SWAP2 000002cd: DIV 000002ce: MUL 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: SWAP1 000002d6: DUP2 000002d7: ADD 000002d8: PUSH1 0x40 000002da: MSTORE 000002db: DUP1 000002dc: SWAP4 000002dd: SWAP3 000002de: SWAP2 000002df: SWAP1 000002e0: DUP2 000002e1: DUP2 000002e2: MSTORE 000002e3: PUSH1 0x20 000002e5: ADD 000002e6: DUP4 000002e7: DUP4 000002e8: DUP1 000002e9: DUP3 000002ea: DUP5 000002eb: CALLDATACOPY 000002ec: DUP3 000002ed: ADD 000002ee: SWAP2 000002ef: POP 000002f0: POP 000002f1: POP 000002f2: POP 000002f3: POP 000002f4: POP 000002f5: SWAP1 000002f6: SWAP1 000002f7: SWAP2 000002f8: SWAP1 000002f9: POP 000002fa: POP 000002fb: PUSH2 0x07f8 000002fe: JUMP 000002ff: JUMPDEST 00000300: STOP 00000301: JUMPDEST 00000302: PUSH2 0x030e 00000305: PUSH1 0x04 00000307: DUP1 00000308: POP 00000309: POP 0000030a: PUSH2 0x0d76 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: DUP3 00000314: PUSH4 0xffffffff 00000319: AND 0000031a: DUP2 0000031b: MSTORE 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: SWAP2 00000320: POP 00000321: POP 00000322: PUSH1 0x40 00000324: MLOAD 00000325: DUP1 00000326: SWAP2 00000327: SUB 00000328: SWAP1 00000329: RETURN 0000032a: JUMPDEST 0000032b: PUSH2 0x0337 0000032e: PUSH1 0x04 00000330: DUP1 00000331: POP 00000332: POP 00000333: PUSH2 0x0d8c 00000336: JUMP 00000337: JUMPDEST 00000338: STOP 00000339: JUMPDEST 0000033a: PUSH2 0x034f 0000033d: PUSH1 0x04 0000033f: DUP1 00000340: DUP1 00000341: CALLDATALOAD 00000342: SWAP1 00000343: PUSH1 0x20 00000345: ADD 00000346: SWAP1 00000347: SWAP2 00000348: SWAP1 00000349: POP 0000034a: POP 0000034b: PUSH2 0x0e20 0000034e: JUMP 0000034f: JUMPDEST 00000350: STOP 00000351: JUMPDEST 00000352: PUSH2 0x0367 00000355: PUSH1 0x04 00000357: DUP1 00000358: DUP1 00000359: CALLDATALOAD 0000035a: SWAP1 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: SWAP1 0000035f: SWAP2 00000360: SWAP1 00000361: POP 00000362: POP 00000363: PUSH2 0x0e9b 00000366: JUMP 00000367: JUMPDEST 00000368: STOP 00000369: JUMPDEST 0000036a: PUSH2 0x037f 0000036d: PUSH1 0x04 0000036f: DUP1 00000370: DUP1 00000371: CALLDATALOAD 00000372: SWAP1 00000373: PUSH1 0x20 00000375: ADD 00000376: SWAP1 00000377: SWAP2 00000378: SWAP1 00000379: POP 0000037a: POP 0000037b: PUSH2 0x0fab 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: MLOAD 00000383: DUP1 00000384: DUP3 00000385: PUSH1 0xff 00000387: AND 00000388: DUP2 00000389: MSTORE 0000038a: PUSH1 0x20 0000038c: ADD 0000038d: SWAP2 0000038e: POP 0000038f: POP 00000390: PUSH1 0x40 00000392: MLOAD 00000393: DUP1 00000394: SWAP2 00000395: SUB 00000396: SWAP1 00000397: RETURN 00000398: JUMPDEST 00000399: PUSH1 0x00 0000039b: PUSH1 0x00 0000039d: PUSH1 0x00 0000039f: PUSH1 0x01 000003a1: PUSH1 0x00 000003a3: SWAP1 000003a4: SLOAD 000003a5: SWAP1 000003a6: PUSH2 0x0100 000003a9: EXP 000003aa: SWAP1 000003ab: DIV 000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c1: AND 000003c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d7: AND 000003d8: EQ 000003d9: ISZERO 000003da: PUSH2 0x03e9 000003dd: JUMPI 000003de: PUSH2 0x03e7 000003e1: PUSH1 0x00 000003e3: PUSH2 0x0fe1 000003e6: JUMP 000003e7: JUMPDEST 000003e8: POP 000003e9: JUMPDEST 000003ea: PUSH1 0x01 000003ec: PUSH1 0x00 000003ee: SWAP1 000003ef: SLOAD 000003f0: SWAP1 000003f1: PUSH2 0x0100 000003f4: EXP 000003f5: SWAP1 000003f6: DIV 000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040c: AND 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: PUSH4 0x38cc4831 00000428: PUSH1 0x40 0000042a: MLOAD 0000042b: DUP2 0000042c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000044a: MUL 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x04 0000044f: ADD 00000450: DUP1 00000451: SWAP1 00000452: POP 00000453: PUSH1 0x20 00000455: PUSH1 0x40 00000457: MLOAD 00000458: DUP1 00000459: DUP4 0000045a: SUB 0000045b: DUP2 0000045c: PUSH1 0x00 0000045e: DUP8 0000045f: PUSH2 0x61da 00000462: GAS 00000463: SUB 00000464: CALL 00000465: ISZERO 00000466: PUSH2 0x0002 00000469: JUMPI 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: DUP1 00000471: MLOAD 00000472: SWAP1 00000473: PUSH1 0x20 00000475: ADD 00000476: POP 00000477: PUSH1 0x02 00000479: PUSH1 0x00 0000047b: PUSH2 0x0100 0000047e: EXP 0000047f: DUP2 00000480: SLOAD 00000481: DUP2 00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000497: MUL 00000498: NOT 00000499: AND 0000049a: SWAP1 0000049b: DUP4 0000049c: MUL 0000049d: OR 0000049e: SWAP1 0000049f: SSTORE 000004a0: POP 000004a1: PUSH1 0x02 000004a3: PUSH1 0x00 000004a5: SWAP1 000004a6: SLOAD 000004a7: SWAP1 000004a8: PUSH2 0x0100 000004ab: EXP 000004ac: SWAP1 000004ad: DIV 000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c3: AND 000004c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d9: AND 000004da: PUSH4 0x2ef3accc 000004df: DUP7 000004e0: DUP6 000004e1: PUSH1 0x40 000004e3: MLOAD 000004e4: DUP4 000004e5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000503: MUL 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x04 00000508: ADD 00000509: DUP1 0000050a: DUP1 0000050b: PUSH1 0x20 0000050d: ADD 0000050e: DUP4 0000050f: DUP2 00000510: MSTORE 00000511: PUSH1 0x20 00000513: ADD 00000514: DUP3 00000515: DUP2 00000516: SUB 00000517: DUP3 00000518: MSTORE 00000519: DUP5 0000051a: DUP2 0000051b: DUP2 0000051c: MLOAD 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP2 00000523: POP 00000524: DUP1 00000525: MLOAD 00000526: SWAP1 00000527: PUSH1 0x20 00000529: ADD 0000052a: SWAP1 0000052b: DUP1 0000052c: DUP4 0000052d: DUP4 0000052e: DUP3 0000052f: SWAP1 00000530: PUSH1 0x00 00000532: PUSH1 0x04 00000534: PUSH1 0x20 00000536: DUP5 00000537: PUSH1 0x1f 00000539: ADD 0000053a: DIV 0000053b: PUSH1 0x03 0000053d: MUL 0000053e: PUSH1 0x0f 00000540: ADD 00000541: CALL 00000542: POP 00000543: SWAP1 00000544: POP 00000545: SWAP1 00000546: DUP2 00000547: ADD 00000548: SWAP1 00000549: PUSH1 0x1f 0000054b: AND 0000054c: DUP1 0000054d: ISZERO 0000054e: PUSH2 0x056b 00000551: JUMPI 00000552: DUP1 00000553: DUP3 00000554: SUB 00000555: DUP1 00000556: MLOAD 00000557: PUSH1 0x01 00000559: DUP4 0000055a: PUSH1 0x20 0000055c: SUB 0000055d: PUSH2 0x0100 00000560: EXP 00000561: SUB 00000562: NOT 00000563: AND 00000564: DUP2 00000565: MSTORE 00000566: PUSH1 0x20 00000568: ADD 00000569: SWAP2 0000056a: POP 0000056b: JUMPDEST 0000056c: POP 0000056d: SWAP4 0000056e: POP 0000056f: POP 00000570: POP 00000571: POP 00000572: PUSH1 0x20 00000574: PUSH1 0x40 00000576: MLOAD 00000577: DUP1 00000578: DUP4 00000579: SUB 0000057a: DUP2 0000057b: PUSH1 0x00 0000057d: DUP8 0000057e: PUSH2 0x61da 00000581: GAS 00000582: SUB 00000583: CALL 00000584: ISZERO 00000585: PUSH2 0x0002 00000588: JUMPI 00000589: POP 0000058a: POP 0000058b: POP 0000058c: PUSH1 0x40 0000058e: MLOAD 0000058f: DUP1 00000590: MLOAD 00000591: SWAP1 00000592: PUSH1 0x20 00000594: ADD 00000595: POP 00000596: SWAP1 00000597: POP 00000598: DUP3 00000599: GASPRICE 0000059a: MUL 0000059b: PUSH8 0x0de0b6b3a7640000 000005a4: ADD 000005a5: DUP2 000005a6: GT 000005a7: ISZERO 000005a8: PUSH2 0x05b7 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: PUSH1 0x01 000005b0: MUL 000005b1: SWAP2 000005b2: POP 000005b3: PUSH2 0x071d 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH1 0x02 000005ba: PUSH1 0x00 000005bc: SWAP1 000005bd: SLOAD 000005be: SWAP1 000005bf: PUSH2 0x0100 000005c2: EXP 000005c3: SWAP1 000005c4: DIV 000005c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005da: AND 000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f0: AND 000005f1: PUSH4 0xc51be90f 000005f6: DUP3 000005f7: PUSH1 0x00 000005f9: DUP9 000005fa: DUP9 000005fb: DUP9 000005fc: PUSH1 0x40 000005fe: MLOAD 000005ff: DUP7 00000600: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000061e: MUL 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x04 00000623: ADD 00000624: DUP1 00000625: DUP6 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: ADD 0000062b: DUP1 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: DUP1 00000630: PUSH1 0x20 00000632: ADD 00000633: DUP5 00000634: DUP2 00000635: MSTORE 00000636: PUSH1 0x20 00000638: ADD 00000639: DUP4 0000063a: DUP2 0000063b: SUB 0000063c: DUP4 0000063d: MSTORE 0000063e: DUP7 0000063f: DUP2 00000640: DUP2 00000641: MLOAD 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x20 00000646: ADD 00000647: SWAP2 00000648: POP 00000649: DUP1 0000064a: MLOAD 0000064b: SWAP1 0000064c: PUSH1 0x20 0000064e: ADD 0000064f: SWAP1 00000650: DUP1 00000651: DUP4 00000652: DUP4 00000653: DUP3 00000654: SWAP1 00000655: PUSH1 0x00 00000657: PUSH1 0x04 00000659: PUSH1 0x20 0000065b: DUP5 0000065c: PUSH1 0x1f 0000065e: ADD 0000065f: DIV 00000660: PUSH1 0x03 00000662: MUL 00000663: PUSH1 0x0f 00000665: ADD 00000666: CALL 00000667: POP 00000668: SWAP1 00000669: POP 0000066a: SWAP1 0000066b: DUP2 0000066c: ADD 0000066d: SWAP1 0000066e: PUSH1 0x1f 00000670: AND 00000671: DUP1 00000672: ISZERO 00000673: PUSH2 0x0690 00000676: JUMPI 00000677: DUP1 00000678: DUP3 00000679: SUB 0000067a: DUP1 0000067b: MLOAD 0000067c: PUSH1 0x01 0000067e: DUP4 0000067f: PUSH1 0x20 00000681: SUB 00000682: PUSH2 0x0100 00000685: EXP 00000686: SUB 00000687: NOT 00000688: AND 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: SWAP2 0000068f: POP 00000690: JUMPDEST 00000691: POP 00000692: DUP4 00000693: DUP2 00000694: SUB 00000695: DUP3 00000696: MSTORE 00000697: DUP6 00000698: DUP2 00000699: DUP2 0000069a: MLOAD 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: SWAP2 000006a1: POP 000006a2: DUP1 000006a3: MLOAD 000006a4: SWAP1 000006a5: PUSH1 0x20 000006a7: ADD 000006a8: SWAP1 000006a9: DUP1 000006aa: DUP4 000006ab: DUP4 000006ac: DUP3 000006ad: SWAP1 000006ae: PUSH1 0x00 000006b0: PUSH1 0x04 000006b2: PUSH1 0x20 000006b4: DUP5 000006b5: PUSH1 0x1f 000006b7: ADD 000006b8: DIV 000006b9: PUSH1 0x03 000006bb: MUL 000006bc: PUSH1 0x0f 000006be: ADD 000006bf: CALL 000006c0: POP 000006c1: SWAP1 000006c2: POP 000006c3: SWAP1 000006c4: DUP2 000006c5: ADD 000006c6: SWAP1 000006c7: PUSH1 0x1f 000006c9: AND 000006ca: DUP1 000006cb: ISZERO 000006cc: PUSH2 0x06e9 000006cf: JUMPI 000006d0: DUP1 000006d1: DUP3 000006d2: SUB 000006d3: DUP1 000006d4: MLOAD 000006d5: PUSH1 0x01 000006d7: DUP4 000006d8: PUSH1 0x20 000006da: SUB 000006db: PUSH2 0x0100 000006de: EXP 000006df: SUB 000006e0: NOT 000006e1: AND 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP2 000006e8: POP 000006e9: JUMPDEST 000006ea: POP 000006eb: SWAP7 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: PUSH1 0x20 000006f5: PUSH1 0x40 000006f7: MLOAD 000006f8: DUP1 000006f9: DUP4 000006fa: SUB 000006fb: DUP2 000006fc: DUP6 000006fd: DUP9 000006fe: PUSH2 0x8502 00000701: GAS 00000702: SUB 00000703: CALL 00000704: ISZERO 00000705: PUSH2 0x0002 00000708: JUMPI 00000709: POP 0000070a: POP 0000070b: POP 0000070c: POP 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: MLOAD 00000712: SWAP1 00000713: PUSH1 0x20 00000715: ADD 00000716: POP 00000717: SWAP2 00000718: POP 00000719: PUSH2 0x071d 0000071c: JUMP 0000071d: JUMPDEST 0000071e: POP 0000071f: SWAP4 00000720: SWAP3 00000721: POP 00000722: POP 00000723: POP 00000724: JUMP 00000725: JUMPDEST 00000726: PUSH1 0x00 00000728: PUSH1 0x00 0000072a: SWAP1 0000072b: SLOAD 0000072c: SWAP1 0000072d: PUSH2 0x0100 00000730: EXP 00000731: SWAP1 00000732: DIV 00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000748: AND 00000749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075e: AND 0000075f: CALLER 00000760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000775: AND 00000776: EQ 00000777: ISZERO 00000778: ISZERO 00000779: PUSH2 0x0781 0000077c: JUMPI 0000077d: PUSH2 0x0002 00000780: JUMP 00000781: JUMPDEST 00000782: DUP2 00000783: PUSH1 0x05 00000785: PUSH1 0x00 00000787: POP 00000788: PUSH1 0x00 0000078a: DUP2 0000078b: SLOAD 0000078c: DUP2 0000078d: LT 0000078e: ISZERO 0000078f: PUSH2 0x0002 00000792: JUMPI 00000793: SWAP1 00000794: PUSH1 0x00 00000796: MSTORE 00000797: PUSH1 0x20 00000799: PUSH1 0x00 0000079b: KECCAK256 0000079c: SWAP1 0000079d: PUSH1 0x20 0000079f: SWAP2 000007a0: DUP3 000007a1: DUP3 000007a2: DIV 000007a3: ADD 000007a4: SWAP2 000007a5: SWAP1 000007a6: MOD 000007a7: JUMPDEST 000007a8: PUSH2 0x0100 000007ab: EXP 000007ac: DUP2 000007ad: SLOAD 000007ae: DUP2 000007af: PUSH1 0xff 000007b1: MUL 000007b2: NOT 000007b3: AND 000007b4: SWAP1 000007b5: DUP4 000007b6: MUL 000007b7: OR 000007b8: SWAP1 000007b9: SSTORE 000007ba: POP 000007bb: DUP1 000007bc: PUSH1 0x05 000007be: PUSH1 0x00 000007c0: POP 000007c1: PUSH1 0x01 000007c3: DUP2 000007c4: SLOAD 000007c5: DUP2 000007c6: LT 000007c7: ISZERO 000007c8: PUSH2 0x0002 000007cb: JUMPI 000007cc: SWAP1 000007cd: PUSH1 0x00 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: PUSH1 0x00 000007d4: KECCAK256 000007d5: SWAP1 000007d6: PUSH1 0x20 000007d8: SWAP2 000007d9: DUP3 000007da: DUP3 000007db: DIV 000007dc: ADD 000007dd: SWAP2 000007de: SWAP1 000007df: MOD 000007e0: JUMPDEST 000007e1: PUSH2 0x0100 000007e4: EXP 000007e5: DUP2 000007e6: SLOAD 000007e7: DUP2 000007e8: PUSH1 0xff 000007ea: MUL 000007eb: NOT 000007ec: AND 000007ed: SWAP1 000007ee: DUP4 000007ef: MUL 000007f0: OR 000007f1: SWAP1 000007f2: SSTORE 000007f3: POP 000007f4: JUMPDEST 000007f5: POP 000007f6: POP 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x00 000007fb: PUSH2 0x0802 000007fe: PUSH2 0x11a5 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000818: AND 00000819: CALLER 0000081a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082f: AND 00000830: EQ 00000831: ISZERO 00000832: ISZERO 00000833: PUSH2 0x083b 00000836: JUMPI 00000837: PUSH2 0x0002 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH2 0x0844 0000083f: DUP3 00000840: PUSH2 0x1342 00000843: JUMP 00000844: JUMPDEST 00000845: SWAP1 00000846: POP 00000847: PUSH1 0x05 00000849: PUSH1 0x00 0000084b: POP 0000084c: PUSH1 0x00 0000084e: DUP2 0000084f: SLOAD 00000850: DUP2 00000851: LT 00000852: ISZERO 00000853: PUSH2 0x0002 00000856: JUMPI 00000857: SWAP1 00000858: PUSH1 0x00 0000085a: MSTORE 0000085b: PUSH1 0x20 0000085d: PUSH1 0x00 0000085f: KECCAK256 00000860: SWAP1 00000861: PUSH1 0x20 00000863: SWAP2 00000864: DUP3 00000865: DUP3 00000866: DIV 00000867: ADD 00000868: SWAP2 00000869: SWAP1 0000086a: MOD 0000086b: JUMPDEST 0000086c: SWAP1 0000086d: SLOAD 0000086e: SWAP1 0000086f: PUSH2 0x0100 00000872: EXP 00000873: SWAP1 00000874: DIV 00000875: PUSH1 0xff 00000877: AND 00000878: PUSH1 0xff 0000087a: AND 0000087b: DUP2 0000087c: LT 0000087d: ISZERO 0000087e: PUSH2 0x0a40 00000881: JUMPI 00000882: PUSH1 0x03 00000884: PUSH1 0x00 00000886: POP 00000887: PUSH1 0x00 00000889: DUP5 0000088a: PUSH1 0x00 0000088c: NOT 0000088d: AND 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: ADD 00000893: SWAP1 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x20 00000898: ADD 00000899: PUSH1 0x00 0000089b: KECCAK256 0000089c: PUSH1 0x00 0000089e: SWAP1 0000089f: SLOAD 000008a0: SWAP1 000008a1: PUSH2 0x0100 000008a4: EXP 000008a5: SWAP1 000008a6: DIV 000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bc: AND 000008bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d2: AND 000008d3: PUSH1 0x00 000008d5: PUSH1 0x69 000008d7: PUSH1 0x64 000008d9: PUSH1 0x06 000008db: PUSH1 0x00 000008dd: POP 000008de: PUSH1 0x00 000008e0: DUP9 000008e1: PUSH1 0x00 000008e3: NOT 000008e4: AND 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: SWAP1 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x20 000008ef: ADD 000008f0: PUSH1 0x00 000008f2: KECCAK256 000008f3: PUSH1 0x00 000008f5: POP 000008f6: SLOAD 000008f7: DIV 000008f8: MUL 000008f9: PUSH1 0x40 000008fb: MLOAD 000008fc: DUP1 000008fd: SWAP1 000008fe: POP 000008ff: PUSH1 0x00 00000901: PUSH1 0x40 00000903: MLOAD 00000904: DUP1 00000905: DUP4 00000906: SUB 00000907: DUP2 00000908: DUP6 00000909: DUP9 0000090a: DUP9 0000090b: CALL 0000090c: SWAP4 0000090d: POP 0000090e: POP 0000090f: POP 00000910: POP 00000911: ISZERO 00000912: ISZERO 00000913: PUSH2 0x09ab 00000916: JUMPI 00000917: PUSH32 0x568a807765db7b2c3f27d1157cf905be0d7503ba3c4a1d9818cc50ac4db8f25d 00000938: PUSH1 0x03 0000093a: PUSH1 0x03 0000093c: PUSH1 0x00 0000093e: POP 0000093f: PUSH1 0x00 00000941: DUP7 00000942: PUSH1 0x00 00000944: NOT 00000945: AND 00000946: DUP2 00000947: MSTORE 00000948: PUSH1 0x20 0000094a: ADD 0000094b: SWAP1 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x20 00000950: ADD 00000951: PUSH1 0x00 00000953: KECCAK256 00000954: PUSH1 0x00 00000956: SWAP1 00000957: SLOAD 00000958: SWAP1 00000959: PUSH2 0x0100 0000095c: EXP 0000095d: SWAP1 0000095e: DIV 0000095f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000974: AND 00000975: PUSH1 0x40 00000977: MLOAD 00000978: DUP1 00000979: DUP4 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x20 0000097e: ADD 0000097f: DUP3 00000980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000995: AND 00000996: DUP2 00000997: MSTORE 00000998: PUSH1 0x20 0000099a: ADD 0000099b: SWAP3 0000099c: POP 0000099d: POP 0000099e: POP 0000099f: PUSH1 0x40 000009a1: MLOAD 000009a2: DUP1 000009a3: SWAP2 000009a4: SUB 000009a5: SWAP1 000009a6: LOG1 000009a7: PUSH2 0x0002 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH32 0x568a807765db7b2c3f27d1157cf905be0d7503ba3c4a1d9818cc50ac4db8f25d 000009cd: PUSH1 0x00 000009cf: PUSH1 0x03 000009d1: PUSH1 0x00 000009d3: POP 000009d4: PUSH1 0x00 000009d6: DUP7 000009d7: PUSH1 0x00 000009d9: NOT 000009da: AND 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: SWAP1 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: PUSH1 0x00 000009e8: KECCAK256 000009e9: PUSH1 0x00 000009eb: SWAP1 000009ec: SLOAD 000009ed: SWAP1 000009ee: PUSH2 0x0100 000009f1: EXP 000009f2: SWAP1 000009f3: DIV 000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a09: AND 00000a0a: PUSH1 0x40 00000a0c: MLOAD 00000a0d: DUP1 00000a0e: DUP4 00000a0f: DUP2 00000a10: MSTORE 00000a11: PUSH1 0x20 00000a13: ADD 00000a14: DUP3 00000a15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2a: AND 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH1 0x20 00000a2f: ADD 00000a30: SWAP3 00000a31: POP 00000a32: POP 00000a33: POP 00000a34: PUSH1 0x40 00000a36: MLOAD 00000a37: DUP1 00000a38: SWAP2 00000a39: SUB 00000a3a: SWAP1 00000a3b: LOG1 00000a3c: PUSH2 0x0cfe 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: PUSH1 0x05 00000a43: PUSH1 0x00 00000a45: POP 00000a46: PUSH1 0x01 00000a48: DUP2 00000a49: SLOAD 00000a4a: DUP2 00000a4b: LT 00000a4c: ISZERO 00000a4d: PUSH2 0x0002 00000a50: JUMPI 00000a51: SWAP1 00000a52: PUSH1 0x00 00000a54: MSTORE 00000a55: PUSH1 0x20 00000a57: PUSH1 0x00 00000a59: KECCAK256 00000a5a: SWAP1 00000a5b: PUSH1 0x20 00000a5d: SWAP2 00000a5e: DUP3 00000a5f: DUP3 00000a60: DIV 00000a61: ADD 00000a62: SWAP2 00000a63: SWAP1 00000a64: MOD 00000a65: JUMPDEST 00000a66: SWAP1 00000a67: SLOAD 00000a68: SWAP1 00000a69: PUSH2 0x0100 00000a6c: EXP 00000a6d: SWAP1 00000a6e: DIV 00000a6f: PUSH1 0xff 00000a71: AND 00000a72: PUSH1 0x05 00000a74: PUSH1 0x00 00000a76: POP 00000a77: PUSH1 0x00 00000a79: DUP2 00000a7a: SLOAD 00000a7b: DUP2 00000a7c: LT 00000a7d: ISZERO 00000a7e: PUSH2 0x0002 00000a81: JUMPI 00000a82: SWAP1 00000a83: PUSH1 0x00 00000a85: MSTORE 00000a86: PUSH1 0x20 00000a88: PUSH1 0x00 00000a8a: KECCAK256 00000a8b: SWAP1 00000a8c: PUSH1 0x20 00000a8e: SWAP2 00000a8f: DUP3 00000a90: DUP3 00000a91: DIV 00000a92: ADD 00000a93: SWAP2 00000a94: SWAP1 00000a95: MOD 00000a96: JUMPDEST 00000a97: SWAP1 00000a98: SLOAD 00000a99: SWAP1 00000a9a: PUSH2 0x0100 00000a9d: EXP 00000a9e: SWAP1 00000a9f: DIV 00000aa0: PUSH1 0xff 00000aa2: AND 00000aa3: ADD 00000aa4: PUSH1 0xff 00000aa6: AND 00000aa7: DUP2 00000aa8: LT 00000aa9: ISZERO 00000aaa: PUSH2 0x0c6c 00000aad: JUMPI 00000aae: PUSH1 0x03 00000ab0: PUSH1 0x00 00000ab2: POP 00000ab3: PUSH1 0x00 00000ab5: DUP5 00000ab6: PUSH1 0x00 00000ab8: NOT 00000ab9: AND 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: SWAP1 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: ADD 00000ac5: PUSH1 0x00 00000ac7: KECCAK256 00000ac8: PUSH1 0x00 00000aca: SWAP1 00000acb: SLOAD 00000acc: SWAP1 00000acd: PUSH2 0x0100 00000ad0: EXP 00000ad1: SWAP1 00000ad2: DIV 00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae8: AND 00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afe: AND 00000aff: PUSH1 0x00 00000b01: PUSH1 0x12 00000b03: PUSH1 0x0a 00000b05: PUSH1 0x06 00000b07: PUSH1 0x00 00000b09: POP 00000b0a: PUSH1 0x00 00000b0c: DUP9 00000b0d: PUSH1 0x00 00000b0f: NOT 00000b10: AND 00000b11: DUP2 00000b12: MSTORE 00000b13: PUSH1 0x20 00000b15: ADD 00000b16: SWAP1 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: PUSH1 0x00 00000b1e: KECCAK256 00000b1f: PUSH1 0x00 00000b21: POP 00000b22: SLOAD 00000b23: DIV 00000b24: MUL 00000b25: PUSH1 0x40 00000b27: MLOAD 00000b28: DUP1 00000b29: SWAP1 00000b2a: POP 00000b2b: PUSH1 0x00 00000b2d: PUSH1 0x40 00000b2f: MLOAD 00000b30: DUP1 00000b31: DUP4 00000b32: SUB 00000b33: DUP2 00000b34: DUP6 00000b35: DUP9 00000b36: DUP9 00000b37: CALL 00000b38: SWAP4 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: POP 00000b3d: ISZERO 00000b3e: ISZERO 00000b3f: PUSH2 0x0bd7 00000b42: JUMPI 00000b43: PUSH32 0x568a807765db7b2c3f27d1157cf905be0d7503ba3c4a1d9818cc50ac4db8f25d 00000b64: PUSH1 0x03 00000b66: PUSH1 0x03 00000b68: PUSH1 0x00 00000b6a: POP 00000b6b: PUSH1 0x00 00000b6d: DUP7 00000b6e: PUSH1 0x00 00000b70: NOT 00000b71: AND 00000b72: DUP2 00000b73: MSTORE 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: SWAP1 00000b78: DUP2 00000b79: MSTORE 00000b7a: PUSH1 0x20 00000b7c: ADD 00000b7d: PUSH1 0x00 00000b7f: KECCAK256 00000b80: PUSH1 0x00 00000b82: SWAP1 00000b83: SLOAD 00000b84: SWAP1 00000b85: PUSH2 0x0100 00000b88: EXP 00000b89: SWAP1 00000b8a: DIV 00000b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba0: AND 00000ba1: PUSH1 0x40 00000ba3: MLOAD 00000ba4: DUP1 00000ba5: DUP4 00000ba6: DUP2 00000ba7: MSTORE 00000ba8: PUSH1 0x20 00000baa: ADD 00000bab: DUP3 00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc1: AND 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: PUSH1 0x20 00000bc6: ADD 00000bc7: SWAP3 00000bc8: POP 00000bc9: POP 00000bca: POP 00000bcb: PUSH1 0x40 00000bcd: MLOAD 00000bce: DUP1 00000bcf: SWAP2 00000bd0: SUB 00000bd1: SWAP1 00000bd2: LOG1 00000bd3: PUSH2 0x0002 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH32 0x568a807765db7b2c3f27d1157cf905be0d7503ba3c4a1d9818cc50ac4db8f25d 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x03 00000bfd: PUSH1 0x00 00000bff: POP 00000c00: PUSH1 0x00 00000c02: DUP7 00000c03: PUSH1 0x00 00000c05: NOT 00000c06: AND 00000c07: DUP2 00000c08: MSTORE 00000c09: PUSH1 0x20 00000c0b: ADD 00000c0c: SWAP1 00000c0d: DUP2 00000c0e: MSTORE 00000c0f: PUSH1 0x20 00000c11: ADD 00000c12: PUSH1 0x00 00000c14: KECCAK256 00000c15: PUSH1 0x00 00000c17: SWAP1 00000c18: SLOAD 00000c19: SWAP1 00000c1a: PUSH2 0x0100 00000c1d: EXP 00000c1e: SWAP1 00000c1f: DIV 00000c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c35: AND 00000c36: PUSH1 0x40 00000c38: MLOAD 00000c39: DUP1 00000c3a: DUP4 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x20 00000c3f: ADD 00000c40: DUP3 00000c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c56: AND 00000c57: DUP2 00000c58: MSTORE 00000c59: PUSH1 0x20 00000c5b: ADD 00000c5c: SWAP3 00000c5d: POP 00000c5e: POP 00000c5f: POP 00000c60: PUSH1 0x40 00000c62: MLOAD 00000c63: DUP1 00000c64: SWAP2 00000c65: SUB 00000c66: SWAP1 00000c67: LOG1 00000c68: PUSH2 0x0cfd 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: PUSH32 0x568a807765db7b2c3f27d1157cf905be0d7503ba3c4a1d9818cc50ac4db8f25d 00000c8e: PUSH1 0x02 00000c90: PUSH1 0x03 00000c92: PUSH1 0x00 00000c94: POP 00000c95: PUSH1 0x00 00000c97: DUP7 00000c98: PUSH1 0x00 00000c9a: NOT 00000c9b: AND 00000c9c: DUP2 00000c9d: MSTORE 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: SWAP1 00000ca2: DUP2 00000ca3: MSTORE 00000ca4: PUSH1 0x20 00000ca6: ADD 00000ca7: PUSH1 0x00 00000ca9: KECCAK256 00000caa: PUSH1 0x00 00000cac: SWAP1 00000cad: SLOAD 00000cae: SWAP1 00000caf: PUSH2 0x0100 00000cb2: EXP 00000cb3: SWAP1 00000cb4: DIV 00000cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cca: AND 00000ccb: PUSH1 0x40 00000ccd: MLOAD 00000cce: DUP1 00000ccf: DUP4 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: ADD 00000cd5: DUP3 00000cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ceb: AND 00000cec: DUP2 00000ced: MSTORE 00000cee: PUSH1 0x20 00000cf0: ADD 00000cf1: SWAP3 00000cf2: POP 00000cf3: POP 00000cf4: POP 00000cf5: PUSH1 0x40 00000cf7: MLOAD 00000cf8: DUP1 00000cf9: SWAP2 00000cfa: SUB 00000cfb: SWAP1 00000cfc: LOG1 00000cfd: JUMPDEST 00000cfe: JUMPDEST 00000cff: PUSH1 0x03 00000d01: PUSH1 0x00 00000d03: POP 00000d04: PUSH1 0x00 00000d06: DUP5 00000d07: PUSH1 0x00 00000d09: NOT 00000d0a: AND 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: ADD 00000d10: SWAP1 00000d11: DUP2 00000d12: MSTORE 00000d13: PUSH1 0x20 00000d15: ADD 00000d16: PUSH1 0x00 00000d18: KECCAK256 00000d19: PUSH1 0x00 00000d1b: PUSH2 0x0100 00000d1e: EXP 00000d1f: DUP2 00000d20: SLOAD 00000d21: SWAP1 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: MUL 00000d38: NOT 00000d39: AND 00000d3a: SWAP1 00000d3b: SSTORE 00000d3c: PUSH1 0x12 00000d3e: PUSH1 0x0a 00000d40: PUSH1 0x06 00000d42: PUSH1 0x00 00000d44: POP 00000d45: PUSH1 0x00 00000d47: DUP7 00000d48: PUSH1 0x00 00000d4a: NOT 00000d4b: AND 00000d4c: DUP2 00000d4d: MSTORE 00000d4e: PUSH1 0x20 00000d50: ADD 00000d51: SWAP1 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: ADD 00000d57: PUSH1 0x00 00000d59: KECCAK256 00000d5a: PUSH1 0x00 00000d5c: POP 00000d5d: SLOAD 00000d5e: DIV 00000d5f: MUL 00000d60: PUSH1 0x07 00000d62: PUSH1 0x00 00000d64: DUP3 00000d65: DUP3 00000d66: DUP3 00000d67: POP 00000d68: SLOAD 00000d69: SUB 00000d6a: SWAP3 00000d6b: POP 00000d6c: POP 00000d6d: DUP2 00000d6e: SWAP1 00000d6f: SSTORE 00000d70: POP 00000d71: JUMPDEST 00000d72: POP 00000d73: POP 00000d74: POP 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x04 00000d79: PUSH1 0x00 00000d7b: SWAP1 00000d7c: SLOAD 00000d7d: SWAP1 00000d7e: PUSH2 0x0100 00000d81: EXP 00000d82: SWAP1 00000d83: DIV 00000d84: PUSH4 0xffffffff 00000d89: AND 00000d8a: DUP2 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: PUSH1 0x00 00000d8f: PUSH1 0x00 00000d91: SWAP1 00000d92: SLOAD 00000d93: SWAP1 00000d94: PUSH2 0x0100 00000d97: EXP 00000d98: SWAP1 00000d99: DIV 00000d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daf: AND 00000db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc5: AND 00000dc6: CALLER 00000dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddc: AND 00000ddd: EQ 00000dde: ISZERO 00000ddf: PUSH2 0x0e1d 00000de2: JUMPI 00000de3: PUSH1 0x00 00000de5: PUSH1 0x00 00000de7: SWAP1 00000de8: SLOAD 00000de9: SWAP1 00000dea: PUSH2 0x0100 00000ded: EXP 00000dee: SWAP1 00000def: DIV 00000df0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e05: AND 00000e06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1b: AND 00000e1c: SELFDESTRUCT 00000e1d: JUMPDEST 00000e1e: JUMPDEST 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x00 00000e23: PUSH1 0x00 00000e25: SWAP1 00000e26: SLOAD 00000e27: SWAP1 00000e28: PUSH2 0x0100 00000e2b: EXP 00000e2c: SWAP1 00000e2d: DIV 00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e43: AND 00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e59: AND 00000e5a: CALLER 00000e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e70: AND 00000e71: EQ 00000e72: ISZERO 00000e73: ISZERO 00000e74: PUSH2 0x0e7c 00000e77: JUMPI 00000e78: PUSH2 0x0002 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: DUP1 00000e7e: PUSH1 0x04 00000e80: PUSH1 0x00 00000e82: PUSH2 0x0100 00000e85: EXP 00000e86: DUP2 00000e87: SLOAD 00000e88: DUP2 00000e89: PUSH4 0xffffffff 00000e8e: MUL 00000e8f: NOT 00000e90: AND 00000e91: SWAP1 00000e92: DUP4 00000e93: MUL 00000e94: OR 00000e95: SWAP1 00000e96: SSTORE 00000e97: POP 00000e98: JUMPDEST 00000e99: POP 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x00 00000e9e: PUSH1 0x00 00000ea0: SWAP1 00000ea1: SLOAD 00000ea2: SWAP1 00000ea3: PUSH2 0x0100 00000ea6: EXP 00000ea7: SWAP1 00000ea8: DIV 00000ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebe: AND 00000ebf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed4: AND 00000ed5: CALLER 00000ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eeb: AND 00000eec: EQ 00000eed: ISZERO 00000eee: ISZERO 00000eef: PUSH2 0x0ef7 00000ef2: JUMPI 00000ef3: PUSH2 0x0002 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: PUSH1 0x07 00000efa: PUSH1 0x00 00000efc: POP 00000efd: SLOAD 00000efe: ADDRESS 00000eff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f14: AND 00000f15: BALANCE 00000f16: LT 00000f17: DUP1 00000f18: PUSH2 0x0f3e 00000f1b: JUMPI 00000f1c: POP 00000f1d: DUP1 00000f1e: PUSH1 0x07 00000f20: PUSH1 0x00 00000f22: POP 00000f23: SLOAD 00000f24: ADDRESS 00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3a: AND 00000f3b: BALANCE 00000f3c: SUB 00000f3d: LT 00000f3e: JUMPDEST 00000f3f: ISZERO 00000f40: PUSH2 0x0f48 00000f43: JUMPI 00000f44: PUSH2 0x0002 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH1 0x00 00000f4b: PUSH1 0x00 00000f4d: SWAP1 00000f4e: SLOAD 00000f4f: SWAP1 00000f50: PUSH2 0x0100 00000f53: EXP 00000f54: SWAP1 00000f55: DIV 00000f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6b: AND 00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f81: AND 00000f82: PUSH1 0x00 00000f84: DUP3 00000f85: PUSH1 0x40 00000f87: MLOAD 00000f88: DUP1 00000f89: SWAP1 00000f8a: POP 00000f8b: PUSH1 0x00 00000f8d: PUSH1 0x40 00000f8f: MLOAD 00000f90: DUP1 00000f91: DUP4 00000f92: SUB 00000f93: DUP2 00000f94: DUP6 00000f95: DUP9 00000f96: DUP9 00000f97: CALL 00000f98: SWAP4 00000f99: POP 00000f9a: POP 00000f9b: POP 00000f9c: POP 00000f9d: ISZERO 00000f9e: ISZERO 00000f9f: PUSH2 0x0fa7 00000fa2: JUMPI 00000fa3: PUSH2 0x0002 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: JUMPDEST 00000fa9: POP 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH1 0x05 00000fae: PUSH1 0x00 00000fb0: POP 00000fb1: DUP2 00000fb2: DUP2 00000fb3: SLOAD 00000fb4: DUP2 00000fb5: LT 00000fb6: ISZERO 00000fb7: PUSH2 0x0002 00000fba: JUMPI 00000fbb: SWAP1 00000fbc: PUSH1 0x00 00000fbe: MSTORE 00000fbf: PUSH1 0x20 00000fc1: PUSH1 0x00 00000fc3: KECCAK256 00000fc4: SWAP1 00000fc5: PUSH1 0x20 00000fc7: SWAP2 00000fc8: DUP3 00000fc9: DUP3 00000fca: DIV 00000fcb: ADD 00000fcc: SWAP2 00000fcd: SWAP1 00000fce: MOD 00000fcf: JUMPDEST 00000fd0: SWAP2 00000fd1: POP 00000fd2: SWAP1 00000fd3: SWAP1 00000fd4: SLOAD 00000fd5: SWAP1 00000fd6: PUSH2 0x0100 00000fd9: EXP 00000fda: SWAP1 00000fdb: DIV 00000fdc: PUSH1 0xff 00000fde: AND 00000fdf: DUP2 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH1 0x00 00000fe4: PUSH1 0x00 00000fe6: PUSH2 0x1002 00000fe9: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 00000ffe: PUSH2 0x135b 00001001: JUMP 00001002: JUMPDEST 00001003: GT 00001004: ISZERO 00001005: PUSH2 0x1050 00001008: JUMPI 00001009: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 0000101e: PUSH1 0x01 00001020: PUSH1 0x00 00001022: PUSH2 0x0100 00001025: EXP 00001026: DUP2 00001027: SLOAD 00001028: DUP2 00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103e: MUL 0000103f: NOT 00001040: AND 00001041: SWAP1 00001042: DUP4 00001043: MUL 00001044: OR 00001045: SWAP1 00001046: SSTORE 00001047: POP 00001048: PUSH1 0x01 0000104a: SWAP1 0000104b: POP 0000104c: PUSH2 0x11a0 0000104f: JUMP 00001050: JUMPDEST 00001051: PUSH1 0x00 00001053: PUSH2 0x106f 00001056: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 0000106b: PUSH2 0x135b 0000106e: JUMP 0000106f: JUMPDEST 00001070: GT 00001071: ISZERO 00001072: PUSH2 0x10bd 00001075: JUMPI 00001076: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 0000108b: PUSH1 0x01 0000108d: PUSH1 0x00 0000108f: PUSH2 0x0100 00001092: EXP 00001093: DUP2 00001094: SLOAD 00001095: DUP2 00001096: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ab: MUL 000010ac: NOT 000010ad: AND 000010ae: SWAP1 000010af: DUP4 000010b0: MUL 000010b1: OR 000010b2: SWAP1 000010b3: SSTORE 000010b4: POP 000010b5: PUSH1 0x01 000010b7: SWAP1 000010b8: POP 000010b9: PUSH2 0x11a0 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0x00 000010c0: PUSH2 0x10dc 000010c3: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 000010d8: PUSH2 0x135b 000010db: JUMP 000010dc: JUMPDEST 000010dd: GT 000010de: ISZERO 000010df: PUSH2 0x112a 000010e2: JUMPI 000010e3: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 000010f8: PUSH1 0x01 000010fa: PUSH1 0x00 000010fc: PUSH2 0x0100 000010ff: EXP 00001100: DUP2 00001101: SLOAD 00001102: DUP2 00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001118: MUL 00001119: NOT 0000111a: AND 0000111b: SWAP1 0000111c: DUP4 0000111d: MUL 0000111e: OR 0000111f: SWAP1 00001120: SSTORE 00001121: POP 00001122: PUSH1 0x01 00001124: SWAP1 00001125: POP 00001126: PUSH2 0x11a0 00001129: JUMP 0000112a: JUMPDEST 0000112b: PUSH1 0x00 0000112d: PUSH2 0x1149 00001130: PUSH20 0x9a1d6e5c6c8d081ac45c6af98b74a42442afba60 00001145: PUSH2 0x135b 00001148: JUMP 00001149: JUMPDEST 0000114a: GT 0000114b: ISZERO 0000114c: PUSH2 0x1197 0000114f: JUMPI 00001150: PUSH20 0x9a1d6e5c6c8d081ac45c6af98b74a42442afba60 00001165: PUSH1 0x01 00001167: PUSH1 0x00 00001169: PUSH2 0x0100 0000116c: EXP 0000116d: DUP2 0000116e: SLOAD 0000116f: DUP2 00001170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001185: MUL 00001186: NOT 00001187: AND 00001188: SWAP1 00001189: DUP4 0000118a: MUL 0000118b: OR 0000118c: SWAP1 0000118d: SSTORE 0000118e: POP 0000118f: PUSH1 0x01 00001191: SWAP1 00001192: POP 00001193: PUSH2 0x11a0 00001196: JUMP 00001197: JUMPDEST 00001198: PUSH1 0x00 0000119a: SWAP1 0000119b: POP 0000119c: PUSH2 0x11a0 0000119f: JUMP 000011a0: JUMPDEST 000011a1: SWAP2 000011a2: SWAP1 000011a3: POP 000011a4: JUMP 000011a5: JUMPDEST 000011a6: PUSH1 0x00 000011a8: PUSH1 0x00 000011aa: PUSH1 0x01 000011ac: PUSH1 0x00 000011ae: SWAP1 000011af: SLOAD 000011b0: SWAP1 000011b1: PUSH2 0x0100 000011b4: EXP 000011b5: SWAP1 000011b6: DIV 000011b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cc: AND 000011cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e2: AND 000011e3: EQ 000011e4: ISZERO 000011e5: PUSH2 0x11f4 000011e8: JUMPI 000011e9: PUSH2 0x11f2 000011ec: PUSH1 0x00 000011ee: PUSH2 0x0fe1 000011f1: JUMP 000011f2: JUMPDEST 000011f3: POP 000011f4: JUMPDEST 000011f5: PUSH1 0x01 000011f7: PUSH1 0x00 000011f9: SWAP1 000011fa: SLOAD 000011fb: SWAP1 000011fc: PUSH2 0x0100 000011ff: EXP 00001200: SWAP1 00001201: DIV 00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001217: AND 00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122d: AND 0000122e: PUSH4 0x38cc4831 00001233: PUSH1 0x40 00001235: MLOAD 00001236: DUP2 00001237: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001255: MUL 00001256: DUP2 00001257: MSTORE 00001258: PUSH1 0x04 0000125a: ADD 0000125b: DUP1 0000125c: SWAP1 0000125d: POP 0000125e: PUSH1 0x20 00001260: PUSH1 0x40 00001262: MLOAD 00001263: DUP1 00001264: DUP4 00001265: SUB 00001266: DUP2 00001267: PUSH1 0x00 00001269: DUP8 0000126a: PUSH2 0x61da 0000126d: GAS 0000126e: SUB 0000126f: CALL 00001270: ISZERO 00001271: PUSH2 0x0002 00001274: JUMPI 00001275: POP 00001276: POP 00001277: POP 00001278: PUSH1 0x40 0000127a: MLOAD 0000127b: DUP1 0000127c: MLOAD 0000127d: SWAP1 0000127e: PUSH1 0x20 00001280: ADD 00001281: POP 00001282: PUSH1 0x02 00001284: PUSH1 0x00 00001286: PUSH2 0x0100 00001289: EXP 0000128a: DUP2 0000128b: SLOAD 0000128c: DUP2 0000128d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a2: MUL 000012a3: NOT 000012a4: AND 000012a5: SWAP1 000012a6: DUP4 000012a7: MUL 000012a8: OR 000012a9: SWAP1 000012aa: SSTORE 000012ab: POP 000012ac: PUSH1 0x02 000012ae: PUSH1 0x00 000012b0: SWAP1 000012b1: SLOAD 000012b2: SWAP1 000012b3: PUSH2 0x0100 000012b6: EXP 000012b7: SWAP1 000012b8: DIV 000012b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ce: AND 000012cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e4: AND 000012e5: PUSH4 0xc281d19e 000012ea: PUSH1 0x40 000012ec: MLOAD 000012ed: DUP2 000012ee: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000130c: MUL 0000130d: DUP2 0000130e: MSTORE 0000130f: PUSH1 0x04 00001311: ADD 00001312: DUP1 00001313: SWAP1 00001314: POP 00001315: PUSH1 0x20 00001317: PUSH1 0x40 00001319: MLOAD 0000131a: DUP1 0000131b: DUP4 0000131c: SUB 0000131d: DUP2 0000131e: PUSH1 0x00 00001320: DUP8 00001321: PUSH2 0x61da 00001324: GAS 00001325: SUB 00001326: CALL 00001327: ISZERO 00001328: PUSH2 0x0002 0000132b: JUMPI 0000132c: POP 0000132d: POP 0000132e: POP 0000132f: PUSH1 0x40 00001331: MLOAD 00001332: DUP1 00001333: MLOAD 00001334: SWAP1 00001335: PUSH1 0x20 00001337: ADD 00001338: POP 00001339: SWAP1 0000133a: POP 0000133b: PUSH2 0x133f 0000133e: JUMP 0000133f: JUMPDEST 00001340: SWAP1 00001341: JUMP 00001342: JUMPDEST 00001343: PUSH1 0x00 00001345: PUSH2 0x134f 00001348: DUP3 00001349: PUSH1 0x00 0000134b: PUSH2 0x1367 0000134e: JUMP 0000134f: JUMPDEST 00001350: SWAP1 00001351: POP 00001352: PUSH2 0x1356 00001355: JUMP 00001356: JUMPDEST 00001357: SWAP2 00001358: SWAP1 00001359: POP 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH1 0x00 0000135e: DUP2 0000135f: EXTCODESIZE 00001360: SWAP1 00001361: POP 00001362: JUMPDEST 00001363: SWAP2 00001364: SWAP1 00001365: POP 00001366: JUMP 00001367: JUMPDEST 00001368: PUSH1 0x00 0000136a: PUSH1 0x20 0000136c: PUSH1 0x40 0000136e: MLOAD 0000136f: SWAP1 00001370: DUP2 00001371: ADD 00001372: PUSH1 0x40 00001374: MSTORE 00001375: DUP1 00001376: PUSH1 0x00 00001378: DUP2 00001379: MSTORE 0000137a: PUSH1 0x20 0000137c: ADD 0000137d: POP 0000137e: PUSH1 0x00 00001380: PUSH1 0x00 00001382: PUSH1 0x00 00001384: DUP7 00001385: SWAP4 00001386: POP 00001387: PUSH1 0x00 00001389: SWAP3 0000138a: POP 0000138b: PUSH1 0x00 0000138d: SWAP2 0000138e: POP 0000138f: PUSH1 0x00 00001391: SWAP1 00001392: POP 00001393: JUMPDEST 00001394: DUP4 00001395: MLOAD 00001396: DUP2 00001397: LT 00001398: ISZERO 00001399: PUSH2 0x164f 0000139c: JUMPI 0000139d: PUSH1 0x30 0000139f: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000013c0: MUL 000013c1: DUP5 000013c2: DUP3 000013c3: DUP2 000013c4: MLOAD 000013c5: DUP2 000013c6: LT 000013c7: ISZERO 000013c8: PUSH2 0x0002 000013cb: JUMPI 000013cc: SWAP1 000013cd: PUSH1 0x20 000013cf: ADD 000013d0: ADD 000013d1: MLOAD 000013d2: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000013f3: SWAP1 000013f4: DIV 000013f5: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001416: MUL 00001417: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001437: NOT 00001438: AND 00001439: LT 0000143a: ISZERO 0000143b: DUP1 0000143c: ISZERO 0000143d: PUSH2 0x14e0 00001440: JUMPI 00001441: POP 00001442: PUSH1 0x39 00001444: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001465: MUL 00001466: DUP5 00001467: DUP3 00001468: DUP2 00001469: MLOAD 0000146a: DUP2 0000146b: LT 0000146c: ISZERO 0000146d: PUSH2 0x0002 00001470: JUMPI 00001471: SWAP1 00001472: PUSH1 0x20 00001474: ADD 00001475: ADD 00001476: MLOAD 00001477: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001498: SWAP1 00001499: DIV 0000149a: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000014bb: MUL 000014bc: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014dc: NOT 000014dd: AND 000014de: GT 000014df: ISZERO 000014e0: JUMPDEST 000014e1: ISZERO 000014e2: PUSH2 0x1597 000014e5: JUMPI 000014e6: DUP2 000014e7: ISZERO 000014e8: PUSH2 0x1508 000014eb: JUMPI 000014ec: PUSH1 0x00 000014ee: DUP7 000014ef: EQ 000014f0: ISZERO 000014f1: PUSH2 0x14fd 000014f4: JUMPI 000014f5: PUSH2 0x164f 000014f8: JUMP 000014f9: PUSH2 0x1507 000014fc: JUMP 000014fd: JUMPDEST 000014fe: DUP6 000014ff: DUP1 00001500: PUSH1 0x01 00001502: SWAP1 00001503: SUB 00001504: SWAP7 00001505: POP 00001506: POP 00001507: JUMPDEST 00001508: JUMPDEST 00001509: PUSH1 0x0a 0000150b: DUP4 0000150c: MUL 0000150d: SWAP3 0000150e: POP 0000150f: DUP3 00001510: POP 00001511: PUSH1 0x30 00001513: DUP5 00001514: DUP3 00001515: DUP2 00001516: MLOAD 00001517: DUP2 00001518: LT 00001519: ISZERO 0000151a: PUSH2 0x0002 0000151d: JUMPI 0000151e: SWAP1 0000151f: PUSH1 0x20 00001521: ADD 00001522: ADD 00001523: MLOAD 00001524: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001545: SWAP1 00001546: DIV 00001547: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001568: MUL 00001569: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000158a: SWAP1 0000158b: DIV 0000158c: SUB 0000158d: DUP4 0000158e: ADD 0000158f: SWAP3 00001590: POP 00001591: DUP3 00001592: POP 00001593: PUSH2 0x1641 00001596: JUMP 00001597: JUMPDEST 00001598: PUSH1 0x2e 0000159a: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000015bb: MUL 000015bc: DUP5 000015bd: DUP3 000015be: DUP2 000015bf: MLOAD 000015c0: DUP2 000015c1: LT 000015c2: ISZERO 000015c3: PUSH2 0x0002 000015c6: JUMPI 000015c7: SWAP1 000015c8: PUSH1 0x20 000015ca: ADD 000015cb: ADD 000015cc: MLOAD 000015cd: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000015ee: SWAP1 000015ef: DIV 000015f0: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001611: MUL 00001612: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001632: NOT 00001633: AND 00001634: EQ 00001635: ISZERO 00001636: PUSH2 0x1640 00001639: JUMPI 0000163a: PUSH1 0x01 0000163c: SWAP2 0000163d: POP 0000163e: DUP2 0000163f: POP 00001640: JUMPDEST 00001641: JUMPDEST 00001642: JUMPDEST 00001643: DUP1 00001644: DUP1 00001645: PUSH1 0x01 00001647: ADD 00001648: SWAP2 00001649: POP 0000164a: POP 0000164b: PUSH2 0x1393 0000164e: JUMP 0000164f: JUMPDEST 00001650: PUSH1 0x00 00001652: DUP7 00001653: GT 00001654: ISZERO 00001655: PUSH2 0x1663 00001658: JUMPI 00001659: DUP6 0000165a: PUSH1 0x0a 0000165c: EXP 0000165d: DUP4 0000165e: MUL 0000165f: SWAP3 00001660: POP 00001661: DUP3 00001662: POP 00001663: JUMPDEST 00001664: DUP3 00001665: SWAP5 00001666: POP 00001667: PUSH2 0x166b 0000166a: JUMP 0000166b: JUMPDEST 0000166c: POP 0000166d: POP 0000166e: POP 0000166f: POP 00001670: SWAP3 00001671: SWAP2 00001672: POP 00001673: POP 00001674: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0xb4fe1fda927e265261318d7197ec8a3616110760b931815fa629eeb8f39ee5c6
call_targets:
0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6, 0x75d9946bf9584e5381834e5024bbdad2e3ff7e53
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xb4fe1fda927e265261318d7197ec8a3616110760b931815fa629eeb8f39ee5c6",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
"0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6",
"0x75d9946bf9584e5381834e5024bbdad2e3ff7e53"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e9836c6",
"selector": "0x3e9836c6",
"calldata_variants": [
"0x3e9836c6",
"0x3e9836c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ed0b30",
"selector": "0x89ed0b30",
"calldata_variants": [
"0x89ed0b30",
"0x89ed0b300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb17acdcd",
"selector": "0xb17acdcd",
"calldata_variants": [
"0xb17acdcd",
"0xb17acdcd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8833efd",
"selector": "0xf8833efd",
"calldata_variants": [
"0xf8833efd",
"0xf8833efd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1345,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 11,
"guards_detected": [
{
"pc": 190,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2073,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3526,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3674,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 11
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0xb4fe1fda927e265261318d7197ec8a3616110760b931815fa629eeb8f39ee5c6
call_targets:
0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6, 0x75d9946bf9584e5381834e5024bbdad2e3ff7e53
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xb4fe1fda927e265261318d7197ec8a3616110760b931815fa629eeb8f39ee5c6",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
"0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6",
"0x75d9946bf9584e5381834e5024bbdad2e3ff7e53"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e9836c6",
"selector": "0x3e9836c6",
"calldata_variants": [
"0x3e9836c6",
"0x3e9836c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ed0b30",
"selector": "0x89ed0b30",
"calldata_variants": [
"0x89ed0b30",
"0x89ed0b300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb17acdcd",
"selector": "0xb17acdcd",
"calldata_variants": [
"0xb17acdcd",
"0xb17acdcd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8833efd",
"selector": "0xf8833efd",
"calldata_variants": [
"0xf8833efd",
"0xf8833efd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1345,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 11,
"guards_detected": [
{
"pc": 190,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2073,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3526,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3674,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x6ada4e2ff4687ffe169449505a5c09c3d75053e3840c498bdcb4f234a59a6152
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0x6ada4e2ff4687ffe169449505a5c09c3d75053e3840c498bdcb4f234a59a6152",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e9836c6",
"selector": "0x3e9836c6",
"calldata_variants": [
"0x3e9836c6",
"0x3e9836c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ed0b30",
"selector": "0x89ed0b30",
"calldata_variants": [
"0x89ed0b30",
"0x89ed0b300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb17acdcd",
"selector": "0xb17acdcd",
"calldata_variants": [
"0xb17acdcd",
"0xb17acdcd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8833efd",
"selector": "0xf8833efd",
"calldata_variants": [
"0xf8833efd",
"0xf8833efd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 190,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2073,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3526,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3674,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|