019b3836-24ad-70f6-86bf-30488bfbcd69
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 |
|---|---|---|---|---|
| 665 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 666 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 96282 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 96283 | capability.graph | complete | 1 / 3 | 1 week ago |
| 96284 | detector.run | complete | 1 / 3 | 1 week ago |
| 96285 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113801 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-9498252r model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c9f-0817-7c01-8d47-a0d8a335e8cf -------- 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:50:21.311646+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 5516,
"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: PUSH1 0xe0 00000007: PUSH1 0x02 00000009: EXP 0000000a: PUSH1 0x00 0000000c: CALLDATALOAD 0000000d: DIV 0000000e: PUSH4 0x27dc297e 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x0031 00000018: JUMPI 00000019: DUP1 0000001a: PUSH4 0x41c0e1b5 0000001f: EQ 00000020: PUSH2 0x0169 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x504ac982 0000002a: EQ 0000002b: PUSH2 0x0190 0000002e: JUMPI 0000002f: JUMPDEST 00000030: STOP 00000031: JUMPDEST 00000032: PUSH1 0x20 00000034: PUSH1 0x24 00000036: DUP1 00000037: CALLDATALOAD 00000038: PUSH1 0x04 0000003a: DUP2 0000003b: DUP2 0000003c: ADD 0000003d: CALLDATALOAD 0000003e: PUSH1 0x1f 00000040: DUP2 00000041: ADD 00000042: DUP6 00000043: SWAP1 00000044: DIV 00000045: SWAP1 00000046: SWAP5 00000047: MUL 00000048: PUSH1 0x80 0000004a: SWAP1 0000004b: DUP2 0000004c: ADD 0000004d: PUSH1 0x40 0000004f: MSTORE 00000050: PUSH1 0x60 00000052: DUP6 00000053: DUP2 00000054: MSTORE 00000055: PUSH2 0x002f 00000058: SWAP6 00000059: DUP4 0000005a: CALLDATALOAD 0000005b: SWAP6 0000005c: SWAP4 0000005d: SWAP5 0000005e: PUSH1 0x44 00000060: SWAP5 00000061: SWAP3 00000062: SWAP4 00000063: SWAP3 00000064: ADD 00000065: SWAP2 00000066: DUP2 00000067: SWAP1 00000068: DUP4 00000069: DUP3 0000006a: DUP1 0000006b: DUP3 0000006c: DUP5 0000006d: CALLDATACOPY 0000006e: POP 0000006f: SWAP5 00000070: SWAP7 00000071: POP 00000072: POP 00000073: POP 00000074: POP 00000075: POP 00000076: POP 00000077: POP 00000078: PUSH1 0x40 0000007a: DUP1 0000007b: MLOAD 0000007c: PUSH1 0x20 0000007e: DUP2 0000007f: ADD 00000080: SWAP1 00000081: SWAP2 00000082: MSTORE 00000083: PUSH1 0x00 00000085: DUP1 00000086: DUP3 00000087: MSTORE 00000088: DUP1 00000089: DUP1 0000008a: DUP1 0000008b: DUP1 0000008c: PUSH2 0x047c 0000008f: PUSH1 0x00 00000091: PUSH1 0x00 00000093: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 000000a8: SWAP1 000000a9: POP 000000aa: DUP1 000000ab: PUSH1 0x01 000000ad: PUSH1 0xa0 000000af: PUSH1 0x02 000000b1: EXP 000000b2: SUB 000000b3: AND 000000b4: PUSH4 0x38cc4831 000000b9: PUSH1 0x40 000000bb: MLOAD 000000bc: DUP2 000000bd: PUSH1 0xe0 000000bf: PUSH1 0x02 000000c1: EXP 000000c2: MUL 000000c3: DUP2 000000c4: MSTORE 000000c5: PUSH1 0x04 000000c7: ADD 000000c8: DUP1 000000c9: SWAP1 000000ca: POP 000000cb: PUSH1 0x20 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: DUP4 000000d2: SUB 000000d3: DUP2 000000d4: PUSH1 0x00 000000d6: DUP8 000000d7: PUSH2 0x61da 000000da: GAS 000000db: SUB 000000dc: CALL 000000dd: ISZERO 000000de: PUSH2 0x0002 000000e1: JUMPI 000000e2: POP 000000e3: POP 000000e4: PUSH1 0x40 000000e6: DUP1 000000e7: MLOAD 000000e8: DUP1 000000e9: MLOAD 000000ea: DUP6 000000eb: SLOAD 000000ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000101: NOT 00000102: AND 00000103: OR 00000104: DUP1 00000105: DUP7 00000106: SSTORE 00000107: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 00000128: DUP3 00000129: MSTORE 0000012a: SWAP2 0000012b: MLOAD 0000012c: PUSH1 0x01 0000012e: PUSH1 0xa0 00000130: PUSH1 0x02 00000132: EXP 00000133: SUB 00000134: SWAP3 00000135: SWAP1 00000136: SWAP3 00000137: AND 00000138: SWAP3 00000139: POP 0000013a: PUSH4 0xc281d19e 0000013f: SWAP2 00000140: PUSH1 0x04 00000142: DUP3 00000143: DUP2 00000144: ADD 00000145: SWAP3 00000146: PUSH1 0x20 00000148: SWAP3 00000149: SWAP2 0000014a: SWAP1 0000014b: DUP3 0000014c: SWAP1 0000014d: SUB 0000014e: ADD 0000014f: DUP2 00000150: DUP9 00000151: DUP8 00000152: PUSH2 0x61da 00000155: GAS 00000156: SUB 00000157: CALL 00000158: ISZERO 00000159: PUSH2 0x0002 0000015c: JUMPI 0000015d: POP 0000015e: POP 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: MLOAD 00000163: SWAP3 00000164: POP 00000165: POP 00000166: POP 00000167: SWAP1 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH2 0x002f 0000016d: PUSH1 0x01 0000016f: SLOAD 00000170: PUSH1 0x01 00000172: PUSH1 0xa0 00000174: PUSH1 0x02 00000176: EXP 00000177: SUB 00000178: SWAP1 00000179: DUP2 0000017a: AND 0000017b: CALLER 0000017c: SWAP1 0000017d: SWAP2 0000017e: AND 0000017f: EQ 00000180: ISZERO 00000181: PUSH2 0x0ac3 00000184: JUMPI 00000185: CALLER 00000186: PUSH1 0x01 00000188: PUSH1 0xa0 0000018a: PUSH1 0x02 0000018c: EXP 0000018d: SUB 0000018e: AND 0000018f: SELFDESTRUCT 00000190: JUMPDEST 00000191: PUSH1 0x20 00000193: PUSH1 0x04 00000195: DUP1 00000196: CALLDATALOAD 00000197: DUP1 00000198: DUP3 00000199: ADD 0000019a: CALLDATALOAD 0000019b: PUSH1 0x1f 0000019d: DUP2 0000019e: ADD 0000019f: DUP5 000001a0: SWAP1 000001a1: DIV 000001a2: SWAP1 000001a3: SWAP4 000001a4: MUL 000001a5: PUSH1 0x80 000001a7: SWAP1 000001a8: DUP2 000001a9: ADD 000001aa: PUSH1 0x40 000001ac: MSTORE 000001ad: PUSH1 0x60 000001af: DUP5 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH2 0x002f 000001b5: SWAP5 000001b6: PUSH1 0x24 000001b8: SWAP4 000001b9: SWAP2 000001ba: SWAP3 000001bb: SWAP2 000001bc: DUP5 000001bd: ADD 000001be: SWAP2 000001bf: DUP2 000001c0: SWAP1 000001c1: DUP4 000001c2: DUP3 000001c3: DUP1 000001c4: DUP3 000001c5: DUP5 000001c6: CALLDATACOPY 000001c7: POP 000001c8: POP 000001c9: PUSH1 0x40 000001cb: DUP1 000001cc: MLOAD 000001cd: PUSH1 0x20 000001cf: DUP9 000001d0: CALLDATALOAD 000001d1: DUP1 000001d2: DUP12 000001d3: ADD 000001d4: CALLDATALOAD 000001d5: PUSH1 0x1f 000001d7: DUP2 000001d8: ADD 000001d9: DUP4 000001da: SWAP1 000001db: DIV 000001dc: DUP4 000001dd: MUL 000001de: DUP5 000001df: ADD 000001e0: DUP4 000001e1: ADD 000001e2: SWAP1 000001e3: SWAP5 000001e4: MSTORE 000001e5: DUP4 000001e6: DUP4 000001e7: MSTORE 000001e8: SWAP8 000001e9: SWAP10 000001ea: SWAP9 000001eb: PUSH1 0x44 000001ed: SWAP9 000001ee: SWAP3 000001ef: SWAP8 000001f0: POP 000001f1: SWAP2 000001f2: SWAP1 000001f3: SWAP2 000001f4: ADD 000001f5: SWAP5 000001f6: POP 000001f7: SWAP1 000001f8: SWAP3 000001f9: POP 000001fa: DUP3 000001fb: SWAP2 000001fc: POP 000001fd: DUP5 000001fe: ADD 000001ff: DUP4 00000200: DUP3 00000201: DUP1 00000202: DUP3 00000203: DUP5 00000204: CALLDATACOPY 00000205: POP 00000206: POP 00000207: PUSH1 0x40 00000209: DUP1 0000020a: MLOAD 0000020b: PUSH1 0x20 0000020d: DUP2 0000020e: DUP2 0000020f: ADD 00000210: DUP4 00000211: MSTORE 00000212: PUSH1 0x00 00000214: DUP1 00000215: DUP4 00000216: MSTORE 00000217: DUP4 00000218: MLOAD 00000219: DUP1 0000021a: DUP4 0000021b: ADD 0000021c: DUP6 0000021d: MSTORE 0000021e: DUP2 0000021f: DUP2 00000220: MSTORE 00000221: DUP5 00000222: MLOAD 00000223: DUP1 00000224: DUP7 00000225: ADD 00000226: DUP7 00000227: MSTORE 00000228: PUSH1 0x0c 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH32 0x4841434b696e4455424c494e0000000000000000000000000000000000000000 0000024d: DUP2 0000024e: DUP6 0000024f: ADD 00000250: MSTORE 00000251: DUP6 00000252: MLOAD 00000253: PUSH1 0xe0 00000255: PUSH1 0x02 00000257: EXP 00000258: PUSH4 0x38cc4831 0000025d: MUL 0000025e: DUP2 0000025f: MSTORE 00000260: SWAP6 00000261: MLOAD 00000262: SWAP11 00000263: SWAP13 00000264: SWAP5 00000265: SWAP12 00000266: POP 00000267: SWAP1 00000268: SWAP10 00000269: SWAP1 0000026a: SWAP9 0000026b: POP 0000026c: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 00000281: SWAP8 00000282: POP 00000283: DUP8 00000284: SWAP7 00000285: POP 00000286: PUSH4 0x38cc4831 0000028b: SWAP6 0000028c: POP 0000028d: DUP5 0000028e: DUP5 0000028f: ADD 00000290: SWAP5 00000291: SWAP3 00000292: SWAP4 00000293: SWAP1 00000294: SWAP3 00000295: DUP4 00000296: SWAP1 00000297: SUB 00000298: ADD 00000299: SWAP1 0000029a: DUP3 0000029b: SWAP1 0000029c: DUP8 0000029d: PUSH2 0x61da 000002a0: GAS 000002a1: SUB 000002a2: CALL 000002a3: ISZERO 000002a4: PUSH2 0x0002 000002a7: JUMPI 000002a8: POP 000002a9: POP 000002aa: POP 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: MLOAD 000002b0: SWAP1 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: POP 000002b5: PUSH1 0x00 000002b7: PUSH1 0x00 000002b9: PUSH2 0x0100 000002bc: EXP 000002bd: DUP2 000002be: SLOAD 000002bf: DUP2 000002c0: PUSH1 0x01 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SUB 000002c8: MUL 000002c9: NOT 000002ca: AND 000002cb: SWAP1 000002cc: DUP4 000002cd: MUL 000002ce: OR 000002cf: SWAP1 000002d0: SSTORE 000002d1: POP 000002d2: PUSH1 0x00 000002d4: PUSH1 0x00 000002d6: SWAP1 000002d7: SLOAD 000002d8: SWAP1 000002d9: PUSH2 0x0100 000002dc: EXP 000002dd: SWAP1 000002de: DIV 000002df: PUSH1 0x01 000002e1: PUSH1 0xa0 000002e3: PUSH1 0x02 000002e5: EXP 000002e6: SUB 000002e7: AND 000002e8: PUSH1 0x01 000002ea: PUSH1 0xa0 000002ec: PUSH1 0x02 000002ee: EXP 000002ef: SUB 000002f0: AND 000002f1: PUSH4 0x60f66701 000002f6: DUP4 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: DUP3 000002fb: PUSH1 0xe0 000002fd: PUSH1 0x02 000002ff: EXP 00000300: MUL 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x04 00000305: ADD 00000306: DUP1 00000307: DUP1 00000308: PUSH1 0x20 0000030a: ADD 0000030b: DUP3 0000030c: DUP2 0000030d: SUB 0000030e: DUP3 0000030f: MSTORE 00000310: DUP4 00000311: DUP2 00000312: DUP2 00000313: MLOAD 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x20 00000318: ADD 00000319: SWAP2 0000031a: POP 0000031b: DUP1 0000031c: MLOAD 0000031d: SWAP1 0000031e: PUSH1 0x20 00000320: ADD 00000321: SWAP1 00000322: DUP1 00000323: DUP4 00000324: DUP4 00000325: DUP3 00000326: SWAP1 00000327: PUSH1 0x00 00000329: PUSH1 0x04 0000032b: PUSH1 0x20 0000032d: DUP5 0000032e: PUSH1 0x1f 00000330: ADD 00000331: DIV 00000332: PUSH1 0x03 00000334: MUL 00000335: PUSH1 0x0f 00000337: ADD 00000338: CALL 00000339: POP 0000033a: SWAP1 0000033b: POP 0000033c: SWAP1 0000033d: DUP2 0000033e: ADD 0000033f: SWAP1 00000340: PUSH1 0x1f 00000342: AND 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x0362 00000348: JUMPI 00000349: DUP1 0000034a: DUP3 0000034b: SUB 0000034c: DUP1 0000034d: MLOAD 0000034e: PUSH1 0x01 00000350: DUP4 00000351: PUSH1 0x20 00000353: SUB 00000354: PUSH2 0x0100 00000357: EXP 00000358: SUB 00000359: NOT 0000035a: AND 0000035b: DUP2 0000035c: MSTORE 0000035d: PUSH1 0x20 0000035f: ADD 00000360: SWAP2 00000361: POP 00000362: JUMPDEST 00000363: POP 00000364: SWAP3 00000365: POP 00000366: POP 00000367: POP 00000368: PUSH1 0x00 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: DUP4 0000036f: SUB 00000370: DUP2 00000371: PUSH1 0x00 00000373: DUP8 00000374: PUSH2 0x61da 00000377: GAS 00000378: SUB 00000379: CALL 0000037a: ISZERO 0000037b: PUSH2 0x0002 0000037e: JUMPI 0000037f: POP 00000380: POP 00000381: POP 00000382: DUP6 00000383: SWAP4 00000384: POP 00000385: DUP5 00000386: SWAP3 00000387: POP 00000388: DUP4 00000389: PUSH1 0x00 0000038b: DUP2 0000038c: MLOAD 0000038d: DUP2 0000038e: LT 0000038f: ISZERO 00000390: PUSH2 0x0002 00000393: JUMPI 00000394: POP 00000395: POP 00000396: PUSH1 0x80 00000398: MLOAD 00000399: PUSH1 0xf8 0000039b: PUSH1 0x02 0000039d: EXP 0000039e: SWAP1 0000039f: DUP2 000003a0: SWAP1 000003a1: DIV 000003a2: MUL 000003a3: PUSH32 0x6200000000000000000000000000000000000000000000000000000000000000 000003c4: EQ 000003c5: ISZERO 000003c6: DUP1 000003c7: PUSH2 0x040a 000003ca: JUMPI 000003cb: POP 000003cc: DUP4 000003cd: PUSH1 0x01 000003cf: DUP2 000003d0: MLOAD 000003d1: DUP2 000003d2: LT 000003d3: ISZERO 000003d4: PUSH2 0x0002 000003d7: JUMPI 000003d8: POP 000003d9: POP 000003da: PUSH1 0x81 000003dc: MLOAD 000003dd: PUSH1 0xf8 000003df: PUSH1 0x02 000003e1: EXP 000003e2: SWAP1 000003e3: DUP2 000003e4: SWAP1 000003e5: DIV 000003e6: MUL 000003e7: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000 00000408: EQ 00000409: ISZERO 0000040a: JUMPDEST 0000040b: DUP1 0000040c: PUSH2 0x044f 0000040f: JUMPI 00000410: POP 00000411: DUP4 00000412: PUSH1 0x02 00000414: DUP2 00000415: MLOAD 00000416: DUP2 00000417: LT 00000418: ISZERO 00000419: PUSH2 0x0002 0000041c: JUMPI 0000041d: POP 0000041e: POP 0000041f: PUSH1 0x82 00000421: MLOAD 00000422: PUSH1 0xf8 00000424: PUSH1 0x02 00000426: EXP 00000427: SWAP1 00000428: DUP2 00000429: SWAP1 0000042a: DIV 0000042b: MUL 0000042c: PUSH32 0x6300000000000000000000000000000000000000000000000000000000000000 0000044d: EQ 0000044e: ISZERO 0000044f: JUMPDEST 00000450: ISZERO 00000451: PUSH2 0x0651 00000454: JUMPI 00000455: PUSH1 0x40 00000457: MLOAD 00000458: CALLER 00000459: PUSH1 0x01 0000045b: PUSH1 0xa0 0000045d: PUSH1 0x02 0000045f: EXP 00000460: SUB 00000461: AND 00000462: SWAP1 00000463: PUSH1 0x00 00000465: SWAP1 00000466: CALLVALUE 00000467: SWAP1 00000468: DUP3 00000469: DUP2 0000046a: DUP2 0000046b: DUP2 0000046c: DUP6 0000046d: DUP9 0000046e: DUP4 0000046f: CALL 00000470: SWAP4 00000471: POP 00000472: POP 00000473: POP 00000474: POP 00000475: POP 00000476: POP 00000477: POP 00000478: PUSH2 0x064b 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH1 0x01 0000047f: PUSH1 0xa0 00000481: PUSH1 0x02 00000483: EXP 00000484: SUB 00000485: AND 00000486: CALLER 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: PUSH1 0x02 0000048d: EXP 0000048e: SUB 0000048f: AND 00000490: EQ 00000491: ISZERO 00000492: ISZERO 00000493: PUSH2 0x049b 00000496: JUMPI 00000497: PUSH2 0x0002 0000049a: JUMP 0000049b: JUMPDEST 0000049c: DUP7 0000049d: SWAP6 0000049e: POP 0000049f: PUSH1 0x02 000004a1: SWAP2 000004a2: POP 000004a3: JUMPDEST 000004a4: PUSH1 0x2a 000004a6: DUP3 000004a7: LT 000004a8: ISZERO 000004a9: PUSH2 0x052c 000004ac: JUMPI 000004ad: PUSH2 0x0100 000004b0: DUP6 000004b1: MUL 000004b2: SWAP5 000004b3: POP 000004b4: DUP5 000004b5: POP 000004b6: DUP6 000004b7: DUP3 000004b8: DUP2 000004b9: MLOAD 000004ba: DUP2 000004bb: LT 000004bc: ISZERO 000004bd: PUSH2 0x0002 000004c0: JUMPI 000004c1: DUP2 000004c2: MLOAD 000004c3: PUSH1 0x80 000004c5: SWAP2 000004c6: SWAP1 000004c7: SWAP2 000004c8: ADD 000004c9: MLOAD 000004ca: PUSH1 0xf8 000004cc: PUSH1 0x02 000004ce: EXP 000004cf: SWAP1 000004d0: DUP2 000004d1: SWAP1 000004d2: DIV 000004d3: DUP2 000004d4: MUL 000004d5: DIV 000004d6: SWAP6 000004d7: POP 000004d8: PUSH1 0x01 000004da: DUP5 000004db: ADD 000004dc: SWAP1 000004dd: DUP2 000004de: LT 000004df: ISZERO 000004e0: PUSH2 0x0002 000004e3: JUMPI 000004e4: PUSH1 0x80 000004e6: ADD 000004e7: MLOAD 000004e8: PUSH1 0xf8 000004ea: PUSH1 0x02 000004ec: EXP 000004ed: SWAP1 000004ee: DUP2 000004ef: SWAP1 000004f0: DIV 000004f1: DUP2 000004f2: MUL 000004f3: DIV 000004f4: SWAP4 000004f5: POP 000004f6: POP 000004f7: PUSH1 0x61 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: PUSH1 0x02 000004ff: EXP 00000500: SUB 00000501: DUP6 00000502: AND 00000503: LT 00000504: DUP1 00000505: ISZERO 00000506: SWAP1 00000507: PUSH2 0x051a 0000050a: JUMPI 0000050b: POP 0000050c: PUSH1 0x66 0000050e: DUP5 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: PUSH1 0x02 00000515: EXP 00000516: SUB 00000517: AND 00000518: GT 00000519: ISZERO 0000051a: JUMPDEST 0000051b: ISZERO 0000051c: PUSH2 0x0599 0000051f: JUMPI 00000520: PUSH1 0x56 00000522: NOT 00000523: SWAP4 00000524: SWAP1 00000525: SWAP4 00000526: ADD 00000527: SWAP3 00000528: PUSH2 0x05ca 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: DUP6 00000531: SWAP2 00000532: PUSH1 0x01 00000534: PUSH1 0xa0 00000536: PUSH1 0x02 00000538: EXP 00000539: SUB 0000053a: DUP4 0000053b: DUP2 0000053c: AND 0000053d: SWAP3 0000053e: ADDRESS 0000053f: SWAP1 00000540: SWAP2 00000541: AND 00000542: BALANCE 00000543: SWAP1 00000544: DUP3 00000545: DUP2 00000546: DUP2 00000547: DUP2 00000548: DUP6 00000549: DUP9 0000054a: DUP4 0000054b: CALL 0000054c: POP 0000054d: SWAP3 0000054e: DUP4 0000054f: MSTORE 00000550: POP 00000551: POP 00000552: ADDRESS 00000553: PUSH1 0x01 00000555: PUSH1 0xa0 00000557: PUSH1 0x02 00000559: EXP 0000055a: SUB 0000055b: AND 0000055c: BALANCE 0000055d: PUSH1 0x20 0000055f: DUP3 00000560: ADD 00000561: MSTORE 00000562: PUSH1 0x40 00000564: DUP1 00000565: MLOAD 00000566: PUSH32 0x6cceb87e66d18f4701a4f727fe32d37f665c1c5b374e4247bc613979cb69c074 00000587: SWAP3 00000588: DUP2 00000589: SWAP1 0000058a: SUB 0000058b: SWAP1 0000058c: SWAP2 0000058d: ADD 0000058e: SWAP1 0000058f: LOG1 00000590: POP 00000591: POP 00000592: POP 00000593: POP 00000594: POP 00000595: POP 00000596: POP 00000597: POP 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x30 0000059c: DUP5 0000059d: PUSH1 0x01 0000059f: PUSH1 0xa0 000005a1: PUSH1 0x02 000005a3: EXP 000005a4: SUB 000005a5: AND 000005a6: LT 000005a7: ISZERO 000005a8: DUP1 000005a9: ISZERO 000005aa: PUSH2 0x05bd 000005ad: JUMPI 000005ae: POP 000005af: PUSH1 0x39 000005b1: DUP5 000005b2: PUSH1 0x01 000005b4: PUSH1 0xa0 000005b6: PUSH1 0x02 000005b8: EXP 000005b9: SUB 000005ba: AND 000005bb: GT 000005bc: ISZERO 000005bd: JUMPDEST 000005be: ISZERO 000005bf: PUSH2 0x05ca 000005c2: JUMPI 000005c3: PUSH1 0x2f 000005c5: NOT 000005c6: SWAP1 000005c7: SWAP4 000005c8: ADD 000005c9: SWAP3 000005ca: JUMPDEST 000005cb: PUSH1 0x61 000005cd: DUP4 000005ce: PUSH1 0x01 000005d0: PUSH1 0xa0 000005d2: PUSH1 0x02 000005d4: EXP 000005d5: SUB 000005d6: AND 000005d7: LT 000005d8: ISZERO 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05ee 000005de: JUMPI 000005df: POP 000005e0: PUSH1 0x66 000005e2: DUP4 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: PUSH1 0x02 000005e9: EXP 000005ea: SUB 000005eb: AND 000005ec: GT 000005ed: ISZERO 000005ee: JUMPDEST 000005ef: ISZERO 000005f0: PUSH2 0x0600 000005f3: JUMPI 000005f4: PUSH1 0x56 000005f6: NOT 000005f7: SWAP3 000005f8: SWAP1 000005f9: SWAP3 000005fa: ADD 000005fb: SWAP2 000005fc: PUSH2 0x0631 000005ff: JUMP 00000600: JUMPDEST 00000601: PUSH1 0x30 00000603: DUP4 00000604: PUSH1 0x01 00000606: PUSH1 0xa0 00000608: PUSH1 0x02 0000060a: EXP 0000060b: SUB 0000060c: AND 0000060d: LT 0000060e: ISZERO 0000060f: DUP1 00000610: ISZERO 00000611: PUSH2 0x0624 00000614: JUMPI 00000615: POP 00000616: PUSH1 0x39 00000618: DUP4 00000619: PUSH1 0x01 0000061b: PUSH1 0xa0 0000061d: PUSH1 0x02 0000061f: EXP 00000620: SUB 00000621: AND 00000622: GT 00000623: ISZERO 00000624: JUMPDEST 00000625: ISZERO 00000626: PUSH2 0x0631 00000629: JUMPI 0000062a: PUSH1 0x2f 0000062c: NOT 0000062d: SWAP1 0000062e: SWAP3 0000062f: ADD 00000630: SWAP2 00000631: JUMPDEST 00000632: PUSH1 0x10 00000634: DUP5 00000635: MUL 00000636: DUP4 00000637: ADD 00000638: SWAP1 00000639: SWAP5 0000063a: ADD 0000063b: SWAP4 0000063c: PUSH1 0x02 0000063e: SWAP2 0000063f: SWAP1 00000640: SWAP2 00000641: ADD 00000642: SWAP1 00000643: PUSH2 0x04a3 00000646: JUMP 00000647: JUMPDEST 00000648: POP 00000649: POP 0000064a: POP 0000064b: JUMPDEST 0000064c: POP 0000064d: POP 0000064e: POP 0000064f: POP 00000650: JUMP 00000651: JUMPDEST 00000652: PUSH1 0x23 00000654: DUP4 00000655: MLOAD 00000656: GT 00000657: ISZERO 00000658: PUSH2 0x0683 0000065b: JUMPI 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: CALLER 00000660: PUSH1 0x01 00000662: PUSH1 0xa0 00000664: PUSH1 0x02 00000666: EXP 00000667: SUB 00000668: AND 00000669: SWAP1 0000066a: PUSH1 0x00 0000066c: SWAP1 0000066d: CALLVALUE 0000066e: SWAP1 0000066f: DUP3 00000670: DUP2 00000671: DUP2 00000672: DUP2 00000673: DUP6 00000674: DUP9 00000675: DUP4 00000676: CALL 00000677: SWAP4 00000678: POP 00000679: POP 0000067a: POP 0000067b: POP 0000067c: POP 0000067d: POP 0000067e: POP 0000067f: PUSH2 0x064b 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH32 0x89fa2bf8745f41a24cb9bc32c9c27bc66545a70d9a9fc5c2d5c7308647ff28bd 000006a5: DUP6 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: DUP1 000006aa: DUP1 000006ab: PUSH1 0x20 000006ad: ADD 000006ae: DUP3 000006af: DUP2 000006b0: SUB 000006b1: DUP3 000006b2: MSTORE 000006b3: DUP4 000006b4: DUP2 000006b5: DUP2 000006b6: MLOAD 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: ADD 000006bc: SWAP2 000006bd: POP 000006be: DUP1 000006bf: MLOAD 000006c0: SWAP1 000006c1: PUSH1 0x20 000006c3: ADD 000006c4: SWAP1 000006c5: DUP1 000006c6: DUP4 000006c7: DUP4 000006c8: DUP3 000006c9: SWAP1 000006ca: PUSH1 0x00 000006cc: PUSH1 0x04 000006ce: PUSH1 0x20 000006d0: DUP5 000006d1: PUSH1 0x1f 000006d3: ADD 000006d4: DIV 000006d5: PUSH1 0x03 000006d7: MUL 000006d8: PUSH1 0x0f 000006da: ADD 000006db: CALL 000006dc: POP 000006dd: SWAP1 000006de: POP 000006df: SWAP1 000006e0: DUP2 000006e1: ADD 000006e2: SWAP1 000006e3: PUSH1 0x1f 000006e5: AND 000006e6: DUP1 000006e7: ISZERO 000006e8: PUSH2 0x0705 000006eb: JUMPI 000006ec: DUP1 000006ed: DUP3 000006ee: SUB 000006ef: DUP1 000006f0: MLOAD 000006f1: PUSH1 0x01 000006f3: DUP4 000006f4: PUSH1 0x20 000006f6: SUB 000006f7: PUSH2 0x0100 000006fa: EXP 000006fb: SUB 000006fc: NOT 000006fd: AND 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x20 00000702: ADD 00000703: SWAP2 00000704: POP 00000705: JUMPDEST 00000706: POP 00000707: SWAP3 00000708: POP 00000709: POP 0000070a: POP 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: DUP1 0000070f: SWAP2 00000710: SUB 00000711: SWAP1 00000712: LOG1 00000713: PUSH1 0x40 00000715: DUP1 00000716: MLOAD 00000717: DUP1 00000718: DUP3 00000719: ADD 0000071a: DUP3 0000071b: MSTORE 0000071c: PUSH1 0x03 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 00000741: PUSH1 0x20 00000743: DUP3 00000744: DUP2 00000745: ADD 00000746: SWAP2 00000747: SWAP1 00000748: SWAP2 00000749: MSTORE 0000074a: DUP3 0000074b: MLOAD 0000074c: DUP1 0000074d: DUP9 0000074e: ADD 0000074f: DUP5 00000750: MSTORE 00000751: PUSH1 0x31 00000753: DUP2 00000754: MSTORE 00000755: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f7368696674 00000776: DUP2 00000777: DUP4 00000778: ADD 00000779: MSTORE 0000077a: PUSH32 0x292e737563636573732e6465706f736974000000000000000000000000000000 0000079b: DUP2 0000079c: DUP6 0000079d: ADD 0000079e: MSTORE 0000079f: DUP4 000007a0: MLOAD 000007a1: PUSH1 0x80 000007a3: DUP2 000007a4: ADD 000007a5: DUP6 000007a6: MSTORE 000007a7: PUSH1 0x44 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH32 0x7b2270616972223a226574685f627463222c227769746864726177616c223a22 000007cc: DUP2 000007cd: DUP5 000007ce: ADD 000007cf: MSTORE 000007d0: PUSH32 0x314d43774262684e47703568526d3572433141696d7332594652653253585059 000007f1: DUP2 000007f2: DUP7 000007f3: ADD 000007f4: MSTORE 000007f5: PUSH32 0x4b74227d00000000000000000000000000000000000000000000000000000000 00000816: DUP2 00000817: DUP11 00000818: ADD 00000819: MSTORE 0000081a: DUP5 0000081b: MLOAD 0000081c: PUSH1 0xe0 0000081e: PUSH1 0x02 00000820: EXP 00000821: PUSH4 0x38cc4831 00000826: MUL 00000827: DUP2 00000828: MSTORE 00000829: SWAP5 0000082a: MLOAD 0000082b: PUSH2 0x0647 0000082e: SWAP6 0000082f: SWAP3 00000830: SWAP4 00000831: SWAP2 00000832: SWAP3 00000833: PUSH1 0x00 00000835: SWAP3 00000836: DUP9 00000837: SWAP3 00000838: DUP4 00000839: SWAP3 0000083a: PUSH4 0x38cc4831 0000083f: SWAP3 00000840: PUSH1 0x04 00000842: DUP3 00000843: DUP2 00000844: ADD 00000845: SWAP4 00000846: SWAP2 00000847: SWAP3 00000848: DUP3 00000849: SWAP1 0000084a: SUB 0000084b: ADD 0000084c: DUP2 0000084d: DUP9 0000084e: DUP8 0000084f: PUSH2 0x61da 00000852: GAS 00000853: SUB 00000854: CALL 00000855: ISZERO 00000856: PUSH2 0x0002 00000859: JUMPI 0000085a: POP 0000085b: POP 0000085c: POP 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: DUP1 00000861: MLOAD 00000862: SWAP1 00000863: PUSH1 0x20 00000865: ADD 00000866: POP 00000867: PUSH1 0x00 00000869: PUSH1 0x00 0000086b: PUSH2 0x0100 0000086e: EXP 0000086f: DUP2 00000870: SLOAD 00000871: DUP2 00000872: PUSH1 0x01 00000874: PUSH1 0xa0 00000876: PUSH1 0x02 00000878: EXP 00000879: SUB 0000087a: MUL 0000087b: NOT 0000087c: AND 0000087d: SWAP1 0000087e: DUP4 0000087f: MUL 00000880: OR 00000881: SWAP1 00000882: SSTORE 00000883: POP 00000884: PUSH1 0x00 00000886: PUSH1 0x00 00000888: SWAP1 00000889: SLOAD 0000088a: SWAP1 0000088b: PUSH2 0x0100 0000088e: EXP 0000088f: SWAP1 00000890: DIV 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: PUSH1 0x02 00000897: EXP 00000898: SUB 00000899: AND 0000089a: PUSH1 0x01 0000089c: PUSH1 0xa0 0000089e: PUSH1 0x02 000008a0: EXP 000008a1: SUB 000008a2: AND 000008a3: PUSH4 0x77228659 000008a8: PUSH1 0x00 000008aa: PUSH1 0x00 000008ac: SWAP1 000008ad: SLOAD 000008ae: SWAP1 000008af: PUSH2 0x0100 000008b2: EXP 000008b3: SWAP1 000008b4: DIV 000008b5: PUSH1 0x01 000008b7: PUSH1 0xa0 000008b9: PUSH1 0x02 000008bb: EXP 000008bc: SUB 000008bd: AND 000008be: PUSH1 0x01 000008c0: PUSH1 0xa0 000008c2: PUSH1 0x02 000008c4: EXP 000008c5: SUB 000008c6: AND 000008c7: PUSH4 0x524f3889 000008cc: DUP9 000008cd: PUSH1 0x40 000008cf: MLOAD 000008d0: DUP3 000008d1: PUSH1 0xe0 000008d3: PUSH1 0x02 000008d5: EXP 000008d6: MUL 000008d7: DUP2 000008d8: MSTORE 000008d9: PUSH1 0x04 000008db: ADD 000008dc: DUP1 000008dd: DUP1 000008de: PUSH1 0x20 000008e0: ADD 000008e1: DUP3 000008e2: DUP2 000008e3: SUB 000008e4: DUP3 000008e5: MSTORE 000008e6: DUP4 000008e7: DUP2 000008e8: DUP2 000008e9: MLOAD 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x20 000008ee: ADD 000008ef: SWAP2 000008f0: POP 000008f1: DUP1 000008f2: MLOAD 000008f3: SWAP1 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: SWAP1 000008f8: DUP1 000008f9: DUP4 000008fa: DUP4 000008fb: DUP3 000008fc: SWAP1 000008fd: PUSH1 0x00 000008ff: PUSH1 0x04 00000901: PUSH1 0x20 00000903: DUP5 00000904: PUSH1 0x1f 00000906: ADD 00000907: DIV 00000908: PUSH1 0x03 0000090a: MUL 0000090b: PUSH1 0x0f 0000090d: ADD 0000090e: CALL 0000090f: POP 00000910: SWAP1 00000911: POP 00000912: SWAP1 00000913: DUP2 00000914: ADD 00000915: SWAP1 00000916: PUSH1 0x1f 00000918: AND 00000919: DUP1 0000091a: ISZERO 0000091b: PUSH2 0x0938 0000091e: JUMPI 0000091f: DUP1 00000920: DUP3 00000921: SUB 00000922: DUP1 00000923: MLOAD 00000924: PUSH1 0x01 00000926: DUP4 00000927: PUSH1 0x20 00000929: SUB 0000092a: PUSH2 0x0100 0000092d: EXP 0000092e: SUB 0000092f: NOT 00000930: AND 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: ADD 00000936: SWAP2 00000937: POP 00000938: JUMPDEST 00000939: POP 0000093a: SWAP3 0000093b: POP 0000093c: POP 0000093d: POP 0000093e: PUSH1 0x20 00000940: PUSH1 0x40 00000942: MLOAD 00000943: DUP1 00000944: DUP4 00000945: SUB 00000946: DUP2 00000947: PUSH1 0x00 00000949: DUP8 0000094a: PUSH2 0x61da 0000094d: GAS 0000094e: SUB 0000094f: CALL 00000950: ISZERO 00000951: PUSH2 0x0002 00000954: JUMPI 00000955: POP 00000956: POP 00000957: POP 00000958: PUSH1 0x40 0000095a: MLOAD 0000095b: DUP1 0000095c: MLOAD 0000095d: SWAP1 0000095e: PUSH1 0x20 00000960: ADD 00000961: POP 00000962: PUSH1 0x00 00000964: DUP9 00000965: DUP9 00000966: DUP9 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: DUP7 0000096b: PUSH1 0xe0 0000096d: PUSH1 0x02 0000096f: EXP 00000970: MUL 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x04 00000975: ADD 00000976: DUP1 00000977: DUP6 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP1 0000097e: PUSH1 0x20 00000980: ADD 00000981: DUP1 00000982: PUSH1 0x20 00000984: ADD 00000985: DUP1 00000986: PUSH1 0x20 00000988: ADD 00000989: DUP5 0000098a: DUP2 0000098b: SUB 0000098c: DUP5 0000098d: MSTORE 0000098e: DUP8 0000098f: DUP2 00000990: DUP2 00000991: MLOAD 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x20 00000996: ADD 00000997: SWAP2 00000998: POP 00000999: DUP1 0000099a: MLOAD 0000099b: SWAP1 0000099c: PUSH1 0x20 0000099e: ADD 0000099f: SWAP1 000009a0: DUP1 000009a1: DUP4 000009a2: DUP4 000009a3: DUP3 000009a4: SWAP1 000009a5: PUSH1 0x00 000009a7: PUSH1 0x04 000009a9: PUSH1 0x20 000009ab: DUP5 000009ac: PUSH1 0x1f 000009ae: ADD 000009af: DIV 000009b0: PUSH1 0x03 000009b2: MUL 000009b3: PUSH1 0x0f 000009b5: ADD 000009b6: CALL 000009b7: POP 000009b8: SWAP1 000009b9: POP 000009ba: SWAP1 000009bb: DUP2 000009bc: ADD 000009bd: SWAP1 000009be: PUSH1 0x1f 000009c0: AND 000009c1: DUP1 000009c2: ISZERO 000009c3: PUSH2 0x09e0 000009c6: JUMPI 000009c7: DUP1 000009c8: DUP3 000009c9: SUB 000009ca: DUP1 000009cb: MLOAD 000009cc: PUSH1 0x01 000009ce: DUP4 000009cf: PUSH1 0x20 000009d1: SUB 000009d2: PUSH2 0x0100 000009d5: EXP 000009d6: SUB 000009d7: NOT 000009d8: AND 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: SWAP2 000009df: POP 000009e0: JUMPDEST 000009e1: POP 000009e2: DUP5 000009e3: DUP2 000009e4: SUB 000009e5: DUP4 000009e6: MSTORE 000009e7: DUP7 000009e8: DUP2 000009e9: DUP2 000009ea: MLOAD 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: ADD 000009f0: SWAP2 000009f1: POP 000009f2: DUP1 000009f3: MLOAD 000009f4: SWAP1 000009f5: PUSH1 0x20 000009f7: ADD 000009f8: SWAP1 000009f9: DUP1 000009fa: DUP4 000009fb: DUP4 000009fc: DUP3 000009fd: SWAP1 000009fe: PUSH1 0x00 00000a00: PUSH1 0x04 00000a02: PUSH1 0x20 00000a04: DUP5 00000a05: PUSH1 0x1f 00000a07: ADD 00000a08: DIV 00000a09: PUSH1 0x03 00000a0b: MUL 00000a0c: PUSH1 0x0f 00000a0e: ADD 00000a0f: CALL 00000a10: POP 00000a11: SWAP1 00000a12: POP 00000a13: SWAP1 00000a14: DUP2 00000a15: ADD 00000a16: SWAP1 00000a17: PUSH1 0x1f 00000a19: AND 00000a1a: DUP1 00000a1b: ISZERO 00000a1c: PUSH2 0x0a39 00000a1f: JUMPI 00000a20: DUP1 00000a21: DUP3 00000a22: SUB 00000a23: DUP1 00000a24: MLOAD 00000a25: PUSH1 0x01 00000a27: DUP4 00000a28: PUSH1 0x20 00000a2a: SUB 00000a2b: PUSH2 0x0100 00000a2e: EXP 00000a2f: SUB 00000a30: NOT 00000a31: AND 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x20 00000a36: ADD 00000a37: SWAP2 00000a38: POP 00000a39: JUMPDEST 00000a3a: POP 00000a3b: DUP5 00000a3c: DUP2 00000a3d: SUB 00000a3e: DUP3 00000a3f: MSTORE 00000a40: DUP6 00000a41: DUP2 00000a42: DUP2 00000a43: MLOAD 00000a44: DUP2 00000a45: MSTORE 00000a46: PUSH1 0x20 00000a48: ADD 00000a49: SWAP2 00000a4a: POP 00000a4b: DUP1 00000a4c: MLOAD 00000a4d: SWAP1 00000a4e: PUSH1 0x20 00000a50: ADD 00000a51: SWAP1 00000a52: DUP1 00000a53: DUP4 00000a54: DUP4 00000a55: DUP3 00000a56: SWAP1 00000a57: PUSH1 0x00 00000a59: PUSH1 0x04 00000a5b: PUSH1 0x20 00000a5d: DUP5 00000a5e: PUSH1 0x1f 00000a60: ADD 00000a61: DIV 00000a62: PUSH1 0x03 00000a64: MUL 00000a65: PUSH1 0x0f 00000a67: ADD 00000a68: CALL 00000a69: POP 00000a6a: SWAP1 00000a6b: POP 00000a6c: SWAP1 00000a6d: DUP2 00000a6e: ADD 00000a6f: SWAP1 00000a70: PUSH1 0x1f 00000a72: AND 00000a73: DUP1 00000a74: ISZERO 00000a75: PUSH2 0x0a92 00000a78: JUMPI 00000a79: DUP1 00000a7a: DUP3 00000a7b: SUB 00000a7c: DUP1 00000a7d: MLOAD 00000a7e: PUSH1 0x01 00000a80: DUP4 00000a81: PUSH1 0x20 00000a83: SUB 00000a84: PUSH2 0x0100 00000a87: EXP 00000a88: SUB 00000a89: NOT 00000a8a: AND 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: SWAP2 00000a91: POP 00000a92: JUMPDEST 00000a93: POP 00000a94: SWAP8 00000a95: POP 00000a96: POP 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: PUSH1 0x20 00000a9f: PUSH1 0x40 00000aa1: MLOAD 00000aa2: DUP1 00000aa3: DUP4 00000aa4: SUB 00000aa5: DUP2 00000aa6: DUP6 00000aa7: DUP9 00000aa8: PUSH2 0x8502 00000aab: GAS 00000aac: SUB 00000aad: CALL 00000aae: ISZERO 00000aaf: PUSH2 0x0002 00000ab2: JUMPI 00000ab3: POP 00000ab4: POP 00000ab5: PUSH1 0x40 00000ab7: MLOAD 00000ab8: MLOAD 00000ab9: SWAP8 00000aba: SWAP7 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: POP 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: 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: 0x01235cbdf6c5bff4387aacbce102c0a62963a62aebc8f06692353e91b1fe2b6a
call_targets:
0x1d11e5eae3112dbd44f99266872ff1d07c77dce8, 0x6f28b146804dba2d6f944c03528a8fdbc673df2c, 0x925cb029855e39fe3b9eef519588b59b920f40c9
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x01235cbdf6c5bff4387aacbce102c0a62963a62aebc8f06692353e91b1fe2b6a",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x1d11e5eae3112dbd44f99266872ff1d07c77dce8",
"0x6f28b146804dba2d6f944c03528a8fdbc673df2c",
"0x925cb029855e39fe3b9eef519588b59b920f40c9"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x504ac982",
"selector": "0x504ac982",
"calldata_variants": [
"0x504ac982",
"0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 343,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 674,
"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: 0x01235cbdf6c5bff4387aacbce102c0a62963a62aebc8f06692353e91b1fe2b6a
call_targets:
0x1d11e5eae3112dbd44f99266872ff1d07c77dce8, 0x6f28b146804dba2d6f944c03528a8fdbc673df2c, 0x925cb029855e39fe3b9eef519588b59b920f40c9
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x01235cbdf6c5bff4387aacbce102c0a62963a62aebc8f06692353e91b1fe2b6a",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x1d11e5eae3112dbd44f99266872ff1d07c77dce8",
"0x6f28b146804dba2d6f944c03528a8fdbc673df2c",
"0x925cb029855e39fe3b9eef519588b59b920f40c9"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x504ac982",
"selector": "0x504ac982",
"calldata_variants": [
"0x504ac982",
"0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 343,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 674,
"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: 0x8776801290cd55a2aad8528273d307252a72de50bf0472a1556d0ad15d7379aa
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 6,
"trace_id": "0x8776801290cd55a2aad8528273d307252a72de50bf0472a1556d0ad15d7379aa",
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x504ac982",
"selector": "0x504ac982",
"calldata_variants": [
"0x504ac982",
"0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|