019b3836-3a93-70e0-a80c-edde7e4f90d7
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 |
|---|---|---|---|---|
| 4251 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4252 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47520 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47521 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47522 | detector.run | complete | 1 / 3 | 1 week ago |
| 47523 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113974 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-8u3ktm2x model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5cc7-f13e-72c0-8f46-a4b7b3aa2d64 -------- 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-05T08:35:02.341431+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 6650,
"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 0x00c4 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1097e579 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00cf 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x112c7075 00000025: EQ 00000026: PUSH2 0x01da 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x3edd90e7 00000030: EQ 00000031: PUSH2 0x02d3 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3feb5f2b 0000003b: EQ 0000003c: PUSH2 0x038c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x476e04c7 00000046: EQ 00000047: PUSH2 0x03db 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4cd11943 00000051: EQ 00000052: PUSH2 0x0487 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x611daa7e 0000005c: EQ 0000005d: PUSH2 0x04e4 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x6b1781b6 00000067: EQ 00000068: PUSH2 0x05d1 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6c3772fd 00000072: EQ 00000073: PUSH2 0x06bd 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x06c6 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x9522ca89 00000088: EQ 00000089: PUSH2 0x06d8 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x9af1d35a 00000093: EQ 00000094: PUSH2 0x0736 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa6b165ee 0000009e: EQ 0000009f: PUSH2 0x073f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb69ef8a8 000000a9: EQ 000000aa: PUSH2 0x0748 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xbda393d3 000000b4: EQ 000000b5: PUSH2 0x0751 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd7315d60 000000bf: EQ 000000c0: PUSH2 0x075a 000000c3: JUMPI 000000c4: JUMPDEST 000000c5: PUSH2 0x0763 000000c8: PUSH2 0x0765 000000cb: PUSH2 0x00d3 000000ce: JUMP 000000cf: JUMPDEST 000000d0: PUSH2 0x0763 000000d3: JUMPDEST 000000d4: PUSH1 0x00 000000d6: PUSH1 0x00 000000d8: PUSH1 0x00 000000da: PUSH1 0x00 000000dc: PUSH1 0x00 000000de: PUSH1 0x00 000000e0: PUSH1 0x00 000000e2: PUSH8 0x1bc16d674ec80000 000000eb: CALLVALUE 000000ec: LT 000000ed: ISZERO 000000ee: PUSH2 0x085d 000000f1: JUMPI 000000f2: PUSH1 0x08 000000f4: SLOAD 000000f5: PUSH1 0x40 000000f7: MLOAD 000000f8: CALLVALUE 000000f9: SWAP8 000000fa: POP 000000fb: PUSH1 0x01 000000fd: PUSH1 0xa0 000000ff: PUSH1 0x02 00000101: EXP 00000102: SUB 00000103: SWAP1 00000104: SWAP2 00000105: AND 00000106: SWAP1 00000107: DUP3 00000108: SWAP1 00000109: PUSH1 0x64 0000010b: DUP10 0000010c: DIV 0000010d: SWAP1 0000010e: DUP3 0000010f: DUP2 00000110: DUP2 00000111: DUP2 00000112: DUP6 00000113: DUP9 00000114: DUP4 00000115: CALL 00000116: POP 00000117: POP 00000118: PUSH1 0x05 0000011a: DUP1 0000011b: SLOAD 0000011c: DUP3 0000011d: ADD 0000011e: SWAP1 0000011f: SSTORE 00000120: SWAP1 00000121: SLOAD 00000122: SWAP8 00000123: SUB 00000124: SWAP7 00000125: DUP3 00000126: EQ 00000127: DUP1 00000128: ISZERO 00000129: SWAP2 0000012a: POP 0000012b: PUSH2 0x0135 0000012e: JUMPI 0000012f: POP 00000130: DUP6 00000131: PUSH1 0x00 00000133: EQ 00000134: ISZERO 00000135: JUMPDEST 00000136: ISZERO 00000137: PUSH2 0x0944 0000013a: JUMPI 0000013b: PUSH1 0x00 0000013d: SWAP5 0000013e: POP 0000013f: JUMPDEST 00000140: PUSH1 0x00 00000142: SLOAD 00000143: DUP6 00000144: LT 00000145: ISZERO 00000146: PUSH2 0x0949 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: SLOAD 0000014e: PUSH1 0x04 00000150: SLOAD 00000151: SWAP2 00000152: SWAP1 00000153: DUP8 00000154: SWAP1 00000155: DUP2 00000156: LT 00000157: ISZERO 00000158: PUSH2 0x0002 0000015b: JUMPI 0000015c: DUP2 0000015d: DUP1 0000015e: MSTORE 0000015f: DUP2 00000160: SLOAD 00000161: PUSH1 0x02 00000163: SWAP2 00000164: SWAP1 00000165: SWAP2 00000166: MUL 00000167: PUSH1 0x00 00000169: DUP1 0000016a: MLOAD 0000016b: PUSH1 0x20 0000016d: PUSH2 0x0cdc 00000170: DUP4 00000171: CODECOPY 00000172: DUP2 00000173: MLOAD 00000174: SWAP2 00000175: MSTORE 00000176: ADD 00000177: SLOAD 00000178: DUP10 00000179: MUL 0000017a: SWAP3 0000017b: SWAP1 0000017c: SWAP3 0000017d: DIV 0000017e: SWAP9 0000017f: POP 00000180: SWAP1 00000181: DUP7 00000182: SWAP1 00000183: DUP2 00000184: LT 00000185: ISZERO 00000186: PUSH2 0x0002 00000189: JUMPI 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: PUSH1 0x02 0000018f: SWAP2 00000190: SWAP1 00000191: SWAP2 00000192: MUL 00000193: PUSH1 0x00 00000195: DUP1 00000196: MLOAD 00000197: PUSH1 0x20 00000199: PUSH2 0x0c9c 0000019c: DUP4 0000019d: CODECOPY 0000019e: DUP2 0000019f: MLOAD 000001a0: SWAP2 000001a1: MSTORE 000001a2: ADD 000001a3: SLOAD 000001a4: PUSH1 0x01 000001a6: PUSH1 0xa0 000001a8: PUSH1 0x02 000001aa: EXP 000001ab: SUB 000001ac: AND 000001ad: SWAP2 000001ae: SWAP1 000001af: DUP10 000001b0: SWAP1 000001b1: DUP3 000001b2: DUP2 000001b3: DUP2 000001b4: DUP2 000001b5: DUP6 000001b6: DUP9 000001b7: DUP4 000001b8: CALL 000001b9: POP 000001ba: POP 000001bb: PUSH1 0x05 000001bd: DUP1 000001be: SLOAD 000001bf: SWAP2 000001c0: SWAP1 000001c1: SWAP2 000001c2: ADD 000001c3: SWAP1 000001c4: SSTORE 000001c5: POP 000001c6: POP 000001c7: PUSH1 0x06 000001c9: DUP1 000001ca: SLOAD 000001cb: DUP9 000001cc: ADD 000001cd: SWAP1 000001ce: SSTORE 000001cf: PUSH1 0x01 000001d1: SWAP5 000001d2: SWAP1 000001d3: SWAP5 000001d4: ADD 000001d5: SWAP4 000001d6: PUSH2 0x013f 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH2 0x0763 000001de: PUSH1 0x08 000001e0: SLOAD 000001e1: PUSH1 0x01 000001e3: PUSH1 0xa0 000001e5: PUSH1 0x02 000001e7: EXP 000001e8: SUB 000001e9: SWAP1 000001ea: DUP2 000001eb: AND 000001ec: CALLER 000001ed: SWAP1 000001ee: SWAP2 000001ef: AND 000001f0: EQ 000001f1: ISZERO 000001f2: PUSH2 0x0765 000001f5: JUMPI 000001f6: PUSH1 0x04 000001f8: DUP1 000001f9: SLOAD 000001fa: CALLVALUE 000001fb: SWAP1 000001fc: DUP2 000001fd: ADD 000001fe: SWAP1 000001ff: SWAP2 00000200: SSTORE 00000201: PUSH1 0x03 00000203: DUP1 00000204: SLOAD 00000205: SWAP1 00000206: SWAP2 00000207: ADD 00000208: SWAP1 00000209: SSTORE 0000020a: PUSH1 0x40 0000020c: DUP1 0000020d: MLOAD 0000020e: PUSH1 0x60 00000210: DUP2 00000211: ADD 00000212: DUP3 00000213: MSTORE 00000214: PUSH1 0x28 00000216: DUP1 00000217: DUP3 00000218: MSTORE 00000219: PUSH32 0x4d616e75616c204465706f7369742072656365697665642066726f6d20746865 0000023a: PUSH1 0x20 0000023c: DUP4 0000023d: DUP2 0000023e: ADD 0000023f: SWAP2 00000240: DUP3 00000241: MSTORE 00000242: PUSH32 0x204d616e61676572000000000000000000000000000000000000000000000000 00000263: SWAP4 00000264: SWAP1 00000265: SWAP5 00000266: ADD 00000267: SWAP3 00000268: SWAP1 00000269: SWAP3 0000026a: MSTORE 0000026b: PUSH1 0x07 0000026d: DUP1 0000026e: SLOAD 0000026f: PUSH1 0x00 00000271: DUP3 00000272: SWAP1 00000273: MSTORE 00000274: SWAP1 00000275: SWAP4 00000276: PUSH1 0x02 00000278: PUSH1 0x01 0000027a: DUP4 0000027b: AND 0000027c: ISZERO 0000027d: PUSH2 0x0100 00000280: MUL 00000281: PUSH1 0x00 00000283: NOT 00000284: ADD 00000285: SWAP1 00000286: SWAP3 00000287: AND 00000288: SWAP2 00000289: SWAP1 0000028a: SWAP2 0000028b: DIV 0000028c: PUSH1 0x1f 0000028e: ADD 0000028f: DIV 00000290: PUSH1 0x00 00000292: DUP1 00000293: MLOAD 00000294: PUSH1 0x20 00000296: PUSH2 0x0cbc 00000299: DUP4 0000029a: CODECOPY 0000029b: DUP2 0000029c: MLOAD 0000029d: SWAP2 0000029e: MSTORE 0000029f: SWAP1 000002a0: DUP2 000002a1: ADD 000002a2: SWAP3 000002a3: JUMPDEST 000002a4: DUP3 000002a5: DUP1 000002a6: ADD 000002a7: PUSH1 0x01 000002a9: ADD 000002aa: DUP6 000002ab: SSTORE 000002ac: DUP3 000002ad: ISZERO 000002ae: PUSH2 0x0b51 000002b1: JUMPI 000002b2: SWAP2 000002b3: DUP3 000002b4: ADD 000002b5: JUMPDEST 000002b6: DUP3 000002b7: DUP2 000002b8: GT 000002b9: ISZERO 000002ba: PUSH2 0x0b51 000002bd: JUMPI 000002be: DUP3 000002bf: MLOAD 000002c0: DUP3 000002c1: PUSH1 0x00 000002c3: POP 000002c4: SSTORE 000002c5: SWAP2 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: SWAP2 000002ca: SWAP1 000002cb: PUSH1 0x01 000002cd: ADD 000002ce: SWAP1 000002cf: PUSH2 0x02b5 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH2 0x0763 000002d7: PUSH1 0x04 000002d9: CALLDATALOAD 000002da: PUSH1 0x08 000002dc: SLOAD 000002dd: PUSH1 0x01 000002df: PUSH1 0xa0 000002e1: PUSH1 0x02 000002e3: EXP 000002e4: SUB 000002e5: SWAP1 000002e6: DUP2 000002e7: AND 000002e8: CALLER 000002e9: SWAP1 000002ea: SWAP2 000002eb: AND 000002ec: EQ 000002ed: ISZERO 000002ee: PUSH2 0x0b4e 000002f1: JUMPI 000002f2: PUSH1 0x08 000002f4: DUP1 000002f5: SLOAD 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: PUSH1 0x02 000002fc: EXP 000002fd: SUB 000002fe: NOT 000002ff: AND 00000300: DUP3 00000301: OR 00000302: SWAP1 00000303: SSTORE 00000304: PUSH1 0x40 00000306: DUP1 00000307: MLOAD 00000308: DUP1 00000309: DUP3 0000030a: ADD 0000030b: SWAP1 0000030c: SWAP2 0000030d: MSTORE 0000030e: PUSH1 0x1f 00000310: DUP1 00000311: DUP3 00000312: MSTORE 00000313: PUSH32 0x54686520636f6e7472616374206861732061206e6577206d616e616765722100 00000334: PUSH1 0x20 00000336: SWAP3 00000337: DUP4 00000338: ADD 00000339: SWAP1 0000033a: DUP2 0000033b: MSTORE 0000033c: PUSH1 0x07 0000033e: DUP1 0000033f: SLOAD 00000340: PUSH1 0x00 00000342: DUP3 00000343: SWAP1 00000344: MSTORE 00000345: SWAP1 00000346: SWAP4 00000347: PUSH1 0x02 00000349: PUSH1 0x01 0000034b: DUP4 0000034c: AND 0000034d: ISZERO 0000034e: PUSH2 0x0100 00000351: MUL 00000352: PUSH1 0x00 00000354: NOT 00000355: ADD 00000356: SWAP1 00000357: SWAP3 00000358: AND 00000359: SWAP2 0000035a: SWAP1 0000035b: SWAP2 0000035c: DIV 0000035d: DUP4 0000035e: ADD 0000035f: DIV 00000360: PUSH1 0x00 00000362: DUP1 00000363: MLOAD 00000364: PUSH1 0x20 00000366: PUSH2 0x0cbc 00000369: DUP4 0000036a: CODECOPY 0000036b: DUP2 0000036c: MLOAD 0000036d: SWAP2 0000036e: MSTORE 0000036f: SWAP1 00000370: DUP2 00000371: ADD 00000372: SWAP3 00000373: SWAP2 00000374: DUP1 00000375: MLOAD 00000376: PUSH1 0xff 00000378: NOT 00000379: AND 0000037a: DUP4 0000037b: DUP1 0000037c: ADD 0000037d: OR 0000037e: DUP6 0000037f: SSTORE 00000380: JUMPDEST 00000381: POP 00000382: PUSH2 0x0b4b 00000385: SWAP3 00000386: SWAP2 00000387: POP 00000388: PUSH2 0x09cd 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH2 0x0767 00000390: PUSH1 0x04 00000392: CALLDATALOAD 00000393: PUSH1 0x00 00000395: DUP1 00000396: SLOAD 00000397: DUP3 00000398: SWAP1 00000399: DUP2 0000039a: LT 0000039b: ISZERO 0000039c: PUSH2 0x0002 0000039f: JUMPI 000003a0: POP 000003a1: DUP1 000003a2: MSTORE 000003a3: PUSH1 0x02 000003a5: MUL 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: MLOAD 000003aa: PUSH1 0x20 000003ac: PUSH2 0x0c9c 000003af: DUP4 000003b0: CODECOPY 000003b1: DUP2 000003b2: MLOAD 000003b3: SWAP2 000003b4: MSTORE 000003b5: DUP2 000003b6: ADD 000003b7: SLOAD 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: MLOAD 000003bc: PUSH1 0x20 000003be: PUSH2 0x0cdc 000003c1: DUP4 000003c2: CODECOPY 000003c3: DUP2 000003c4: MLOAD 000003c5: SWAP2 000003c6: MSTORE 000003c7: SWAP2 000003c8: SWAP1 000003c9: SWAP2 000003ca: ADD 000003cb: SLOAD 000003cc: PUSH1 0x01 000003ce: PUSH1 0xa0 000003d0: PUSH1 0x02 000003d2: EXP 000003d3: SUB 000003d4: SWAP2 000003d5: SWAP1 000003d6: SWAP2 000003d7: AND 000003d8: SWAP1 000003d9: DUP3 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH1 0x40 000003de: DUP1 000003df: MLOAD 000003e0: PUSH1 0x20 000003e2: PUSH1 0x04 000003e4: DUP1 000003e5: CALLDATALOAD 000003e6: DUP1 000003e7: DUP3 000003e8: ADD 000003e9: CALLDATALOAD 000003ea: PUSH1 0x1f 000003ec: DUP2 000003ed: ADD 000003ee: DUP5 000003ef: SWAP1 000003f0: DIV 000003f1: DUP5 000003f2: MUL 000003f3: DUP6 000003f4: ADD 000003f5: DUP5 000003f6: ADD 000003f7: SWAP1 000003f8: SWAP6 000003f9: MSTORE 000003fa: DUP5 000003fb: DUP5 000003fc: MSTORE 000003fd: PUSH2 0x0763 00000400: SWAP5 00000401: SWAP2 00000402: SWAP4 00000403: PUSH1 0x24 00000405: SWAP4 00000406: SWAP1 00000407: SWAP3 00000408: SWAP2 00000409: DUP5 0000040a: ADD 0000040b: SWAP2 0000040c: SWAP1 0000040d: DUP2 0000040e: SWAP1 0000040f: DUP5 00000410: ADD 00000411: DUP4 00000412: DUP3 00000413: DUP1 00000414: DUP3 00000415: DUP5 00000416: CALLDATACOPY 00000417: POP 00000418: SWAP5 00000419: SWAP7 0000041a: POP 0000041b: POP 0000041c: POP 0000041d: POP 0000041e: POP 0000041f: POP 00000420: POP 00000421: PUSH1 0x08 00000423: SLOAD 00000424: PUSH1 0x01 00000426: PUSH1 0xa0 00000428: PUSH1 0x02 0000042a: EXP 0000042b: SUB 0000042c: SWAP1 0000042d: DUP2 0000042e: AND 0000042f: CALLER 00000430: SWAP1 00000431: SWAP2 00000432: AND 00000433: EQ 00000434: ISZERO 00000435: PUSH2 0x0b4e 00000438: JUMPI 00000439: DUP1 0000043a: PUSH1 0x07 0000043c: PUSH1 0x00 0000043e: POP 0000043f: SWAP1 00000440: DUP1 00000441: MLOAD 00000442: SWAP1 00000443: PUSH1 0x20 00000445: ADD 00000446: SWAP1 00000447: DUP3 00000448: DUP1 00000449: SLOAD 0000044a: PUSH1 0x01 0000044c: DUP2 0000044d: PUSH1 0x01 0000044f: AND 00000450: ISZERO 00000451: PUSH2 0x0100 00000454: MUL 00000455: SUB 00000456: AND 00000457: PUSH1 0x02 00000459: SWAP1 0000045a: DIV 0000045b: SWAP1 0000045c: PUSH1 0x00 0000045e: MSTORE 0000045f: PUSH1 0x20 00000461: PUSH1 0x00 00000463: KECCAK256 00000464: SWAP1 00000465: PUSH1 0x1f 00000467: ADD 00000468: PUSH1 0x20 0000046a: SWAP1 0000046b: DIV 0000046c: DUP2 0000046d: ADD 0000046e: SWAP3 0000046f: DUP3 00000470: PUSH1 0x1f 00000472: LT 00000473: PUSH2 0x05a1 00000476: JUMPI 00000477: DUP1 00000478: MLOAD 00000479: PUSH1 0xff 0000047b: NOT 0000047c: AND 0000047d: DUP4 0000047e: DUP1 0000047f: ADD 00000480: OR 00000481: DUP6 00000482: SSTORE 00000483: PUSH2 0x0380 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH2 0x0763 0000048b: PUSH1 0x04 0000048d: CALLDATALOAD 0000048e: PUSH1 0x24 00000490: CALLDATALOAD 00000491: PUSH1 0x08 00000493: SLOAD 00000494: PUSH1 0x01 00000496: PUSH1 0xa0 00000498: PUSH1 0x02 0000049a: EXP 0000049b: SUB 0000049c: SWAP1 0000049d: DUP2 0000049e: AND 0000049f: CALLER 000004a0: SWAP1 000004a1: SWAP2 000004a2: AND 000004a3: EQ 000004a4: ISZERO 000004a5: PUSH2 0x0b5d 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: SLOAD 000004ad: PUSH1 0x01 000004af: DUP2 000004b0: DUP2 000004b1: ADD 000004b2: SWAP1 000004b3: DUP2 000004b4: SWAP1 000004b5: SSTORE 000004b6: DUP1 000004b7: DUP4 000004b8: SSTORE 000004b9: SWAP2 000004ba: SWAP1 000004bb: DUP3 000004bc: SWAP1 000004bd: DUP1 000004be: ISZERO 000004bf: DUP3 000004c0: SWAP1 000004c1: GT 000004c2: PUSH2 0x0b61 000004c5: JUMPI 000004c6: PUSH1 0x02 000004c8: MUL 000004c9: DUP2 000004ca: PUSH1 0x02 000004cc: MUL 000004cd: DUP4 000004ce: PUSH1 0x00 000004d0: MSTORE 000004d1: PUSH1 0x20 000004d3: PUSH1 0x00 000004d5: KECCAK256 000004d6: SWAP2 000004d7: DUP3 000004d8: ADD 000004d9: SWAP2 000004da: ADD 000004db: PUSH2 0x0b61 000004de: SWAP2 000004df: SWAP1 000004e0: PUSH2 0x091b 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x0763 000004e8: PUSH1 0x04 000004ea: CALLDATALOAD 000004eb: PUSH1 0x08 000004ed: SLOAD 000004ee: PUSH1 0x01 000004f0: PUSH1 0xa0 000004f2: PUSH1 0x02 000004f4: EXP 000004f5: SUB 000004f6: SWAP1 000004f7: DUP2 000004f8: AND 000004f9: CALLER 000004fa: SWAP1 000004fb: SWAP2 000004fc: AND 000004fd: EQ 000004fe: ISZERO 000004ff: PUSH2 0x0b4e 00000502: JUMPI 00000503: PUSH1 0x03 00000505: DUP2 00000506: SWAP1 00000507: SSTORE 00000508: PUSH1 0x40 0000050a: DUP1 0000050b: MLOAD 0000050c: PUSH1 0x60 0000050e: DUP2 0000050f: ADD 00000510: DUP3 00000511: MSTORE 00000512: PUSH1 0x2b 00000514: DUP1 00000515: DUP3 00000516: MSTORE 00000517: PUSH32 0x5468652042616c616e636520686173206265656e206564697465642062792074 00000538: PUSH1 0x20 0000053a: DUP4 0000053b: DUP2 0000053c: ADD 0000053d: SWAP2 0000053e: DUP3 0000053f: MSTORE 00000540: PUSH32 0x6865204d616e6167657221000000000000000000000000000000000000000000 00000561: SWAP4 00000562: SWAP1 00000563: SWAP5 00000564: ADD 00000565: SWAP3 00000566: SWAP1 00000567: SWAP3 00000568: MSTORE 00000569: PUSH1 0x07 0000056b: DUP1 0000056c: SLOAD 0000056d: PUSH1 0x00 0000056f: DUP3 00000570: SWAP1 00000571: MSTORE 00000572: SWAP1 00000573: SWAP4 00000574: PUSH1 0x02 00000576: PUSH1 0x01 00000578: DUP4 00000579: AND 0000057a: ISZERO 0000057b: PUSH2 0x0100 0000057e: MUL 0000057f: PUSH1 0x00 00000581: NOT 00000582: ADD 00000583: SWAP1 00000584: SWAP3 00000585: AND 00000586: SWAP2 00000587: SWAP1 00000588: SWAP2 00000589: DIV 0000058a: PUSH1 0x1f 0000058c: ADD 0000058d: DIV 0000058e: PUSH1 0x00 00000590: DUP1 00000591: MLOAD 00000592: PUSH1 0x20 00000594: PUSH2 0x0cbc 00000597: DUP4 00000598: CODECOPY 00000599: DUP2 0000059a: MLOAD 0000059b: SWAP2 0000059c: MSTORE 0000059d: SWAP1 0000059e: DUP2 0000059f: ADD 000005a0: SWAP3 000005a1: JUMPDEST 000005a2: DUP3 000005a3: DUP1 000005a4: ADD 000005a5: PUSH1 0x01 000005a7: ADD 000005a8: DUP6 000005a9: SSTORE 000005aa: DUP3 000005ab: ISZERO 000005ac: PUSH2 0x0380 000005af: JUMPI 000005b0: SWAP2 000005b1: DUP3 000005b2: ADD 000005b3: JUMPDEST 000005b4: DUP3 000005b5: DUP2 000005b6: GT 000005b7: ISZERO 000005b8: PUSH2 0x0380 000005bb: JUMPI 000005bc: DUP3 000005bd: MLOAD 000005be: DUP3 000005bf: PUSH1 0x00 000005c1: POP 000005c2: SSTORE 000005c3: SWAP2 000005c4: PUSH1 0x20 000005c6: ADD 000005c7: SWAP2 000005c8: SWAP1 000005c9: PUSH1 0x01 000005cb: ADD 000005cc: SWAP1 000005cd: PUSH2 0x05b3 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH2 0x0763 000005d5: PUSH1 0x08 000005d7: SLOAD 000005d8: PUSH1 0x01 000005da: PUSH1 0xa0 000005dc: PUSH1 0x02 000005de: EXP 000005df: SUB 000005e0: SWAP1 000005e1: DUP2 000005e2: AND 000005e3: CALLER 000005e4: SWAP1 000005e5: SWAP2 000005e6: AND 000005e7: EQ 000005e8: ISZERO 000005e9: PUSH2 0x0765 000005ec: JUMPI 000005ed: PUSH1 0x03 000005ef: SLOAD 000005f0: PUSH1 0x00 000005f2: EQ 000005f3: PUSH2 0x0765 000005f6: JUMPI 000005f7: PUSH1 0x03 000005f9: SLOAD 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: PUSH1 0x08 000005ff: SLOAD 00000600: PUSH1 0x01 00000602: PUSH1 0xa0 00000604: PUSH1 0x02 00000606: EXP 00000607: SUB 00000608: AND 00000609: SWAP2 0000060a: PUSH1 0x00 0000060c: SWAP2 0000060d: DUP3 0000060e: DUP2 0000060f: DUP2 00000610: DUP2 00000611: DUP6 00000612: DUP9 00000613: DUP4 00000614: CALL 00000615: POP 00000616: POP 00000617: POP 00000618: PUSH1 0x03 0000061a: DUP2 0000061b: SWAP1 0000061c: SSTORE 0000061d: PUSH1 0x40 0000061f: DUP1 00000620: MLOAD 00000621: PUSH1 0x60 00000623: DUP2 00000624: ADD 00000625: DUP3 00000626: MSTORE 00000627: PUSH1 0x23 00000629: DUP1 0000062a: DUP3 0000062b: MSTORE 0000062c: PUSH32 0x456d657267656e637920576974686472617720686173206265656e2069737375 0000064d: PUSH1 0x20 0000064f: DUP4 00000650: DUP2 00000651: ADD 00000652: SWAP2 00000653: DUP3 00000654: MSTORE 00000655: PUSH32 0x6564210000000000000000000000000000000000000000000000000000000000 00000676: SWAP4 00000677: SWAP1 00000678: SWAP5 00000679: ADD 0000067a: SWAP3 0000067b: SWAP1 0000067c: SWAP3 0000067d: MSTORE 0000067e: PUSH1 0x07 00000680: DUP1 00000681: SLOAD 00000682: SWAP5 00000683: DUP2 00000684: SWAP1 00000685: MSTORE 00000686: SWAP5 00000687: POP 00000688: PUSH1 0x02 0000068a: PUSH1 0x01 0000068c: DUP6 0000068d: AND 0000068e: ISZERO 0000068f: PUSH2 0x0100 00000692: MUL 00000693: PUSH1 0x00 00000695: NOT 00000696: ADD 00000697: SWAP1 00000698: SWAP5 00000699: AND 0000069a: SWAP4 0000069b: SWAP1 0000069c: SWAP4 0000069d: DIV 0000069e: PUSH1 0x1f 000006a0: ADD 000006a1: SWAP2 000006a2: SWAP1 000006a3: SWAP2 000006a4: DIV 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: MLOAD 000006a9: PUSH1 0x20 000006ab: PUSH2 0x0cbc 000006ae: DUP4 000006af: CODECOPY 000006b0: DUP2 000006b1: MLOAD 000006b2: SWAP2 000006b3: MSTORE 000006b4: SWAP1 000006b5: DUP2 000006b6: ADD 000006b7: SWAP3 000006b8: SWAP2 000006b9: PUSH2 0x02a3 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH2 0x078d 000006c1: PUSH1 0x05 000006c3: SLOAD 000006c4: DUP2 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH2 0x079f 000006ca: PUSH1 0x08 000006cc: SLOAD 000006cd: PUSH1 0x01 000006cf: PUSH1 0xa0 000006d1: PUSH1 0x02 000006d3: EXP 000006d4: SUB 000006d5: AND 000006d6: DUP2 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x40 000006db: DUP1 000006dc: MLOAD 000006dd: PUSH1 0x07 000006df: DUP1 000006e0: SLOAD 000006e1: PUSH1 0x20 000006e3: PUSH1 0x02 000006e5: PUSH1 0x01 000006e7: DUP4 000006e8: AND 000006e9: ISZERO 000006ea: PUSH2 0x0100 000006ed: MUL 000006ee: PUSH1 0x00 000006f0: NOT 000006f1: ADD 000006f2: SWAP1 000006f3: SWAP3 000006f4: AND 000006f5: SWAP2 000006f6: SWAP1 000006f7: SWAP2 000006f8: DIV 000006f9: PUSH1 0x1f 000006fb: DUP2 000006fc: ADD 000006fd: DUP3 000006fe: SWAP1 000006ff: DIV 00000700: DUP3 00000701: MUL 00000702: DUP5 00000703: ADD 00000704: DUP3 00000705: ADD 00000706: SWAP1 00000707: SWAP5 00000708: MSTORE 00000709: DUP4 0000070a: DUP4 0000070b: MSTORE 0000070c: PUSH2 0x07bc 0000070f: SWAP4 00000710: SWAP1 00000711: DUP4 00000712: ADD 00000713: DUP3 00000714: DUP3 00000715: DUP1 00000716: ISZERO 00000717: PUSH2 0x0855 0000071a: JUMPI 0000071b: DUP1 0000071c: PUSH1 0x1f 0000071e: LT 0000071f: PUSH2 0x082a 00000722: JUMPI 00000723: PUSH2 0x0100 00000726: DUP1 00000727: DUP4 00000728: SLOAD 00000729: DIV 0000072a: MUL 0000072b: DUP4 0000072c: MSTORE 0000072d: SWAP2 0000072e: PUSH1 0x20 00000730: ADD 00000731: SWAP2 00000732: PUSH2 0x0855 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH2 0x078d 0000073a: PUSH1 0x02 0000073c: SLOAD 0000073d: DUP2 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH2 0x078d 00000743: PUSH1 0x01 00000745: SLOAD 00000746: DUP2 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH2 0x078d 0000074c: PUSH1 0x03 0000074e: SLOAD 0000074f: DUP2 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH2 0x078d 00000755: PUSH1 0x06 00000757: SLOAD 00000758: DUP2 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH2 0x078d 0000075e: PUSH1 0x04 00000760: SLOAD 00000761: DUP2 00000762: JUMP 00000763: JUMPDEST 00000764: STOP 00000765: JUMPDEST 00000766: JUMP 00000767: JUMPDEST 00000768: PUSH1 0x40 0000076a: MLOAD 0000076b: DUP1 0000076c: DUP4 0000076d: PUSH1 0x01 0000076f: PUSH1 0xa0 00000771: PUSH1 0x02 00000773: EXP 00000774: SUB 00000775: AND 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x20 0000077a: ADD 0000077b: DUP3 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x20 00000780: ADD 00000781: SWAP3 00000782: POP 00000783: POP 00000784: POP 00000785: PUSH1 0x40 00000787: MLOAD 00000788: DUP1 00000789: SWAP2 0000078a: SUB 0000078b: SWAP1 0000078c: RETURN 0000078d: JUMPDEST 0000078e: PUSH1 0x40 00000790: DUP1 00000791: MLOAD 00000792: SWAP2 00000793: DUP3 00000794: MSTORE 00000795: MLOAD 00000796: SWAP1 00000797: DUP2 00000798: SWAP1 00000799: SUB 0000079a: PUSH1 0x20 0000079c: ADD 0000079d: SWAP1 0000079e: RETURN 0000079f: JUMPDEST 000007a0: PUSH1 0x40 000007a2: DUP1 000007a3: MLOAD 000007a4: PUSH1 0x01 000007a6: PUSH1 0xa0 000007a8: PUSH1 0x02 000007aa: EXP 000007ab: SUB 000007ac: SWAP3 000007ad: SWAP1 000007ae: SWAP3 000007af: AND 000007b0: DUP3 000007b1: MSTORE 000007b2: MLOAD 000007b3: SWAP1 000007b4: DUP2 000007b5: SWAP1 000007b6: SUB 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: SWAP1 000007bb: RETURN 000007bc: JUMPDEST 000007bd: PUSH1 0x40 000007bf: MLOAD 000007c0: DUP1 000007c1: DUP1 000007c2: PUSH1 0x20 000007c4: ADD 000007c5: DUP3 000007c6: DUP2 000007c7: SUB 000007c8: DUP3 000007c9: MSTORE 000007ca: DUP4 000007cb: DUP2 000007cc: DUP2 000007cd: MLOAD 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: SWAP2 000007d4: POP 000007d5: DUP1 000007d6: MLOAD 000007d7: SWAP1 000007d8: PUSH1 0x20 000007da: ADD 000007db: SWAP1 000007dc: DUP1 000007dd: DUP4 000007de: DUP4 000007df: DUP3 000007e0: SWAP1 000007e1: PUSH1 0x00 000007e3: PUSH1 0x04 000007e5: PUSH1 0x20 000007e7: DUP5 000007e8: PUSH1 0x1f 000007ea: ADD 000007eb: DIV 000007ec: PUSH1 0x0f 000007ee: MUL 000007ef: PUSH1 0x03 000007f1: ADD 000007f2: CALL 000007f3: POP 000007f4: SWAP1 000007f5: POP 000007f6: SWAP1 000007f7: DUP2 000007f8: ADD 000007f9: SWAP1 000007fa: PUSH1 0x1f 000007fc: AND 000007fd: DUP1 000007fe: ISZERO 000007ff: PUSH2 0x081c 00000802: JUMPI 00000803: DUP1 00000804: DUP3 00000805: SUB 00000806: DUP1 00000807: MLOAD 00000808: PUSH1 0x01 0000080a: DUP4 0000080b: PUSH1 0x20 0000080d: SUB 0000080e: PUSH2 0x0100 00000811: EXP 00000812: SUB 00000813: NOT 00000814: AND 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x20 00000819: ADD 0000081a: SWAP2 0000081b: POP 0000081c: JUMPDEST 0000081d: POP 0000081e: SWAP3 0000081f: POP 00000820: POP 00000821: POP 00000822: PUSH1 0x40 00000824: MLOAD 00000825: DUP1 00000826: SWAP2 00000827: SUB 00000828: SWAP1 00000829: RETURN 0000082a: JUMPDEST 0000082b: DUP3 0000082c: ADD 0000082d: SWAP2 0000082e: SWAP1 0000082f: PUSH1 0x00 00000831: MSTORE 00000832: PUSH1 0x20 00000834: PUSH1 0x00 00000836: KECCAK256 00000837: SWAP1 00000838: JUMPDEST 00000839: DUP2 0000083a: SLOAD 0000083b: DUP2 0000083c: MSTORE 0000083d: SWAP1 0000083e: PUSH1 0x01 00000840: ADD 00000841: SWAP1 00000842: PUSH1 0x20 00000844: ADD 00000845: DUP1 00000846: DUP4 00000847: GT 00000848: PUSH2 0x0838 0000084b: JUMPI 0000084c: DUP3 0000084d: SWAP1 0000084e: SUB 0000084f: PUSH1 0x1f 00000851: AND 00000852: DUP3 00000853: ADD 00000854: SWAP2 00000855: JUMPDEST 00000856: POP 00000857: POP 00000858: POP 00000859: POP 0000085a: POP 0000085b: DUP2 0000085c: JUMP 0000085d: JUMPDEST 0000085e: POP 0000085f: PUSH1 0x64 00000861: CALLVALUE 00000862: SWAP1 00000863: DUP2 00000864: DIV 00000865: PUSH1 0x02 00000867: DUP2 00000868: SWAP1 00000869: SSTORE 0000086a: PUSH1 0x04 0000086c: DUP1 0000086d: SLOAD 0000086e: DUP4 0000086f: ADD 00000870: SWAP1 00000871: SSTORE 00000872: PUSH1 0x03 00000874: DUP1 00000875: SLOAD 00000876: SWAP2 00000877: SWAP1 00000878: SWAP3 00000879: SUB 0000087a: SWAP1 0000087b: DUP2 0000087c: ADD 0000087d: SWAP1 0000087e: SWAP2 0000087f: SSTORE 00000880: SWAP3 00000881: POP 00000882: PUSH1 0x00 00000884: SWAP2 00000885: POP 00000886: DUP2 00000887: JUMPDEST 00000888: PUSH1 0x00 0000088a: SLOAD 0000088b: DUP2 0000088c: LT 0000088d: ISZERO 0000088e: PUSH2 0x08d2 00000891: JUMPI 00000892: PUSH1 0x00 00000894: DUP1 00000895: SLOAD 00000896: DUP3 00000897: SWAP1 00000898: DUP2 00000899: LT 0000089a: ISZERO 0000089b: PUSH2 0x0002 0000089e: JUMPI 0000089f: SWAP1 000008a0: DUP1 000008a1: MSTORE 000008a2: PUSH1 0x02 000008a4: MUL 000008a5: PUSH1 0x00 000008a7: DUP1 000008a8: MLOAD 000008a9: PUSH1 0x20 000008ab: PUSH2 0x0c9c 000008ae: DUP4 000008af: CODECOPY 000008b0: DUP2 000008b1: MLOAD 000008b2: SWAP2 000008b3: MSTORE 000008b4: ADD 000008b5: SLOAD 000008b6: PUSH1 0x01 000008b8: PUSH1 0xa0 000008ba: PUSH1 0x02 000008bc: EXP 000008bd: SUB 000008be: SWAP1 000008bf: DUP2 000008c0: AND 000008c1: CALLER 000008c2: SWAP1 000008c3: SWAP2 000008c4: AND 000008c5: EQ 000008c6: ISZERO 000008c7: PUSH2 0x09e5 000008ca: JUMPI 000008cb: PUSH1 0x01 000008cd: SWAP3 000008ce: POP 000008cf: SWAP1 000008d0: POP 000008d1: DUP1 000008d2: JUMPDEST 000008d3: DUP3 000008d4: PUSH1 0x00 000008d6: EQ 000008d7: ISZERO 000008d8: PUSH2 0x09ed 000008db: JUMPI 000008dc: PUSH1 0x00 000008de: DUP1 000008df: SLOAD 000008e0: PUSH1 0x01 000008e2: DUP2 000008e3: DUP2 000008e4: ADD 000008e5: SWAP1 000008e6: DUP2 000008e7: SWAP1 000008e8: SSTORE 000008e9: DUP1 000008ea: DUP4 000008eb: SSTORE 000008ec: SWAP2 000008ed: SWAP1 000008ee: DUP3 000008ef: SWAP1 000008f0: DUP1 000008f1: ISZERO 000008f2: DUP3 000008f3: SWAP1 000008f4: GT 000008f5: PUSH2 0x0a5e 000008f8: JUMPI 000008f9: DUP3 000008fa: DUP1 000008fb: MSTORE 000008fc: PUSH2 0x0a5e 000008ff: SWAP1 00000900: PUSH1 0x02 00000902: SWAP1 00000903: DUP2 00000904: MUL 00000905: PUSH1 0x00 00000907: DUP1 00000908: MLOAD 00000909: PUSH1 0x20 0000090b: PUSH2 0x0c9c 0000090e: DUP4 0000090f: CODECOPY 00000910: DUP2 00000911: MLOAD 00000912: SWAP2 00000913: MSTORE 00000914: SWAP1 00000915: DUP2 00000916: ADD 00000917: SWAP2 00000918: DUP5 00000919: MUL 0000091a: ADD 0000091b: JUMPDEST 0000091c: DUP1 0000091d: DUP3 0000091e: GT 0000091f: ISZERO 00000920: PUSH2 0x09e1 00000923: JUMPI 00000924: DUP1 00000925: SLOAD 00000926: PUSH1 0x01 00000928: PUSH1 0xa0 0000092a: PUSH1 0x02 0000092c: EXP 0000092d: SUB 0000092e: NOT 0000092f: AND 00000930: DUP2 00000931: SSTORE 00000932: PUSH1 0x00 00000934: PUSH1 0x01 00000936: SWAP2 00000937: SWAP1 00000938: SWAP2 00000939: ADD 0000093a: SWAP1 0000093b: DUP2 0000093c: SSTORE 0000093d: PUSH2 0x091b 00000940: JUMP 00000941: JUMPDEST 00000942: POP 00000943: POP 00000944: JUMPDEST 00000945: PUSH2 0x0a55 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH1 0x40 0000094c: DUP1 0000094d: MLOAD 0000094e: DUP1 0000094f: DUP3 00000950: ADD 00000951: SWAP1 00000952: SWAP2 00000953: MSTORE 00000954: PUSH1 0x1d 00000956: DUP1 00000957: DUP3 00000958: MSTORE 00000959: PUSH32 0x4469766964656e64732068617665206265656e2070616964206f757421000000 0000097a: PUSH1 0x20 0000097c: SWAP3 0000097d: DUP4 0000097e: ADD 0000097f: SWAP1 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x07 00000984: DUP1 00000985: SLOAD 00000986: PUSH1 0x00 00000988: DUP3 00000989: SWAP1 0000098a: MSTORE 0000098b: SWAP1 0000098c: SWAP4 0000098d: PUSH1 0x02 0000098f: PUSH1 0x01 00000991: DUP4 00000992: AND 00000993: ISZERO 00000994: PUSH2 0x0100 00000997: MUL 00000998: PUSH1 0x00 0000099a: NOT 0000099b: ADD 0000099c: SWAP1 0000099d: SWAP3 0000099e: AND 0000099f: SWAP2 000009a0: SWAP1 000009a1: SWAP2 000009a2: DIV 000009a3: PUSH1 0x1f 000009a5: ADD 000009a6: DIV 000009a7: PUSH1 0x00 000009a9: DUP1 000009aa: MLOAD 000009ab: PUSH1 0x20 000009ad: PUSH2 0x0cbc 000009b0: DUP4 000009b1: CODECOPY 000009b2: DUP2 000009b3: MLOAD 000009b4: SWAP2 000009b5: MSTORE 000009b6: SWAP1 000009b7: DUP2 000009b8: ADD 000009b9: SWAP3 000009ba: SWAP2 000009bb: DUP1 000009bc: MLOAD 000009bd: PUSH1 0xff 000009bf: NOT 000009c0: AND 000009c1: PUSH1 0x3a 000009c3: OR 000009c4: DUP6 000009c5: SSTORE 000009c6: POP 000009c7: PUSH2 0x0941 000009ca: SWAP3 000009cb: SWAP2 000009cc: POP 000009cd: JUMPDEST 000009ce: DUP1 000009cf: DUP3 000009d0: GT 000009d1: ISZERO 000009d2: PUSH2 0x09e1 000009d5: JUMPI 000009d6: PUSH1 0x00 000009d8: DUP2 000009d9: SSTORE 000009da: PUSH1 0x01 000009dc: ADD 000009dd: PUSH2 0x09cd 000009e0: JUMP 000009e1: JUMPDEST 000009e2: POP 000009e3: SWAP1 000009e4: JUMP 000009e5: JUMPDEST 000009e6: PUSH1 0x01 000009e8: ADD 000009e9: PUSH2 0x0887 000009ec: JUMP 000009ed: JUMPDEST 000009ee: DUP4 000009ef: PUSH1 0x00 000009f1: PUSH1 0x00 000009f3: POP 000009f4: DUP4 000009f5: DUP2 000009f6: SLOAD 000009f7: DUP2 000009f8: LT 000009f9: ISZERO 000009fa: PUSH2 0x0002 000009fd: JUMPI 000009fe: POP 000009ff: DUP1 00000a00: MSTORE 00000a01: POP 00000a02: PUSH1 0x02 00000a04: DUP3 00000a05: MUL 00000a06: PUSH1 0x00 00000a08: DUP1 00000a09: MLOAD 00000a0a: PUSH1 0x20 00000a0c: PUSH2 0x0cdc 00000a0f: DUP4 00000a10: CODECOPY 00000a11: DUP2 00000a12: MLOAD 00000a13: SWAP2 00000a14: MSTORE 00000a15: ADD 00000a16: DUP1 00000a17: SLOAD 00000a18: DUP6 00000a19: ADD 00000a1a: SWAP1 00000a1b: SSTORE 00000a1c: JUMPDEST 00000a1d: PUSH1 0x02 00000a1f: SLOAD 00000a20: PUSH1 0x00 00000a22: EQ 00000a23: PUSH2 0x0a55 00000a26: JUMPI 00000a27: PUSH1 0x02 00000a29: SLOAD 00000a2a: PUSH1 0x08 00000a2c: SLOAD 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: PUSH1 0x01 00000a32: PUSH1 0xa0 00000a34: PUSH1 0x02 00000a36: EXP 00000a37: SUB 00000a38: SWAP2 00000a39: SWAP1 00000a3a: SWAP2 00000a3b: AND 00000a3c: SWAP2 00000a3d: PUSH1 0x00 00000a3f: SWAP2 00000a40: DUP3 00000a41: DUP2 00000a42: DUP2 00000a43: DUP2 00000a44: DUP6 00000a45: DUP9 00000a46: DUP4 00000a47: CALL 00000a48: POP 00000a49: POP 00000a4a: PUSH1 0x05 00000a4c: DUP1 00000a4d: SLOAD 00000a4e: SWAP1 00000a4f: SWAP2 00000a50: ADD 00000a51: SWAP1 00000a52: SSTORE 00000a53: POP 00000a54: POP 00000a55: JUMPDEST 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: POP 00000a60: POP 00000a61: PUSH1 0x00 00000a63: DUP1 00000a64: SLOAD 00000a65: CALLER 00000a66: SWAP4 00000a67: POP 00000a68: SWAP1 00000a69: SWAP2 00000a6a: POP 00000a6b: PUSH1 0x00 00000a6d: NOT 00000a6e: DUP2 00000a6f: ADD 00000a70: SWAP1 00000a71: DUP2 00000a72: LT 00000a73: ISZERO 00000a74: PUSH2 0x0002 00000a77: JUMPI 00000a78: DUP2 00000a79: DUP1 00000a7a: MSTORE 00000a7b: PUSH1 0x02 00000a7d: MUL 00000a7e: PUSH1 0x00 00000a80: DUP1 00000a81: MLOAD 00000a82: PUSH1 0x20 00000a84: PUSH2 0x0c9c 00000a87: DUP4 00000a88: CODECOPY 00000a89: DUP2 00000a8a: MLOAD 00000a8b: SWAP2 00000a8c: MSTORE 00000a8d: ADD 00000a8e: DUP1 00000a8f: SLOAD 00000a90: PUSH1 0x01 00000a92: PUSH1 0xa0 00000a94: PUSH1 0x02 00000a96: EXP 00000a97: SUB 00000a98: NOT 00000a99: AND 00000a9a: SWAP1 00000a9b: SWAP3 00000a9c: OR 00000a9d: SWAP1 00000a9e: SWAP2 00000a9f: SSTORE 00000aa0: DUP1 00000aa1: SLOAD 00000aa2: DUP6 00000aa3: SWAP2 00000aa4: SWAP1 00000aa5: PUSH1 0x00 00000aa7: NOT 00000aa8: DUP2 00000aa9: ADD 00000aaa: SWAP1 00000aab: DUP2 00000aac: LT 00000aad: ISZERO 00000aae: PUSH2 0x0002 00000ab1: JUMPI 00000ab2: PUSH1 0x02 00000ab4: SWAP1 00000ab5: DUP2 00000ab6: MUL 00000ab7: PUSH1 0x00 00000ab9: DUP1 00000aba: MLOAD 00000abb: PUSH1 0x20 00000abd: PUSH2 0x0cdc 00000ac0: DUP4 00000ac1: CODECOPY 00000ac2: DUP2 00000ac3: MLOAD 00000ac4: SWAP2 00000ac5: MSTORE 00000ac6: ADD 00000ac7: SWAP3 00000ac8: SWAP1 00000ac9: SWAP3 00000aca: SSTORE 00000acb: PUSH1 0x40 00000acd: DUP1 00000ace: MLOAD 00000acf: DUP1 00000ad0: DUP3 00000ad1: ADD 00000ad2: SWAP1 00000ad3: SWAP2 00000ad4: MSTORE 00000ad5: PUSH1 0x1b 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH32 0x4e657720496e766573746f7220686173206a6f696e6564207573210000000000 00000afa: PUSH1 0x20 00000afc: SWAP2 00000afd: DUP3 00000afe: ADD 00000aff: SWAP1 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x07 00000b04: DUP1 00000b05: SLOAD 00000b06: SWAP4 00000b07: DUP2 00000b08: SWAP1 00000b09: MSTORE 00000b0a: SWAP1 00000b0b: MLOAD 00000b0c: PUSH1 0xff 00000b0e: NOT 00000b0f: AND 00000b10: PUSH1 0x36 00000b12: OR 00000b13: DUP2 00000b14: SSTORE 00000b15: SWAP3 00000b16: PUSH2 0x0b44 00000b19: SWAP3 00000b1a: PUSH1 0x01 00000b1c: DUP2 00000b1d: AND 00000b1e: ISZERO 00000b1f: PUSH2 0x0100 00000b22: MUL 00000b23: PUSH1 0x00 00000b25: NOT 00000b26: ADD 00000b27: AND 00000b28: DIV 00000b29: PUSH1 0x1f 00000b2b: ADD 00000b2c: DIV 00000b2d: PUSH1 0x00 00000b2f: DUP1 00000b30: MLOAD 00000b31: PUSH1 0x20 00000b33: PUSH2 0x0cbc 00000b36: DUP4 00000b37: CODECOPY 00000b38: DUP2 00000b39: MLOAD 00000b3a: SWAP2 00000b3b: MSTORE 00000b3c: SWAP1 00000b3d: DUP2 00000b3e: ADD 00000b3f: SWAP1 00000b40: PUSH2 0x09cd 00000b43: JUMP 00000b44: JUMPDEST 00000b45: POP 00000b46: POP 00000b47: PUSH2 0x0a1c 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: POP 00000b4d: POP 00000b4e: JUMPDEST 00000b4f: POP 00000b50: JUMP 00000b51: JUMPDEST 00000b52: POP 00000b53: PUSH2 0x0b5d 00000b56: SWAP3 00000b57: SWAP2 00000b58: POP 00000b59: PUSH2 0x09cd 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: POP 00000b5f: POP 00000b60: JUMP 00000b61: JUMPDEST 00000b62: POP 00000b63: POP 00000b64: PUSH1 0x00 00000b66: DUP1 00000b67: SLOAD 00000b68: DUP6 00000b69: SWAP4 00000b6a: POP 00000b6b: SWAP1 00000b6c: SWAP2 00000b6d: POP 00000b6e: PUSH1 0x00 00000b70: NOT 00000b71: DUP2 00000b72: ADD 00000b73: SWAP1 00000b74: DUP2 00000b75: LT 00000b76: ISZERO 00000b77: PUSH2 0x0002 00000b7a: JUMPI 00000b7b: DUP2 00000b7c: DUP1 00000b7d: MSTORE 00000b7e: PUSH1 0x02 00000b80: MUL 00000b81: PUSH1 0x00 00000b83: DUP1 00000b84: MLOAD 00000b85: PUSH1 0x20 00000b87: PUSH2 0x0c9c 00000b8a: DUP4 00000b8b: CODECOPY 00000b8c: DUP2 00000b8d: MLOAD 00000b8e: SWAP2 00000b8f: MSTORE 00000b90: ADD 00000b91: DUP1 00000b92: SLOAD 00000b93: PUSH1 0x01 00000b95: PUSH1 0xa0 00000b97: PUSH1 0x02 00000b99: EXP 00000b9a: SUB 00000b9b: NOT 00000b9c: AND 00000b9d: SWAP1 00000b9e: SWAP3 00000b9f: OR 00000ba0: SWAP1 00000ba1: SWAP2 00000ba2: SSTORE 00000ba3: DUP1 00000ba4: SLOAD 00000ba5: DUP3 00000ba6: SWAP2 00000ba7: SWAP1 00000ba8: PUSH1 0x00 00000baa: NOT 00000bab: DUP2 00000bac: ADD 00000bad: SWAP1 00000bae: DUP2 00000baf: LT 00000bb0: ISZERO 00000bb1: PUSH2 0x0002 00000bb4: JUMPI 00000bb5: PUSH1 0x02 00000bb7: SWAP1 00000bb8: DUP2 00000bb9: MUL 00000bba: PUSH1 0x00 00000bbc: DUP1 00000bbd: MLOAD 00000bbe: PUSH1 0x20 00000bc0: PUSH2 0x0cdc 00000bc3: DUP4 00000bc4: CODECOPY 00000bc5: DUP2 00000bc6: MLOAD 00000bc7: SWAP2 00000bc8: MSTORE 00000bc9: ADD 00000bca: SWAP3 00000bcb: SWAP1 00000bcc: SWAP3 00000bcd: SSTORE 00000bce: PUSH1 0x40 00000bd0: DUP1 00000bd1: MLOAD 00000bd2: PUSH1 0x60 00000bd4: DUP2 00000bd5: ADD 00000bd6: DUP3 00000bd7: MSTORE 00000bd8: PUSH1 0x32 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH32 0x4e6577206d616e75616c20496e766573746f7220686173206265656e20616464 00000bfd: PUSH1 0x20 00000bff: DUP1 00000c00: DUP4 00000c01: ADD 00000c02: SWAP2 00000c03: DUP3 00000c04: MSTORE 00000c05: PUSH32 0x656420627920746865204d616e61676572210000000000000000000000000000 00000c26: SWAP4 00000c27: DUP4 00000c28: ADD 00000c29: SWAP4 00000c2a: SWAP1 00000c2b: SWAP4 00000c2c: MSTORE 00000c2d: PUSH1 0x07 00000c2f: DUP1 00000c30: SLOAD 00000c31: SWAP5 00000c32: DUP2 00000c33: SWAP1 00000c34: MSTORE 00000c35: PUSH1 0x65 00000c37: DUP2 00000c38: SSTORE 00000c39: SWAP5 00000c3a: PUSH1 0x01 00000c3c: DUP6 00000c3d: AND 00000c3e: ISZERO 00000c3f: PUSH2 0x0100 00000c42: MUL 00000c43: PUSH1 0x00 00000c45: NOT 00000c46: ADD 00000c47: SWAP1 00000c48: SWAP5 00000c49: AND 00000c4a: SWAP4 00000c4b: SWAP1 00000c4c: SWAP4 00000c4d: DIV 00000c4e: PUSH1 0x1f 00000c50: ADD 00000c51: SWAP2 00000c52: SWAP1 00000c53: SWAP2 00000c54: DIV 00000c55: PUSH1 0x00 00000c57: DUP1 00000c58: MLOAD 00000c59: PUSH1 0x20 00000c5b: PUSH2 0x0cbc 00000c5e: DUP4 00000c5f: CODECOPY 00000c60: DUP2 00000c61: MLOAD 00000c62: SWAP2 00000c63: MSTORE 00000c64: SWAP1 00000c65: DUP2 00000c66: ADD 00000c67: SWAP3 00000c68: SWAP2 00000c69: PUSH1 0x52 00000c6b: ADD 00000c6c: JUMPDEST 00000c6d: DUP3 00000c6e: DUP2 00000c6f: GT 00000c70: ISZERO 00000c71: PUSH2 0x0c8a 00000c74: JUMPI 00000c75: DUP3 00000c76: MLOAD 00000c77: DUP3 00000c78: PUSH1 0x00 00000c7a: POP 00000c7b: SSTORE 00000c7c: SWAP2 00000c7d: PUSH1 0x20 00000c7f: ADD 00000c80: SWAP2 00000c81: SWAP1 00000c82: PUSH1 0x01 00000c84: ADD 00000c85: SWAP1 00000c86: PUSH2 0x0c6c 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: POP 00000c8c: PUSH2 0x0c96 00000c8f: SWAP3 00000c90: SWAP2 00000c91: POP 00000c92: PUSH2 0x09cd 00000c95: JUMP 00000c96: JUMPDEST 00000c97: POP 00000c98: POP 00000c99: POP 00000c9a: POP 00000c9b: JUMP 00000c9c: UNKNOWN(0x29) 00000c9d: UNKNOWN(0x0D) 00000c9e: UNKNOWN(0xEC) 00000c9f: UNKNOWN(0xD9) 00000ca0: SLOAD 00000ca1: DUP12 00000ca2: PUSH3 0xa8d603 00000ca6: GASLIMIT 00000ca7: UNKNOWN(0xA9) 00000ca8: DUP9 00000ca9: CODESIZE 00000caa: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000cbb: PUSH4 0xa66cc928 00000cc0: UNKNOWN(0xB5) 00000cc1: UNKNOWN(0xED) 00000cc2: UNKNOWN(0xB8) 00000cc3: UNKNOWN(0x2A) 00000cc4: UNKNOWN(0xF9) 00000cc5: UNKNOWN(0xBD) 00000cc6: BLOBHASH 00000cc7: SWAP3 00000cc8: UNKNOWN(0x29) 00000cc9: SLOAD 00000cca: ISZERO 00000ccb: GAS 00000ccc: UNKNOWN(0xB7) 00000ccd: UNKNOWN(0xB0) 00000cce: SWAP5 00000ccf: UNKNOWN(0x26) 00000cd0: SWAP5 00000cd1: UNKNOWN(0xBE) 00000cd2: LOG4 00000cd3: UNKNOWN(0xCE) 00000cd4: DIFFICULTY 00000cd5: PUSH7 0x1d9a8736c68829 00000cdd: UNKNOWN(0x0D) 00000cde: UNKNOWN(0xEC) 00000cdf: UNKNOWN(0xD9) 00000ce0: SLOAD 00000ce1: DUP12 00000ce2: PUSH3 0xa8d603 00000ce6: GASLIMIT 00000ce7: UNKNOWN(0xA9) 00000ce8: DUP9 00000ce9: CODESIZE 00000cea: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000cfb: PUSH5
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: 0x9f7f05a047f0395a4fca526b6af688eb0717bbbab1a3a5f141cb9f2585076a8b
call_targets:
0x7e6f7232ddddc7d5a075150db12e5235455d9432, 0xee462a6717f17c57c826f1ad9b4d3813495296c9
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x9f7f05a047f0395a4fca526b6af688eb0717bbbab1a3a5f141cb9f2585076a8b",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x7e6f7232ddddc7d5a075150db12e5235455d9432",
"0xee462a6717f17c57c826f1ad9b4d3813495296c9"
],
"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": "0x1097e579",
"selector": "0x1097e579",
"calldata_variants": [
"0x1097e579",
"0x1097e5790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x112c7075",
"selector": "0x112c7075",
"calldata_variants": [
"0x112c7075",
"0x112c70750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3edd90e7",
"selector": "0x3edd90e7",
"calldata_variants": [
"0x3edd90e7",
"0x3edd90e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3feb5f2b",
"selector": "0x3feb5f2b",
"calldata_variants": [
"0x3feb5f2b",
"0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x476e04c7",
"selector": "0x476e04c7",
"calldata_variants": [
"0x476e04c7",
"0x476e04c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cd11943",
"selector": "0x4cd11943",
"calldata_variants": [
"0x4cd11943",
"0x4cd119430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x611daa7e",
"selector": "0x611daa7e",
"calldata_variants": [
"0x611daa7e",
"0x611daa7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b1781b6",
"selector": "0x6b1781b6",
"calldata_variants": [
"0x6b1781b6",
"0x6b1781b60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0x9f7f05a047f0395a4fca526b6af688eb0717bbbab1a3a5f141cb9f2585076a8b
call_targets:
0x7e6f7232ddddc7d5a075150db12e5235455d9432, 0xee462a6717f17c57c826f1ad9b4d3813495296c9
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x9f7f05a047f0395a4fca526b6af688eb0717bbbab1a3a5f141cb9f2585076a8b",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x7e6f7232ddddc7d5a075150db12e5235455d9432",
"0xee462a6717f17c57c826f1ad9b4d3813495296c9"
],
"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": "0x1097e579",
"selector": "0x1097e579",
"calldata_variants": [
"0x1097e579",
"0x1097e5790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x112c7075",
"selector": "0x112c7075",
"calldata_variants": [
"0x112c7075",
"0x112c70750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3edd90e7",
"selector": "0x3edd90e7",
"calldata_variants": [
"0x3edd90e7",
"0x3edd90e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3feb5f2b",
"selector": "0x3feb5f2b",
"calldata_variants": [
"0x3feb5f2b",
"0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x476e04c7",
"selector": "0x476e04c7",
"calldata_variants": [
"0x476e04c7",
"0x476e04c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cd11943",
"selector": "0x4cd11943",
"calldata_variants": [
"0x4cd11943",
"0x4cd119430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x611daa7e",
"selector": "0x611daa7e",
"calldata_variants": [
"0x611daa7e",
"0x611daa7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b1781b6",
"selector": "0x6b1781b6",
"calldata_variants": [
"0x6b1781b6",
"0x6b1781b60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|