019b3836-5ec9-7088-b788-39b6cffa0f4f
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 |
|---|---|---|---|---|
| 9537 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 9538 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 52564 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 52565 | capability.graph | complete | 1 / 3 | 1 week ago |
| 52566 | detector.run | complete | 1 / 3 | 1 week ago |
| 52567 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113415 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-ba5kveyb model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c93-399d-7292-811a-988f5479e4ac -------- 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:37:29.045798+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 6870,
"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 0x018a 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x06fdde03 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0192 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x083c6323 00000025: EQ 00000026: PUSH2 0x01f0 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x095ea7b3 00000030: EQ 00000031: PUSH2 0x01f9 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x18160ddd 0000003b: EQ 0000003c: PUSH2 0x026d 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x1bc59aa6 00000046: EQ 00000047: PUSH2 0x0276 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x238ac933 00000051: EQ 00000052: PUSH2 0x0282 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x23b872dd 0000005c: EQ 0000005d: PUSH2 0x0294 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x2af7ceff 00000067: EQ 00000068: PUSH2 0x02d4 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313ce567 00000072: EQ 00000073: PUSH2 0x0300 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x44b49958 0000007d: EQ 0000007e: PUSH2 0x0309 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x48cd4cb1 00000088: EQ 00000089: PUSH2 0x0312 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4a8b5389 00000093: EQ 00000094: PUSH2 0x031b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4d853ee5 0000009e: EQ 0000009f: PUSH2 0x033b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x5ed7ca5b 000000a9: EQ 000000aa: PUSH2 0x034d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x70a08231 000000b4: EQ 000000b5: PUSH2 0x036d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x7228b9db 000000bf: EQ 000000c0: PUSH2 0x0392 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x771d9d05 000000ca: EQ 000000cb: PUSH2 0x039b 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x824338bd 000000d5: EQ 000000d6: PUSH2 0x03ac 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x83e811a6 000000e0: EQ 000000e1: PUSH2 0x03b5 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x93c32e06 000000eb: EQ 000000ec: PUSH2 0x03be 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x95d89b41 000000f6: EQ 000000f7: PUSH2 0x03e1 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x99d22e48 00000101: EQ 00000102: PUSH2 0x043f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa035b1fe 0000010c: EQ 0000010d: PUSH2 0x0451 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xa9059cbb 00000117: EQ 00000118: PUSH2 0x047b 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xb9b8af0b 00000122: EQ 00000123: PUSH2 0x04b8 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xbcfcb03e 0000012d: EQ 0000012e: PUSH2 0x04c4 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xc0f496ac 00000138: EQ 00000139: PUSH2 0x04e4 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xc24fe21b 00000143: EQ 00000144: PUSH2 0x04ed 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xc4fc3a3b 0000014e: EQ 0000014f: PUSH2 0x04f6 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xcb3e64fd 00000159: EQ 0000015a: PUSH2 0x04ff 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xdd62ed3e 00000164: EQ 00000165: PUSH2 0x051f 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xdda44b10 0000016f: EQ 00000170: PUSH2 0x0553 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xe5fe4f31 0000017a: EQ 0000017b: PUSH2 0x0610 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xf6b9d05d 00000185: EQ 00000186: PUSH2 0x0628 00000189: JUMPI 0000018a: JUMPDEST 0000018b: PUSH2 0x0631 0000018e: PUSH2 0x0002 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH1 0x40 00000195: DUP1 00000196: MLOAD 00000197: PUSH1 0x03 00000199: DUP1 0000019a: SLOAD 0000019b: PUSH1 0x20 0000019d: PUSH1 0x02 0000019f: PUSH1 0x01 000001a1: DUP4 000001a2: AND 000001a3: ISZERO 000001a4: PUSH2 0x0100 000001a7: MUL 000001a8: PUSH1 0x00 000001aa: NOT 000001ab: ADD 000001ac: SWAP1 000001ad: SWAP3 000001ae: AND 000001af: SWAP2 000001b0: SWAP1 000001b1: SWAP2 000001b2: DIV 000001b3: PUSH1 0x1f 000001b5: DUP2 000001b6: ADD 000001b7: DUP3 000001b8: SWAP1 000001b9: DIV 000001ba: DUP3 000001bb: MUL 000001bc: DUP5 000001bd: ADD 000001be: DUP3 000001bf: ADD 000001c0: SWAP1 000001c1: SWAP5 000001c2: MSTORE 000001c3: DUP4 000001c4: DUP4 000001c5: MSTORE 000001c6: PUSH2 0x0633 000001c9: SWAP4 000001ca: SWAP1 000001cb: DUP4 000001cc: ADD 000001cd: DUP3 000001ce: DUP3 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x070f 000001d4: JUMPI 000001d5: DUP1 000001d6: PUSH1 0x1f 000001d8: LT 000001d9: PUSH2 0x06e4 000001dc: JUMPI 000001dd: PUSH2 0x0100 000001e0: DUP1 000001e1: DUP4 000001e2: SLOAD 000001e3: DIV 000001e4: MUL 000001e5: DUP4 000001e6: MSTORE 000001e7: SWAP2 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: SWAP2 000001ec: PUSH2 0x070f 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH2 0x06a1 000001f4: PUSH1 0x07 000001f6: SLOAD 000001f7: DUP2 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH2 0x06b3 000001fd: PUSH1 0x04 000001ff: CALLDATALOAD 00000200: PUSH1 0x24 00000202: CALLDATALOAD 00000203: PUSH1 0x01 00000205: PUSH1 0xa0 00000207: PUSH1 0x02 00000209: EXP 0000020a: SUB 0000020b: CALLER 0000020c: DUP2 0000020d: AND 0000020e: PUSH1 0x00 00000210: DUP2 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x01 00000215: PUSH1 0x20 00000217: SWAP1 00000218: DUP2 00000219: MSTORE 0000021a: PUSH1 0x40 0000021c: DUP1 0000021d: DUP4 0000021e: KECCAK256 0000021f: SWAP5 00000220: DUP8 00000221: AND 00000222: DUP1 00000223: DUP5 00000224: MSTORE 00000225: SWAP5 00000226: DUP3 00000227: MSTORE 00000228: DUP1 00000229: DUP4 0000022a: KECCAK256 0000022b: DUP7 0000022c: SWAP1 0000022d: SSTORE 0000022e: DUP1 0000022f: MLOAD 00000230: DUP7 00000231: DUP2 00000232: MSTORE 00000233: SWAP1 00000234: MLOAD 00000235: SWAP3 00000236: SWAP5 00000237: SWAP4 00000238: SWAP3 00000239: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000025a: SWAP3 0000025b: SWAP2 0000025c: DUP2 0000025d: SWAP1 0000025e: SUB 0000025f: SWAP1 00000260: SWAP2 00000261: ADD 00000262: SWAP1 00000263: LOG3 00000264: POP 00000265: PUSH1 0x01 00000267: JUMPDEST 00000268: SWAP3 00000269: SWAP2 0000026a: POP 0000026b: POP 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH2 0x06a1 00000271: PUSH1 0x02 00000273: SLOAD 00000274: DUP2 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x06b3 0000027a: PUSH1 0x10 0000027c: SLOAD 0000027d: PUSH1 0xff 0000027f: AND 00000280: DUP2 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x06c7 00000286: PUSH1 0x09 00000288: SLOAD 00000289: PUSH1 0x01 0000028b: PUSH1 0xa0 0000028d: PUSH1 0x02 0000028f: EXP 00000290: SUB 00000291: AND 00000292: DUP2 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH2 0x06b3 00000298: PUSH1 0x04 0000029a: CALLDATALOAD 0000029b: PUSH1 0x24 0000029d: CALLDATALOAD 0000029e: PUSH1 0x44 000002a0: CALLDATALOAD 000002a1: PUSH1 0x07 000002a3: SLOAD 000002a4: PUSH1 0x0b 000002a6: SLOAD 000002a7: PUSH1 0x00 000002a9: SWAP2 000002aa: ADD 000002ab: NUMBER 000002ac: GT 000002ad: DUP1 000002ae: ISZERO 000002af: SWAP1 000002b0: PUSH2 0x02ca 000002b3: JUMPI 000002b4: POP 000002b5: PUSH1 0x08 000002b7: SLOAD 000002b8: PUSH1 0x01 000002ba: PUSH1 0xa0 000002bc: PUSH1 0x02 000002be: EXP 000002bf: SUB 000002c0: SWAP1 000002c1: DUP2 000002c2: AND 000002c3: CALLER 000002c4: SWAP2 000002c5: SWAP1 000002c6: SWAP2 000002c7: AND 000002c8: EQ 000002c9: ISZERO 000002ca: JUMPDEST 000002cb: ISZERO 000002cc: PUSH2 0x0721 000002cf: JUMPI 000002d0: PUSH2 0x0002 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH2 0x06a1 000002d8: PUSH1 0x04 000002da: CALLDATALOAD 000002db: PUSH1 0x06 000002dd: SLOAD 000002de: PUSH1 0x00 000002e0: SWAP1 000002e1: DUP3 000002e2: LT 000002e3: DUP1 000002e4: ISZERO 000002e5: SWAP1 000002e6: PUSH2 0x02f3 000002e9: JUMPI 000002ea: POP 000002eb: PUSH1 0x06 000002ed: SLOAD 000002ee: PUSH1 0xfa 000002f0: ADD 000002f1: DUP3 000002f2: LT 000002f3: JUMPDEST 000002f4: ISZERO 000002f5: PUSH2 0x0820 000002f8: JUMPI 000002f9: POP 000002fa: PUSH1 0xaa 000002fc: PUSH2 0x038d 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x06a1 00000304: PUSH1 0x05 00000306: SLOAD 00000307: DUP2 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH2 0x06a1 0000030d: PUSH1 0x12 0000030f: SLOAD 00000310: DUP2 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH2 0x06a1 00000316: PUSH1 0x06 00000318: SLOAD 00000319: DUP2 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH2 0x0631 0000031f: PUSH1 0x08 00000321: SLOAD 00000322: PUSH1 0x01 00000324: PUSH1 0xa0 00000326: PUSH1 0x02 00000328: EXP 00000329: SUB 0000032a: SWAP1 0000032b: DUP2 0000032c: AND 0000032d: CALLER 0000032e: SWAP2 0000032f: SWAP1 00000330: SWAP2 00000331: AND 00000332: EQ 00000333: PUSH2 0x0863 00000336: JUMPI 00000337: PUSH2 0x0002 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH2 0x06c7 0000033f: PUSH1 0x08 00000341: SLOAD 00000342: PUSH1 0x01 00000344: PUSH1 0xa0 00000346: PUSH1 0x02 00000348: EXP 00000349: SUB 0000034a: AND 0000034b: DUP2 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH2 0x0631 00000351: PUSH1 0x08 00000353: SLOAD 00000354: PUSH1 0x01 00000356: PUSH1 0xa0 00000358: PUSH1 0x02 0000035a: EXP 0000035b: SUB 0000035c: SWAP1 0000035d: DUP2 0000035e: AND 0000035f: CALLER 00000360: SWAP2 00000361: SWAP1 00000362: SWAP2 00000363: AND 00000364: EQ 00000365: PUSH2 0x09cd 00000368: JUMPI 00000369: PUSH2 0x0002 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH2 0x06a1 00000371: PUSH1 0x04 00000373: CALLDATALOAD 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: PUSH1 0x02 0000037a: EXP 0000037b: SUB 0000037c: DUP2 0000037d: AND 0000037e: PUSH1 0x00 00000380: SWAP1 00000381: DUP2 00000382: MSTORE 00000383: PUSH1 0x20 00000385: DUP2 00000386: SWAP1 00000387: MSTORE 00000388: PUSH1 0x40 0000038a: SWAP1 0000038b: KECCAK256 0000038c: SLOAD 0000038d: JUMPDEST 0000038e: SWAP2 0000038f: SWAP1 00000390: POP 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x06a1 00000396: PUSH1 0x0a 00000398: SLOAD 00000399: DUP2 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH2 0x06b3 0000039f: PUSH1 0x10 000003a1: SLOAD 000003a2: PUSH2 0x0100 000003a5: SWAP1 000003a6: DIV 000003a7: PUSH1 0xff 000003a9: AND 000003aa: DUP2 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x06a1 000003b0: PUSH1 0x0f 000003b2: SLOAD 000003b3: DUP2 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH2 0x06a1 000003b9: PUSH1 0x0c 000003bb: SLOAD 000003bc: DUP2 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x0631 000003c2: PUSH1 0x04 000003c4: CALLDATALOAD 000003c5: PUSH1 0x08 000003c7: SLOAD 000003c8: PUSH1 0x01 000003ca: PUSH1 0xa0 000003cc: PUSH1 0x02 000003ce: EXP 000003cf: SUB 000003d0: SWAP1 000003d1: DUP2 000003d2: AND 000003d3: CALLER 000003d4: SWAP2 000003d5: SWAP1 000003d6: SWAP2 000003d7: AND 000003d8: EQ 000003d9: PUSH2 0x09dc 000003dc: JUMPI 000003dd: PUSH2 0x0002 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: DUP1 000003e5: MLOAD 000003e6: PUSH1 0x04 000003e8: DUP1 000003e9: SLOAD 000003ea: PUSH1 0x20 000003ec: PUSH1 0x02 000003ee: PUSH1 0x01 000003f0: DUP4 000003f1: AND 000003f2: ISZERO 000003f3: PUSH2 0x0100 000003f6: MUL 000003f7: PUSH1 0x00 000003f9: NOT 000003fa: ADD 000003fb: SWAP1 000003fc: SWAP3 000003fd: AND 000003fe: SWAP2 000003ff: SWAP1 00000400: SWAP2 00000401: DIV 00000402: PUSH1 0x1f 00000404: DUP2 00000405: ADD 00000406: DUP3 00000407: SWAP1 00000408: DIV 00000409: DUP3 0000040a: MUL 0000040b: DUP5 0000040c: ADD 0000040d: DUP3 0000040e: ADD 0000040f: SWAP1 00000410: SWAP5 00000411: MSTORE 00000412: DUP4 00000413: DUP4 00000414: MSTORE 00000415: PUSH2 0x0633 00000418: SWAP4 00000419: SWAP1 0000041a: DUP4 0000041b: ADD 0000041c: DUP3 0000041d: DUP3 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x070f 00000423: JUMPI 00000424: DUP1 00000425: PUSH1 0x1f 00000427: LT 00000428: PUSH2 0x06e4 0000042b: JUMPI 0000042c: PUSH2 0x0100 0000042f: DUP1 00000430: DUP4 00000431: SLOAD 00000432: DIV 00000433: MUL 00000434: DUP4 00000435: MSTORE 00000436: SWAP2 00000437: PUSH1 0x20 00000439: ADD 0000043a: SWAP2 0000043b: PUSH2 0x070f 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH2 0x06b3 00000443: PUSH1 0x10 00000445: SLOAD 00000446: PUSH3 0x010000 0000044a: SWAP1 0000044b: DIV 0000044c: PUSH1 0xff 0000044e: AND 0000044f: DUP2 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH2 0x06a1 00000455: JUMPDEST 00000456: PUSH1 0x06 00000458: SLOAD 00000459: PUSH1 0x00 0000045b: SWAP1 0000045c: NUMBER 0000045d: LT 0000045e: DUP1 0000045f: ISZERO 00000460: SWAP1 00000461: PUSH2 0x046e 00000464: JUMPI 00000465: POP 00000466: PUSH1 0x06 00000468: SLOAD 00000469: PUSH1 0xfa 0000046b: ADD 0000046c: NUMBER 0000046d: LT 0000046e: JUMPDEST 0000046f: ISZERO 00000470: PUSH2 0x0a2a 00000473: JUMPI 00000474: POP 00000475: PUSH1 0xaa 00000477: PUSH2 0x0a27 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH2 0x06b3 0000047f: PUSH1 0x04 00000481: CALLDATALOAD 00000482: PUSH1 0x24 00000484: CALLDATALOAD 00000485: PUSH1 0x07 00000487: SLOAD 00000488: PUSH1 0x0b 0000048a: SLOAD 0000048b: PUSH1 0x00 0000048d: SWAP2 0000048e: ADD 0000048f: NUMBER 00000490: GT 00000491: DUP1 00000492: ISZERO 00000493: SWAP1 00000494: PUSH2 0x04ae 00000497: JUMPI 00000498: POP 00000499: PUSH1 0x08 0000049b: SLOAD 0000049c: PUSH1 0x01 0000049e: PUSH1 0xa0 000004a0: PUSH1 0x02 000004a2: EXP 000004a3: SUB 000004a4: SWAP1 000004a5: DUP2 000004a6: AND 000004a7: CALLER 000004a8: SWAP2 000004a9: SWAP1 000004aa: SWAP2 000004ab: AND 000004ac: EQ 000004ad: ISZERO 000004ae: JUMPDEST 000004af: ISZERO 000004b0: PUSH2 0x0a48 000004b3: JUMPI 000004b4: PUSH2 0x0002 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH2 0x06b3 000004bc: PUSH1 0x13 000004be: SLOAD 000004bf: PUSH1 0xff 000004c1: AND 000004c2: DUP2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH2 0x0631 000004c8: PUSH1 0x08 000004ca: SLOAD 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: PUSH1 0x02 000004d1: EXP 000004d2: SUB 000004d3: SWAP1 000004d4: DUP2 000004d5: AND 000004d6: CALLER 000004d7: SWAP2 000004d8: SWAP1 000004d9: SWAP2 000004da: AND 000004db: EQ 000004dc: PUSH2 0x0b00 000004df: JUMPI 000004e0: PUSH2 0x0002 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x06a1 000004e8: PUSH1 0x0e 000004ea: SLOAD 000004eb: DUP2 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH2 0x06a1 000004f1: PUSH1 0x0b 000004f3: SLOAD 000004f4: DUP2 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH2 0x06a1 000004fa: PUSH1 0x11 000004fc: SLOAD 000004fd: DUP2 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH2 0x0631 00000503: PUSH1 0x08 00000505: SLOAD 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: PUSH1 0x02 0000050c: EXP 0000050d: SUB 0000050e: SWAP1 0000050f: DUP2 00000510: AND 00000511: CALLER 00000512: SWAP2 00000513: SWAP1 00000514: SWAP2 00000515: AND 00000516: EQ 00000517: PUSH2 0x0c07 0000051a: JUMPI 0000051b: PUSH2 0x0002 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x06a1 00000523: PUSH1 0x04 00000525: CALLDATALOAD 00000526: PUSH1 0x24 00000528: CALLDATALOAD 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: PUSH1 0x02 0000052f: EXP 00000530: SUB 00000531: DUP3 00000532: DUP2 00000533: AND 00000534: PUSH1 0x00 00000536: SWAP1 00000537: DUP2 00000538: MSTORE 00000539: PUSH1 0x01 0000053b: PUSH1 0x20 0000053d: SWAP1 0000053e: DUP2 0000053f: MSTORE 00000540: PUSH1 0x40 00000542: DUP1 00000543: DUP4 00000544: KECCAK256 00000545: SWAP4 00000546: DUP6 00000547: AND 00000548: DUP4 00000549: MSTORE 0000054a: SWAP3 0000054b: SWAP1 0000054c: MSTORE 0000054d: KECCAK256 0000054e: SLOAD 0000054f: PUSH2 0x0267 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH2 0x0631 00000557: PUSH1 0x04 00000559: CALLDATALOAD 0000055a: PUSH1 0x24 0000055c: CALLDATALOAD 0000055d: PUSH1 0x44 0000055f: CALLDATALOAD 00000560: PUSH1 0x64 00000562: CALLDATALOAD 00000563: JUMPDEST 00000564: PUSH1 0x00 00000566: PUSH1 0x00 00000568: PUSH1 0x02 0000056a: CALLER 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: DUP1 0000056f: DUP3 00000570: PUSH1 0x01 00000572: PUSH1 0xa0 00000574: PUSH1 0x02 00000576: EXP 00000577: SUB 00000578: AND 00000579: PUSH13 0x01000000000000000000000000 00000587: MUL 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x14 0000058c: ADD 0000058d: SWAP2 0000058e: POP 0000058f: POP 00000590: PUSH1 0x20 00000592: PUSH1 0x40 00000594: MLOAD 00000595: DUP1 00000596: DUP4 00000597: SUB 00000598: DUP2 00000599: PUSH1 0x00 0000059b: DUP7 0000059c: PUSH2 0x61da 0000059f: GAS 000005a0: SUB 000005a1: CALL 000005a2: ISZERO 000005a3: PUSH2 0x0002 000005a6: JUMPI 000005a7: POP 000005a8: POP 000005a9: PUSH1 0x40 000005ab: DUP1 000005ac: MLOAD 000005ad: DUP1 000005ae: MLOAD 000005af: PUSH1 0x09 000005b1: SLOAD 000005b2: PUSH1 0xff 000005b4: DUP10 000005b5: AND 000005b6: PUSH1 0x20 000005b8: DUP5 000005b9: DUP2 000005ba: ADD 000005bb: SWAP2 000005bc: SWAP1 000005bd: SWAP2 000005be: MSTORE 000005bf: DUP4 000005c0: DUP6 000005c1: ADD 000005c2: DUP10 000005c3: SWAP1 000005c4: MSTORE 000005c5: PUSH1 0x60 000005c7: DUP5 000005c8: ADD 000005c9: DUP9 000005ca: SWAP1 000005cb: MSTORE 000005cc: SWAP4 000005cd: MLOAD 000005ce: SWAP2 000005cf: SWAP6 000005d0: POP 000005d1: PUSH1 0x01 000005d3: PUSH1 0xa0 000005d5: PUSH1 0x02 000005d7: EXP 000005d8: SUB 000005d9: AND 000005da: SWAP3 000005db: PUSH1 0x01 000005dd: SWAP3 000005de: PUSH1 0x80 000005e0: DUP2 000005e1: DUP2 000005e2: ADD 000005e3: SWAP4 000005e4: SWAP2 000005e5: DUP3 000005e6: SWAP1 000005e7: SUB 000005e8: ADD 000005e9: DUP2 000005ea: PUSH1 0x00 000005ec: DUP7 000005ed: PUSH2 0x61da 000005f0: GAS 000005f1: SUB 000005f2: CALL 000005f3: ISZERO 000005f4: PUSH2 0x0002 000005f7: JUMPI 000005f8: POP 000005f9: POP 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: MLOAD 000005fe: PUSH1 0x01 00000600: PUSH1 0xa0 00000602: PUSH1 0x02 00000604: EXP 00000605: SUB 00000606: AND 00000607: EQ 00000608: PUSH2 0x0c13 0000060b: JUMPI 0000060c: PUSH2 0x0002 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH2 0x0631 00000614: PUSH1 0x04 00000616: CALLDATALOAD 00000617: PUSH1 0x24 00000619: CALLDATALOAD 0000061a: PUSH1 0x44 0000061c: CALLDATALOAD 0000061d: PUSH2 0x0d55 00000620: CALLER 00000621: DUP5 00000622: DUP5 00000623: DUP5 00000624: PUSH2 0x0563 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x06a1 0000062c: PUSH1 0x0d 0000062e: SLOAD 0000062f: DUP2 00000630: JUMP 00000631: JUMPDEST 00000632: STOP 00000633: JUMPDEST 00000634: PUSH1 0x40 00000636: MLOAD 00000637: DUP1 00000638: DUP1 00000639: PUSH1 0x20 0000063b: ADD 0000063c: DUP3 0000063d: DUP2 0000063e: SUB 0000063f: DUP3 00000640: MSTORE 00000641: DUP4 00000642: DUP2 00000643: DUP2 00000644: MLOAD 00000645: DUP2 00000646: MSTORE 00000647: PUSH1 0x20 00000649: ADD 0000064a: SWAP2 0000064b: POP 0000064c: DUP1 0000064d: MLOAD 0000064e: SWAP1 0000064f: PUSH1 0x20 00000651: ADD 00000652: SWAP1 00000653: DUP1 00000654: DUP4 00000655: DUP4 00000656: DUP3 00000657: SWAP1 00000658: PUSH1 0x00 0000065a: PUSH1 0x04 0000065c: PUSH1 0x20 0000065e: DUP5 0000065f: PUSH1 0x1f 00000661: ADD 00000662: DIV 00000663: PUSH1 0x03 00000665: MUL 00000666: PUSH1 0x0f 00000668: ADD 00000669: CALL 0000066a: POP 0000066b: SWAP1 0000066c: POP 0000066d: SWAP1 0000066e: DUP2 0000066f: ADD 00000670: SWAP1 00000671: PUSH1 0x1f 00000673: AND 00000674: DUP1 00000675: ISZERO 00000676: PUSH2 0x0693 00000679: JUMPI 0000067a: DUP1 0000067b: DUP3 0000067c: SUB 0000067d: DUP1 0000067e: MLOAD 0000067f: PUSH1 0x01 00000681: DUP4 00000682: PUSH1 0x20 00000684: SUB 00000685: PUSH2 0x0100 00000688: EXP 00000689: SUB 0000068a: NOT 0000068b: AND 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x20 00000690: ADD 00000691: SWAP2 00000692: POP 00000693: JUMPDEST 00000694: POP 00000695: SWAP3 00000696: POP 00000697: POP 00000698: POP 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: DUP1 0000069d: SWAP2 0000069e: SUB 0000069f: SWAP1 000006a0: RETURN 000006a1: JUMPDEST 000006a2: PUSH1 0x40 000006a4: DUP1 000006a5: MLOAD 000006a6: SWAP2 000006a7: DUP3 000006a8: MSTORE 000006a9: MLOAD 000006aa: SWAP1 000006ab: DUP2 000006ac: SWAP1 000006ad: SUB 000006ae: PUSH1 0x20 000006b0: ADD 000006b1: SWAP1 000006b2: RETURN 000006b3: JUMPDEST 000006b4: PUSH1 0x40 000006b6: DUP1 000006b7: MLOAD 000006b8: SWAP2 000006b9: ISZERO 000006ba: ISZERO 000006bb: DUP3 000006bc: MSTORE 000006bd: MLOAD 000006be: SWAP1 000006bf: DUP2 000006c0: SWAP1 000006c1: SUB 000006c2: PUSH1 0x20 000006c4: ADD 000006c5: SWAP1 000006c6: RETURN 000006c7: JUMPDEST 000006c8: PUSH1 0x40 000006ca: DUP1 000006cb: MLOAD 000006cc: PUSH1 0x01 000006ce: PUSH1 0xa0 000006d0: PUSH1 0x02 000006d2: EXP 000006d3: SUB 000006d4: SWAP3 000006d5: SWAP1 000006d6: SWAP3 000006d7: AND 000006d8: DUP3 000006d9: MSTORE 000006da: MLOAD 000006db: SWAP1 000006dc: DUP2 000006dd: SWAP1 000006de: SUB 000006df: PUSH1 0x20 000006e1: ADD 000006e2: SWAP1 000006e3: RETURN 000006e4: JUMPDEST 000006e5: DUP3 000006e6: ADD 000006e7: SWAP2 000006e8: SWAP1 000006e9: PUSH1 0x00 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: PUSH1 0x00 000006f0: KECCAK256 000006f1: SWAP1 000006f2: JUMPDEST 000006f3: DUP2 000006f4: SLOAD 000006f5: DUP2 000006f6: MSTORE 000006f7: SWAP1 000006f8: PUSH1 0x01 000006fa: ADD 000006fb: SWAP1 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: DUP1 00000700: DUP4 00000701: GT 00000702: PUSH2 0x06f2 00000705: JUMPI 00000706: DUP3 00000707: SWAP1 00000708: SUB 00000709: PUSH1 0x1f 0000070b: AND 0000070c: DUP3 0000070d: ADD 0000070e: SWAP2 0000070f: JUMPDEST 00000710: POP 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: DUP2 00000716: JUMP 00000717: JUMPDEST 00000718: SWAP1 00000719: POP 0000071a: JUMPDEST 0000071b: SWAP4 0000071c: SWAP3 0000071d: POP 0000071e: POP 0000071f: POP 00000720: JUMP 00000721: JUMPDEST 00000722: PUSH2 0x0717 00000725: DUP5 00000726: DUP5 00000727: DUP5 00000728: PUSH1 0x01 0000072a: PUSH1 0xa0 0000072c: PUSH1 0x02 0000072e: EXP 0000072f: SUB 00000730: DUP4 00000731: AND 00000732: PUSH1 0x00 00000734: SWAP1 00000735: DUP2 00000736: MSTORE 00000737: PUSH1 0x20 00000739: DUP2 0000073a: SWAP1 0000073b: MSTORE 0000073c: PUSH1 0x40 0000073e: DUP2 0000073f: KECCAK256 00000740: SLOAD 00000741: DUP3 00000742: SWAP1 00000743: LT 00000744: DUP1 00000745: ISZERO 00000746: SWAP1 00000747: PUSH2 0x076e 0000074a: JUMPI 0000074b: POP 0000074c: PUSH1 0x01 0000074e: PUSH1 0x20 00000750: SWAP1 00000751: DUP2 00000752: MSTORE 00000753: PUSH1 0x40 00000755: DUP1 00000756: DUP4 00000757: KECCAK256 00000758: PUSH1 0x01 0000075a: PUSH1 0xa0 0000075c: PUSH1 0x02 0000075e: EXP 0000075f: SUB 00000760: CALLER 00000761: AND 00000762: DUP5 00000763: MSTORE 00000764: SWAP1 00000765: SWAP2 00000766: MSTORE 00000767: DUP2 00000768: KECCAK256 00000769: SLOAD 0000076a: DUP3 0000076b: SWAP1 0000076c: LT 0000076d: ISZERO 0000076e: JUMPDEST 0000076f: DUP1 00000770: ISZERO 00000771: PUSH2 0x0793 00000774: JUMPI 00000775: POP 00000776: PUSH1 0x01 00000778: PUSH1 0xa0 0000077a: PUSH1 0x02 0000077c: EXP 0000077d: SUB 0000077e: DUP4 0000077f: AND 00000780: PUSH1 0x00 00000782: SWAP1 00000783: DUP2 00000784: MSTORE 00000785: PUSH1 0x20 00000787: DUP2 00000788: SWAP1 00000789: MSTORE 0000078a: PUSH1 0x40 0000078c: SWAP1 0000078d: KECCAK256 0000078e: SLOAD 0000078f: DUP1 00000790: DUP4 00000791: ADD 00000792: GT 00000793: JUMPDEST 00000794: ISZERO 00000795: PUSH2 0x0d5a 00000798: JUMPI 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: PUSH1 0x02 0000079f: EXP 000007a0: SUB 000007a1: DUP4 000007a2: DUP2 000007a3: AND 000007a4: PUSH1 0x00 000007a6: DUP2 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: DUP2 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x40 000007b0: DUP1 000007b1: DUP4 000007b2: KECCAK256 000007b3: DUP1 000007b4: SLOAD 000007b5: DUP9 000007b6: ADD 000007b7: SWAP1 000007b8: SSTORE 000007b9: DUP9 000007ba: DUP6 000007bb: AND 000007bc: DUP1 000007bd: DUP5 000007be: MSTORE 000007bf: DUP2 000007c0: DUP5 000007c1: KECCAK256 000007c2: DUP1 000007c3: SLOAD 000007c4: DUP10 000007c5: SWAP1 000007c6: SUB 000007c7: SWAP1 000007c8: SSTORE 000007c9: PUSH1 0x01 000007cb: DUP4 000007cc: MSTORE 000007cd: DUP2 000007ce: DUP5 000007cf: KECCAK256 000007d0: CALLER 000007d1: SWAP7 000007d2: SWAP1 000007d3: SWAP7 000007d4: AND 000007d5: DUP5 000007d6: MSTORE 000007d7: SWAP5 000007d8: DUP3 000007d9: MSTORE 000007da: SWAP2 000007db: DUP3 000007dc: SWAP1 000007dd: KECCAK256 000007de: DUP1 000007df: SLOAD 000007e0: DUP8 000007e1: SWAP1 000007e2: SUB 000007e3: SWAP1 000007e4: SSTORE 000007e5: DUP2 000007e6: MLOAD 000007e7: DUP7 000007e8: DUP2 000007e9: MSTORE 000007ea: SWAP2 000007eb: MLOAD 000007ec: SWAP3 000007ed: SWAP4 000007ee: SWAP3 000007ef: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000810: SWAP3 00000811: DUP2 00000812: SWAP1 00000813: SUB 00000814: SWAP1 00000815: SWAP2 00000816: ADD 00000817: SWAP1 00000818: LOG3 00000819: POP 0000081a: PUSH1 0x01 0000081c: PUSH2 0x071a 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x06 00000823: SLOAD 00000824: DUP3 00000825: LT 00000826: DUP1 00000827: PUSH2 0x0831 0000082a: JUMPI 0000082b: POP 0000082c: PUSH1 0x07 0000082e: SLOAD 0000082f: DUP3 00000830: GT 00000831: JUMPDEST 00000832: ISZERO 00000833: PUSH2 0x083e 00000836: JUMPI 00000837: POP 00000838: PUSH1 0x64 0000083a: PUSH2 0x038d 0000083d: JUMP 0000083e: JUMPDEST 0000083f: POP 00000840: PUSH1 0x07 00000842: SLOAD 00000843: PUSH1 0x06 00000845: SLOAD 00000846: PUSH1 0x04 00000848: SWAP1 00000849: DUP3 0000084a: SUB 0000084b: PUSH1 0x01 0000084d: ADD 0000084e: SWAP2 0000084f: DUP4 00000850: SWAP1 00000851: SUB 00000852: DUP2 00000853: MUL 00000854: SWAP2 00000855: SWAP1 00000856: SWAP2 00000857: DIV 00000858: PUSH1 0x43 0000085a: MUL 0000085b: DIV 0000085c: PUSH1 0x64 0000085e: ADD 0000085f: PUSH2 0x038d 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH1 0x07 00000866: SLOAD 00000867: NUMBER 00000868: GT 00000869: PUSH2 0x0871 0000086c: JUMPI 0000086d: PUSH2 0x0002 00000870: JUMP 00000871: JUMPDEST 00000872: PUSH1 0x10 00000874: SLOAD 00000875: PUSH1 0xff 00000877: AND 00000878: DUP1 00000879: PUSH2 0x0889 0000087c: JUMPI 0000087d: POP 0000087e: PUSH1 0x10 00000880: SLOAD 00000881: PUSH2 0x0100 00000884: SWAP1 00000885: DIV 00000886: PUSH1 0xff 00000888: AND 00000889: JUMPDEST 0000088a: ISZERO 0000088b: PUSH2 0x0893 0000088e: JUMPI 0000088f: PUSH2 0x0002 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH1 0x02 00000896: SLOAD 00000897: PUSH1 0x11 00000899: DUP2 0000089a: SWAP1 0000089b: SSTORE 0000089c: PUSH1 0x08 0000089e: SLOAD 0000089f: PUSH1 0x01 000008a1: PUSH1 0xa0 000008a3: PUSH1 0x02 000008a5: EXP 000008a6: SUB 000008a7: AND 000008a8: PUSH1 0x00 000008aa: SWAP1 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x20 000008af: DUP2 000008b0: SWAP1 000008b1: MSTORE 000008b2: PUSH1 0x40 000008b4: SWAP1 000008b5: KECCAK256 000008b6: SLOAD 000008b7: PUSH1 0x0e 000008b9: SLOAD 000008ba: PUSH2 0x08ee 000008bd: SWAP3 000008be: PUSH8 0x0de0b6b3a7640000 000008c7: SWAP2 000008c8: MUL 000008c9: DIV 000008ca: JUMPDEST 000008cb: PUSH1 0x00 000008cd: DUP3 000008ce: DUP3 000008cf: ADD 000008d0: PUSH2 0x071a 000008d3: DUP5 000008d4: DUP3 000008d5: LT 000008d6: DUP1 000008d7: ISZERO 000008d8: SWAP1 000008d9: PUSH2 0x08e2 000008dc: JUMPI 000008dd: POP 000008de: DUP4 000008df: DUP3 000008e0: LT 000008e1: ISZERO 000008e2: JUMPDEST 000008e3: DUP1 000008e4: ISZERO 000008e5: ISZERO 000008e6: PUSH2 0x09fc 000008e9: JUMPI 000008ea: PUSH2 0x0002 000008ed: JUMP 000008ee: JUMPDEST 000008ef: PUSH1 0x08 000008f1: SLOAD 000008f2: PUSH1 0x01 000008f4: PUSH1 0xa0 000008f6: PUSH1 0x02 000008f8: EXP 000008f9: SUB 000008fa: AND 000008fb: PUSH1 0x00 000008fd: SWAP1 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x20 00000902: DUP2 00000903: SWAP1 00000904: MSTORE 00000905: PUSH1 0x40 00000907: SWAP1 00000908: KECCAK256 00000909: SSTORE 0000090a: PUSH1 0x02 0000090c: SLOAD 0000090d: PUSH1 0x11 0000090f: SLOAD 00000910: PUSH1 0x0e 00000912: SLOAD 00000913: PUSH2 0x0928 00000916: SWAP3 00000917: SWAP2 00000918: PUSH8 0x0de0b6b3a7640000 00000921: SWAP2 00000922: MUL 00000923: DIV 00000924: PUSH2 0x08ca 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x02 0000092b: SSTORE 0000092c: PUSH1 0x08 0000092e: SLOAD 0000092f: PUSH1 0x01 00000931: PUSH1 0xa0 00000933: PUSH1 0x02 00000935: EXP 00000936: SUB 00000937: AND 00000938: PUSH1 0x00 0000093a: SWAP1 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x20 0000093f: DUP2 00000940: SWAP1 00000941: MSTORE 00000942: PUSH1 0x40 00000944: SWAP1 00000945: KECCAK256 00000946: SLOAD 00000947: PUSH1 0x0d 00000949: SLOAD 0000094a: PUSH2 0x0953 0000094d: SWAP2 0000094e: SWAP1 0000094f: PUSH2 0x08ca 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH1 0x08 00000956: SLOAD 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: PUSH1 0x02 0000095d: EXP 0000095e: SUB 0000095f: AND 00000960: PUSH1 0x00 00000962: SWAP1 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x20 00000967: DUP2 00000968: SWAP1 00000969: MSTORE 0000096a: PUSH1 0x40 0000096c: SWAP1 0000096d: KECCAK256 0000096e: SSTORE 0000096f: PUSH1 0x02 00000971: SLOAD 00000972: PUSH1 0x0d 00000974: SLOAD 00000975: PUSH2 0x097e 00000978: SWAP2 00000979: SWAP1 0000097a: PUSH2 0x08ca 0000097d: JUMP 0000097e: JUMPDEST 0000097f: PUSH1 0x02 00000981: SSTORE 00000982: PUSH1 0x10 00000984: DUP1 00000985: SLOAD 00000986: PUSH1 0xff 00000988: NOT 00000989: AND 0000098a: PUSH1 0x01 0000098c: OR 0000098d: PUSH2 0xff00 00000990: NOT 00000991: AND 00000992: PUSH2 0x0100 00000995: OR 00000996: SWAP1 00000997: SSTORE 00000998: PUSH1 0x40 0000099a: MLOAD 0000099b: PUSH1 0x01 0000099d: PUSH1 0xa0 0000099f: PUSH1 0x02 000009a1: EXP 000009a2: SUB 000009a3: CALLER 000009a4: AND 000009a5: SWAP1 000009a6: PUSH32 0xad156d34337c07db4f9b140cea03fb74d167641e252f85c85ccf3b47f36c9c49 000009c7: SWAP1 000009c8: PUSH1 0x00 000009ca: SWAP1 000009cb: LOG2 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH1 0x13 000009d0: DUP1 000009d1: SLOAD 000009d2: PUSH1 0xff 000009d4: NOT 000009d5: AND 000009d6: PUSH1 0x01 000009d8: OR 000009d9: SWAP1 000009da: SSTORE 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH1 0x08 000009df: DUP1 000009e0: SLOAD 000009e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f6: NOT 000009f7: AND 000009f8: DUP3 000009f9: OR 000009fa: SWAP1 000009fb: SSTORE 000009fc: JUMPDEST 000009fd: POP 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH1 0x04 00000a02: PUSH1 0x06 00000a04: PUSH1 0x00 00000a06: POP 00000a07: SLOAD 00000a08: PUSH1 0x07 00000a0a: PUSH1 0x00 00000a0c: POP 00000a0d: SLOAD 00000a0e: SUB 00000a0f: PUSH1 0x01 00000a11: ADD 00000a12: NUMBER 00000a13: PUSH1 0x07 00000a15: PUSH1 0x00 00000a17: POP 00000a18: SLOAD 00000a19: SUB 00000a1a: PUSH1 0x04 00000a1c: MUL 00000a1d: DIV 00000a1e: PUSH1 0x43 00000a20: MUL 00000a21: DIV 00000a22: PUSH1 0x64 00000a24: ADD 00000a25: SWAP1 00000a26: POP 00000a27: JUMPDEST 00000a28: SWAP1 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: PUSH1 0x06 00000a2d: SLOAD 00000a2e: NUMBER 00000a2f: LT 00000a30: DUP1 00000a31: PUSH2 0x0a3b 00000a34: JUMPI 00000a35: POP 00000a36: PUSH1 0x07 00000a38: SLOAD 00000a39: NUMBER 00000a3a: GT 00000a3b: JUMPDEST 00000a3c: ISZERO 00000a3d: PUSH2 0x09ff 00000a40: JUMPI 00000a41: POP 00000a42: PUSH1 0x64 00000a44: PUSH2 0x0a27 00000a47: JUMP 00000a48: JUMPDEST 00000a49: PUSH2 0x0af9 00000a4c: DUP4 00000a4d: DUP4 00000a4e: PUSH1 0x01 00000a50: PUSH1 0xa0 00000a52: PUSH1 0x02 00000a54: EXP 00000a55: SUB 00000a56: CALLER 00000a57: AND 00000a58: PUSH1 0x00 00000a5a: SWAP1 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: DUP2 00000a60: SWAP1 00000a61: MSTORE 00000a62: PUSH1 0x40 00000a64: DUP2 00000a65: KECCAK256 00000a66: SLOAD 00000a67: DUP3 00000a68: SWAP1 00000a69: LT 00000a6a: DUP1 00000a6b: ISZERO 00000a6c: SWAP1 00000a6d: PUSH2 0x0a87 00000a70: JUMPI 00000a71: POP 00000a72: PUSH1 0x01 00000a74: PUSH1 0xa0 00000a76: PUSH1 0x02 00000a78: EXP 00000a79: SUB 00000a7a: DUP4 00000a7b: AND 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x40 00000a80: DUP2 00000a81: KECCAK256 00000a82: SLOAD 00000a83: DUP1 00000a84: DUP4 00000a85: ADD 00000a86: GT 00000a87: JUMPDEST 00000a88: ISZERO 00000a89: PUSH2 0x0d62 00000a8c: JUMPI 00000a8d: PUSH1 0x01 00000a8f: PUSH1 0xa0 00000a91: PUSH1 0x02 00000a93: EXP 00000a94: SUB 00000a95: CALLER 00000a96: DUP2 00000a97: AND 00000a98: PUSH1 0x00 00000a9a: DUP2 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x20 00000a9f: DUP2 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: PUSH1 0x40 00000aa4: DUP1 00000aa5: DUP4 00000aa6: KECCAK256 00000aa7: DUP1 00000aa8: SLOAD 00000aa9: DUP9 00000aaa: SWAP1 00000aab: SUB 00000aac: SWAP1 00000aad: SSTORE 00000aae: SWAP4 00000aaf: DUP8 00000ab0: AND 00000ab1: DUP1 00000ab2: DUP4 00000ab3: MSTORE 00000ab4: SWAP2 00000ab5: DUP5 00000ab6: SWAP1 00000ab7: KECCAK256 00000ab8: DUP1 00000ab9: SLOAD 00000aba: DUP8 00000abb: ADD 00000abc: SWAP1 00000abd: SSTORE 00000abe: DUP4 00000abf: MLOAD 00000ac0: DUP7 00000ac1: DUP2 00000ac2: MSTORE 00000ac3: SWAP4 00000ac4: MLOAD 00000ac5: SWAP2 00000ac6: SWAP4 00000ac7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ae8: SWAP3 00000ae9: SWAP1 00000aea: DUP2 00000aeb: SWAP1 00000aec: SUB 00000aed: SWAP1 00000aee: SWAP2 00000aef: ADD 00000af0: SWAP1 00000af1: LOG3 00000af2: POP 00000af3: PUSH1 0x01 00000af5: PUSH2 0x0267 00000af8: JUMP 00000af9: JUMPDEST 00000afa: SWAP1 00000afb: POP 00000afc: PUSH2 0x0267 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH1 0x0c 00000b03: SLOAD 00000b04: PUSH1 0x07 00000b06: SLOAD 00000b07: ADD 00000b08: NUMBER 00000b09: GT 00000b0a: PUSH2 0x0b12 00000b0d: JUMPI 00000b0e: PUSH2 0x0002 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x10 00000b15: SLOAD 00000b16: PUSH3 0x010000 00000b1a: SWAP1 00000b1b: DIV 00000b1c: PUSH1 0xff 00000b1e: AND 00000b1f: ISZERO 00000b20: PUSH2 0x0b28 00000b23: JUMPI 00000b24: PUSH2 0x0002 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH1 0x10 00000b2b: SLOAD 00000b2c: PUSH1 0xff 00000b2e: AND 00000b2f: ISZERO 00000b30: DUP1 00000b31: PUSH2 0x0b42 00000b34: JUMPI 00000b35: POP 00000b36: PUSH1 0x10 00000b38: SLOAD 00000b39: PUSH2 0x0100 00000b3c: SWAP1 00000b3d: DIV 00000b3e: PUSH1 0xff 00000b40: AND 00000b41: ISZERO 00000b42: JUMPDEST 00000b43: ISZERO 00000b44: PUSH2 0x0b4c 00000b47: JUMPI 00000b48: PUSH2 0x0002 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH1 0x08 00000b4f: SLOAD 00000b50: PUSH1 0x01 00000b52: PUSH1 0xa0 00000b54: PUSH1 0x02 00000b56: EXP 00000b57: SUB 00000b58: AND 00000b59: PUSH1 0x00 00000b5b: SWAP1 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x20 00000b60: DUP2 00000b61: SWAP1 00000b62: MSTORE 00000b63: PUSH1 0x40 00000b65: SWAP1 00000b66: KECCAK256 00000b67: SLOAD 00000b68: PUSH1 0x0f 00000b6a: SLOAD 00000b6b: PUSH1 0x11 00000b6d: SLOAD 00000b6e: PUSH2 0x0b83 00000b71: SWAP3 00000b72: SWAP2 00000b73: PUSH8 0x0de0b6b3a7640000 00000b7c: SWAP2 00000b7d: MUL 00000b7e: DIV 00000b7f: PUSH2 0x08ca 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH1 0x08 00000b86: SLOAD 00000b87: PUSH1 0x01 00000b89: PUSH1 0xa0 00000b8b: PUSH1 0x02 00000b8d: EXP 00000b8e: SUB 00000b8f: AND 00000b90: PUSH1 0x00 00000b92: SWAP1 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x20 00000b97: DUP2 00000b98: SWAP1 00000b99: MSTORE 00000b9a: PUSH1 0x40 00000b9c: SWAP1 00000b9d: KECCAK256 00000b9e: SSTORE 00000b9f: PUSH1 0x02 00000ba1: SLOAD 00000ba2: PUSH1 0x0f 00000ba4: SLOAD 00000ba5: PUSH1 0x11 00000ba7: SLOAD 00000ba8: PUSH2 0x0bbd 00000bab: SWAP3 00000bac: SWAP2 00000bad: PUSH8 0x0de0b6b3a7640000 00000bb6: SWAP2 00000bb7: MUL 00000bb8: DIV 00000bb9: PUSH2 0x08ca 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH1 0x02 00000bc0: SSTORE 00000bc1: PUSH1 0x10 00000bc3: DUP1 00000bc4: SLOAD 00000bc5: PUSH3 0xff0000 00000bc9: NOT 00000bca: AND 00000bcb: PUSH3 0x010000 00000bcf: OR 00000bd0: SWAP1 00000bd1: SSTORE 00000bd2: PUSH1 0x40 00000bd4: MLOAD 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: PUSH1 0x02 00000bdb: EXP 00000bdc: SUB 00000bdd: CALLER 00000bde: AND 00000bdf: SWAP1 00000be0: PUSH32 0x1c8a3821e439862f28669f7fbc210e74e947ebf0e947b591cc5a02e410030265 00000c01: SWAP1 00000c02: PUSH1 0x00 00000c04: SWAP1 00000c05: LOG2 00000c06: JUMP 00000c07: JUMPDEST 00000c08: PUSH1 0x13 00000c0a: DUP1 00000c0b: SLOAD 00000c0c: PUSH1 0xff 00000c0e: NOT 00000c0f: AND 00000c10: SWAP1 00000c11: SSTORE 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x06 00000c16: SLOAD 00000c17: NUMBER 00000c18: LT 00000c19: DUP1 00000c1a: PUSH2 0x0c24 00000c1d: JUMPI 00000c1e: POP 00000c1f: PUSH1 0x07 00000c21: SLOAD 00000c22: NUMBER 00000c23: GT 00000c24: JUMPDEST 00000c25: DUP1 00000c26: PUSH2 0x0c3c 00000c29: JUMPI 00000c2a: POP 00000c2b: PUSH1 0x0a 00000c2d: SLOAD 00000c2e: PUSH1 0x12 00000c30: SLOAD 00000c31: PUSH2 0x0c3a 00000c34: SWAP1 00000c35: CALLVALUE 00000c36: PUSH2 0x08ca 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: GT 00000c3c: JUMPDEST 00000c3d: DUP1 00000c3e: PUSH2 0x0c49 00000c41: JUMPI 00000c42: POP 00000c43: PUSH1 0x13 00000c45: SLOAD 00000c46: PUSH1 0xff 00000c48: AND 00000c49: JUMPDEST 00000c4a: ISZERO 00000c4b: PUSH2 0x0c53 00000c4e: JUMPI 00000c4f: PUSH2 0x0002 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH2 0x0c5f 00000c57: CALLVALUE 00000c58: PUSH2 0x0c85 00000c5b: PUSH2 0x0455 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH1 0x01 00000c62: PUSH1 0xa0 00000c64: PUSH1 0x02 00000c66: EXP 00000c67: SUB 00000c68: DUP8 00000c69: AND 00000c6a: PUSH1 0x00 00000c6c: SWAP1 00000c6d: DUP2 00000c6e: MSTORE 00000c6f: PUSH1 0x20 00000c71: DUP2 00000c72: SWAP1 00000c73: MSTORE 00000c74: PUSH1 0x40 00000c76: SWAP1 00000c77: KECCAK256 00000c78: SLOAD 00000c79: SWAP1 00000c7a: SWAP2 00000c7b: POP 00000c7c: PUSH2 0x0ca0 00000c7f: SWAP1 00000c80: DUP3 00000c81: PUSH2 0x08ca 00000c84: JUMP 00000c85: JUMPDEST 00000c86: PUSH1 0x00 00000c88: DUP3 00000c89: DUP3 00000c8a: MUL 00000c8b: PUSH2 0x071a 00000c8e: DUP5 00000c8f: DUP4 00000c90: EQ 00000c91: DUP1 00000c92: PUSH2 0x08e2 00000c95: JUMPI 00000c96: POP 00000c97: DUP4 00000c98: DUP6 00000c99: DUP4 00000c9a: DIV 00000c9b: EQ 00000c9c: PUSH2 0x08e2 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x01 00000ca3: PUSH1 0xa0 00000ca5: PUSH1 0x02 00000ca7: EXP 00000ca8: SUB 00000ca9: DUP8 00000caa: AND 00000cab: PUSH1 0x00 00000cad: SWAP1 00000cae: DUP2 00000caf: MSTORE 00000cb0: PUSH1 0x20 00000cb2: DUP2 00000cb3: SWAP1 00000cb4: MSTORE 00000cb5: PUSH1 0x40 00000cb7: SWAP1 00000cb8: KECCAK256 00000cb9: SSTORE 00000cba: PUSH1 0x02 00000cbc: SLOAD 00000cbd: PUSH2 0x0cc6 00000cc0: SWAP1 00000cc1: DUP3 00000cc2: PUSH2 0x08ca 00000cc5: JUMP 00000cc6: JUMPDEST 00000cc7: PUSH1 0x02 00000cc9: SSTORE 00000cca: PUSH1 0x12 00000ccc: SLOAD 00000ccd: PUSH2 0x0cd6 00000cd0: SWAP1 00000cd1: CALLVALUE 00000cd2: PUSH2 0x08ca 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x12 00000cd9: SSTORE 00000cda: PUSH1 0x08 00000cdc: SLOAD 00000cdd: PUSH1 0x40 00000cdf: MLOAD 00000ce0: PUSH1 0x01 00000ce2: PUSH1 0xa0 00000ce4: PUSH1 0x02 00000ce6: EXP 00000ce7: SUB 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: SWAP2 00000ceb: AND 00000cec: SWAP1 00000ced: CALLVALUE 00000cee: SWAP1 00000cef: PUSH1 0x00 00000cf1: DUP2 00000cf2: DUP2 00000cf3: DUP2 00000cf4: DUP6 00000cf5: DUP8 00000cf6: PUSH2 0x8502 00000cf9: GAS 00000cfa: SUB 00000cfb: CALL 00000cfc: SWAP3 00000cfd: POP 00000cfe: POP 00000cff: POP 00000d00: ISZERO 00000d01: ISZERO 00000d02: PUSH2 0x0d0a 00000d05: JUMPI 00000d06: PUSH2 0x0002 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x40 00000d0d: DUP1 00000d0e: MLOAD 00000d0f: CALLVALUE 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: DUP2 00000d15: ADD 00000d16: DUP4 00000d17: SWAP1 00000d18: MSTORE 00000d19: DUP2 00000d1a: MLOAD 00000d1b: PUSH1 0x01 00000d1d: PUSH1 0xa0 00000d1f: PUSH1 0x02 00000d21: EXP 00000d22: SUB 00000d23: DUP10 00000d24: AND 00000d25: SWAP3 00000d26: PUSH32 0x1cbc5ab135991bd2b6a4b034a04aa2aa086dac1371cb9b16b8b5e2ed6b036bed 00000d47: SWAP3 00000d48: DUP3 00000d49: SWAP1 00000d4a: SUB 00000d4b: ADD 00000d4c: SWAP1 00000d4d: LOG2 00000d4e: POP 00000d4f: POP 00000d50: POP 00000d51: POP 00000d52: POP 00000d53: POP 00000d54: JUMP 00000d55: JUMPDEST 00000d56: POP 00000d57: POP 00000d58: POP 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: POP 00000d5c: PUSH1 0x00 00000d5e: PUSH2 0x071a 00000d61: JUMP 00000d62: JUMPDEST 00000d63: POP 00000d64: PUSH1 0x00 00000d66: PUSH2 0x0267 00000d69: 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: 0xee8070750fca7b6d355b669a86ae1d9449ea390c7f389955045f9e3cd2bf8526
call_targets:
0x0000000000000000000000000000000000000004, 0xaf30d2a7e90d7dc361c8c4585e9bb7d2f6f15bc7
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xee8070750fca7b6d355b669a86ae1d9449ea390c7f389955045f9e3cd2bf8526",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xaf30d2a7e90d7dc361c8c4585e9bb7d2f6f15bc7"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083c6323",
"selector": "0x083c6323",
"calldata_variants": [
"0x083c6323",
"0x083c63230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bc59aa6",
"selector": "0x1bc59aa6",
"calldata_variants": [
"0x1bc59aa6",
"0x1bc59aa60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238ac933",
"selector": "0x238ac933",
"calldata_variants": [
"0x238ac933",
"0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2af7ceff",
"selector": "0x2af7ceff",
"calldata_variants": [
"0x2af7ceff",
"0x2af7ceff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1441,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1641,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0xee8070750fca7b6d355b669a86ae1d9449ea390c7f389955045f9e3cd2bf8526
call_targets:
0x0000000000000000000000000000000000000004, 0xaf30d2a7e90d7dc361c8c4585e9bb7d2f6f15bc7
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xee8070750fca7b6d355b669a86ae1d9449ea390c7f389955045f9e3cd2bf8526",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xaf30d2a7e90d7dc361c8c4585e9bb7d2f6f15bc7"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083c6323",
"selector": "0x083c6323",
"calldata_variants": [
"0x083c6323",
"0x083c63230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bc59aa6",
"selector": "0x1bc59aa6",
"calldata_variants": [
"0x1bc59aa6",
"0x1bc59aa60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238ac933",
"selector": "0x238ac933",
"calldata_variants": [
"0x238ac933",
"0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2af7ceff",
"selector": "0x2af7ceff",
"calldata_variants": [
"0x2af7ceff",
"0x2af7ceff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1441,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1641,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|