019b3836-2433-72fa-ba1f-4dfc89a53b79
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 |
|---|---|---|---|---|
| 589 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 590 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 78575 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 78576 | capability.graph | complete | 1 / 3 | 1 week ago |
| 78577 | detector.run | complete | 1 / 3 | 1 week ago |
| 78578 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113582 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-dn575u21 model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c98-0c38-7f12-b524-3796f9a8e2c3 -------- 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:42:43.368465+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 5678,
"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 0x0061 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x056e1059 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0063 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x27dc297e 00000025: EQ 00000026: PUSH2 0x035c 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x41c0e1b5 00000030: EQ 00000031: PUSH2 0x03ad 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x65a4dfb3 0000003b: EQ 0000003c: PUSH2 0x03d4 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xa2e62045 00000046: EQ 00000047: PUSH2 0x076d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb7764475 00000051: EQ 00000052: PUSH2 0x083f 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xd5948770 0000005c: EQ 0000005d: PUSH2 0x089a 00000060: JUMPI 00000061: JUMPDEST 00000062: STOP 00000063: JUMPDEST 00000064: PUSH1 0x40 00000066: DUP1 00000067: MLOAD 00000068: PUSH1 0x20 0000006a: PUSH1 0x24 0000006c: DUP1 0000006d: CALLDATALOAD 0000006e: PUSH1 0x04 00000070: DUP2 00000071: DUP2 00000072: ADD 00000073: CALLDATALOAD 00000074: PUSH1 0x1f 00000076: DUP2 00000077: ADD 00000078: DUP6 00000079: SWAP1 0000007a: DIV 0000007b: DUP6 0000007c: MUL 0000007d: DUP7 0000007e: ADD 0000007f: DUP6 00000080: ADD 00000081: SWAP1 00000082: SWAP7 00000083: MSTORE 00000084: DUP6 00000085: DUP6 00000086: MSTORE 00000087: PUSH2 0x0979 0000008a: SWAP6 0000008b: DUP2 0000008c: CALLDATALOAD 0000008d: SWAP6 0000008e: SWAP2 0000008f: SWAP5 00000090: PUSH1 0x44 00000092: SWAP5 00000093: SWAP3 00000094: SWAP4 00000095: SWAP1 00000096: SWAP3 00000097: ADD 00000098: SWAP2 00000099: DUP2 0000009a: SWAP1 0000009b: DUP5 0000009c: ADD 0000009d: DUP4 0000009e: DUP3 0000009f: DUP1 000000a0: DUP3 000000a1: DUP5 000000a2: CALLDATACOPY 000000a3: POP 000000a4: POP 000000a5: PUSH1 0x40 000000a7: DUP1 000000a8: MLOAD 000000a9: PUSH1 0x20 000000ab: SWAP8 000000ac: CALLDATALOAD 000000ad: DUP1 000000ae: DUP11 000000af: ADD 000000b0: CALLDATALOAD 000000b1: PUSH1 0x1f 000000b3: DUP2 000000b4: ADD 000000b5: DUP11 000000b6: SWAP1 000000b7: DIV 000000b8: DUP11 000000b9: MUL 000000ba: DUP4 000000bb: ADD 000000bc: DUP11 000000bd: ADD 000000be: SWAP1 000000bf: SWAP4 000000c0: MSTORE 000000c1: DUP3 000000c2: DUP3 000000c3: MSTORE 000000c4: SWAP7 000000c5: SWAP9 000000c6: SWAP8 000000c7: PUSH1 0x64 000000c9: SWAP8 000000ca: SWAP2 000000cb: SWAP7 000000cc: POP 000000cd: PUSH1 0x24 000000cf: SWAP2 000000d0: SWAP1 000000d1: SWAP2 000000d2: ADD 000000d3: SWAP5 000000d4: POP 000000d5: SWAP1 000000d6: SWAP3 000000d7: POP 000000d8: DUP3 000000d9: SWAP2 000000da: POP 000000db: DUP5 000000dc: ADD 000000dd: DUP4 000000de: DUP3 000000df: DUP1 000000e0: DUP3 000000e1: DUP5 000000e2: CALLDATACOPY 000000e3: POP 000000e4: SWAP5 000000e5: SWAP7 000000e6: POP 000000e7: POP 000000e8: SWAP4 000000e9: CALLDATALOAD 000000ea: SWAP4 000000eb: POP 000000ec: POP 000000ed: POP 000000ee: POP 000000ef: JUMPDEST 000000f0: PUSH1 0x00 000000f2: PUSH1 0x00 000000f4: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 00000109: SWAP1 0000010a: POP 0000010b: DUP1 0000010c: PUSH1 0x01 0000010e: PUSH1 0xa0 00000110: PUSH1 0x02 00000112: EXP 00000113: SUB 00000114: AND 00000115: PUSH4 0x38cc4831 0000011a: PUSH1 0x40 0000011c: MLOAD 0000011d: DUP2 0000011e: PUSH1 0xe0 00000120: PUSH1 0x02 00000122: EXP 00000123: MUL 00000124: DUP2 00000125: MSTORE 00000126: PUSH1 0x04 00000128: ADD 00000129: DUP1 0000012a: SWAP1 0000012b: POP 0000012c: PUSH1 0x20 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP4 00000133: SUB 00000134: DUP2 00000135: PUSH1 0x00 00000137: DUP8 00000138: PUSH2 0x61da 0000013b: GAS 0000013c: SUB 0000013d: CALL 0000013e: ISZERO 0000013f: PUSH2 0x0002 00000142: JUMPI 00000143: POP 00000144: POP 00000145: POP 00000146: PUSH1 0x40 00000148: MLOAD 00000149: DUP1 0000014a: MLOAD 0000014b: SWAP1 0000014c: PUSH1 0x20 0000014e: ADD 0000014f: POP 00000150: PUSH1 0x00 00000152: PUSH1 0x00 00000154: PUSH2 0x0100 00000157: EXP 00000158: DUP2 00000159: SLOAD 0000015a: DUP2 0000015b: PUSH1 0x01 0000015d: PUSH1 0xa0 0000015f: PUSH1 0x02 00000161: EXP 00000162: SUB 00000163: MUL 00000164: NOT 00000165: AND 00000166: SWAP1 00000167: DUP4 00000168: MUL 00000169: OR 0000016a: SWAP1 0000016b: SSTORE 0000016c: POP 0000016d: PUSH1 0x00 0000016f: PUSH1 0x00 00000171: SWAP1 00000172: SLOAD 00000173: SWAP1 00000174: PUSH2 0x0100 00000177: EXP 00000178: SWAP1 00000179: DIV 0000017a: PUSH1 0x01 0000017c: PUSH1 0xa0 0000017e: PUSH1 0x02 00000180: EXP 00000181: SUB 00000182: AND 00000183: PUSH1 0x01 00000185: PUSH1 0xa0 00000187: PUSH1 0x02 00000189: EXP 0000018a: SUB 0000018b: AND 0000018c: PUSH4 0x38592832 00000191: PUSH1 0x00 00000193: PUSH1 0x00 00000195: SWAP1 00000196: SLOAD 00000197: SWAP1 00000198: PUSH2 0x0100 0000019b: EXP 0000019c: SWAP1 0000019d: DIV 0000019e: PUSH1 0x01 000001a0: PUSH1 0xa0 000001a2: PUSH1 0x02 000001a4: EXP 000001a5: SUB 000001a6: AND 000001a7: PUSH1 0x01 000001a9: PUSH1 0xa0 000001ab: PUSH1 0x02 000001ad: EXP 000001ae: SUB 000001af: AND 000001b0: PUSH4 0x2ef3accc 000001b5: DUP9 000001b6: DUP8 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: DUP4 000001bb: PUSH1 0xe0 000001bd: PUSH1 0x02 000001bf: EXP 000001c0: MUL 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x04 000001c5: ADD 000001c6: DUP1 000001c7: DUP1 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP4 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: DUP3 000001d2: DUP2 000001d3: SUB 000001d4: DUP3 000001d5: MSTORE 000001d6: DUP5 000001d7: DUP2 000001d8: DUP2 000001d9: MLOAD 000001da: DUP2 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: ADD 000001df: SWAP2 000001e0: POP 000001e1: DUP1 000001e2: MLOAD 000001e3: SWAP1 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: SWAP1 000001e8: DUP1 000001e9: DUP4 000001ea: DUP4 000001eb: DUP3 000001ec: SWAP1 000001ed: PUSH1 0x00 000001ef: PUSH1 0x04 000001f1: PUSH1 0x20 000001f3: DUP5 000001f4: PUSH1 0x1f 000001f6: ADD 000001f7: DIV 000001f8: PUSH1 0x03 000001fa: MUL 000001fb: PUSH1 0x0f 000001fd: ADD 000001fe: CALL 000001ff: POP 00000200: SWAP1 00000201: POP 00000202: SWAP1 00000203: DUP2 00000204: ADD 00000205: SWAP1 00000206: PUSH1 0x1f 00000208: AND 00000209: DUP1 0000020a: ISZERO 0000020b: PUSH2 0x0228 0000020e: JUMPI 0000020f: DUP1 00000210: DUP3 00000211: SUB 00000212: DUP1 00000213: MLOAD 00000214: PUSH1 0x01 00000216: DUP4 00000217: PUSH1 0x20 00000219: SUB 0000021a: PUSH2 0x0100 0000021d: EXP 0000021e: SUB 0000021f: NOT 00000220: AND 00000221: DUP2 00000222: MSTORE 00000223: PUSH1 0x20 00000225: ADD 00000226: SWAP2 00000227: POP 00000228: JUMPDEST 00000229: POP 0000022a: SWAP4 0000022b: POP 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: PUSH1 0x20 00000231: PUSH1 0x40 00000233: MLOAD 00000234: DUP1 00000235: DUP4 00000236: SUB 00000237: DUP2 00000238: PUSH1 0x00 0000023a: DUP8 0000023b: PUSH2 0x61da 0000023e: GAS 0000023f: SUB 00000240: CALL 00000241: ISZERO 00000242: PUSH2 0x0002 00000245: JUMPI 00000246: POP 00000247: POP 00000248: POP 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: MLOAD 0000024e: SWAP1 0000024f: PUSH1 0x20 00000251: ADD 00000252: POP 00000253: DUP9 00000254: DUP9 00000255: DUP9 00000256: DUP9 00000257: PUSH1 0x40 00000259: MLOAD 0000025a: DUP7 0000025b: PUSH1 0xe0 0000025d: PUSH1 0x02 0000025f: EXP 00000260: MUL 00000261: DUP2 00000262: MSTORE 00000263: PUSH1 0x04 00000265: ADD 00000266: DUP1 00000267: DUP6 00000268: DUP2 00000269: MSTORE 0000026a: PUSH1 0x20 0000026c: ADD 0000026d: DUP1 0000026e: PUSH1 0x20 00000270: ADD 00000271: DUP1 00000272: PUSH1 0x20 00000274: ADD 00000275: DUP5 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x20 0000027a: ADD 0000027b: DUP4 0000027c: DUP2 0000027d: SUB 0000027e: DUP4 0000027f: MSTORE 00000280: DUP7 00000281: DUP2 00000282: DUP2 00000283: MLOAD 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP2 0000028a: POP 0000028b: DUP1 0000028c: MLOAD 0000028d: SWAP1 0000028e: PUSH1 0x20 00000290: ADD 00000291: SWAP1 00000292: DUP1 00000293: DUP4 00000294: DUP4 00000295: DUP3 00000296: SWAP1 00000297: PUSH1 0x00 00000299: PUSH1 0x04 0000029b: PUSH1 0x20 0000029d: DUP5 0000029e: PUSH1 0x1f 000002a0: ADD 000002a1: DIV 000002a2: PUSH1 0x03 000002a4: MUL 000002a5: PUSH1 0x0f 000002a7: ADD 000002a8: CALL 000002a9: POP 000002aa: SWAP1 000002ab: POP 000002ac: SWAP1 000002ad: DUP2 000002ae: ADD 000002af: SWAP1 000002b0: PUSH1 0x1f 000002b2: AND 000002b3: DUP1 000002b4: ISZERO 000002b5: PUSH2 0x02d2 000002b8: JUMPI 000002b9: DUP1 000002ba: DUP3 000002bb: SUB 000002bc: DUP1 000002bd: MLOAD 000002be: PUSH1 0x01 000002c0: DUP4 000002c1: PUSH1 0x20 000002c3: SUB 000002c4: PUSH2 0x0100 000002c7: EXP 000002c8: SUB 000002c9: NOT 000002ca: AND 000002cb: DUP2 000002cc: MSTORE 000002cd: PUSH1 0x20 000002cf: ADD 000002d0: SWAP2 000002d1: POP 000002d2: JUMPDEST 000002d3: POP 000002d4: DUP4 000002d5: DUP2 000002d6: SUB 000002d7: DUP3 000002d8: MSTORE 000002d9: DUP6 000002da: DUP2 000002db: DUP2 000002dc: MLOAD 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x20 000002e1: ADD 000002e2: SWAP2 000002e3: POP 000002e4: DUP1 000002e5: MLOAD 000002e6: SWAP1 000002e7: PUSH1 0x20 000002e9: ADD 000002ea: SWAP1 000002eb: DUP1 000002ec: DUP4 000002ed: DUP4 000002ee: DUP3 000002ef: SWAP1 000002f0: PUSH1 0x00 000002f2: PUSH1 0x04 000002f4: PUSH1 0x20 000002f6: DUP5 000002f7: PUSH1 0x1f 000002f9: ADD 000002fa: DIV 000002fb: PUSH1 0x03 000002fd: MUL 000002fe: PUSH1 0x0f 00000300: ADD 00000301: CALL 00000302: POP 00000303: SWAP1 00000304: POP 00000305: SWAP1 00000306: DUP2 00000307: ADD 00000308: SWAP1 00000309: PUSH1 0x1f 0000030b: AND 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x032b 00000311: JUMPI 00000312: DUP1 00000313: DUP3 00000314: SUB 00000315: DUP1 00000316: MLOAD 00000317: PUSH1 0x01 00000319: DUP4 0000031a: PUSH1 0x20 0000031c: SUB 0000031d: PUSH2 0x0100 00000320: EXP 00000321: SUB 00000322: NOT 00000323: AND 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP2 0000032a: POP 0000032b: JUMPDEST 0000032c: POP 0000032d: SWAP7 0000032e: POP 0000032f: POP 00000330: POP 00000331: POP 00000332: POP 00000333: POP 00000334: POP 00000335: PUSH1 0x20 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: DUP1 0000033b: DUP4 0000033c: SUB 0000033d: DUP2 0000033e: DUP6 0000033f: DUP9 00000340: PUSH2 0x8502 00000343: GAS 00000344: SUB 00000345: CALL 00000346: ISZERO 00000347: PUSH2 0x0002 0000034a: JUMPI 0000034b: POP 0000034c: POP 0000034d: PUSH1 0x40 0000034f: MLOAD 00000350: MLOAD 00000351: SWAP9 00000352: SWAP8 00000353: POP 00000354: POP 00000355: POP 00000356: POP 00000357: POP 00000358: POP 00000359: POP 0000035a: POP 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x40 0000035f: DUP1 00000360: MLOAD 00000361: PUSH1 0x20 00000363: PUSH1 0x24 00000365: DUP1 00000366: CALLDATALOAD 00000367: PUSH1 0x04 00000369: DUP2 0000036a: DUP2 0000036b: ADD 0000036c: CALLDATALOAD 0000036d: PUSH1 0x1f 0000036f: DUP2 00000370: ADD 00000371: DUP6 00000372: SWAP1 00000373: DIV 00000374: DUP6 00000375: MUL 00000376: DUP7 00000377: ADD 00000378: DUP6 00000379: ADD 0000037a: SWAP1 0000037b: SWAP7 0000037c: MSTORE 0000037d: DUP6 0000037e: DUP6 0000037f: MSTORE 00000380: PUSH2 0x0061 00000383: SWAP6 00000384: DUP2 00000385: CALLDATALOAD 00000386: SWAP6 00000387: SWAP2 00000388: SWAP5 00000389: PUSH1 0x44 0000038b: SWAP5 0000038c: SWAP3 0000038d: SWAP4 0000038e: SWAP1 0000038f: SWAP3 00000390: ADD 00000391: SWAP2 00000392: DUP2 00000393: SWAP1 00000394: DUP5 00000395: ADD 00000396: DUP4 00000397: DUP3 00000398: DUP1 00000399: DUP3 0000039a: DUP5 0000039b: CALLDATACOPY 0000039c: POP 0000039d: SWAP5 0000039e: SWAP7 0000039f: POP 000003a0: POP 000003a1: POP 000003a2: POP 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: PUSH2 0x0a18 000003a9: PUSH2 0x089e 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH2 0x0061 000003b1: PUSH1 0x01 000003b3: SLOAD 000003b4: PUSH1 0x01 000003b6: PUSH1 0xa0 000003b8: PUSH1 0x02 000003ba: EXP 000003bb: SUB 000003bc: SWAP1 000003bd: DUP2 000003be: AND 000003bf: CALLER 000003c0: SWAP1 000003c1: SWAP2 000003c2: AND 000003c3: EQ 000003c4: ISZERO 000003c5: PUSH2 0x0a16 000003c8: JUMPI 000003c9: CALLER 000003ca: PUSH1 0x01 000003cc: PUSH1 0xa0 000003ce: PUSH1 0x02 000003d0: EXP 000003d1: SUB 000003d2: AND 000003d3: SELFDESTRUCT 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: DUP1 000003d8: MLOAD 000003d9: PUSH1 0x20 000003db: PUSH1 0x24 000003dd: DUP1 000003de: CALLDATALOAD 000003df: PUSH1 0x04 000003e1: DUP2 000003e2: DUP2 000003e3: ADD 000003e4: CALLDATALOAD 000003e5: PUSH1 0x1f 000003e7: DUP2 000003e8: ADD 000003e9: DUP6 000003ea: SWAP1 000003eb: DIV 000003ec: DUP6 000003ed: MUL 000003ee: DUP7 000003ef: ADD 000003f0: DUP6 000003f1: ADD 000003f2: SWAP1 000003f3: SWAP7 000003f4: MSTORE 000003f5: DUP6 000003f6: DUP6 000003f7: MSTORE 000003f8: PUSH2 0x0979 000003fb: SWAP6 000003fc: DUP2 000003fd: CALLDATALOAD 000003fe: SWAP6 000003ff: SWAP2 00000400: SWAP5 00000401: PUSH1 0x44 00000403: SWAP5 00000404: SWAP3 00000405: SWAP4 00000406: SWAP1 00000407: SWAP3 00000408: ADD 00000409: SWAP2 0000040a: DUP2 0000040b: SWAP1 0000040c: DUP5 0000040d: ADD 0000040e: DUP4 0000040f: DUP3 00000410: DUP1 00000411: DUP3 00000412: DUP5 00000413: CALLDATACOPY 00000414: POP 00000415: POP 00000416: PUSH1 0x40 00000418: DUP1 00000419: MLOAD 0000041a: PUSH1 0x20 0000041c: SWAP8 0000041d: CALLDATALOAD 0000041e: DUP1 0000041f: DUP11 00000420: ADD 00000421: CALLDATALOAD 00000422: PUSH1 0x1f 00000424: DUP2 00000425: ADD 00000426: DUP11 00000427: SWAP1 00000428: DIV 00000429: DUP11 0000042a: MUL 0000042b: DUP4 0000042c: ADD 0000042d: DUP11 0000042e: ADD 0000042f: SWAP1 00000430: SWAP4 00000431: MSTORE 00000432: DUP3 00000433: DUP3 00000434: MSTORE 00000435: SWAP7 00000436: SWAP9 00000437: SWAP8 00000438: PUSH1 0x64 0000043a: SWAP8 0000043b: SWAP2 0000043c: SWAP7 0000043d: POP 0000043e: PUSH1 0x24 00000440: SWAP2 00000441: SWAP1 00000442: SWAP2 00000443: ADD 00000444: SWAP5 00000445: POP 00000446: SWAP1 00000447: SWAP3 00000448: POP 00000449: DUP3 0000044a: SWAP2 0000044b: POP 0000044c: DUP5 0000044d: ADD 0000044e: DUP4 0000044f: DUP3 00000450: DUP1 00000451: DUP3 00000452: DUP5 00000453: CALLDATACOPY 00000454: POP 00000455: POP 00000456: PUSH1 0x40 00000458: DUP1 00000459: MLOAD 0000045a: PUSH1 0x20 0000045c: SWAP8 0000045d: CALLDATALOAD 0000045e: DUP1 0000045f: DUP11 00000460: ADD 00000461: CALLDATALOAD 00000462: PUSH1 0x1f 00000464: DUP2 00000465: ADD 00000466: DUP11 00000467: SWAP1 00000468: DIV 00000469: DUP11 0000046a: MUL 0000046b: DUP4 0000046c: ADD 0000046d: DUP11 0000046e: ADD 0000046f: SWAP1 00000470: SWAP4 00000471: MSTORE 00000472: DUP3 00000473: DUP3 00000474: MSTORE 00000475: SWAP7 00000476: SWAP9 00000477: SWAP8 00000478: PUSH1 0x84 0000047a: SWAP8 0000047b: SWAP2 0000047c: SWAP7 0000047d: POP 0000047e: PUSH1 0x24 00000480: SWAP2 00000481: SWAP1 00000482: SWAP2 00000483: ADD 00000484: SWAP5 00000485: POP 00000486: SWAP1 00000487: SWAP3 00000488: POP 00000489: DUP3 0000048a: SWAP2 0000048b: POP 0000048c: DUP5 0000048d: ADD 0000048e: DUP4 0000048f: DUP3 00000490: DUP1 00000491: DUP3 00000492: DUP5 00000493: CALLDATACOPY 00000494: POP 00000495: SWAP5 00000496: SWAP7 00000497: POP 00000498: POP 00000499: SWAP4 0000049a: CALLDATALOAD 0000049b: SWAP4 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: POP 000004a0: PUSH1 0x00 000004a2: PUSH1 0x00 000004a4: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 000004b9: SWAP1 000004ba: POP 000004bb: DUP1 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: PUSH1 0x02 000004c2: EXP 000004c3: SUB 000004c4: AND 000004c5: PUSH4 0x38cc4831 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: DUP2 000004ce: PUSH1 0xe0 000004d0: PUSH1 0x02 000004d2: EXP 000004d3: MUL 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x04 000004d8: ADD 000004d9: DUP1 000004da: SWAP1 000004db: POP 000004dc: PUSH1 0x20 000004de: PUSH1 0x40 000004e0: MLOAD 000004e1: DUP1 000004e2: DUP4 000004e3: SUB 000004e4: DUP2 000004e5: PUSH1 0x00 000004e7: DUP8 000004e8: PUSH2 0x61da 000004eb: GAS 000004ec: SUB 000004ed: CALL 000004ee: ISZERO 000004ef: PUSH2 0x0002 000004f2: JUMPI 000004f3: POP 000004f4: POP 000004f5: POP 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: DUP1 000004fa: MLOAD 000004fb: SWAP1 000004fc: PUSH1 0x20 000004fe: ADD 000004ff: POP 00000500: PUSH1 0x00 00000502: PUSH1 0x00 00000504: PUSH2 0x0100 00000507: EXP 00000508: DUP2 00000509: SLOAD 0000050a: DUP2 0000050b: PUSH1 0x01 0000050d: PUSH1 0xa0 0000050f: PUSH1 0x02 00000511: EXP 00000512: SUB 00000513: MUL 00000514: NOT 00000515: AND 00000516: SWAP1 00000517: DUP4 00000518: MUL 00000519: OR 0000051a: SWAP1 0000051b: SSTORE 0000051c: POP 0000051d: PUSH1 0x00 0000051f: PUSH1 0x00 00000521: SWAP1 00000522: SLOAD 00000523: SWAP1 00000524: PUSH2 0x0100 00000527: EXP 00000528: SWAP1 00000529: DIV 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: AND 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: AND 0000053c: PUSH4 0xfbf80418 00000541: PUSH1 0x00 00000543: PUSH1 0x00 00000545: SWAP1 00000546: SLOAD 00000547: SWAP1 00000548: PUSH2 0x0100 0000054b: EXP 0000054c: SWAP1 0000054d: DIV 0000054e: PUSH1 0x01 00000550: PUSH1 0xa0 00000552: PUSH1 0x02 00000554: EXP 00000555: SUB 00000556: AND 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: PUSH1 0x02 0000055d: EXP 0000055e: SUB 0000055f: AND 00000560: PUSH4 0x2ef3accc 00000565: DUP10 00000566: DUP8 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: DUP4 0000056b: PUSH1 0xe0 0000056d: PUSH1 0x02 0000056f: EXP 00000570: MUL 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x04 00000575: ADD 00000576: DUP1 00000577: DUP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: DUP4 0000057c: DUP2 0000057d: MSTORE 0000057e: PUSH1 0x20 00000580: ADD 00000581: DUP3 00000582: DUP2 00000583: SUB 00000584: DUP3 00000585: MSTORE 00000586: DUP5 00000587: DUP2 00000588: DUP2 00000589: MLOAD 0000058a: DUP2 0000058b: MSTORE 0000058c: PUSH1 0x20 0000058e: ADD 0000058f: SWAP2 00000590: POP 00000591: DUP1 00000592: MLOAD 00000593: SWAP1 00000594: PUSH1 0x20 00000596: ADD 00000597: SWAP1 00000598: DUP1 00000599: DUP4 0000059a: DUP4 0000059b: DUP3 0000059c: SWAP1 0000059d: PUSH1 0x00 0000059f: PUSH1 0x04 000005a1: PUSH1 0x20 000005a3: DUP5 000005a4: PUSH1 0x1f 000005a6: ADD 000005a7: DIV 000005a8: PUSH1 0x03 000005aa: MUL 000005ab: PUSH1 0x0f 000005ad: ADD 000005ae: CALL 000005af: POP 000005b0: SWAP1 000005b1: POP 000005b2: SWAP1 000005b3: DUP2 000005b4: ADD 000005b5: SWAP1 000005b6: PUSH1 0x1f 000005b8: AND 000005b9: DUP1 000005ba: ISZERO 000005bb: PUSH2 0x05d8 000005be: JUMPI 000005bf: DUP1 000005c0: DUP3 000005c1: SUB 000005c2: DUP1 000005c3: MLOAD 000005c4: PUSH1 0x01 000005c6: DUP4 000005c7: PUSH1 0x20 000005c9: SUB 000005ca: PUSH2 0x0100 000005cd: EXP 000005ce: SUB 000005cf: NOT 000005d0: AND 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: SWAP2 000005d7: POP 000005d8: JUMPDEST 000005d9: POP 000005da: SWAP4 000005db: POP 000005dc: POP 000005dd: POP 000005de: POP 000005df: PUSH1 0x20 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: DUP1 000005e5: DUP4 000005e6: SUB 000005e7: DUP2 000005e8: PUSH1 0x00 000005ea: DUP8 000005eb: PUSH2 0x61da 000005ee: GAS 000005ef: SUB 000005f0: CALL 000005f1: ISZERO 000005f2: PUSH2 0x0002 000005f5: JUMPI 000005f6: POP 000005f7: POP 000005f8: POP 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: MLOAD 000005fe: SWAP1 000005ff: PUSH1 0x20 00000601: ADD 00000602: POP 00000603: DUP10 00000604: DUP10 00000605: DUP10 00000606: DUP10 00000607: DUP10 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: DUP8 0000060c: PUSH1 0xe0 0000060e: PUSH1 0x02 00000610: EXP 00000611: MUL 00000612: DUP2 00000613: MSTORE 00000614: PUSH1 0x04 00000616: ADD 00000617: DUP1 00000618: DUP7 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: DUP1 0000061f: PUSH1 0x20 00000621: ADD 00000622: DUP1 00000623: PUSH1 0x20 00000625: ADD 00000626: DUP1 00000627: PUSH1 0x20 00000629: ADD 0000062a: DUP6 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x20 0000062f: ADD 00000630: DUP5 00000631: DUP2 00000632: SUB 00000633: DUP5 00000634: MSTORE 00000635: DUP9 00000636: DUP2 00000637: DUP2 00000638: MLOAD 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: SWAP2 0000063f: POP 00000640: DUP1 00000641: MLOAD 00000642: SWAP1 00000643: PUSH1 0x20 00000645: ADD 00000646: SWAP1 00000647: DUP1 00000648: DUP4 00000649: DUP4 0000064a: DUP3 0000064b: SWAP1 0000064c: PUSH1 0x00 0000064e: PUSH1 0x04 00000650: PUSH1 0x20 00000652: DUP5 00000653: PUSH1 0x1f 00000655: ADD 00000656: DIV 00000657: PUSH1 0x03 00000659: MUL 0000065a: PUSH1 0x0f 0000065c: ADD 0000065d: CALL 0000065e: POP 0000065f: SWAP1 00000660: POP 00000661: SWAP1 00000662: DUP2 00000663: ADD 00000664: SWAP1 00000665: PUSH1 0x1f 00000667: AND 00000668: DUP1 00000669: ISZERO 0000066a: PUSH2 0x0687 0000066d: JUMPI 0000066e: DUP1 0000066f: DUP3 00000670: SUB 00000671: DUP1 00000672: MLOAD 00000673: PUSH1 0x01 00000675: DUP4 00000676: PUSH1 0x20 00000678: SUB 00000679: PUSH2 0x0100 0000067c: EXP 0000067d: SUB 0000067e: NOT 0000067f: AND 00000680: DUP2 00000681: MSTORE 00000682: PUSH1 0x20 00000684: ADD 00000685: SWAP2 00000686: POP 00000687: JUMPDEST 00000688: POP 00000689: DUP5 0000068a: DUP2 0000068b: SUB 0000068c: DUP4 0000068d: MSTORE 0000068e: DUP8 0000068f: DUP2 00000690: DUP2 00000691: MLOAD 00000692: DUP2 00000693: MSTORE 00000694: PUSH1 0x20 00000696: ADD 00000697: SWAP2 00000698: POP 00000699: DUP1 0000069a: MLOAD 0000069b: SWAP1 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: SWAP1 000006a0: DUP1 000006a1: DUP4 000006a2: DUP4 000006a3: DUP3 000006a4: SWAP1 000006a5: PUSH1 0x00 000006a7: PUSH1 0x04 000006a9: PUSH1 0x20 000006ab: DUP5 000006ac: PUSH1 0x1f 000006ae: ADD 000006af: DIV 000006b0: PUSH1 0x03 000006b2: MUL 000006b3: PUSH1 0x0f 000006b5: ADD 000006b6: CALL 000006b7: POP 000006b8: SWAP1 000006b9: POP 000006ba: SWAP1 000006bb: DUP2 000006bc: ADD 000006bd: SWAP1 000006be: PUSH1 0x1f 000006c0: AND 000006c1: DUP1 000006c2: ISZERO 000006c3: PUSH2 0x06e0 000006c6: JUMPI 000006c7: DUP1 000006c8: DUP3 000006c9: SUB 000006ca: DUP1 000006cb: MLOAD 000006cc: PUSH1 0x01 000006ce: DUP4 000006cf: PUSH1 0x20 000006d1: SUB 000006d2: PUSH2 0x0100 000006d5: EXP 000006d6: SUB 000006d7: NOT 000006d8: AND 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x20 000006dd: ADD 000006de: SWAP2 000006df: POP 000006e0: JUMPDEST 000006e1: POP 000006e2: DUP5 000006e3: DUP2 000006e4: SUB 000006e5: DUP3 000006e6: MSTORE 000006e7: DUP7 000006e8: DUP2 000006e9: DUP2 000006ea: MLOAD 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: SWAP2 000006f1: POP 000006f2: DUP1 000006f3: MLOAD 000006f4: SWAP1 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: SWAP1 000006f9: DUP1 000006fa: DUP4 000006fb: DUP4 000006fc: DUP3 000006fd: SWAP1 000006fe: PUSH1 0x00 00000700: PUSH1 0x04 00000702: PUSH1 0x20 00000704: DUP5 00000705: PUSH1 0x1f 00000707: ADD 00000708: DIV 00000709: PUSH1 0x03 0000070b: MUL 0000070c: PUSH1 0x0f 0000070e: ADD 0000070f: CALL 00000710: POP 00000711: SWAP1 00000712: POP 00000713: SWAP1 00000714: DUP2 00000715: ADD 00000716: SWAP1 00000717: PUSH1 0x1f 00000719: AND 0000071a: DUP1 0000071b: ISZERO 0000071c: PUSH2 0x0739 0000071f: JUMPI 00000720: DUP1 00000721: DUP3 00000722: SUB 00000723: DUP1 00000724: MLOAD 00000725: PUSH1 0x01 00000727: DUP4 00000728: PUSH1 0x20 0000072a: SUB 0000072b: PUSH2 0x0100 0000072e: EXP 0000072f: SUB 00000730: NOT 00000731: AND 00000732: DUP2 00000733: MSTORE 00000734: PUSH1 0x20 00000736: ADD 00000737: SWAP2 00000738: POP 00000739: JUMPDEST 0000073a: POP 0000073b: SWAP9 0000073c: POP 0000073d: POP 0000073e: POP 0000073f: POP 00000740: POP 00000741: POP 00000742: POP 00000743: POP 00000744: POP 00000745: PUSH1 0x20 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: DUP1 0000074b: DUP4 0000074c: SUB 0000074d: DUP2 0000074e: DUP6 0000074f: DUP9 00000750: PUSH2 0x8502 00000753: GAS 00000754: SUB 00000755: CALL 00000756: ISZERO 00000757: PUSH2 0x0002 0000075a: JUMPI 0000075b: POP 0000075c: POP 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: MLOAD 00000761: SWAP10 00000762: SWAP9 00000763: POP 00000764: POP 00000765: POP 00000766: POP 00000767: POP 00000768: POP 00000769: POP 0000076a: POP 0000076b: POP 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH2 0x0061 00000771: JUMPDEST 00000772: PUSH2 0x0ae0 00000775: PUSH1 0x00 00000777: PUSH1 0x40 00000779: PUSH1 0x40 0000077b: MLOAD 0000077c: SWAP1 0000077d: DUP2 0000077e: ADD 0000077f: PUSH1 0x40 00000781: MSTORE 00000782: DUP1 00000783: PUSH1 0x03 00000785: DUP2 00000786: MSTORE 00000787: PUSH1 0x20 00000789: ADD 0000078a: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x20 000007af: ADD 000007b0: POP 000007b1: PUSH1 0x80 000007b3: PUSH1 0x40 000007b5: MLOAD 000007b6: SWAP1 000007b7: DUP2 000007b8: ADD 000007b9: PUSH1 0x40 000007bb: MSTORE 000007bc: DUP1 000007bd: PUSH1 0x4c 000007bf: DUP2 000007c0: MSTORE 000007c1: PUSH1 0x20 000007c3: ADD 000007c4: PUSH32 0x6a736f6e2868747470733a2f2f6170692e6b72616b656e2e636f6d2f302f7075 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x20 000007e9: ADD 000007ea: PUSH32 0x626c69632f5469636b65723f706169723d455448584254292e726573756c742e 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: ADD 00000810: PUSH32 0x58455448585842542e632e300000000000000000000000000000000000000000 00000831: DUP2 00000832: MSTORE 00000833: PUSH1 0x20 00000835: ADD 00000836: POP 00000837: PUSH3 0x030d41 0000083b: PUSH2 0x00ef 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x40 00000842: DUP1 00000843: MLOAD 00000844: PUSH1 0x02 00000846: DUP1 00000847: SLOAD 00000848: PUSH1 0x20 0000084a: PUSH1 0x01 0000084c: DUP3 0000084d: AND 0000084e: ISZERO 0000084f: PUSH2 0x0100 00000852: MUL 00000853: PUSH1 0x00 00000855: NOT 00000856: ADD 00000857: SWAP1 00000858: SWAP2 00000859: AND 0000085a: DUP3 0000085b: SWAP1 0000085c: DIV 0000085d: PUSH1 0x1f 0000085f: DUP2 00000860: ADD 00000861: DUP3 00000862: SWAP1 00000863: DIV 00000864: DUP3 00000865: MUL 00000866: DUP5 00000867: ADD 00000868: DUP3 00000869: ADD 0000086a: SWAP1 0000086b: SWAP5 0000086c: MSTORE 0000086d: DUP4 0000086e: DUP4 0000086f: MSTORE 00000870: PUSH2 0x098b 00000873: SWAP4 00000874: SWAP1 00000875: DUP4 00000876: ADD 00000877: DUP3 00000878: DUP3 00000879: DUP1 0000087a: ISZERO 0000087b: PUSH2 0x0b0e 0000087e: JUMPI 0000087f: DUP1 00000880: PUSH1 0x1f 00000882: LT 00000883: PUSH2 0x0ae3 00000886: JUMPI 00000887: PUSH2 0x0100 0000088a: DUP1 0000088b: DUP4 0000088c: SLOAD 0000088d: DIV 0000088e: MUL 0000088f: DUP4 00000890: MSTORE 00000891: SWAP2 00000892: PUSH1 0x20 00000894: ADD 00000895: SWAP2 00000896: PUSH2 0x0b0e 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH2 0x09f9 0000089e: JUMPDEST 0000089f: PUSH1 0x00 000008a1: PUSH1 0x00 000008a3: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 000008b8: SWAP1 000008b9: POP 000008ba: DUP1 000008bb: PUSH1 0x01 000008bd: PUSH1 0xa0 000008bf: PUSH1 0x02 000008c1: EXP 000008c2: SUB 000008c3: AND 000008c4: PUSH4 0x38cc4831 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: DUP2 000008cd: PUSH1 0xe0 000008cf: PUSH1 0x02 000008d1: EXP 000008d2: MUL 000008d3: DUP2 000008d4: MSTORE 000008d5: PUSH1 0x04 000008d7: ADD 000008d8: DUP1 000008d9: SWAP1 000008da: POP 000008db: PUSH1 0x20 000008dd: PUSH1 0x40 000008df: MLOAD 000008e0: DUP1 000008e1: DUP4 000008e2: SUB 000008e3: DUP2 000008e4: PUSH1 0x00 000008e6: DUP8 000008e7: PUSH2 0x61da 000008ea: GAS 000008eb: SUB 000008ec: CALL 000008ed: ISZERO 000008ee: PUSH2 0x0002 000008f1: JUMPI 000008f2: POP 000008f3: POP 000008f4: PUSH1 0x40 000008f6: DUP1 000008f7: MLOAD 000008f8: DUP1 000008f9: MLOAD 000008fa: DUP6 000008fb: SLOAD 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: NOT 00000912: AND 00000913: OR 00000914: DUP1 00000915: DUP7 00000916: SSTORE 00000917: PUSH32 0x4c77379500000000000000000000000000000000000000000000000000000000 00000938: DUP3 00000939: MSTORE 0000093a: SWAP2 0000093b: MLOAD 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: PUSH1 0x02 00000942: EXP 00000943: SUB 00000944: SWAP3 00000945: SWAP1 00000946: SWAP3 00000947: AND 00000948: SWAP3 00000949: POP 0000094a: PUSH4 0x4c773795 0000094f: SWAP2 00000950: PUSH1 0x04 00000952: DUP3 00000953: DUP2 00000954: ADD 00000955: SWAP3 00000956: PUSH1 0x20 00000958: SWAP3 00000959: SWAP2 0000095a: SWAP1 0000095b: DUP3 0000095c: SWAP1 0000095d: SUB 0000095e: ADD 0000095f: DUP2 00000960: DUP9 00000961: DUP8 00000962: PUSH2 0x61da 00000965: GAS 00000966: SUB 00000967: CALL 00000968: ISZERO 00000969: PUSH2 0x0002 0000096c: JUMPI 0000096d: POP 0000096e: POP 0000096f: PUSH1 0x40 00000971: MLOAD 00000972: MLOAD 00000973: SWAP3 00000974: POP 00000975: POP 00000976: POP 00000977: SWAP1 00000978: JUMP 00000979: JUMPDEST 0000097a: PUSH1 0x40 0000097c: DUP1 0000097d: MLOAD 0000097e: SWAP2 0000097f: DUP3 00000980: MSTORE 00000981: MLOAD 00000982: SWAP1 00000983: DUP2 00000984: SWAP1 00000985: SUB 00000986: PUSH1 0x20 00000988: ADD 00000989: SWAP1 0000098a: RETURN 0000098b: JUMPDEST 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: DUP1 00000990: DUP1 00000991: PUSH1 0x20 00000993: ADD 00000994: DUP3 00000995: DUP2 00000996: SUB 00000997: DUP3 00000998: MSTORE 00000999: DUP4 0000099a: DUP2 0000099b: DUP2 0000099c: MLOAD 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: ADD 000009a2: SWAP2 000009a3: POP 000009a4: DUP1 000009a5: MLOAD 000009a6: SWAP1 000009a7: PUSH1 0x20 000009a9: ADD 000009aa: SWAP1 000009ab: DUP1 000009ac: DUP4 000009ad: DUP4 000009ae: DUP3 000009af: SWAP1 000009b0: PUSH1 0x00 000009b2: PUSH1 0x04 000009b4: PUSH1 0x20 000009b6: DUP5 000009b7: PUSH1 0x1f 000009b9: ADD 000009ba: DIV 000009bb: PUSH1 0x03 000009bd: MUL 000009be: PUSH1 0x0f 000009c0: ADD 000009c1: CALL 000009c2: POP 000009c3: SWAP1 000009c4: POP 000009c5: SWAP1 000009c6: DUP2 000009c7: ADD 000009c8: SWAP1 000009c9: PUSH1 0x1f 000009cb: AND 000009cc: DUP1 000009cd: ISZERO 000009ce: PUSH2 0x09eb 000009d1: JUMPI 000009d2: DUP1 000009d3: DUP3 000009d4: SUB 000009d5: DUP1 000009d6: MLOAD 000009d7: PUSH1 0x01 000009d9: DUP4 000009da: PUSH1 0x20 000009dc: SUB 000009dd: PUSH2 0x0100 000009e0: EXP 000009e1: SUB 000009e2: NOT 000009e3: AND 000009e4: DUP2 000009e5: MSTORE 000009e6: PUSH1 0x20 000009e8: ADD 000009e9: SWAP2 000009ea: POP 000009eb: JUMPDEST 000009ec: POP 000009ed: SWAP3 000009ee: POP 000009ef: POP 000009f0: POP 000009f1: PUSH1 0x40 000009f3: MLOAD 000009f4: DUP1 000009f5: SWAP2 000009f6: SUB 000009f7: SWAP1 000009f8: RETURN 000009f9: JUMPDEST 000009fa: PUSH1 0x40 000009fc: DUP1 000009fd: MLOAD 000009fe: PUSH1 0x01 00000a00: PUSH1 0xa0 00000a02: PUSH1 0x02 00000a04: EXP 00000a05: SUB 00000a06: SWAP3 00000a07: SWAP1 00000a08: SWAP3 00000a09: AND 00000a0a: DUP3 00000a0b: MSTORE 00000a0c: MLOAD 00000a0d: SWAP1 00000a0e: DUP2 00000a0f: SWAP1 00000a10: SUB 00000a11: PUSH1 0x20 00000a13: ADD 00000a14: SWAP1 00000a15: RETURN 00000a16: JUMPDEST 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x01 00000a1b: PUSH1 0xa0 00000a1d: PUSH1 0x02 00000a1f: EXP 00000a20: SUB 00000a21: AND 00000a22: CALLER 00000a23: PUSH1 0x01 00000a25: PUSH1 0xa0 00000a27: PUSH1 0x02 00000a29: EXP 00000a2a: SUB 00000a2b: AND 00000a2c: EQ 00000a2d: ISZERO 00000a2e: ISZERO 00000a2f: PUSH2 0x0a37 00000a32: JUMPI 00000a33: PUSH2 0x0002 00000a36: JUMP 00000a37: JUMPDEST 00000a38: DUP1 00000a39: PUSH1 0x02 00000a3b: PUSH1 0x00 00000a3d: POP 00000a3e: SWAP1 00000a3f: DUP1 00000a40: MLOAD 00000a41: SWAP1 00000a42: PUSH1 0x20 00000a44: ADD 00000a45: SWAP1 00000a46: DUP3 00000a47: DUP1 00000a48: SLOAD 00000a49: PUSH1 0x01 00000a4b: DUP2 00000a4c: PUSH1 0x01 00000a4e: AND 00000a4f: ISZERO 00000a50: PUSH2 0x0100 00000a53: MUL 00000a54: SUB 00000a55: AND 00000a56: PUSH1 0x02 00000a58: SWAP1 00000a59: DIV 00000a5a: SWAP1 00000a5b: PUSH1 0x00 00000a5d: MSTORE 00000a5e: PUSH1 0x20 00000a60: PUSH1 0x00 00000a62: KECCAK256 00000a63: SWAP1 00000a64: PUSH1 0x1f 00000a66: ADD 00000a67: PUSH1 0x20 00000a69: SWAP1 00000a6a: DIV 00000a6b: DUP2 00000a6c: ADD 00000a6d: SWAP3 00000a6e: DUP3 00000a6f: PUSH1 0x1f 00000a71: LT 00000a72: PUSH2 0x0a9e 00000a75: JUMPI 00000a76: DUP1 00000a77: MLOAD 00000a78: PUSH1 0xff 00000a7a: NOT 00000a7b: AND 00000a7c: DUP4 00000a7d: DUP1 00000a7e: ADD 00000a7f: OR 00000a80: DUP6 00000a81: SSTORE 00000a82: JUMPDEST 00000a83: POP 00000a84: PUSH2 0x0ace 00000a87: SWAP3 00000a88: SWAP2 00000a89: POP 00000a8a: JUMPDEST 00000a8b: DUP1 00000a8c: DUP3 00000a8d: GT 00000a8e: ISZERO 00000a8f: PUSH2 0x0ad8 00000a92: JUMPI 00000a93: PUSH1 0x00 00000a95: DUP2 00000a96: SSTORE 00000a97: PUSH1 0x01 00000a99: ADD 00000a9a: PUSH2 0x0a8a 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: DUP3 00000aa0: DUP1 00000aa1: ADD 00000aa2: PUSH1 0x01 00000aa4: ADD 00000aa5: DUP6 00000aa6: SSTORE 00000aa7: DUP3 00000aa8: ISZERO 00000aa9: PUSH2 0x0a82 00000aac: JUMPI 00000aad: SWAP2 00000aae: DUP3 00000aaf: ADD 00000ab0: JUMPDEST 00000ab1: DUP3 00000ab2: DUP2 00000ab3: GT 00000ab4: ISZERO 00000ab5: PUSH2 0x0a82 00000ab8: JUMPI 00000ab9: DUP3 00000aba: MLOAD 00000abb: DUP3 00000abc: PUSH1 0x00 00000abe: POP 00000abf: SSTORE 00000ac0: SWAP2 00000ac1: PUSH1 0x20 00000ac3: ADD 00000ac4: SWAP2 00000ac5: SWAP1 00000ac6: PUSH1 0x01 00000ac8: ADD 00000ac9: SWAP1 00000aca: PUSH2 0x0ab0 00000acd: JUMP 00000ace: JUMPDEST 00000acf: POP 00000ad0: POP 00000ad1: PUSH2 0x0adc 00000ad4: PUSH2 0x0771 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: POP 00000ada: SWAP1 00000adb: JUMP 00000adc: JUMPDEST 00000add: POP 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: POP 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: DUP3 00000ae5: ADD 00000ae6: SWAP2 00000ae7: SWAP1 00000ae8: PUSH1 0x00 00000aea: MSTORE 00000aeb: PUSH1 0x20 00000aed: PUSH1 0x00 00000aef: KECCAK256 00000af0: SWAP1 00000af1: JUMPDEST 00000af2: DUP2 00000af3: SLOAD 00000af4: DUP2 00000af5: MSTORE 00000af6: SWAP1 00000af7: PUSH1 0x01 00000af9: ADD 00000afa: SWAP1 00000afb: PUSH1 0x20 00000afd: ADD 00000afe: DUP1 00000aff: DUP4 00000b00: GT 00000b01: PUSH2 0x0af1 00000b04: JUMPI 00000b05: DUP3 00000b06: SWAP1 00000b07: SUB 00000b08: PUSH1 0x1f 00000b0a: AND 00000b0b: DUP3 00000b0c: ADD 00000b0d: SWAP2 00000b0e: JUMPDEST 00000b0f: POP 00000b10: POP 00000b11: POP 00000b12: POP 00000b13: POP 00000b14: DUP2 00000b15: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0x27bc0dd175af4cdf3cbc6733946280feb7dd0d1b9402777bca818bb1081f3aa4
call_targets:
0x0000000000000000000000000000000000000004, 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8, 0x6f28b146804dba2d6f944c03528a8fdbc673df2c, 0xe30f4ee7a2fc59353d70e1ed66663614949f9295
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x27bc0dd175af4cdf3cbc6733946280feb7dd0d1b9402777bca818bb1081f3aa4",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x1d11e5eae3112dbd44f99266872ff1d07c77dce8",
"0x6f28b146804dba2d6f944c03528a8fdbc673df2c",
"0xe30f4ee7a2fc59353d70e1ed66663614949f9295"
],
"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": "0x056e1059",
"selector": "0x056e1059",
"calldata_variants": [
"0x056e1059",
"0x056e10590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65a4dfb3",
"selector": "0x65a4dfb3",
"calldata_variants": [
"0x65a4dfb3",
"0x65a4dfb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2e62045",
"selector": "0xa2e62045",
"calldata_variants": [
"0xa2e62045",
"0xa2e620450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7764475",
"selector": "0xb7764475",
"calldata_variants": [
"0xb7764475",
"0xb77644750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5948770",
"selector": "0xd5948770",
"calldata_variants": [
"0xd5948770",
"0xd59487700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 510,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 16,
"guards_detected": [],
"untrusted_call_count": 16
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0x27bc0dd175af4cdf3cbc6733946280feb7dd0d1b9402777bca818bb1081f3aa4
call_targets:
0x0000000000000000000000000000000000000004, 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8, 0x6f28b146804dba2d6f944c03528a8fdbc673df2c, 0xe30f4ee7a2fc59353d70e1ed66663614949f9295
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x27bc0dd175af4cdf3cbc6733946280feb7dd0d1b9402777bca818bb1081f3aa4",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x1d11e5eae3112dbd44f99266872ff1d07c77dce8",
"0x6f28b146804dba2d6f944c03528a8fdbc673df2c",
"0xe30f4ee7a2fc59353d70e1ed66663614949f9295"
],
"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": "0x056e1059",
"selector": "0x056e1059",
"calldata_variants": [
"0x056e1059",
"0x056e10590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65a4dfb3",
"selector": "0x65a4dfb3",
"calldata_variants": [
"0x65a4dfb3",
"0x65a4dfb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2e62045",
"selector": "0xa2e62045",
"calldata_variants": [
"0xa2e62045",
"0xa2e620450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7764475",
"selector": "0xb7764475",
"calldata_variants": [
"0xb7764475",
"0xb77644750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5948770",
"selector": "0xd5948770",
"calldata_variants": [
"0xd5948770",
"0xd59487700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 510,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x2d8c7a759e81270ae8d11c71e3358a12f04bd22e3d92ded13d148b316a757c7c
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 14,
"trace_id": "0x2d8c7a759e81270ae8d11c71e3358a12f04bd22e3d92ded13d148b316a757c7c",
"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": "0x056e1059",
"selector": "0x056e1059",
"calldata_variants": [
"0x056e1059",
"0x056e10590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65a4dfb3",
"selector": "0x65a4dfb3",
"calldata_variants": [
"0x65a4dfb3",
"0x65a4dfb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2e62045",
"selector": "0xa2e62045",
"calldata_variants": [
"0xa2e62045",
"0xa2e620450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7764475",
"selector": "0xb7764475",
"calldata_variants": [
"0xb7764475",
"0xb77644750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5948770",
"selector": "0xd5948770",
"calldata_variants": [
"0xd5948770",
"0xd59487700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|