019b3836-4eec-727b-b49a-43fd3e943281
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 |
|---|---|---|---|---|
| 7453 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 7454 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109362 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109363 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109364 | detector.run | complete | 1 / 3 | 1 week ago |
| 109365 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113936 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-y79f5dnv model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5ca3-7b6d-7ab2-b581-8338a21717f9 -------- 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:55:12.776279+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 7372,
"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 0x011b 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH3 0x2a5cc9 00000018: DUP2 00000019: EQ 0000001a: PUSH2 0x0127 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x02394872 00000024: EQ 00000025: PUSH2 0x01a7 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x13af4035 0000002f: EQ 00000030: PUSH2 0x01ff 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x18253234 0000003a: EQ 0000003b: PUSH2 0x0231 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x203a79f6 00000045: EQ 00000046: PUSH2 0x02a2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x29652e86 00000050: EQ 00000051: PUSH2 0x02ab 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x2c6a0140 0000005b: EQ 0000005c: PUSH2 0x0391 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x2f7a163b 00000066: EQ 00000067: PUSH2 0x039a 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x349501b7 00000071: EQ 00000072: PUSH2 0x03a3 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x353d90ec 0000007c: EQ 0000007d: PUSH2 0x03bd 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x378c0605 00000087: EQ 00000088: PUSH2 0x03c6 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x52200a13 00000092: EQ 00000093: PUSH2 0x03ed 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x531c1b33 0000009d: EQ 0000009e: PUSH2 0x0408 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x5a28340a 000000a8: EQ 000000a9: PUSH2 0x0428 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x5c52e51e 000000b3: EQ 000000b4: PUSH2 0x045a 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x78ca923d 000000be: EQ 000000bf: PUSH2 0x0475 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x89cd4b5e 000000c9: EQ 000000ca: PUSH2 0x047e 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8da5cb5b 000000d4: EQ 000000d5: PUSH2 0x0487 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xa60f3588 000000df: EQ 000000e0: PUSH2 0x0499 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xa9fbc614 000000ea: EQ 000000eb: PUSH2 0x04a2 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xbfdcc9a2 000000f5: EQ 000000f6: PUSH2 0x04e0 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xd337616e 00000100: EQ 00000101: PUSH2 0x04e9 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xe0fe075e 0000010b: EQ 0000010c: PUSH2 0x04fd 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xf5c217da 00000116: EQ 00000117: PUSH2 0x055c 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: PUSH2 0x0565 0000011f: PUSH2 0x0567 00000122: CALLER 00000123: PUSH2 0x03cd 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0569 0000012b: PUSH1 0x04 0000012d: CALLDATALOAD 0000012e: PUSH1 0x40 00000130: DUP1 00000131: MLOAD 00000132: PUSH1 0x20 00000134: DUP2 00000135: DUP2 00000136: ADD 00000137: DUP4 00000138: MSTORE 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: DUP4 0000013d: MSTORE 0000013e: DUP5 0000013f: DUP2 00000140: MSTORE 00000141: PUSH1 0x08 00000143: DUP3 00000144: MSTORE 00000145: DUP4 00000146: MLOAD 00000147: SWAP1 00000148: DUP5 00000149: SWAP1 0000014a: KECCAK256 0000014b: PUSH1 0x01 0000014d: ADD 0000014e: DUP1 0000014f: SLOAD 00000150: DUP1 00000151: DUP5 00000152: MUL 00000153: DUP4 00000154: ADD 00000155: DUP5 00000156: ADD 00000157: SWAP1 00000158: SWAP6 00000159: MSTORE 0000015a: DUP5 0000015b: DUP3 0000015c: MSTORE 0000015d: SWAP3 0000015e: SWAP4 0000015f: SWAP1 00000160: SWAP3 00000161: SWAP2 00000162: DUP4 00000163: ADD 00000164: DUP3 00000165: DUP3 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x019b 0000016b: JUMPI 0000016c: PUSH1 0x20 0000016e: MUL 0000016f: DUP3 00000170: ADD 00000171: SWAP2 00000172: SWAP1 00000173: PUSH1 0x00 00000175: MSTORE 00000176: PUSH1 0x20 00000178: PUSH1 0x00 0000017a: KECCAK256 0000017b: SWAP1 0000017c: JUMPDEST 0000017d: DUP2 0000017e: SLOAD 0000017f: PUSH1 0x01 00000181: PUSH1 0xa0 00000183: PUSH1 0x02 00000185: EXP 00000186: SUB 00000187: AND 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x01 0000018c: SWAP2 0000018d: SWAP1 0000018e: SWAP2 0000018f: ADD 00000190: SWAP1 00000191: PUSH1 0x20 00000193: ADD 00000194: DUP1 00000195: DUP4 00000196: GT 00000197: PUSH2 0x017c 0000019a: JUMPI 0000019b: JUMPDEST 0000019c: POP 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: SWAP1 000001a2: POP 000001a3: PUSH2 0x0403 000001a6: JUMP 000001a7: JUMPDEST 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: SLOAD 000001ac: PUSH1 0x40 000001ae: DUP1 000001af: MLOAD 000001b0: PUSH1 0xe1 000001b2: PUSH1 0x02 000001b4: EXP 000001b5: PUSH4 0x011ca439 000001ba: MUL 000001bb: DUP2 000001bc: MSTORE 000001bd: SWAP1 000001be: MLOAD 000001bf: PUSH2 0x05b3 000001c2: SWAP4 000001c3: SWAP3 000001c4: PUSH1 0x01 000001c6: PUSH1 0xa0 000001c8: PUSH1 0x02 000001ca: EXP 000001cb: SUB 000001cc: AND 000001cd: SWAP2 000001ce: PUSH4 0x02394872 000001d3: SWAP2 000001d4: PUSH1 0x04 000001d6: DUP3 000001d7: DUP2 000001d8: ADD 000001d9: SWAP3 000001da: PUSH1 0x20 000001dc: SWAP3 000001dd: SWAP2 000001de: SWAP1 000001df: DUP3 000001e0: SWAP1 000001e1: SUB 000001e2: ADD 000001e3: DUP2 000001e4: DUP8 000001e5: DUP8 000001e6: PUSH2 0x61da 000001e9: GAS 000001ea: SUB 000001eb: CALL 000001ec: ISZERO 000001ed: PUSH2 0x0002 000001f0: JUMPI 000001f1: POP 000001f2: POP 000001f3: PUSH1 0x40 000001f5: MLOAD 000001f6: MLOAD 000001f7: SWAP2 000001f8: POP 000001f9: PUSH2 0x0425 000001fc: SWAP1 000001fd: POP 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x0565 00000203: PUSH1 0x04 00000205: CALLDATALOAD 00000206: PUSH1 0x0c 00000208: SLOAD 00000209: PUSH1 0x01 0000020b: PUSH1 0xa0 0000020d: PUSH1 0x02 0000020f: EXP 00000210: SUB 00000211: CALLER 00000212: DUP2 00000213: AND 00000214: SWAP2 00000215: AND 00000216: EQ 00000217: ISZERO 00000218: PUSH2 0x022e 0000021b: JUMPI 0000021c: PUSH1 0x0c 0000021e: DUP1 0000021f: SLOAD 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: PUSH1 0x02 00000226: EXP 00000227: SUB 00000228: NOT 00000229: AND 0000022a: DUP3 0000022b: OR 0000022c: SWAP1 0000022d: SSTORE 0000022e: JUMPDEST 0000022f: POP 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x05c5 00000235: JUMPDEST 00000236: PUSH1 0x03 00000238: SLOAD 00000239: PUSH1 0x00 0000023b: SWAP1 0000023c: TIMESTAMP 0000023d: LT 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x029b 00000243: JUMPI 00000244: POP 00000245: PUSH1 0x02 00000247: SLOAD 00000248: DUP2 00000249: SLOAD 0000024a: PUSH1 0x40 0000024c: DUP1 0000024d: MLOAD 0000024e: PUSH1 0xe1 00000250: PUSH1 0x02 00000252: EXP 00000253: PUSH4 0x011ca439 00000258: MUL 00000259: DUP2 0000025a: MSTORE 0000025b: SWAP1 0000025c: MLOAD 0000025d: PUSH1 0x01 0000025f: PUSH1 0xa0 00000261: PUSH1 0x02 00000263: EXP 00000264: SUB 00000265: SWAP1 00000266: SWAP3 00000267: AND 00000268: SWAP2 00000269: PUSH4 0x02394872 0000026e: SWAP2 0000026f: PUSH1 0x04 00000271: DUP2 00000272: DUP2 00000273: ADD 00000274: SWAP3 00000275: PUSH1 0x20 00000277: SWAP3 00000278: SWAP1 00000279: SWAP2 0000027a: SWAP1 0000027b: DUP3 0000027c: SWAP1 0000027d: SUB 0000027e: ADD 0000027f: DUP2 00000280: DUP9 00000281: DUP8 00000282: PUSH2 0x61da 00000285: GAS 00000286: SUB 00000287: CALL 00000288: ISZERO 00000289: PUSH2 0x0002 0000028c: JUMPI 0000028d: POP 0000028e: POP 0000028f: POP 00000290: PUSH1 0x40 00000292: MLOAD 00000293: DUP1 00000294: MLOAD 00000295: SWAP1 00000296: PUSH1 0x20 00000298: ADD 00000299: POP 0000029a: SLT 0000029b: JUMPDEST 0000029c: SWAP1 0000029d: POP 0000029e: PUSH2 0x0425 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH2 0x05b3 000002a6: PUSH1 0x03 000002a8: SLOAD 000002a9: DUP2 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH2 0x05d9 000002af: PUSH1 0x04 000002b1: CALLDATALOAD 000002b2: PUSH1 0x0a 000002b4: DUP1 000002b5: SLOAD 000002b6: DUP3 000002b7: SWAP1 000002b8: DUP2 000002b9: LT 000002ba: ISZERO 000002bb: PUSH2 0x0002 000002be: JUMPI 000002bf: POP 000002c0: PUSH1 0x00 000002c2: MSTORE 000002c3: PUSH1 0x05 000002c5: MUL 000002c6: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8 000002e7: DUP2 000002e8: ADD 000002e9: SLOAD 000002ea: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2ac 0000030b: DUP3 0000030c: ADD 0000030d: SLOAD 0000030e: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a9 0000032f: DUP4 00000330: ADD 00000331: SLOAD 00000332: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2aa 00000353: DUP5 00000354: ADD 00000355: SLOAD 00000356: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2ab 00000377: SWAP5 00000378: SWAP1 00000379: SWAP5 0000037a: ADD 0000037b: SLOAD 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: PUSH1 0x02 00000382: EXP 00000383: SUB 00000384: SWAP4 00000385: DUP5 00000386: AND 00000387: SWAP5 00000388: SWAP2 00000389: SWAP4 0000038a: SWAP2 0000038b: SWAP3 0000038c: SWAP1 0000038d: SWAP2 0000038e: AND 0000038f: DUP6 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x05b3 00000395: PUSH1 0x02 00000397: SLOAD 00000398: DUP2 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x05b3 0000039e: PUSH1 0x05 000003a0: SLOAD 000003a1: DUP2 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH2 0x05c5 000003a7: PUSH1 0x04 000003a9: CALLDATALOAD 000003aa: JUMPDEST 000003ab: PUSH1 0x00 000003ad: DUP2 000003ae: PUSH1 0x00 000003b0: EQ 000003b1: ISZERO 000003b2: PUSH2 0x083d 000003b5: JUMPI 000003b6: POP 000003b7: PUSH1 0x01 000003b9: PUSH2 0x0403 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH2 0x05b3 000003c1: PUSH1 0x06 000003c3: SLOAD 000003c4: DUP2 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH2 0x0565 000003ca: PUSH1 0x04 000003cc: CALLDATALOAD 000003cd: JUMPDEST 000003ce: PUSH1 0x00 000003d0: PUSH1 0x00 000003d2: PUSH1 0x00 000003d4: PUSH1 0x00 000003d6: PUSH1 0x00 000003d8: PUSH1 0x00 000003da: PUSH7 0x2386f26fc10000 000003e2: CALLVALUE 000003e3: LT 000003e4: ISZERO 000003e5: PUSH2 0x063a 000003e8: JUMPI 000003e9: PUSH2 0x0002 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH2 0x05b3 000003f1: PUSH1 0x04 000003f3: CALLDATALOAD 000003f4: PUSH1 0x00 000003f6: DUP2 000003f7: DUP2 000003f8: MSTORE 000003f9: PUSH1 0x08 000003fb: PUSH1 0x20 000003fd: MSTORE 000003fe: PUSH1 0x40 00000400: SWAP1 00000401: KECCAK256 00000402: SLOAD 00000403: JUMPDEST 00000404: SWAP2 00000405: SWAP1 00000406: POP 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH2 0x05b3 0000040c: JUMPDEST 0000040d: PUSH1 0x06 0000040f: SLOAD 00000410: PUSH7 0x2386f26fc10000 00000418: MUL 00000419: ADDRESS 0000041a: PUSH1 0x01 0000041c: PUSH1 0xa0 0000041e: PUSH1 0x02 00000420: EXP 00000421: SUB 00000422: AND 00000423: BALANCE 00000424: SUB 00000425: JUMPDEST 00000426: SWAP1 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH2 0x0565 0000042c: PUSH1 0x04 0000042e: CALLDATALOAD 0000042f: PUSH1 0x0c 00000431: SLOAD 00000432: PUSH1 0x00 00000434: SWAP1 00000435: DUP2 00000436: SWAP1 00000437: PUSH1 0x01 00000439: PUSH1 0xa0 0000043b: PUSH1 0x02 0000043d: EXP 0000043e: SUB 0000043f: CALLER 00000440: DUP2 00000441: AND 00000442: SWAP2 00000443: AND 00000444: EQ 00000445: ISZERO 00000446: PUSH2 0x0874 00000449: JUMPI 0000044a: PUSH8 0x0de0b6b3a7640000 00000453: PUSH2 0x0879 00000456: PUSH2 0x040c 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x05c5 0000045e: PUSH1 0x00 00000460: PUSH1 0x00 00000462: PUSH1 0x00 00000464: PUSH1 0x00 00000466: PUSH1 0x00 00000468: PUSH1 0x00 0000046a: PUSH1 0x00 0000046c: PUSH1 0x00 0000046e: PUSH2 0x08fc 00000471: PUSH2 0x0501 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH2 0x05b3 00000479: PUSH1 0x04 0000047b: SLOAD 0000047c: DUP2 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH2 0x05b3 00000482: PUSH1 0x01 00000484: SLOAD 00000485: DUP2 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH2 0x061d 0000048b: PUSH1 0x0c 0000048d: SLOAD 0000048e: PUSH1 0x01 00000490: PUSH1 0xa0 00000492: PUSH1 0x02 00000494: EXP 00000495: SUB 00000496: AND 00000497: DUP2 00000498: JUMP 00000499: JUMPDEST 0000049a: PUSH2 0x05b3 0000049d: PUSH1 0x0b 0000049f: SLOAD 000004a0: DUP2 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH2 0x061d 000004a6: PUSH1 0x04 000004a8: CALLDATALOAD 000004a9: JUMPDEST 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: JUMPDEST 000004ae: PUSH1 0x00 000004b0: DUP2 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x08 000004b5: PUSH1 0x20 000004b7: MSTORE 000004b8: PUSH1 0x40 000004ba: SWAP1 000004bb: KECCAK256 000004bc: SLOAD 000004bd: PUSH1 0x02 000004bf: DUP3 000004c0: SWAP1 000004c1: EXP 000004c2: MUL 000004c3: DUP4 000004c4: LT 000004c5: PUSH2 0x0c57 000004c8: JUMPI 000004c9: PUSH1 0x40 000004cb: PUSH1 0x00 000004cd: KECCAK256 000004ce: SLOAD 000004cf: PUSH1 0x02 000004d1: DUP3 000004d2: SWAP1 000004d3: EXP 000004d4: MUL 000004d5: SWAP1 000004d6: SWAP3 000004d7: SUB 000004d8: SWAP2 000004d9: PUSH1 0x01 000004db: ADD 000004dc: PUSH2 0x04ad 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH2 0x05b3 000004e4: PUSH1 0x07 000004e6: SLOAD 000004e7: DUP2 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH2 0x0565 000004ed: PUSH1 0x06 000004ef: SLOAD 000004f0: PUSH1 0x00 000004f2: SWAP1 000004f3: GT 000004f4: ISZERO 000004f5: PUSH2 0x0c95 000004f8: JUMPI 000004f9: PUSH2 0x0002 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH2 0x05c5 00000501: JUMPDEST 00000502: PUSH1 0x00 00000504: DUP1 00000505: SLOAD 00000506: PUSH1 0x40 00000508: DUP1 00000509: MLOAD 0000050a: PUSH1 0xe1 0000050c: PUSH1 0x02 0000050e: EXP 0000050f: PUSH4 0x011ca439 00000514: MUL 00000515: DUP2 00000516: MSTORE 00000517: SWAP1 00000518: MLOAD 00000519: PUSH1 0x01 0000051b: PUSH1 0xa0 0000051d: PUSH1 0x02 0000051f: EXP 00000520: SUB 00000521: SWAP1 00000522: SWAP3 00000523: AND 00000524: SWAP2 00000525: PUSH4 0x02394872 0000052a: SWAP2 0000052b: PUSH1 0x04 0000052d: DUP2 0000052e: DUP2 0000052f: ADD 00000530: SWAP3 00000531: PUSH1 0x20 00000533: SWAP3 00000534: SWAP1 00000535: SWAP2 00000536: SWAP1 00000537: DUP3 00000538: SWAP1 00000539: SUB 0000053a: ADD 0000053b: DUP2 0000053c: DUP8 0000053d: DUP8 0000053e: PUSH2 0x61da 00000541: GAS 00000542: SUB 00000543: CALL 00000544: ISZERO 00000545: PUSH2 0x0002 00000548: JUMPI 00000549: POP 0000054a: POP 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: MLOAD 0000054f: PUSH1 0x01 00000551: SLOAD 00000552: SGT 00000553: ISZERO 00000554: SWAP2 00000555: POP 00000556: PUSH2 0x0425 00000559: SWAP1 0000055a: POP 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH2 0x05b3 00000560: PUSH1 0x09 00000562: SLOAD 00000563: DUP2 00000564: JUMP 00000565: JUMPDEST 00000566: STOP 00000567: JUMPDEST 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: DUP1 0000056e: DUP1 0000056f: PUSH1 0x20 00000571: ADD 00000572: DUP3 00000573: DUP2 00000574: SUB 00000575: DUP3 00000576: MSTORE 00000577: DUP4 00000578: DUP2 00000579: DUP2 0000057a: MLOAD 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH1 0x20 0000057f: ADD 00000580: SWAP2 00000581: POP 00000582: DUP1 00000583: MLOAD 00000584: SWAP1 00000585: PUSH1 0x20 00000587: ADD 00000588: SWAP1 00000589: PUSH1 0x20 0000058b: MUL 0000058c: DUP1 0000058d: DUP4 0000058e: DUP4 0000058f: DUP3 00000590: SWAP1 00000591: PUSH1 0x00 00000593: PUSH1 0x04 00000595: PUSH1 0x20 00000597: DUP5 00000598: PUSH1 0x1f 0000059a: ADD 0000059b: DIV 0000059c: PUSH1 0x0f 0000059e: MUL 0000059f: PUSH1 0x03 000005a1: ADD 000005a2: CALL 000005a3: POP 000005a4: SWAP1 000005a5: POP 000005a6: ADD 000005a7: SWAP3 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: DUP1 000005af: SWAP2 000005b0: SUB 000005b1: SWAP1 000005b2: RETURN 000005b3: JUMPDEST 000005b4: PUSH1 0x40 000005b6: DUP1 000005b7: MLOAD 000005b8: SWAP2 000005b9: DUP3 000005ba: MSTORE 000005bb: MLOAD 000005bc: SWAP1 000005bd: DUP2 000005be: SWAP1 000005bf: SUB 000005c0: PUSH1 0x20 000005c2: ADD 000005c3: SWAP1 000005c4: RETURN 000005c5: JUMPDEST 000005c6: PUSH1 0x40 000005c8: DUP1 000005c9: MLOAD 000005ca: SWAP2 000005cb: ISZERO 000005cc: ISZERO 000005cd: DUP3 000005ce: MSTORE 000005cf: MLOAD 000005d0: SWAP1 000005d1: DUP2 000005d2: SWAP1 000005d3: SUB 000005d4: PUSH1 0x20 000005d6: ADD 000005d7: SWAP1 000005d8: RETURN 000005d9: JUMPDEST 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: DUP7 000005df: PUSH1 0x01 000005e1: PUSH1 0xa0 000005e3: PUSH1 0x02 000005e5: EXP 000005e6: SUB 000005e7: AND 000005e8: DUP2 000005e9: MSTORE 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: DUP6 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x20 000005f2: ADD 000005f3: DUP5 000005f4: DUP2 000005f5: MSTORE 000005f6: PUSH1 0x20 000005f8: ADD 000005f9: DUP4 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x20 000005fe: ADD 000005ff: DUP3 00000600: PUSH1 0x01 00000602: PUSH1 0xa0 00000604: PUSH1 0x02 00000606: EXP 00000607: SUB 00000608: AND 00000609: DUP2 0000060a: MSTORE 0000060b: PUSH1 0x20 0000060d: ADD 0000060e: SWAP6 0000060f: POP 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: POP 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: SWAP2 0000061a: SUB 0000061b: SWAP1 0000061c: RETURN 0000061d: JUMPDEST 0000061e: PUSH1 0x40 00000620: DUP1 00000621: MLOAD 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: SWAP3 0000062b: SWAP1 0000062c: SWAP3 0000062d: AND 0000062e: DUP3 0000062f: MSTORE 00000630: MLOAD 00000631: SWAP1 00000632: DUP2 00000633: SWAP1 00000634: SUB 00000635: PUSH1 0x20 00000637: ADD 00000638: SWAP1 00000639: RETURN 0000063a: JUMPDEST 0000063b: PUSH2 0x0642 0000063e: PUSH2 0x0235 00000641: JUMP 00000642: JUMPDEST 00000643: ISZERO 00000644: ISZERO 00000645: PUSH2 0x064d 00000648: JUMPI 00000649: PUSH2 0x0002 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH1 0x06 00000650: DUP1 00000651: SLOAD 00000652: PUSH7 0x2386f26fc10000 0000065a: CALLVALUE 0000065b: DIV 0000065c: SWAP1 0000065d: DUP2 0000065e: ADD 0000065f: SWAP1 00000660: SWAP2 00000661: SSTORE 00000662: SWAP6 00000663: POP 00000664: PUSH1 0x00 00000666: SWAP5 00000667: POP 00000668: JUMPDEST 00000669: PUSH1 0x00 0000066b: DUP7 0000066c: GT 0000066d: ISZERO 0000066e: PUSH2 0x071a 00000671: JUMPI 00000672: DUP5 00000673: PUSH1 0x02 00000675: EXP 00000676: DUP7 00000677: AND 00000678: SWAP4 00000679: POP 0000067a: PUSH1 0x00 0000067c: DUP5 0000067d: GT 0000067e: ISZERO 0000067f: PUSH2 0x082d 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP6 00000686: DUP2 00000687: MSTORE 00000688: PUSH1 0x08 0000068a: PUSH1 0x20 0000068c: MSTORE 0000068d: PUSH1 0x40 0000068f: SWAP1 00000690: KECCAK256 00000691: DUP1 00000692: SLOAD 00000693: PUSH1 0x01 00000695: DUP2 00000696: DUP2 00000697: ADD 00000698: DUP1 00000699: DUP5 0000069a: SSTORE 0000069b: SWAP3 0000069c: ADD 0000069d: SLOAD 0000069e: SWAP1 0000069f: SWAP5 000006a0: POP 000006a1: LT 000006a2: ISZERO 000006a3: PUSH2 0x07e0 000006a6: JUMPI 000006a7: PUSH1 0x08 000006a9: PUSH1 0x00 000006ab: POP 000006ac: PUSH1 0x00 000006ae: DUP7 000006af: DUP2 000006b0: MSTORE 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: SWAP1 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH1 0x20 000006b9: ADD 000006ba: PUSH1 0x00 000006bc: KECCAK256 000006bd: PUSH1 0x00 000006bf: POP 000006c0: PUSH1 0x00 000006c2: ADD 000006c3: PUSH1 0x00 000006c5: POP 000006c6: SLOAD 000006c7: PUSH1 0x08 000006c9: PUSH1 0x00 000006cb: POP 000006cc: PUSH1 0x00 000006ce: DUP8 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x20 000006d3: ADD 000006d4: SWAP1 000006d5: DUP2 000006d6: MSTORE 000006d7: PUSH1 0x20 000006d9: ADD 000006da: PUSH1 0x00 000006dc: KECCAK256 000006dd: PUSH1 0x00 000006df: POP 000006e0: PUSH1 0x01 000006e2: ADD 000006e3: PUSH1 0x00 000006e5: POP 000006e6: DUP2 000006e7: DUP2 000006e8: SLOAD 000006e9: DUP2 000006ea: DUP4 000006eb: SSTORE 000006ec: DUP2 000006ed: DUP2 000006ee: ISZERO 000006ef: GT 000006f0: PUSH2 0x07db 000006f3: JUMPI 000006f4: PUSH1 0x00 000006f6: DUP4 000006f7: DUP2 000006f8: MSTORE 000006f9: PUSH1 0x20 000006fb: SWAP1 000006fc: KECCAK256 000006fd: PUSH2 0x07db 00000700: SWAP2 00000701: DUP2 00000702: ADD 00000703: SWAP1 00000704: DUP4 00000705: ADD 00000706: JUMPDEST 00000707: DUP1 00000708: DUP3 00000709: GT 0000070a: ISZERO 0000070b: PUSH2 0x0839 0000070e: JUMPI 0000070f: PUSH1 0x00 00000711: DUP2 00000712: SSTORE 00000713: PUSH1 0x01 00000715: ADD 00000716: PUSH2 0x0706 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x07 0000071d: SLOAD 0000071e: DUP6 0000071f: GT 00000720: ISZERO 00000721: PUSH2 0x072a 00000724: JUMPI 00000725: PUSH1 0x07 00000727: DUP6 00000728: SWAP1 00000729: SSTORE 0000072a: JUMPDEST 0000072b: PUSH1 0x00 0000072d: PUSH1 0x00 0000072f: SWAP1 00000730: SLOAD 00000731: SWAP1 00000732: PUSH2 0x0100 00000735: EXP 00000736: SWAP1 00000737: DIV 00000738: PUSH1 0x01 0000073a: PUSH1 0xa0 0000073c: PUSH1 0x02 0000073e: EXP 0000073f: SUB 00000740: AND 00000741: PUSH1 0x01 00000743: PUSH1 0xa0 00000745: PUSH1 0x02 00000747: EXP 00000748: SUB 00000749: AND 0000074a: PUSH4 0x02394872 0000074f: PUSH1 0x40 00000751: MLOAD 00000752: DUP2 00000753: PUSH1 0xe0 00000755: PUSH1 0x02 00000757: EXP 00000758: MUL 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x04 0000075d: ADD 0000075e: DUP1 0000075f: SWAP1 00000760: POP 00000761: PUSH1 0x20 00000763: PUSH1 0x40 00000765: MLOAD 00000766: DUP1 00000767: DUP4 00000768: SUB 00000769: DUP2 0000076a: PUSH1 0x00 0000076c: DUP8 0000076d: PUSH2 0x61da 00000770: GAS 00000771: SUB 00000772: CALL 00000773: ISZERO 00000774: PUSH2 0x0002 00000777: JUMPI 00000778: POP 00000779: POP 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: MLOAD 0000077e: PUSH1 0x01 00000780: SLOAD 00000781: PUSH1 0x03 00000783: SLOAD 00000784: SWAP2 00000785: SWAP1 00000786: SUB 00000787: SWAP4 00000788: POP 00000789: PUSH2 0x545f 0000078c: NOT 0000078d: PUSH2 0x0258 00000790: DUP6 00000791: MUL 00000792: TIMESTAMP 00000793: ADD 00000794: ADD 00000795: SWAP3 00000796: POP 00000797: DUP3 00000798: LT 00000799: ISZERO 0000079a: SWAP1 0000079b: POP 0000079c: PUSH2 0x07a5 0000079f: JUMPI 000007a0: PUSH1 0x03 000007a2: DUP2 000007a3: SWAP1 000007a4: SSTORE 000007a5: JUMPDEST 000007a6: TIMESTAMP 000007a7: PUSH1 0x09 000007a9: SSTORE 000007aa: PUSH1 0x40 000007ac: MLOAD 000007ad: PUSH32 0xea1bf176d98d5f7779234edcfdcceafb89e54ddd01c4e88afd750bf5a278c488 000007ce: SWAP1 000007cf: PUSH1 0x00 000007d1: SWAP1 000007d2: LOG1 000007d3: POP 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: POP 000007d9: POP 000007da: JUMP 000007db: JUMPDEST 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: JUMPDEST 000007e1: PUSH1 0x00 000007e3: DUP6 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x08 000007e8: PUSH1 0x20 000007ea: MSTORE 000007eb: PUSH1 0x40 000007ed: SWAP1 000007ee: KECCAK256 000007ef: PUSH1 0x01 000007f1: ADD 000007f2: DUP1 000007f3: SLOAD 000007f4: DUP9 000007f5: SWAP2 000007f6: SWAP1 000007f7: DUP6 000007f8: SWAP1 000007f9: DUP2 000007fa: LT 000007fb: ISZERO 000007fc: PUSH2 0x0002 000007ff: JUMPI 00000800: SWAP1 00000801: PUSH1 0x00 00000803: MSTORE 00000804: PUSH1 0x20 00000806: PUSH1 0x00 00000808: KECCAK256 00000809: SWAP1 0000080a: ADD 0000080b: PUSH1 0x00 0000080d: PUSH2 0x0100 00000810: EXP 00000811: DUP2 00000812: SLOAD 00000813: DUP2 00000814: PUSH1 0x01 00000816: PUSH1 0xa0 00000818: PUSH1 0x02 0000081a: EXP 0000081b: SUB 0000081c: MUL 0000081d: NOT 0000081e: AND 0000081f: SWAP1 00000820: DUP4 00000821: MUL 00000822: OR 00000823: SWAP1 00000824: SSTORE 00000825: POP 00000826: DUP4 00000827: DUP7 00000828: SUB 00000829: SWAP6 0000082a: POP 0000082b: DUP6 0000082c: POP 0000082d: JUMPDEST 0000082e: PUSH1 0x01 00000830: SWAP5 00000831: SWAP1 00000832: SWAP5 00000833: ADD 00000834: SWAP4 00000835: PUSH2 0x0668 00000838: JUMP 00000839: JUMPDEST 0000083a: POP 0000083b: SWAP1 0000083c: JUMP 0000083d: JUMPDEST 0000083e: PUSH2 0x0849 00000841: PUSH1 0x01 00000843: DUP4 00000844: SUB 00000845: PUSH2 0x03aa 00000848: JUMP 00000849: JUMPDEST 0000084a: SWAP1 0000084b: POP 0000084c: PUSH2 0x0403 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x40 00000853: MLOAD 00000854: PUSH1 0x0c 00000856: SLOAD 00000857: PUSH1 0x01 00000859: PUSH1 0xa0 0000085b: PUSH1 0x02 0000085d: EXP 0000085e: SUB 0000085f: AND 00000860: SWAP1 00000861: PUSH1 0x00 00000863: SWAP1 00000864: DUP6 00000865: SWAP1 00000866: DUP3 00000867: DUP2 00000868: DUP2 00000869: DUP2 0000086a: DUP6 0000086b: DUP9 0000086c: DUP4 0000086d: CALL 0000086e: SWAP5 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: JUMPDEST 00000875: POP 00000876: POP 00000877: POP 00000878: JUMP 00000879: JUMPDEST 0000087a: LT 0000087b: ISZERO 0000087c: PUSH2 0x0884 0000087f: JUMPI 00000880: PUSH2 0x0002 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH8 0x0de0b6b3a7640000 0000088e: PUSH2 0x0895 00000891: PUSH2 0x040c 00000894: JUMP 00000895: JUMPDEST 00000896: SUB 00000897: SWAP2 00000898: POP 00000899: DUP2 0000089a: DUP4 0000089b: GT 0000089c: ISZERO 0000089d: PUSH2 0x0850 000008a0: JUMPI 000008a1: PUSH2 0x0002 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: PUSH1 0x01 000008ab: PUSH1 0xa0 000008ad: PUSH1 0x02 000008af: EXP 000008b0: SUB 000008b1: DUP6 000008b2: AND 000008b3: SWAP1 000008b4: PUSH1 0x00 000008b6: SWAP1 000008b7: DUP5 000008b8: SWAP1 000008b9: DUP3 000008ba: DUP2 000008bb: DUP2 000008bc: DUP2 000008bd: DUP6 000008be: DUP9 000008bf: DUP4 000008c0: CALL 000008c1: PUSH1 0x40 000008c3: MLOAD 000008c4: SWAP1 000008c5: SWAP6 000008c6: POP 000008c7: PUSH32 0xea1bf176d98d5f7779234edcfdcceafb89e54ddd01c4e88afd750bf5a278c488 000008e8: SWAP5 000008e9: POP 000008ea: SWAP2 000008eb: POP 000008ec: POP 000008ed: LOG1 000008ee: PUSH1 0x01 000008f0: SWAP8 000008f1: POP 000008f2: JUMPDEST 000008f3: POP 000008f4: POP 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: SWAP1 000008fb: JUMP 000008fc: JUMPDEST 000008fd: ISZERO 000008fe: ISZERO 000008ff: PUSH2 0x0907 00000902: JUMPI 00000903: PUSH2 0x0002 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH8 0x0de0b6b3a7640000 00000911: PUSH2 0x0918 00000914: PUSH2 0x040c 00000917: JUMP 00000918: JUMPDEST 00000919: LT 0000091a: ISZERO 0000091b: PUSH2 0x0923 0000091e: JUMPI 0000091f: PUSH2 0x0002 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH1 0x06 00000926: SLOAD 00000927: PUSH1 0x00 00000929: EQ 0000092a: ISZERO 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH2 0x0002 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH2 0x093d 00000937: PUSH1 0x08 00000939: PUSH2 0x03aa 0000093c: JUMP 0000093d: JUMPDEST 0000093e: ISZERO 0000093f: ISZERO 00000940: PUSH2 0x0948 00000943: JUMPI 00000944: PUSH2 0x0002 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH2 0x0a2a 0000094c: PUSH1 0x00 0000094e: PUSH1 0x00 00000950: PUSH1 0x00 00000952: PUSH1 0x00 00000954: PUSH1 0x00 00000956: PUSH1 0x00 00000958: PUSH1 0x00 0000095a: PUSH1 0x00 0000095c: PUSH1 0x00 0000095e: PUSH1 0x04 00000960: PUSH1 0x00 00000962: POP 00000963: SLOAD 00000964: PUSH1 0x00 00000966: EQ 00000967: ISZERO 00000968: PUSH2 0x0cf8 0000096b: JUMPI 0000096c: PUSH1 0x00 0000096e: PUSH1 0x00 00000970: SWAP1 00000971: SLOAD 00000972: SWAP1 00000973: PUSH2 0x0100 00000976: EXP 00000977: SWAP1 00000978: DIV 00000979: PUSH1 0x01 0000097b: PUSH1 0xa0 0000097d: PUSH1 0x02 0000097f: EXP 00000980: SUB 00000981: AND 00000982: PUSH1 0x01 00000984: PUSH1 0xa0 00000986: PUSH1 0x02 00000988: EXP 00000989: SUB 0000098a: AND 0000098b: PUSH4 0x02394872 00000990: PUSH1 0x40 00000992: MLOAD 00000993: DUP2 00000994: PUSH1 0xe0 00000996: PUSH1 0x02 00000998: EXP 00000999: MUL 0000099a: DUP2 0000099b: MSTORE 0000099c: PUSH1 0x04 0000099e: ADD 0000099f: DUP1 000009a0: SWAP1 000009a1: POP 000009a2: PUSH1 0x20 000009a4: PUSH1 0x40 000009a6: MLOAD 000009a7: DUP1 000009a8: DUP4 000009a9: SUB 000009aa: DUP2 000009ab: PUSH1 0x00 000009ad: DUP8 000009ae: PUSH2 0x61da 000009b1: GAS 000009b2: SUB 000009b3: CALL 000009b4: ISZERO 000009b5: PUSH2 0x0002 000009b8: JUMPI 000009b9: POP 000009ba: POP 000009bb: PUSH1 0x40 000009bd: DUP1 000009be: MLOAD 000009bf: DUP1 000009c0: MLOAD 000009c1: DUP5 000009c2: SLOAD 000009c3: PUSH32 0x09dd0e8100000000000000000000000000000000000000000000000000000000 000009e4: DUP4 000009e5: MSTORE 000009e6: SWAP3 000009e7: MLOAD 000009e8: SWAP1 000009e9: SWAP11 000009ea: POP 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: PUSH1 0x02 000009f1: EXP 000009f2: SUB 000009f3: SWAP3 000009f4: SWAP1 000009f5: SWAP3 000009f6: AND 000009f7: SWAP3 000009f8: POP 000009f9: PUSH4 0x09dd0e81 000009fe: SWAP2 000009ff: PUSH1 0x04 00000a01: DUP3 00000a02: DUP2 00000a03: ADD 00000a04: SWAP3 00000a05: PUSH1 0x20 00000a07: SWAP3 00000a08: SWAP2 00000a09: SWAP1 00000a0a: DUP3 00000a0b: SWAP1 00000a0c: SUB 00000a0d: ADD 00000a0e: DUP2 00000a0f: DUP8 00000a10: DUP8 00000a11: PUSH2 0x61da 00000a14: GAS 00000a15: SUB 00000a16: CALL 00000a17: ISZERO 00000a18: PUSH2 0x0002 00000a1b: JUMPI 00000a1c: POP 00000a1d: POP 00000a1e: PUSH1 0x40 00000a20: MLOAD 00000a21: MLOAD 00000a22: SWAP7 00000a23: POP 00000a24: PUSH2 0x0d04 00000a27: SWAP1 00000a28: POP 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: SWAP7 00000a2c: POP 00000a2d: SWAP7 00000a2e: POP 00000a2f: DUP7 00000a30: ISZERO 00000a31: ISZERO 00000a32: PUSH2 0x0a3e 00000a35: JUMPI 00000a36: PUSH1 0x00 00000a38: SWAP8 00000a39: POP 00000a3a: PUSH2 0x08f2 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: PUSH1 0x06 00000a41: SLOAD 00000a42: DUP7 00000a43: SMOD 00000a44: SWAP5 00000a45: POP 00000a46: PUSH2 0x0a4e 00000a49: DUP6 00000a4a: PUSH2 0x04a9 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH1 0x06 00000a51: SLOAD 00000a52: PUSH1 0x0b 00000a54: SLOAD 00000a55: PUSH1 0x0a 00000a57: DUP1 00000a58: SLOAD 00000a59: SWAP4 00000a5a: SWAP8 00000a5b: POP 00000a5c: PUSH1 0xc8 00000a5e: PUSH7 0x2386f26fc10000 00000a66: SWAP4 00000a67: SWAP1 00000a68: SWAP4 00000a69: MUL 00000a6a: SWAP3 00000a6b: DUP4 00000a6c: DIV 00000a6d: SWAP7 00000a6e: POP 00000a6f: SWAP2 00000a70: DUP7 00000a71: SWAP1 00000a72: SUB 00000a73: SWAP5 00000a74: POP 00000a75: DUP7 00000a76: SWAP3 00000a77: DUP2 00000a78: LT 00000a79: ISZERO 00000a7a: PUSH2 0x0002 00000a7d: JUMPI 00000a7e: PUSH1 0x00 00000a80: SWAP2 00000a81: DUP3 00000a82: MSTORE 00000a83: PUSH1 0x05 00000a85: MUL 00000a86: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8 00000aa7: ADD 00000aa8: SWAP1 00000aa9: POP 00000aaa: DUP1 00000aab: SLOAD 00000aac: PUSH1 0x01 00000aae: PUSH1 0xa0 00000ab0: PUSH1 0x02 00000ab2: EXP 00000ab3: SUB 00000ab4: NOT 00000ab5: AND 00000ab6: SWAP1 00000ab7: SWAP2 00000ab8: OR 00000ab9: SWAP1 00000aba: SSTORE 00000abb: PUSH1 0x0b 00000abd: SLOAD 00000abe: PUSH1 0x0a 00000ac0: DUP1 00000ac1: SLOAD 00000ac2: DUP5 00000ac3: SWAP3 00000ac4: SWAP1 00000ac5: DUP2 00000ac6: LT 00000ac7: ISZERO 00000ac8: PUSH2 0x0002 00000acb: JUMPI 00000acc: PUSH1 0x05 00000ace: MUL 00000acf: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a9 00000af0: ADD 00000af1: SWAP2 00000af2: SWAP1 00000af3: SWAP2 00000af4: SSTORE 00000af5: PUSH1 0x0b 00000af7: SLOAD 00000af8: DUP2 00000af9: SLOAD 00000afa: NUMBER 00000afb: SWAP3 00000afc: SWAP2 00000afd: SWAP1 00000afe: DUP2 00000aff: LT 00000b00: ISZERO 00000b01: PUSH2 0x0002 00000b04: JUMPI 00000b05: PUSH1 0x05 00000b07: MUL 00000b08: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2aa 00000b29: ADD 00000b2a: SWAP2 00000b2b: SWAP1 00000b2c: SWAP2 00000b2d: SSTORE 00000b2e: PUSH1 0x0b 00000b30: SLOAD 00000b31: DUP2 00000b32: SLOAD 00000b33: TIMESTAMP 00000b34: SWAP3 00000b35: SWAP2 00000b36: SWAP1 00000b37: DUP2 00000b38: LT 00000b39: ISZERO 00000b3a: PUSH2 0x0002 00000b3d: JUMPI 00000b3e: PUSH1 0x05 00000b40: MUL 00000b41: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2ab 00000b62: ADD 00000b63: SWAP2 00000b64: SWAP1 00000b65: SWAP2 00000b66: SSTORE 00000b67: PUSH1 0x0b 00000b69: SLOAD 00000b6a: DUP2 00000b6b: SLOAD 00000b6c: CALLER 00000b6d: SWAP3 00000b6e: SWAP2 00000b6f: SWAP1 00000b70: DUP2 00000b71: LT 00000b72: ISZERO 00000b73: PUSH2 0x0002 00000b76: JUMPI 00000b77: PUSH1 0x05 00000b79: MUL 00000b7a: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2ac 00000b9b: ADD 00000b9c: DUP1 00000b9d: SLOAD 00000b9e: PUSH1 0x01 00000ba0: PUSH1 0xa0 00000ba2: PUSH1 0x02 00000ba4: EXP 00000ba5: SUB 00000ba6: NOT 00000ba7: AND 00000ba8: SWAP1 00000ba9: SWAP3 00000baa: OR 00000bab: SWAP1 00000bac: SWAP2 00000bad: SSTORE 00000bae: POP 00000baf: PUSH1 0x0b 00000bb1: DUP1 00000bb2: SLOAD 00000bb3: PUSH1 0x03 00000bb5: PUSH1 0x01 00000bb7: SWAP2 00000bb8: SWAP1 00000bb9: SWAP2 00000bba: ADD 00000bbb: MOD 00000bbc: SWAP1 00000bbd: SSTORE 00000bbe: PUSH2 0x08a5 00000bc1: JUMPDEST 00000bc2: PUSH1 0x00 00000bc4: DUP1 00000bc5: SLOAD 00000bc6: PUSH1 0x40 00000bc8: DUP1 00000bc9: MLOAD 00000bca: PUSH1 0xe1 00000bcc: PUSH1 0x02 00000bce: EXP 00000bcf: PUSH4 0x011ca439 00000bd4: MUL 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: SWAP1 00000bd8: MLOAD 00000bd9: PUSH2 0x03f0 00000bdc: SWAP3 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: PUSH1 0x02 00000be3: EXP 00000be4: SUB 00000be5: AND 00000be6: SWAP2 00000be7: PUSH4 0x02394872 00000bec: SWAP2 00000bed: PUSH1 0x04 00000bef: DUP3 00000bf0: DUP2 00000bf1: ADD 00000bf2: SWAP3 00000bf3: PUSH1 0x20 00000bf5: SWAP3 00000bf6: SWAP2 00000bf7: SWAP1 00000bf8: DUP3 00000bf9: SWAP1 00000bfa: SUB 00000bfb: ADD 00000bfc: DUP2 00000bfd: DUP9 00000bfe: DUP8 00000bff: PUSH2 0x61da 00000c02: GAS 00000c03: SUB 00000c04: CALL 00000c05: ISZERO 00000c06: PUSH2 0x0002 00000c09: JUMPI 00000c0a: POP 00000c0b: POP 00000c0c: PUSH1 0x40 00000c0e: MLOAD 00000c0f: MLOAD 00000c10: SWAP2 00000c11: DUP3 00000c12: ADD 00000c13: PUSH1 0x01 00000c15: SSTORE 00000c16: POP 00000c17: PUSH2 0x03cc 00000c1a: ADD 00000c1b: PUSH1 0x02 00000c1d: SSTORE 00000c1e: PUSH3 0x08e620 00000c22: TIMESTAMP 00000c23: ADD 00000c24: PUSH1 0x03 00000c26: SSTORE 00000c27: PUSH1 0x04 00000c29: DUP2 00000c2a: SWAP1 00000c2b: SSTORE 00000c2c: PUSH1 0x05 00000c2e: DUP2 00000c2f: SWAP1 00000c30: SSTORE 00000c31: PUSH1 0x06 00000c33: DUP2 00000c34: SWAP1 00000c35: SSTORE 00000c36: JUMPDEST 00000c37: PUSH1 0x07 00000c39: SLOAD 00000c3a: DUP2 00000c3b: LT 00000c3c: ISZERO 00000c3d: PUSH2 0x0e58 00000c40: JUMPI 00000c41: PUSH1 0x00 00000c43: DUP2 00000c44: DUP2 00000c45: MSTORE 00000c46: PUSH1 0x08 00000c48: PUSH1 0x20 00000c4a: MSTORE 00000c4b: PUSH1 0x40 00000c4d: DUP2 00000c4e: KECCAK256 00000c4f: SSTORE 00000c50: PUSH1 0x01 00000c52: ADD 00000c53: PUSH2 0x0c36 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x00 00000c5a: DUP2 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x08 00000c5f: PUSH1 0x20 00000c61: MSTORE 00000c62: PUSH1 0x40 00000c64: SWAP1 00000c65: KECCAK256 00000c66: PUSH1 0x01 00000c68: ADD 00000c69: DUP1 00000c6a: SLOAD 00000c6b: PUSH1 0x02 00000c6d: DUP4 00000c6e: SWAP1 00000c6f: EXP 00000c70: DUP6 00000c71: DIV 00000c72: SWAP1 00000c73: DUP2 00000c74: LT 00000c75: ISZERO 00000c76: PUSH2 0x0002 00000c79: JUMPI 00000c7a: PUSH1 0x00 00000c7c: SWAP2 00000c7d: DUP3 00000c7e: MSTORE 00000c7f: PUSH1 0x20 00000c81: SWAP1 00000c82: SWAP2 00000c83: KECCAK256 00000c84: ADD 00000c85: SLOAD 00000c86: PUSH1 0x01 00000c88: PUSH1 0xa0 00000c8a: PUSH1 0x02 00000c8c: EXP 00000c8d: SUB 00000c8e: AND 00000c8f: SWAP4 00000c90: SWAP3 00000c91: POP 00000c92: POP 00000c93: POP 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH2 0x0c9d 00000c99: PUSH2 0x0501 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: ISZERO 00000c9f: ISZERO 00000ca0: PUSH2 0x0ca8 00000ca3: JUMPI 00000ca4: PUSH2 0x0002 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH2 0x0cb0 00000cac: PUSH2 0x0bc1 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH32 0xea1bf176d98d5f7779234edcfdcceafb89e54ddd01c4e88afd750bf5a278c488 00000cd5: SWAP1 00000cd6: PUSH1 0x00 00000cd8: SWAP1 00000cd9: LOG1 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x04 00000cde: DUP8 00000cdf: SWAP1 00000ce0: SSTORE 00000ce1: PUSH1 0x05 00000ce3: DUP7 00000ce4: SWAP1 00000ce5: SSTORE 00000ce6: PUSH1 0x00 00000ce8: SWAP9 00000ce9: POP 00000cea: DUP9 00000ceb: SWAP8 00000cec: POP 00000ced: JUMPDEST 00000cee: POP 00000cef: POP 00000cf0: POP 00000cf1: POP 00000cf2: POP 00000cf3: POP 00000cf4: POP 00000cf5: SWAP1 00000cf6: SWAP2 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x04 00000cfb: SLOAD 00000cfc: PUSH1 0x05 00000cfe: SLOAD 00000cff: SWAP1 00000d00: SWAP8 00000d01: POP 00000d02: SWAP6 00000d03: POP 00000d04: JUMPDEST 00000d05: PUSH1 0x00 00000d07: SWAP5 00000d08: POP 00000d09: JUMPDEST 00000d0a: PUSH1 0x05 00000d0c: DUP6 00000d0d: LT 00000d0e: ISZERO 00000d0f: PUSH2 0x0cdb 00000d12: JUMPI 00000d13: PUSH1 0x01 00000d15: SLOAD 00000d16: DUP8 00000d17: EQ 00000d18: ISZERO 00000d19: PUSH2 0x0d28 00000d1c: JUMPI 00000d1d: PUSH1 0x01 00000d1f: DUP7 00000d20: SWAP9 00000d21: POP 00000d22: SWAP9 00000d23: POP 00000d24: PUSH2 0x0ced 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x00 00000d2b: PUSH1 0x00 00000d2d: SWAP1 00000d2e: SLOAD 00000d2f: SWAP1 00000d30: PUSH2 0x0100 00000d33: EXP 00000d34: SWAP1 00000d35: DIV 00000d36: PUSH1 0x01 00000d38: PUSH1 0xa0 00000d3a: PUSH1 0x02 00000d3c: EXP 00000d3d: SUB 00000d3e: AND 00000d3f: PUSH1 0x01 00000d41: PUSH1 0xa0 00000d43: PUSH1 0x02 00000d45: EXP 00000d46: SUB 00000d47: AND 00000d48: PUSH4 0x0aece23c 00000d4d: DUP8 00000d4e: PUSH1 0x40 00000d50: MLOAD 00000d51: DUP3 00000d52: PUSH1 0xe0 00000d54: PUSH1 0x02 00000d56: EXP 00000d57: MUL 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x04 00000d5c: ADD 00000d5d: DUP1 00000d5e: DUP3 00000d5f: DUP2 00000d60: MSTORE 00000d61: PUSH1 0x20 00000d63: ADD 00000d64: SWAP2 00000d65: POP 00000d66: POP 00000d67: PUSH1 0x20 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: DUP1 00000d6d: DUP4 00000d6e: SUB 00000d6f: DUP2 00000d70: PUSH1 0x00 00000d72: DUP8 00000d73: PUSH2 0x61da 00000d76: GAS 00000d77: SUB 00000d78: CALL 00000d79: ISZERO 00000d7a: PUSH2 0x0002 00000d7d: JUMPI 00000d7e: POP 00000d7f: POP 00000d80: PUSH1 0x40 00000d82: DUP1 00000d83: MLOAD 00000d84: DUP1 00000d85: MLOAD 00000d86: PUSH1 0x00 00000d88: SLOAD 00000d89: PUSH32 0x1f79443600000000000000000000000000000000000000000000000000000000 00000daa: DUP4 00000dab: MSTORE 00000dac: PUSH1 0x04 00000dae: DUP4 00000daf: ADD 00000db0: DUP12 00000db1: SWAP1 00000db2: MSTORE 00000db3: SWAP3 00000db4: MLOAD 00000db5: SWAP1 00000db6: SWAP8 00000db7: POP 00000db8: PUSH1 0x01 00000dba: PUSH1 0xa0 00000dbc: PUSH1 0x02 00000dbe: EXP 00000dbf: SUB 00000dc0: SWAP3 00000dc1: SWAP1 00000dc2: SWAP3 00000dc3: AND 00000dc4: SWAP3 00000dc5: POP 00000dc6: PUSH4 0x1f794436 00000dcb: SWAP2 00000dcc: DUP8 00000dcd: SWAP2 00000dce: PUSH1 0x24 00000dd0: DUP2 00000dd1: DUP2 00000dd2: ADD 00000dd3: SWAP3 00000dd4: PUSH1 0x60 00000dd6: SWAP3 00000dd7: SWAP1 00000dd8: SWAP2 00000dd9: SWAP1 00000dda: DUP3 00000ddb: SWAP1 00000ddc: SUB 00000ddd: ADD 00000dde: DUP2 00000ddf: DUP6 00000de0: DUP9 00000de1: PUSH2 0x8502 00000de4: GAS 00000de5: SUB 00000de6: CALL 00000de7: ISZERO 00000de8: PUSH2 0x0002 00000deb: JUMPI 00000dec: POP 00000ded: POP 00000dee: PUSH1 0x40 00000df0: DUP1 00000df1: MLOAD 00000df2: PUSH1 0x60 00000df4: DUP2 00000df5: ADD 00000df6: DUP1 00000df7: DUP4 00000df8: MSTORE 00000df9: SWAP2 00000dfa: DUP2 00000dfb: ADD 00000dfc: MLOAD 00000dfd: SWAP2 00000dfe: DUP3 00000dff: SWAP1 00000e00: MSTORE 00000e01: PUSH1 0x64 00000e03: ADD 00000e04: MLOAD 00000e05: PUSH1 0x00 00000e07: NOT 00000e08: SWAP11 00000e09: SWAP1 00000e0a: SWAP11 00000e0b: ADD 00000e0c: SWAP10 00000e0d: PUSH1 0x00 00000e0f: SWAP10 00000e10: POP 00000e11: SWAP1 00000e12: SWAP6 00000e13: POP 00000e14: SWAP4 00000e15: POP 00000e16: DUP8 00000e17: SWAP3 00000e18: POP 00000e19: POP 00000e1a: POP 00000e1b: JUMPDEST 00000e1c: PUSH1 0x20 00000e1e: DUP2 00000e1f: SLT 00000e20: ISZERO 00000e21: PUSH2 0x0e4c 00000e24: JUMPI 00000e25: DUP1 00000e26: PUSH2 0x0100 00000e29: EXP 00000e2a: DUP3 00000e2b: DUP3 00000e2c: PUSH1 0x20 00000e2e: DUP2 00000e2f: LT 00000e30: ISZERO 00000e31: PUSH2 0x0002 00000e34: JUMPI 00000e35: PUSH1 0xf8 00000e37: PUSH1 0x02 00000e39: EXP 00000e3a: SWAP2 00000e3b: SWAP1 00000e3c: BYTE 00000e3d: DUP2 00000e3e: MUL 00000e3f: DIV 00000e40: MUL 00000e41: SWAP1 00000e42: SWAP6 00000e43: OR 00000e44: SWAP5 00000e45: PUSH1 0x01 00000e47: ADD 00000e48: PUSH2 0x0e1b 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x01 00000e4f: SWAP5 00000e50: SWAP1 00000e51: SWAP5 00000e52: ADD 00000e53: SWAP4 00000e54: PUSH2 0x0d09 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH1 0x00 00000e5b: PUSH1 0x07 00000e5d: DUP2 00000e5e: SWAP1 00000e5f: SSTORE 00000e60: PUSH1 0x09 00000e62: SSTORE 00000e63: POP 00000e64: 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: 0x685c1632c192ceb0012ea4145b5de2083a175eb4ed8ed1dff9964288caf4be9f
call_targets:
0x302fe87b56330be266599fab2a54747299b5ac5b, 0x41f274c0023f83391de4e0733c609df5a124c3d4
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x685c1632c192ceb0012ea4145b5de2083a175eb4ed8ed1dff9964288caf4be9f",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x302fe87b56330be266599fab2a54747299b5ac5b",
"0x41f274c0023f83391de4e0733c609df5a124c3d4"
],
"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": "0x02394872",
"selector": "0x02394872",
"calldata_variants": [
"0x02394872",
"0x023948720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18253234",
"selector": "0x18253234",
"calldata_variants": [
"0x18253234",
"0x182532340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x203a79f6",
"selector": "0x203a79f6",
"calldata_variants": [
"0x203a79f6",
"0x203a79f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29652e86",
"selector": "0x29652e86",
"calldata_variants": [
"0x29652e86",
"0x29652e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c6a0140",
"selector": "0x2c6a0140",
"calldata_variants": [
"0x2c6a0140",
"0x2c6a01400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f7a163b",
"selector": "0x2f7a163b",
"calldata_variants": [
"0x2f7a163b",
"0x2f7a163b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x349501b7",
"selector": "0x349501b7",
"calldata_variants": [
"0x349501b7",
"0x349501b70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 12,
"guards_detected": [],
"untrusted_call_count": 12
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0x685c1632c192ceb0012ea4145b5de2083a175eb4ed8ed1dff9964288caf4be9f
call_targets:
0x302fe87b56330be266599fab2a54747299b5ac5b, 0x41f274c0023f83391de4e0733c609df5a124c3d4
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x685c1632c192ceb0012ea4145b5de2083a175eb4ed8ed1dff9964288caf4be9f",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x302fe87b56330be266599fab2a54747299b5ac5b",
"0x41f274c0023f83391de4e0733c609df5a124c3d4"
],
"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": "0x02394872",
"selector": "0x02394872",
"calldata_variants": [
"0x02394872",
"0x023948720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18253234",
"selector": "0x18253234",
"calldata_variants": [
"0x18253234",
"0x182532340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x203a79f6",
"selector": "0x203a79f6",
"calldata_variants": [
"0x203a79f6",
"0x203a79f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29652e86",
"selector": "0x29652e86",
"calldata_variants": [
"0x29652e86",
"0x29652e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c6a0140",
"selector": "0x2c6a0140",
"calldata_variants": [
"0x2c6a0140",
"0x2c6a01400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f7a163b",
"selector": "0x2f7a163b",
"calldata_variants": [
"0x2f7a163b",
"0x2f7a163b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x349501b7",
"selector": "0x349501b7",
"calldata_variants": [
"0x349501b7",
"0x349501b70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 12,
"guards_detected": []
}
|