019b3844-8b45-736d-81a4-54b96d99b8c1
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 |
|---|---|---|---|---|
| 11773 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11774 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84196 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84197 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84198 | detector.run | complete | 1 / 3 | 1 week ago |
| 84199 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113691 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-x937trvc model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c9b-c7b9-7fb0-9ba0-bb6369f49dee -------- 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:46:47.871857+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 9792,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x2b925b25 0000003c: EQ 0000003d: PUSH2 0x0128 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2c4e722e 00000047: EQ 00000048: PUSH2 0x0151 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3197cbb6 00000052: EQ 00000053: PUSH2 0x017a 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x355274ea 0000005d: EQ 0000005e: PUSH2 0x01a3 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x40193883 00000068: EQ 00000069: PUSH2 0x01cc 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x4042b66f 00000073: EQ 00000074: PUSH2 0x01f5 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x44691f7e 0000007e: EQ 0000007f: PUSH2 0x021e 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x4bb278f3 00000089: EQ 0000008a: PUSH2 0x024b 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x521eb273 00000094: EQ 00000095: PUSH2 0x0260 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x78e97925 0000009f: EQ 000000a0: PUSH2 0x02b5 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x7d3d6522 000000aa: EQ 000000ab: PUSH2 0x02de 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x8d4e4083 000000b5: EQ 000000b6: PUSH2 0x030b 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x8da5cb5b 000000c0: EQ 000000c1: PUSH2 0x0338 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x93e59dc1 000000cb: EQ 000000cc: PUSH2 0x038d 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x9d76ea58 000000d6: EQ 000000d7: PUSH2 0x03e2 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xb5545a3c 000000e1: EQ 000000e2: PUSH2 0x0437 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xec8ac4d8 000000ec: EQ 000000ed: PUSH2 0x044c 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xecb70fb7 000000f7: EQ 000000f8: PUSH2 0x047a 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xf2fde38b 00000102: EQ 00000103: PUSH2 0x04a7 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xfbfa77cf 0000010d: EQ 0000010e: PUSH2 0x04e0 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xfc0c546a 00000118: EQ 00000119: PUSH2 0x0535 0000011c: JUMPI 0000011d: JUMPDEST 0000011e: PUSH2 0x0126 00000121: CALLER 00000122: PUSH2 0x058a 00000125: JUMP 00000126: JUMPDEST 00000127: STOP 00000128: JUMPDEST 00000129: CALLVALUE 0000012a: ISZERO 0000012b: PUSH2 0x0133 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: PUSH2 0x013b 00000137: PUSH2 0x0975 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH1 0x40 0000013e: MLOAD 0000013f: DUP1 00000140: DUP3 00000141: DUP2 00000142: MSTORE 00000143: PUSH1 0x20 00000145: ADD 00000146: SWAP2 00000147: POP 00000148: POP 00000149: PUSH1 0x40 0000014b: MLOAD 0000014c: DUP1 0000014d: SWAP2 0000014e: SUB 0000014f: SWAP1 00000150: RETURN 00000151: JUMPDEST 00000152: CALLVALUE 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: PUSH2 0x0164 00000160: PUSH2 0x097b 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH1 0x40 00000167: MLOAD 00000168: DUP1 00000169: DUP3 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH1 0x20 0000016e: ADD 0000016f: SWAP2 00000170: POP 00000171: POP 00000172: PUSH1 0x40 00000174: MLOAD 00000175: DUP1 00000176: SWAP2 00000177: SUB 00000178: SWAP1 00000179: RETURN 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: PUSH2 0x018d 00000189: PUSH2 0x0981 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH1 0x40 00000190: MLOAD 00000191: DUP1 00000192: DUP3 00000193: DUP2 00000194: MSTORE 00000195: PUSH1 0x20 00000197: ADD 00000198: SWAP2 00000199: POP 0000019a: POP 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: SWAP2 000001a0: SUB 000001a1: SWAP1 000001a2: RETURN 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: ISZERO 000001a6: PUSH2 0x01ae 000001a9: JUMPI 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: PUSH2 0x01b6 000001b2: PUSH2 0x0987 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: DUP1 000001bb: DUP3 000001bc: DUP2 000001bd: MSTORE 000001be: PUSH1 0x20 000001c0: ADD 000001c1: SWAP2 000001c2: POP 000001c3: POP 000001c4: PUSH1 0x40 000001c6: MLOAD 000001c7: DUP1 000001c8: SWAP2 000001c9: SUB 000001ca: SWAP1 000001cb: RETURN 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: PUSH2 0x01df 000001db: PUSH2 0x098d 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: DUP1 000001e4: DUP3 000001e5: DUP2 000001e6: MSTORE 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: SWAP2 000001eb: POP 000001ec: POP 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: DUP1 000001f1: SWAP2 000001f2: SUB 000001f3: SWAP1 000001f4: RETURN 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: PUSH2 0x0208 00000204: PUSH2 0x0993 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: DUP1 0000020d: DUP3 0000020e: DUP2 0000020f: MSTORE 00000210: PUSH1 0x20 00000212: ADD 00000213: SWAP2 00000214: POP 00000215: POP 00000216: PUSH1 0x40 00000218: MLOAD 00000219: DUP1 0000021a: SWAP2 0000021b: SUB 0000021c: SWAP1 0000021d: RETURN 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: PUSH2 0x0231 0000022d: PUSH2 0x0999 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: MLOAD 00000235: DUP1 00000236: DUP3 00000237: ISZERO 00000238: ISZERO 00000239: ISZERO 0000023a: ISZERO 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x20 0000023f: ADD 00000240: SWAP2 00000241: POP 00000242: POP 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: SWAP2 00000248: SUB 00000249: SWAP1 0000024a: RETURN 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: PUSH2 0x025e 0000025a: PUSH2 0x09a6 0000025d: JUMP 0000025e: JUMPDEST 0000025f: STOP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x0a82 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP1 00000278: DUP3 00000279: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028e: AND 0000028f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a4: AND 000002a5: DUP2 000002a6: MSTORE 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP2 000002ab: POP 000002ac: POP 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: SWAP2 000002b2: SUB 000002b3: SWAP1 000002b4: RETURN 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: PUSH2 0x02c8 000002c4: PUSH2 0x0aa8 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: DUP3 000002ce: DUP2 000002cf: MSTORE 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP2 000002d4: POP 000002d5: POP 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: DUP1 000002da: SWAP2 000002db: SUB 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: PUSH2 0x02f1 000002ed: PUSH2 0x0aae 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: DUP3 000002f7: ISZERO 000002f8: ISZERO 000002f9: ISZERO 000002fa: ISZERO 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: SWAP2 00000301: POP 00000302: POP 00000303: PUSH1 0x40 00000305: MLOAD 00000306: DUP1 00000307: SWAP2 00000308: SUB 00000309: SWAP1 0000030a: RETURN 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: PUSH2 0x031e 0000031a: PUSH2 0x0abd 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: DUP1 00000323: DUP3 00000324: ISZERO 00000325: ISZERO 00000326: ISZERO 00000327: ISZERO 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: SWAP2 0000032e: POP 0000032f: POP 00000330: PUSH1 0x40 00000332: MLOAD 00000333: DUP1 00000334: SWAP2 00000335: SUB 00000336: SWAP1 00000337: RETURN 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: PUSH2 0x034b 00000347: PUSH2 0x0ad0 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: DUP3 00000351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000366: AND 00000367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037c: AND 0000037d: DUP2 0000037e: MSTORE 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP2 00000383: POP 00000384: POP 00000385: PUSH1 0x40 00000387: MLOAD 00000388: DUP1 00000389: SWAP2 0000038a: SUB 0000038b: SWAP1 0000038c: RETURN 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: PUSH2 0x03a0 0000039c: PUSH2 0x0af6 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP1 000003a5: DUP3 000003a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bb: AND 000003bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d1: AND 000003d2: DUP2 000003d3: MSTORE 000003d4: PUSH1 0x20 000003d6: ADD 000003d7: SWAP2 000003d8: POP 000003d9: POP 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP1 000003de: SWAP2 000003df: SUB 000003e0: SWAP1 000003e1: RETURN 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: PUSH2 0x03f5 000003f1: PUSH2 0x0b1c 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: DUP1 000003fa: DUP3 000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000410: AND 00000411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000426: AND 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: ADD 0000042c: SWAP2 0000042d: POP 0000042e: POP 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: DUP1 00000433: SWAP2 00000434: SUB 00000435: SWAP1 00000436: RETURN 00000437: JUMPDEST 00000438: CALLVALUE 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: PUSH2 0x044a 00000446: PUSH2 0x0b42 00000449: JUMP 0000044a: JUMPDEST 0000044b: STOP 0000044c: JUMPDEST 0000044d: PUSH2 0x0478 00000450: PUSH1 0x04 00000452: DUP1 00000453: DUP1 00000454: CALLDATALOAD 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: SWAP1 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: SWAP1 00000470: SWAP2 00000471: SWAP1 00000472: POP 00000473: POP 00000474: PUSH2 0x058a 00000477: JUMP 00000478: JUMPDEST 00000479: STOP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: PUSH2 0x048d 00000489: PUSH2 0x0c43 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP1 00000492: DUP3 00000493: ISZERO 00000494: ISZERO 00000495: ISZERO 00000496: ISZERO 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: ADD 0000049c: SWAP2 0000049d: POP 0000049e: POP 0000049f: PUSH1 0x40 000004a1: MLOAD 000004a2: DUP1 000004a3: SWAP2 000004a4: SUB 000004a5: SWAP1 000004a6: RETURN 000004a7: JUMPDEST 000004a8: CALLVALUE 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH2 0x04de 000004b6: PUSH1 0x04 000004b8: DUP1 000004b9: DUP1 000004ba: CALLDATALOAD 000004bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d0: AND 000004d1: SWAP1 000004d2: PUSH1 0x20 000004d4: ADD 000004d5: SWAP1 000004d6: SWAP2 000004d7: SWAP1 000004d8: POP 000004d9: POP 000004da: PUSH2 0x0c79 000004dd: JUMP 000004de: JUMPDEST 000004df: STOP 000004e0: JUMPDEST 000004e1: CALLVALUE 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: PUSH2 0x04f3 000004ef: PUSH2 0x0dd1 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH1 0x40 000004f6: MLOAD 000004f7: DUP1 000004f8: DUP3 000004f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050e: AND 0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000524: AND 00000525: DUP2 00000526: MSTORE 00000527: PUSH1 0x20 00000529: ADD 0000052a: SWAP2 0000052b: POP 0000052c: POP 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: DUP1 00000531: SWAP2 00000532: SUB 00000533: SWAP1 00000534: RETURN 00000535: JUMPDEST 00000536: CALLVALUE 00000537: ISZERO 00000538: PUSH2 0x0540 0000053b: JUMPI 0000053c: PUSH1 0x00 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: PUSH2 0x0548 00000544: PUSH2 0x0df7 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: DUP1 0000054d: DUP3 0000054e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000563: AND 00000564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000579: AND 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: SWAP2 00000580: POP 00000581: POP 00000582: PUSH1 0x40 00000584: MLOAD 00000585: DUP1 00000586: SWAP2 00000587: SUB 00000588: SWAP1 00000589: RETURN 0000058a: JUMPDEST 0000058b: PUSH1 0x00 0000058d: DUP1 0000058e: PUSH1 0x00 00000590: DUP1 00000591: PUSH1 0x00 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: DUP6 000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bf: AND 000005c0: EQ 000005c1: ISZERO 000005c2: ISZERO 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: PUSH1 0x0b 000005cf: PUSH1 0x00 000005d1: SWAP1 000005d2: SLOAD 000005d3: SWAP1 000005d4: PUSH2 0x0100 000005d7: EXP 000005d8: SWAP1 000005d9: DIV 000005da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ef: AND 000005f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000605: AND 00000606: PUSH4 0x3af32abf 0000060b: DUP7 0000060c: PUSH1 0x00 0000060e: PUSH1 0x40 00000610: MLOAD 00000611: PUSH1 0x20 00000613: ADD 00000614: MSTORE 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP3 00000619: PUSH4 0xffffffff 0000061e: AND 0000061f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000063d: MUL 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0x04 00000642: ADD 00000643: DUP1 00000644: DUP3 00000645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065a: AND 0000065b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000670: AND 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x20 00000675: ADD 00000676: SWAP2 00000677: POP 00000678: POP 00000679: PUSH1 0x20 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: DUP1 0000067f: DUP4 00000680: SUB 00000681: DUP2 00000682: PUSH1 0x00 00000684: DUP8 00000685: DUP1 00000686: EXTCODESIZE 00000687: ISZERO 00000688: ISZERO 00000689: PUSH2 0x0691 0000068c: JUMPI 0000068d: PUSH1 0x00 0000068f: DUP1 00000690: REVERT 00000691: JUMPDEST 00000692: PUSH2 0x02c6 00000695: GAS 00000696: SUB 00000697: CALL 00000698: ISZERO 00000699: ISZERO 0000069a: PUSH2 0x06a2 0000069d: JUMPI 0000069e: PUSH1 0x00 000006a0: DUP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: POP 000006a4: POP 000006a5: POP 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: DUP1 000006aa: MLOAD 000006ab: SWAP1 000006ac: POP 000006ad: ISZERO 000006ae: ISZERO 000006af: PUSH2 0x06b7 000006b2: JUMPI 000006b3: PUSH1 0x00 000006b5: DUP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: SWAP4 000006ba: POP 000006bb: PUSH2 0x06cf 000006be: DUP5 000006bf: PUSH1 0x05 000006c1: SLOAD 000006c2: PUSH2 0x0e1c 000006c5: SWAP1 000006c6: SWAP2 000006c7: SWAP1 000006c8: PUSH4 0xffffffff 000006cd: AND 000006ce: JUMP 000006cf: JUMPDEST 000006d0: SWAP3 000006d1: POP 000006d2: PUSH1 0x07 000006d4: SLOAD 000006d5: DUP4 000006d6: GT 000006d7: ISZERO 000006d8: PUSH2 0x0774 000006db: JUMPI 000006dc: PUSH2 0x06e3 000006df: PUSH2 0x0999 000006e2: JUMP 000006e3: JUMPDEST 000006e4: DUP1 000006e5: ISZERO 000006e6: PUSH2 0x06f4 000006e9: JUMPI 000006ea: POP 000006eb: PUSH2 0x06f2 000006ee: PUSH2 0x0c43 000006f1: JUMP 000006f2: JUMPDEST 000006f3: ISZERO 000006f4: JUMPDEST 000006f5: ISZERO 000006f6: ISZERO 000006f7: PUSH2 0x06ff 000006fa: JUMPI 000006fb: PUSH1 0x00 000006fd: DUP1 000006fe: REVERT 000006ff: JUMPDEST 00000700: PUSH2 0x0714 00000703: PUSH1 0x07 00000705: SLOAD 00000706: DUP5 00000707: PUSH2 0x0e3a 0000070a: SWAP1 0000070b: SWAP2 0000070c: SWAP1 0000070d: PUSH4 0xffffffff 00000712: AND 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP2 00000716: POP 00000717: PUSH2 0x072d 0000071a: PUSH1 0x05 0000071c: SLOAD 0000071d: PUSH1 0x07 0000071f: SLOAD 00000720: PUSH2 0x0e3a 00000723: SWAP1 00000724: SWAP2 00000725: SWAP1 00000726: PUSH4 0xffffffff 0000072b: AND 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP4 0000072f: POP 00000730: DUP5 00000731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000746: AND 00000747: PUSH2 0x08fc 0000074a: DUP4 0000074b: SWAP1 0000074c: DUP2 0000074d: ISZERO 0000074e: MUL 0000074f: SWAP1 00000750: PUSH1 0x40 00000752: MLOAD 00000753: PUSH1 0x00 00000755: PUSH1 0x40 00000757: MLOAD 00000758: DUP1 00000759: DUP4 0000075a: SUB 0000075b: DUP2 0000075c: DUP6 0000075d: DUP9 0000075e: DUP9 0000075f: CALL 00000760: SWAP4 00000761: POP 00000762: POP 00000763: POP 00000764: POP 00000765: ISZERO 00000766: ISZERO 00000767: PUSH2 0x076f 0000076a: JUMPI 0000076b: PUSH1 0x00 0000076d: DUP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: PUSH2 0x0788 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x077c 00000778: PUSH2 0x0e53 0000077b: JUMP 0000077c: JUMPDEST 0000077d: ISZERO 0000077e: ISZERO 0000077f: PUSH2 0x0787 00000782: JUMPI 00000783: PUSH1 0x00 00000785: DUP1 00000786: REVERT 00000787: JUMPDEST 00000788: JUMPDEST 00000789: PUSH2 0x079d 0000078c: PUSH1 0x04 0000078e: SLOAD 0000078f: DUP6 00000790: PUSH2 0x0e72 00000793: SWAP1 00000794: SWAP2 00000795: SWAP1 00000796: PUSH4 0xffffffff 0000079b: AND 0000079c: JUMP 0000079d: JUMPDEST 0000079e: SWAP1 0000079f: POP 000007a0: PUSH2 0x07b4 000007a3: DUP5 000007a4: PUSH1 0x05 000007a6: SLOAD 000007a7: PUSH2 0x0e1c 000007aa: SWAP1 000007ab: SWAP2 000007ac: SWAP1 000007ad: PUSH4 0xffffffff 000007b2: AND 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0x05 000007b7: DUP2 000007b8: SWAP1 000007b9: SSTORE 000007ba: POP 000007bb: PUSH1 0x00 000007bd: DUP1 000007be: SWAP1 000007bf: SLOAD 000007c0: SWAP1 000007c1: PUSH2 0x0100 000007c4: EXP 000007c5: SWAP1 000007c6: DIV 000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dc: AND 000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f2: AND 000007f3: PUSH4 0x23b872dd 000007f8: PUSH1 0x08 000007fa: PUSH1 0x00 000007fc: SWAP1 000007fd: SLOAD 000007fe: SWAP1 000007ff: PUSH2 0x0100 00000802: EXP 00000803: SWAP1 00000804: DIV 00000805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081a: AND 0000081b: DUP8 0000081c: DUP5 0000081d: PUSH1 0x00 0000081f: PUSH1 0x40 00000821: MLOAD 00000822: PUSH1 0x20 00000824: ADD 00000825: MSTORE 00000826: PUSH1 0x40 00000828: MLOAD 00000829: DUP5 0000082a: PUSH4 0xffffffff 0000082f: AND 00000830: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000084e: MUL 0000084f: DUP2 00000850: MSTORE 00000851: PUSH1 0x04 00000853: ADD 00000854: DUP1 00000855: DUP5 00000856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086b: AND 0000086c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000881: AND 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x20 00000886: ADD 00000887: DUP4 00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089d: AND 0000089e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b3: AND 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: DUP3 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP4 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: PUSH1 0x20 000008c6: PUSH1 0x40 000008c8: MLOAD 000008c9: DUP1 000008ca: DUP4 000008cb: SUB 000008cc: DUP2 000008cd: PUSH1 0x00 000008cf: DUP8 000008d0: DUP1 000008d1: EXTCODESIZE 000008d2: ISZERO 000008d3: ISZERO 000008d4: PUSH2 0x08dc 000008d7: JUMPI 000008d8: PUSH1 0x00 000008da: DUP1 000008db: REVERT 000008dc: JUMPDEST 000008dd: PUSH2 0x02c6 000008e0: GAS 000008e1: SUB 000008e2: CALL 000008e3: ISZERO 000008e4: ISZERO 000008e5: PUSH2 0x08ed 000008e8: JUMPI 000008e9: PUSH1 0x00 000008eb: DUP1 000008ec: REVERT 000008ed: JUMPDEST 000008ee: POP 000008ef: POP 000008f0: POP 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: DUP1 000008f5: MLOAD 000008f6: SWAP1 000008f7: POP 000008f8: POP 000008f9: DUP5 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: CALLER 00000911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000926: AND 00000927: PUSH32 0x623b3804fa71d67900d064613da8f94b9617215ee90799290593e1745087ad18 00000948: DUP7 00000949: DUP5 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: DUP1 0000094e: DUP4 0000094f: DUP2 00000950: MSTORE 00000951: PUSH1 0x20 00000953: ADD 00000954: DUP3 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x20 00000959: ADD 0000095a: SWAP3 0000095b: POP 0000095c: POP 0000095d: POP 0000095e: PUSH1 0x40 00000960: MLOAD 00000961: DUP1 00000962: SWAP2 00000963: SUB 00000964: SWAP1 00000965: LOG3 00000966: PUSH2 0x096e 00000969: DUP5 0000096a: PUSH2 0x0ead 0000096d: JUMP 0000096e: JUMPDEST 0000096f: POP 00000970: POP 00000971: POP 00000972: POP 00000973: POP 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x0c 00000978: SLOAD 00000979: DUP2 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x04 0000097e: SLOAD 0000097f: DUP2 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x02 00000984: SLOAD 00000985: DUP2 00000986: JUMP 00000987: JUMPDEST 00000988: PUSH1 0x07 0000098a: SLOAD 0000098b: DUP2 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x09 00000990: SLOAD 00000991: DUP2 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH1 0x05 00000996: SLOAD 00000997: DUP2 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x00 0000099c: PUSH1 0x01 0000099e: SLOAD 0000099f: TIMESTAMP 000009a0: LT 000009a1: ISZERO 000009a2: SWAP1 000009a3: POP 000009a4: SWAP1 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH1 0x08 000009a9: PUSH1 0x00 000009ab: SWAP1 000009ac: SLOAD 000009ad: SWAP1 000009ae: PUSH2 0x0100 000009b1: EXP 000009b2: SWAP1 000009b3: DIV 000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c9: AND 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: CALLER 000009e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f6: AND 000009f7: EQ 000009f8: ISZERO 000009f9: ISZERO 000009fa: PUSH2 0x0a02 000009fd: JUMPI 000009fe: PUSH1 0x00 00000a00: DUP1 00000a01: REVERT 00000a02: JUMPDEST 00000a03: PUSH1 0x08 00000a05: PUSH1 0x14 00000a07: SWAP1 00000a08: SLOAD 00000a09: SWAP1 00000a0a: PUSH2 0x0100 00000a0d: EXP 00000a0e: SWAP1 00000a0f: DIV 00000a10: PUSH1 0xff 00000a12: AND 00000a13: ISZERO 00000a14: ISZERO 00000a15: ISZERO 00000a16: PUSH2 0x0a1e 00000a19: JUMPI 00000a1a: PUSH1 0x00 00000a1c: DUP1 00000a1d: REVERT 00000a1e: JUMPDEST 00000a1f: PUSH2 0x0a26 00000a22: PUSH2 0x0c43 00000a25: JUMP 00000a26: JUMPDEST 00000a27: ISZERO 00000a28: ISZERO 00000a29: PUSH2 0x0a31 00000a2c: JUMPI 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: REVERT 00000a31: JUMPDEST 00000a32: PUSH2 0x0a39 00000a35: PUSH2 0x10d3 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH32 0x6823b073d48d6e3a7d385eeb601452d680e74bb46afe3255a7d778f3a9b17681 00000a5b: PUSH1 0x40 00000a5d: MLOAD 00000a5e: PUSH1 0x40 00000a60: MLOAD 00000a61: DUP1 00000a62: SWAP2 00000a63: SUB 00000a64: SWAP1 00000a65: LOG1 00000a66: PUSH1 0x01 00000a68: PUSH1 0x08 00000a6a: PUSH1 0x14 00000a6c: PUSH2 0x0100 00000a6f: EXP 00000a70: DUP2 00000a71: SLOAD 00000a72: DUP2 00000a73: PUSH1 0xff 00000a75: MUL 00000a76: NOT 00000a77: AND 00000a78: SWAP1 00000a79: DUP4 00000a7a: ISZERO 00000a7b: ISZERO 00000a7c: MUL 00000a7d: OR 00000a7e: SWAP1 00000a7f: SSTORE 00000a80: POP 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH1 0x03 00000a85: PUSH1 0x00 00000a87: SWAP1 00000a88: SLOAD 00000a89: SWAP1 00000a8a: PUSH2 0x0100 00000a8d: EXP 00000a8e: SWAP1 00000a8f: DIV 00000a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa5: AND 00000aa6: DUP2 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x01 00000aab: SLOAD 00000aac: DUP2 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x00 00000ab1: PUSH1 0x09 00000ab3: SLOAD 00000ab4: PUSH1 0x05 00000ab6: SLOAD 00000ab7: LT 00000ab8: ISZERO 00000ab9: SWAP1 00000aba: POP 00000abb: SWAP1 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x08 00000ac0: PUSH1 0x14 00000ac2: SWAP1 00000ac3: SLOAD 00000ac4: SWAP1 00000ac5: PUSH2 0x0100 00000ac8: EXP 00000ac9: SWAP1 00000aca: DIV 00000acb: PUSH1 0xff 00000acd: AND 00000ace: DUP2 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH1 0x08 00000ad3: PUSH1 0x00 00000ad5: SWAP1 00000ad6: SLOAD 00000ad7: SWAP1 00000ad8: PUSH2 0x0100 00000adb: EXP 00000adc: SWAP1 00000add: DIV 00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af3: AND 00000af4: DUP2 00000af5: JUMP 00000af6: JUMPDEST 00000af7: PUSH1 0x0b 00000af9: PUSH1 0x00 00000afb: SWAP1 00000afc: SLOAD 00000afd: SWAP1 00000afe: PUSH2 0x0100 00000b01: EXP 00000b02: SWAP1 00000b03: DIV 00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b19: AND 00000b1a: DUP2 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x06 00000b1f: PUSH1 0x00 00000b21: SWAP1 00000b22: SLOAD 00000b23: SWAP1 00000b24: PUSH2 0x0100 00000b27: EXP 00000b28: SWAP1 00000b29: DIV 00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3f: AND 00000b40: DUP2 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x08 00000b45: PUSH1 0x14 00000b47: SWAP1 00000b48: SLOAD 00000b49: SWAP1 00000b4a: PUSH2 0x0100 00000b4d: EXP 00000b4e: SWAP1 00000b4f: DIV 00000b50: PUSH1 0xff 00000b52: AND 00000b53: ISZERO 00000b54: ISZERO 00000b55: PUSH2 0x0b5d 00000b58: JUMPI 00000b59: PUSH1 0x00 00000b5b: DUP1 00000b5c: REVERT 00000b5d: JUMPDEST 00000b5e: PUSH2 0x0b65 00000b61: PUSH2 0x0aae 00000b64: JUMP 00000b65: JUMPDEST 00000b66: ISZERO 00000b67: ISZERO 00000b68: ISZERO 00000b69: PUSH2 0x0b71 00000b6c: JUMPI 00000b6d: PUSH1 0x00 00000b6f: DUP1 00000b70: REVERT 00000b71: JUMPDEST 00000b72: PUSH1 0x0a 00000b74: PUSH1 0x00 00000b76: SWAP1 00000b77: SLOAD 00000b78: SWAP1 00000b79: PUSH2 0x0100 00000b7c: EXP 00000b7d: SWAP1 00000b7e: DIV 00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b94: AND 00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baa: AND 00000bab: PUSH4 0xfa89401a 00000bb0: CALLER 00000bb1: PUSH1 0x40 00000bb3: MLOAD 00000bb4: DUP3 00000bb5: PUSH4 0xffffffff 00000bba: AND 00000bbb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000bd9: MUL 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x04 00000bde: ADD 00000bdf: DUP1 00000be0: DUP3 00000be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf6: AND 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: DUP2 00000c0e: MSTORE 00000c0f: PUSH1 0x20 00000c11: ADD 00000c12: SWAP2 00000c13: POP 00000c14: POP 00000c15: PUSH1 0x00 00000c17: PUSH1 0x40 00000c19: MLOAD 00000c1a: DUP1 00000c1b: DUP4 00000c1c: SUB 00000c1d: DUP2 00000c1e: PUSH1 0x00 00000c20: DUP8 00000c21: DUP1 00000c22: EXTCODESIZE 00000c23: ISZERO 00000c24: ISZERO 00000c25: PUSH2 0x0c2d 00000c28: JUMPI 00000c29: PUSH1 0x00 00000c2b: DUP1 00000c2c: REVERT 00000c2d: JUMPDEST 00000c2e: PUSH2 0x02c6 00000c31: GAS 00000c32: SUB 00000c33: CALL 00000c34: ISZERO 00000c35: ISZERO 00000c36: PUSH2 0x0c3e 00000c39: JUMPI 00000c3a: PUSH1 0x00 00000c3c: DUP1 00000c3d: REVERT 00000c3e: JUMPDEST 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH1 0x00 00000c46: DUP1 00000c47: PUSH1 0x07 00000c49: SLOAD 00000c4a: PUSH2 0x0c60 00000c4d: PUSH1 0x0c 00000c4f: SLOAD 00000c50: PUSH1 0x05 00000c52: SLOAD 00000c53: PUSH2 0x0e1c 00000c56: SWAP1 00000c57: SWAP2 00000c58: SWAP1 00000c59: PUSH4 0xffffffff 00000c5e: AND 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: GT 00000c62: SWAP1 00000c63: POP 00000c64: PUSH2 0x0c6b 00000c67: PUSH2 0x1222 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: DUP1 00000c6d: PUSH2 0x0c73 00000c70: JUMPI 00000c71: POP 00000c72: DUP1 00000c73: JUMPDEST 00000c74: SWAP2 00000c75: POP 00000c76: POP 00000c77: SWAP1 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: PUSH1 0x08 00000c7c: PUSH1 0x00 00000c7e: SWAP1 00000c7f: SLOAD 00000c80: SWAP1 00000c81: PUSH2 0x0100 00000c84: EXP 00000c85: SWAP1 00000c86: DIV 00000c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9c: AND 00000c9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb2: AND 00000cb3: CALLER 00000cb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc9: AND 00000cca: EQ 00000ccb: ISZERO 00000ccc: ISZERO 00000ccd: PUSH2 0x0cd5 00000cd0: JUMPI 00000cd1: PUSH1 0x00 00000cd3: DUP1 00000cd4: REVERT 00000cd5: JUMPDEST 00000cd6: PUSH1 0x00 00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ced: AND 00000cee: DUP2 00000cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d04: AND 00000d05: EQ 00000d06: ISZERO 00000d07: ISZERO 00000d08: ISZERO 00000d09: PUSH2 0x0d11 00000d0c: JUMPI 00000d0d: PUSH1 0x00 00000d0f: DUP1 00000d10: REVERT 00000d11: JUMPDEST 00000d12: DUP1 00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d28: AND 00000d29: PUSH1 0x08 00000d2b: PUSH1 0x00 00000d2d: SWAP1 00000d2e: SLOAD 00000d2f: SWAP1 00000d30: PUSH2 0x0100 00000d33: EXP 00000d34: SWAP1 00000d35: DIV 00000d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4b: AND 00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d61: AND 00000d62: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: PUSH1 0x40 00000d88: MLOAD 00000d89: DUP1 00000d8a: SWAP2 00000d8b: SUB 00000d8c: SWAP1 00000d8d: LOG3 00000d8e: DUP1 00000d8f: PUSH1 0x08 00000d91: PUSH1 0x00 00000d93: PUSH2 0x0100 00000d96: EXP 00000d97: DUP2 00000d98: SLOAD 00000d99: DUP2 00000d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daf: MUL 00000db0: NOT 00000db1: AND 00000db2: SWAP1 00000db3: DUP4 00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc9: AND 00000dca: MUL 00000dcb: OR 00000dcc: SWAP1 00000dcd: SSTORE 00000dce: POP 00000dcf: POP 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x0a 00000dd4: PUSH1 0x00 00000dd6: SWAP1 00000dd7: SLOAD 00000dd8: SWAP1 00000dd9: PUSH2 0x0100 00000ddc: EXP 00000ddd: SWAP1 00000dde: DIV 00000ddf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df4: AND 00000df5: DUP2 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x00 00000dfa: DUP1 00000dfb: SWAP1 00000dfc: SLOAD 00000dfd: SWAP1 00000dfe: PUSH2 0x0100 00000e01: EXP 00000e02: SWAP1 00000e03: DIV 00000e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e19: AND 00000e1a: DUP2 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: PUSH1 0x00 00000e1f: DUP1 00000e20: DUP3 00000e21: DUP5 00000e22: ADD 00000e23: SWAP1 00000e24: POP 00000e25: DUP4 00000e26: DUP2 00000e27: LT 00000e28: ISZERO 00000e29: ISZERO 00000e2a: ISZERO 00000e2b: PUSH2 0x0e30 00000e2e: JUMPI 00000e2f: INVALID 00000e30: JUMPDEST 00000e31: DUP1 00000e32: SWAP2 00000e33: POP 00000e34: POP 00000e35: SWAP3 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH1 0x00 00000e3d: DUP3 00000e3e: DUP3 00000e3f: GT 00000e40: ISZERO 00000e41: ISZERO 00000e42: ISZERO 00000e43: PUSH2 0x0e48 00000e46: JUMPI 00000e47: INVALID 00000e48: JUMPDEST 00000e49: DUP2 00000e4a: DUP4 00000e4b: SUB 00000e4c: SWAP1 00000e4d: POP 00000e4e: SWAP3 00000e4f: SWAP2 00000e50: POP 00000e51: POP 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH1 0x00 00000e56: PUSH2 0x0e5d 00000e59: PUSH2 0x1245 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: DUP1 00000e5f: ISZERO 00000e60: PUSH2 0x0e6d 00000e63: JUMPI 00000e64: POP 00000e65: PUSH2 0x0e6c 00000e68: PUSH2 0x127b 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: JUMPDEST 00000e6e: SWAP1 00000e6f: POP 00000e70: SWAP1 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH1 0x00 00000e75: DUP1 00000e76: PUSH1 0x00 00000e78: DUP5 00000e79: EQ 00000e7a: ISZERO 00000e7b: PUSH2 0x0e87 00000e7e: JUMPI 00000e7f: PUSH1 0x00 00000e81: SWAP2 00000e82: POP 00000e83: PUSH2 0x0ea6 00000e86: JUMP 00000e87: JUMPDEST 00000e88: DUP3 00000e89: DUP5 00000e8a: MUL 00000e8b: SWAP1 00000e8c: POP 00000e8d: DUP3 00000e8e: DUP5 00000e8f: DUP3 00000e90: DUP2 00000e91: ISZERO 00000e92: ISZERO 00000e93: PUSH2 0x0e98 00000e96: JUMPI 00000e97: INVALID 00000e98: JUMPDEST 00000e99: DIV 00000e9a: EQ 00000e9b: ISZERO 00000e9c: ISZERO 00000e9d: PUSH2 0x0ea2 00000ea0: JUMPI 00000ea1: INVALID 00000ea2: JUMPDEST 00000ea3: DUP1 00000ea4: SWAP2 00000ea5: POP 00000ea6: JUMPDEST 00000ea7: POP 00000ea8: SWAP3 00000ea9: SWAP2 00000eaa: POP 00000eab: POP 00000eac: JUMP 00000ead: JUMPDEST 00000eae: PUSH2 0x0eb5 00000eb1: PUSH2 0x0aae 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: DUP1 00000eb7: ISZERO 00000eb8: PUSH2 0x0efa 00000ebb: JUMPI 00000ebc: POP 00000ebd: PUSH1 0x00 00000ebf: PUSH1 0x0a 00000ec1: PUSH1 0x00 00000ec3: SWAP1 00000ec4: SLOAD 00000ec5: SWAP1 00000ec6: PUSH2 0x0100 00000ec9: EXP 00000eca: SWAP1 00000ecb: DIV 00000ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee1: AND 00000ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef7: AND 00000ef8: BALANCE 00000ef9: GT 00000efa: JUMPDEST 00000efb: ISZERO 00000efc: PUSH2 0x0f99 00000eff: JUMPI 00000f00: PUSH1 0x0a 00000f02: PUSH1 0x00 00000f04: SWAP1 00000f05: SLOAD 00000f06: SWAP1 00000f07: PUSH2 0x0100 00000f0a: EXP 00000f0b: SWAP1 00000f0c: DIV 00000f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f22: AND 00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f38: AND 00000f39: PUSH4 0x9d735286 00000f3e: PUSH1 0x40 00000f40: MLOAD 00000f41: DUP2 00000f42: PUSH4 0xffffffff 00000f47: AND 00000f48: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000f66: MUL 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x04 00000f6b: ADD 00000f6c: PUSH1 0x00 00000f6e: PUSH1 0x40 00000f70: MLOAD 00000f71: DUP1 00000f72: DUP4 00000f73: SUB 00000f74: DUP2 00000f75: PUSH1 0x00 00000f77: DUP8 00000f78: DUP1 00000f79: EXTCODESIZE 00000f7a: ISZERO 00000f7b: ISZERO 00000f7c: PUSH2 0x0f84 00000f7f: JUMPI 00000f80: PUSH1 0x00 00000f82: DUP1 00000f83: REVERT 00000f84: JUMPDEST 00000f85: PUSH2 0x02c6 00000f88: GAS 00000f89: SUB 00000f8a: CALL 00000f8b: ISZERO 00000f8c: ISZERO 00000f8d: PUSH2 0x0f95 00000f90: JUMPI 00000f91: PUSH1 0x00 00000f93: DUP1 00000f94: REVERT 00000f95: JUMPDEST 00000f96: POP 00000f97: POP 00000f98: POP 00000f99: JUMPDEST 00000f9a: PUSH2 0x0fa1 00000f9d: PUSH2 0x0aae 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: ISZERO 00000fa3: PUSH2 0x0ffe 00000fa6: JUMPI 00000fa7: PUSH1 0x03 00000fa9: PUSH1 0x00 00000fab: SWAP1 00000fac: SLOAD 00000fad: SWAP1 00000fae: PUSH2 0x0100 00000fb1: EXP 00000fb2: SWAP1 00000fb3: DIV 00000fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc9: AND 00000fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdf: AND 00000fe0: DUP2 00000fe1: PUSH1 0x40 00000fe3: MLOAD 00000fe4: PUSH1 0x00 00000fe6: PUSH1 0x40 00000fe8: MLOAD 00000fe9: DUP1 00000fea: DUP4 00000feb: SUB 00000fec: DUP2 00000fed: DUP6 00000fee: DUP8 00000fef: PUSH2 0x8796 00000ff2: GAS 00000ff3: SUB 00000ff4: CALL 00000ff5: SWAP3 00000ff6: POP 00000ff7: POP 00000ff8: POP 00000ff9: POP 00000ffa: PUSH2 0x10d0 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x0a 00001001: PUSH1 0x00 00001003: SWAP1 00001004: SLOAD 00001005: SWAP1 00001006: PUSH2 0x0100 00001009: EXP 0000100a: SWAP1 0000100b: DIV 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: AND 00001022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001037: AND 00001038: PUSH4 0xf340fa01 0000103d: DUP3 0000103e: CALLER 0000103f: PUSH1 0x40 00001041: MLOAD 00001042: DUP4 00001043: PUSH4 0xffffffff 00001048: AND 00001049: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001067: MUL 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x04 0000106c: ADD 0000106d: DUP1 0000106e: DUP3 0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001084: AND 00001085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109a: AND 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x20 0000109f: ADD 000010a0: SWAP2 000010a1: POP 000010a2: POP 000010a3: PUSH1 0x00 000010a5: PUSH1 0x40 000010a7: MLOAD 000010a8: DUP1 000010a9: DUP4 000010aa: SUB 000010ab: DUP2 000010ac: DUP6 000010ad: DUP9 000010ae: DUP1 000010af: EXTCODESIZE 000010b0: ISZERO 000010b1: ISZERO 000010b2: PUSH2 0x10ba 000010b5: JUMPI 000010b6: PUSH1 0x00 000010b8: DUP1 000010b9: REVERT 000010ba: JUMPDEST 000010bb: PUSH2 0x25ee 000010be: GAS 000010bf: SUB 000010c0: CALL 000010c1: ISZERO 000010c2: ISZERO 000010c3: PUSH2 0x10cb 000010c6: JUMPI 000010c7: PUSH1 0x00 000010c9: DUP1 000010ca: REVERT 000010cb: JUMPDEST 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: POP 000010d0: JUMPDEST 000010d1: POP 000010d2: JUMP 000010d3: JUMPDEST 000010d4: PUSH2 0x10db 000010d7: PUSH2 0x0aae 000010da: JUMP 000010db: JUMPDEST 000010dc: ISZERO 000010dd: PUSH2 0x117e 000010e0: JUMPI 000010e1: PUSH1 0x0a 000010e3: PUSH1 0x00 000010e5: SWAP1 000010e6: SLOAD 000010e7: SWAP1 000010e8: PUSH2 0x0100 000010eb: EXP 000010ec: SWAP1 000010ed: DIV 000010ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001103: AND 00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001119: AND 0000111a: PUSH4 0x43d726d6 0000111f: PUSH1 0x40 00001121: MLOAD 00001122: DUP2 00001123: PUSH4 0xffffffff 00001128: AND 00001129: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001147: MUL 00001148: DUP2 00001149: MSTORE 0000114a: PUSH1 0x04 0000114c: ADD 0000114d: PUSH1 0x00 0000114f: PUSH1 0x40 00001151: MLOAD 00001152: DUP1 00001153: DUP4 00001154: SUB 00001155: DUP2 00001156: PUSH1 0x00 00001158: DUP8 00001159: DUP1 0000115a: EXTCODESIZE 0000115b: ISZERO 0000115c: ISZERO 0000115d: PUSH2 0x1165 00001160: JUMPI 00001161: PUSH1 0x00 00001163: DUP1 00001164: REVERT 00001165: JUMPDEST 00001166: PUSH2 0x02c6 00001169: GAS 0000116a: SUB 0000116b: CALL 0000116c: ISZERO 0000116d: ISZERO 0000116e: PUSH2 0x1176 00001171: JUMPI 00001172: PUSH1 0x00 00001174: DUP1 00001175: REVERT 00001176: JUMPDEST 00001177: POP 00001178: POP 00001179: POP 0000117a: PUSH2 0x1218 0000117d: JUMP 0000117e: JUMPDEST 0000117f: PUSH1 0x0a 00001181: PUSH1 0x00 00001183: SWAP1 00001184: SLOAD 00001185: SWAP1 00001186: PUSH2 0x0100 00001189: EXP 0000118a: SWAP1 0000118b: DIV 0000118c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a1: AND 000011a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b7: AND 000011b8: PUSH4 0x8c52dc41 000011bd: PUSH1 0x40 000011bf: MLOAD 000011c0: DUP2 000011c1: PUSH4 0xffffffff 000011c6: AND 000011c7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000011e5: MUL 000011e6: DUP2 000011e7: MSTORE 000011e8: PUSH1 0x04 000011ea: ADD 000011eb: PUSH1 0x00 000011ed: PUSH1 0x40 000011ef: MLOAD 000011f0: DUP1 000011f1: DUP4 000011f2: SUB 000011f3: DUP2 000011f4: PUSH1 0x00 000011f6: DUP8 000011f7: DUP1 000011f8: EXTCODESIZE 000011f9: ISZERO 000011fa: ISZERO 000011fb: PUSH2 0x1203 000011fe: JUMPI 000011ff: PUSH1 0x00 00001201: DUP1 00001202: REVERT 00001203: JUMPDEST 00001204: PUSH2 0x02c6 00001207: GAS 00001208: SUB 00001209: CALL 0000120a: ISZERO 0000120b: ISZERO 0000120c: PUSH2 0x1214 0000120f: JUMPI 00001210: PUSH1 0x00 00001212: DUP1 00001213: REVERT 00001214: JUMPDEST 00001215: POP 00001216: POP 00001217: POP 00001218: JUMPDEST 00001219: PUSH2 0x1220 0000121c: PUSH2 0x1288 0000121f: JUMP 00001220: JUMPDEST 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH1 0x00 00001225: DUP1 00001226: PUSH1 0x07 00001228: SLOAD 00001229: PUSH1 0x05 0000122b: SLOAD 0000122c: LT 0000122d: ISZERO 0000122e: SWAP1 0000122f: POP 00001230: PUSH2 0x1237 00001233: PUSH2 0x128a 00001236: JUMP 00001237: JUMPDEST 00001238: DUP1 00001239: PUSH2 0x123f 0000123c: JUMPI 0000123d: POP 0000123e: DUP1 0000123f: JUMPDEST 00001240: SWAP2 00001241: POP 00001242: POP 00001243: SWAP1 00001244: JUMP 00001245: JUMPDEST 00001246: PUSH1 0x00 00001248: DUP1 00001249: PUSH1 0x07 0000124b: SLOAD 0000124c: PUSH2 0x1260 0000124f: CALLVALUE 00001250: PUSH1 0x05 00001252: SLOAD 00001253: PUSH2 0x0e1c 00001256: SWAP1 00001257: SWAP2 00001258: SWAP1 00001259: PUSH4 0xffffffff 0000125e: AND 0000125f: JUMP 00001260: JUMPDEST 00001261: GT 00001262: ISZERO 00001263: SWAP1 00001264: POP 00001265: PUSH2 0x126c 00001268: PUSH2 0x1296 0000126b: JUMP 0000126c: JUMPDEST 0000126d: DUP1 0000126e: ISZERO 0000126f: PUSH2 0x1275 00001272: JUMPI 00001273: POP 00001274: DUP1 00001275: JUMPDEST 00001276: SWAP2 00001277: POP 00001278: POP 00001279: SWAP1 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH1 0x00 0000127e: PUSH1 0x0c 00001280: SLOAD 00001281: CALLVALUE 00001282: LT 00001283: ISZERO 00001284: SWAP1 00001285: POP 00001286: SWAP1 00001287: JUMP 00001288: JUMPDEST 00001289: JUMP 0000128a: JUMPDEST 0000128b: PUSH1 0x00 0000128d: PUSH1 0x02 0000128f: SLOAD 00001290: TIMESTAMP 00001291: GT 00001292: SWAP1 00001293: POP 00001294: SWAP1 00001295: JUMP 00001296: JUMPDEST 00001297: PUSH1 0x00 00001299: DUP1 0000129a: PUSH1 0x00 0000129c: PUSH1 0x01 0000129e: SLOAD 0000129f: TIMESTAMP 000012a0: LT 000012a1: ISZERO 000012a2: DUP1 000012a3: ISZERO 000012a4: PUSH2 0x12af 000012a7: JUMPI 000012a8: POP 000012a9: PUSH1 0x02 000012ab: SLOAD 000012ac: TIMESTAMP 000012ad: GT 000012ae: ISZERO 000012af: JUMPDEST 000012b0: SWAP2 000012b1: POP 000012b2: PUSH1 0x00 000012b4: CALLVALUE 000012b5: EQ 000012b6: ISZERO 000012b7: SWAP1 000012b8: POP 000012b9: DUP2 000012ba: DUP1 000012bb: ISZERO 000012bc: PUSH2 0x12c2 000012bf: JUMPI 000012c0: POP 000012c1: DUP1 000012c2: JUMPDEST 000012c3: SWAP3 000012c4: POP 000012c5: POP 000012c6: POP 000012c7: SWAP1 000012c8: JUMP 000012c9: JUMPDEST 000012ca: PUSH1 0x00 000012cc: PUSH1 0x06 000012ce: PUSH1 0x00 000012d0: SWAP1 000012d1: SLOAD 000012d2: SWAP1 000012d3: PUSH2 0x0100 000012d6: EXP 000012d7: SWAP1 000012d8: DIV 000012d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ee: AND 000012ef: SWAP1 000012f0: POP 000012f1: SWAP1 000012f2: JUMP 000012f3: STOP 000012f4: LOG1 000012f5: PUSH6 0x627a7a723058 000012fc: KECCAK256 000012fd: CHAINID 000012fe: DIV 000012ff: SELFBALANCE 00001300: UNKNOWN(0xC4) 00001301: UNKNOWN(0xBF) 00001302: UNKNOWN(0xE1) 00001303: REVERT 00001304: SWAP8 00001305: UNKNOWN(0xF7) 00001306: CALLDATASIZE 00001307: UNKNOWN(0xAF) 00001308: DUP7 00001309: UNKNOWN(0xEC) 0000130a: UNKNOWN(0x25) 0000130b: UNKNOWN(0xCC) 0000130c: DIFFICULTY 0000130d: UNKNOWN(0x23) 0000130e: DUP3 0000130f: LOG2 00001310: SWAP6 00001311: STATICCALL 00001312: UNKNOWN(0xA5) 00001313: UNKNOWN(0xDC) 00001314: UNKNOWN(0xBC) 00001315: CHAINID 00001316: SAR 00001317: UNKNOWN(0xAC) 00001318: UNKNOWN(0xB0) 00001319: CREATE2 0000131a: UNKNOWN(0xD0) 0000131b: UNKNOWN(0x2F) 0000131c: UNKNOWN(0xA8) 0000131d: STOP 0000131e: UNKNOWN(0x29)
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0x3479747389d96ad17e292a4dff4d5ff512f7c7ea0af727a6d675a064cc38c125
call_targets:
0x16643b4deaafa493a07f5b73a5b68f1b1ae1f327, 0x58fcf11196abaeefdf23198ec4ec9c5237963e17
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x3479747389d96ad17e292a4dff4d5ff512f7c7ea0af727a6d675a064cc38c125",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x16643b4deaafa493a07f5b73a5b68f1b1ae1f327",
"0x58fcf11196abaeefdf23198ec4ec9c5237963e17"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355274ea",
"selector": "0x355274ea",
"calldata_variants": [
"0x355274ea",
"0x355274ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40193883",
"selector": "0x40193883",
"calldata_variants": [
"0x40193883",
"0x401938830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44691f7e",
"selector": "0x44691f7e",
"calldata_variants": [
"0x44691f7e",
"0x44691f7e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1887,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2274,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 2528,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3251,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x3479747389d96ad17e292a4dff4d5ff512f7c7ea0af727a6d675a064cc38c125
call_targets:
0x16643b4deaafa493a07f5b73a5b68f1b1ae1f327, 0x58fcf11196abaeefdf23198ec4ec9c5237963e17
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x3479747389d96ad17e292a4dff4d5ff512f7c7ea0af727a6d675a064cc38c125",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x16643b4deaafa493a07f5b73a5b68f1b1ae1f327",
"0x58fcf11196abaeefdf23198ec4ec9c5237963e17"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355274ea",
"selector": "0x355274ea",
"calldata_variants": [
"0x355274ea",
"0x355274ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40193883",
"selector": "0x40193883",
"calldata_variants": [
"0x40193883",
"0x401938830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44691f7e",
"selector": "0x44691f7e",
"calldata_variants": [
"0x44691f7e",
"0x44691f7e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1887,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2274,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 2528,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3251,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xdbcfde267423e3d6705b7a1ab5a9e722a16ffade2890e26c0116db654f836162
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xdbcfde267423e3d6705b7a1ab5a9e722a16ffade2890e26c0116db654f836162",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b925b25",
"selector": "0x2b925b25",
"calldata_variants": [
"0x2b925b25",
"0x2b925b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355274ea",
"selector": "0x355274ea",
"calldata_variants": [
"0x355274ea",
"0x355274ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40193883",
"selector": "0x40193883",
"calldata_variants": [
"0x40193883",
"0x401938830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4042b66f",
"selector": "0x4042b66f",
"calldata_variants": [
"0x4042b66f",
"0x4042b66f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44691f7e",
"selector": "0x44691f7e",
"calldata_variants": [
"0x44691f7e",
"0x44691f7e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|