019b3836-25de-70a0-b847-d87427929aba
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 |
|---|---|---|---|---|
| 839 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 840 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 104793 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104794 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104795 | detector.run | complete | 1 / 3 | 1 week ago |
| 104796 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113891 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-so07a7b3 model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5ca2-013d-7391-9f26-1b38f245e184 -------- 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:53:36.015471+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 2446,
"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 0x0056 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x06fdde03 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0058 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x313ce567 00000025: EQ 00000026: PUSH2 0x00b6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x70a08231 00000030: EQ 00000031: PUSH2 0x00c2 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x95d89b41 0000003b: EQ 0000003c: PUSH2 0x00da 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xa9059cbb 00000046: EQ 00000047: PUSH2 0x0137 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb50a89f3 00000051: EQ 00000052: PUSH2 0x0166 00000055: JUMPI 00000056: JUMPDEST 00000057: STOP 00000058: JUMPDEST 00000059: PUSH1 0x40 0000005b: DUP1 0000005c: MLOAD 0000005d: PUSH1 0x00 0000005f: DUP1 00000060: SLOAD 00000061: PUSH1 0x20 00000063: PUSH1 0x02 00000065: PUSH1 0x01 00000067: DUP4 00000068: AND 00000069: ISZERO 0000006a: PUSH2 0x0100 0000006d: MUL 0000006e: PUSH1 0x00 00000070: NOT 00000071: ADD 00000072: SWAP1 00000073: SWAP3 00000074: AND 00000075: SWAP2 00000076: SWAP1 00000077: SWAP2 00000078: DIV 00000079: PUSH1 0x1f 0000007b: DUP2 0000007c: ADD 0000007d: DUP3 0000007e: SWAP1 0000007f: DIV 00000080: DUP3 00000081: MUL 00000082: DUP5 00000083: ADD 00000084: DUP3 00000085: ADD 00000086: SWAP1 00000087: SWAP5 00000088: MSTORE 00000089: DUP4 0000008a: DUP4 0000008b: MSTORE 0000008c: PUSH2 0x0299 0000008f: SWAP4 00000090: SWAP1 00000091: DUP4 00000092: ADD 00000093: DUP3 00000094: DUP3 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x035b 0000009a: JUMPI 0000009b: DUP1 0000009c: PUSH1 0x1f 0000009e: LT 0000009f: PUSH2 0x0330 000000a2: JUMPI 000000a3: PUSH2 0x0100 000000a6: DUP1 000000a7: DUP4 000000a8: SLOAD 000000a9: DIV 000000aa: MUL 000000ab: DUP4 000000ac: MSTORE 000000ad: SWAP2 000000ae: PUSH1 0x20 000000b0: ADD 000000b1: SWAP2 000000b2: PUSH2 0x035b 000000b5: JUMP 000000b6: JUMPDEST 000000b7: PUSH2 0x0307 000000ba: PUSH1 0x02 000000bc: SLOAD 000000bd: PUSH1 0xff 000000bf: AND 000000c0: DUP2 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH2 0x031e 000000c6: PUSH1 0x04 000000c8: CALLDATALOAD 000000c9: PUSH1 0x03 000000cb: PUSH1 0x20 000000cd: MSTORE 000000ce: PUSH1 0x00 000000d0: SWAP1 000000d1: DUP2 000000d2: MSTORE 000000d3: PUSH1 0x40 000000d5: SWAP1 000000d6: KECCAK256 000000d7: SLOAD 000000d8: DUP2 000000d9: JUMP 000000da: JUMPDEST 000000db: PUSH2 0x0299 000000de: PUSH1 0x01 000000e0: DUP1 000000e1: SLOAD 000000e2: PUSH1 0x40 000000e4: DUP1 000000e5: MLOAD 000000e6: PUSH1 0x20 000000e8: PUSH1 0x02 000000ea: DUP5 000000eb: DUP7 000000ec: AND 000000ed: ISZERO 000000ee: PUSH2 0x0100 000000f1: MUL 000000f2: PUSH1 0x00 000000f4: NOT 000000f5: ADD 000000f6: SWAP1 000000f7: SWAP5 000000f8: AND 000000f9: SWAP4 000000fa: SWAP1 000000fb: SWAP4 000000fc: DIV 000000fd: PUSH1 0x1f 000000ff: DUP2 00000100: ADD 00000101: DUP5 00000102: SWAP1 00000103: DIV 00000104: DUP5 00000105: MUL 00000106: DUP3 00000107: ADD 00000108: DUP5 00000109: ADD 0000010a: SWAP1 0000010b: SWAP3 0000010c: MSTORE 0000010d: DUP2 0000010e: DUP2 0000010f: MSTORE 00000110: SWAP3 00000111: SWAP2 00000112: DUP4 00000113: ADD 00000114: DUP3 00000115: DUP3 00000116: DUP1 00000117: ISZERO 00000118: PUSH2 0x035b 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH1 0x1f 0000011f: LT 00000120: PUSH2 0x0330 00000123: JUMPI 00000124: PUSH2 0x0100 00000127: DUP1 00000128: DUP4 00000129: SLOAD 0000012a: DIV 0000012b: MUL 0000012c: DUP4 0000012d: MSTORE 0000012e: SWAP2 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP2 00000133: PUSH2 0x035b 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x0056 0000013b: PUSH1 0x04 0000013d: CALLDATALOAD 0000013e: PUSH1 0x24 00000140: CALLDATALOAD 00000141: PUSH1 0x01 00000143: PUSH1 0xa0 00000145: PUSH1 0x02 00000147: EXP 00000148: SUB 00000149: CALLER 0000014a: AND 0000014b: PUSH1 0x00 0000014d: SWAP1 0000014e: DUP2 0000014f: MSTORE 00000150: PUSH1 0x03 00000152: PUSH1 0x20 00000154: MSTORE 00000155: PUSH1 0x40 00000157: SWAP1 00000158: KECCAK256 00000159: SLOAD 0000015a: DUP2 0000015b: SWAP1 0000015c: LT 0000015d: ISZERO 0000015e: PUSH2 0x0363 00000161: JUMPI 00000162: PUSH2 0x0002 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: DUP1 0000016a: MLOAD 0000016b: PUSH1 0x20 0000016d: PUSH1 0x04 0000016f: PUSH1 0x24 00000171: DUP1 00000172: CALLDATALOAD 00000173: DUP3 00000174: DUP2 00000175: ADD 00000176: CALLDATALOAD 00000177: PUSH1 0x1f 00000179: DUP2 0000017a: ADD 0000017b: DUP6 0000017c: SWAP1 0000017d: DIV 0000017e: DUP6 0000017f: MUL 00000180: DUP7 00000181: ADD 00000182: DUP6 00000183: ADD 00000184: SWAP1 00000185: SWAP7 00000186: MSTORE 00000187: DUP6 00000188: DUP6 00000189: MSTORE 0000018a: PUSH2 0x0056 0000018d: SWAP6 0000018e: DUP4 0000018f: CALLDATALOAD 00000190: SWAP6 00000191: SWAP4 00000192: SWAP5 00000193: PUSH1 0x44 00000195: SWAP5 00000196: SWAP4 00000197: SWAP3 00000198: SWAP1 00000199: SWAP3 0000019a: ADD 0000019b: SWAP2 0000019c: DUP2 0000019d: SWAP1 0000019e: DUP5 0000019f: ADD 000001a0: DUP4 000001a1: DUP3 000001a2: DUP1 000001a3: DUP3 000001a4: DUP5 000001a5: CALLDATACOPY 000001a6: POP 000001a7: POP 000001a8: PUSH1 0x40 000001aa: DUP1 000001ab: MLOAD 000001ac: PUSH1 0x20 000001ae: SWAP8 000001af: CALLDATALOAD 000001b0: DUP1 000001b1: DUP11 000001b2: ADD 000001b3: CALLDATALOAD 000001b4: PUSH1 0x1f 000001b6: DUP2 000001b7: ADD 000001b8: DUP11 000001b9: SWAP1 000001ba: DIV 000001bb: DUP11 000001bc: MUL 000001bd: DUP4 000001be: ADD 000001bf: DUP11 000001c0: ADD 000001c1: SWAP1 000001c2: SWAP4 000001c3: MSTORE 000001c4: DUP3 000001c5: DUP3 000001c6: MSTORE 000001c7: SWAP7 000001c8: SWAP9 000001c9: SWAP8 000001ca: PUSH1 0x64 000001cc: SWAP8 000001cd: SWAP2 000001ce: SWAP7 000001cf: POP 000001d0: PUSH1 0x24 000001d2: SWAP2 000001d3: SWAP1 000001d4: SWAP2 000001d5: ADD 000001d6: SWAP5 000001d7: POP 000001d8: SWAP1 000001d9: SWAP3 000001da: POP 000001db: DUP3 000001dc: SWAP2 000001dd: POP 000001de: DUP5 000001df: ADD 000001e0: DUP4 000001e1: DUP3 000001e2: DUP1 000001e3: DUP3 000001e4: DUP5 000001e5: CALLDATACOPY 000001e6: POP 000001e7: SWAP5 000001e8: SWAP7 000001e9: POP 000001ea: POP 000001eb: SWAP4 000001ec: CALLDATALOAD 000001ed: SWAP4 000001ee: POP 000001ef: POP 000001f0: POP 000001f1: POP 000001f2: DUP4 000001f3: PUSH1 0x00 000001f5: EQ 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x64 000001fd: SWAP4 000001fe: POP 000001ff: JUMPDEST 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: PUSH1 0x02 00000206: EXP 00000207: SUB 00000208: CALLER 00000209: AND 0000020a: PUSH1 0x00 0000020c: SWAP1 0000020d: DUP2 0000020e: MSTORE 0000020f: PUSH1 0x03 00000211: PUSH1 0x20 00000213: SWAP1 00000214: DUP2 00000215: MSTORE 00000216: PUSH1 0x40 00000218: DUP3 00000219: KECCAK256 0000021a: DUP7 0000021b: SWAP1 0000021c: SSTORE 0000021d: DUP5 0000021e: MLOAD 0000021f: DUP3 00000220: SLOAD 00000221: DUP4 00000222: DUP1 00000223: MSTORE 00000224: PUSH1 0x02 00000226: PUSH1 0x01 00000228: DUP3 00000229: AND 0000022a: ISZERO 0000022b: PUSH2 0x0100 0000022e: MUL 0000022f: PUSH1 0x00 00000231: NOT 00000232: ADD 00000233: SWAP1 00000234: SWAP2 00000235: AND 00000236: DIV 00000237: PUSH1 0x1f 00000239: SWAP1 0000023a: DUP2 0000023b: ADD 0000023c: DUP4 0000023d: SWAP1 0000023e: DIV 0000023f: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00000260: SWAP1 00000261: DUP2 00000262: ADD 00000263: SWAP4 00000264: SWAP1 00000265: SWAP2 00000266: SWAP1 00000267: DUP9 00000268: ADD 00000269: SWAP1 0000026a: DUP4 0000026b: SWAP1 0000026c: LT 0000026d: PUSH2 0x03f5 00000270: JUMPI 00000271: DUP1 00000272: MLOAD 00000273: PUSH1 0xff 00000275: NOT 00000276: AND 00000277: DUP4 00000278: DUP1 00000279: ADD 0000027a: OR 0000027b: DUP6 0000027c: SSTORE 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x0425 00000282: SWAP3 00000283: SWAP2 00000284: POP 00000285: JUMPDEST 00000286: DUP1 00000287: DUP3 00000288: GT 00000289: ISZERO 0000028a: PUSH2 0x047e 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP2 00000291: SSTORE 00000292: PUSH1 0x01 00000294: ADD 00000295: PUSH2 0x0285 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: DUP1 0000029e: DUP1 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: DUP3 000002a3: DUP2 000002a4: SUB 000002a5: DUP3 000002a6: MSTORE 000002a7: DUP4 000002a8: DUP2 000002a9: DUP2 000002aa: MLOAD 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x20 000002af: ADD 000002b0: SWAP2 000002b1: POP 000002b2: DUP1 000002b3: MLOAD 000002b4: SWAP1 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP1 000002b9: DUP1 000002ba: DUP4 000002bb: DUP4 000002bc: DUP3 000002bd: SWAP1 000002be: PUSH1 0x00 000002c0: PUSH1 0x04 000002c2: PUSH1 0x20 000002c4: DUP5 000002c5: PUSH1 0x1f 000002c7: ADD 000002c8: DIV 000002c9: PUSH1 0x03 000002cb: MUL 000002cc: PUSH1 0x0f 000002ce: ADD 000002cf: CALL 000002d0: POP 000002d1: SWAP1 000002d2: POP 000002d3: SWAP1 000002d4: DUP2 000002d5: ADD 000002d6: SWAP1 000002d7: PUSH1 0x1f 000002d9: AND 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02f9 000002df: JUMPI 000002e0: DUP1 000002e1: DUP3 000002e2: SUB 000002e3: DUP1 000002e4: MLOAD 000002e5: PUSH1 0x01 000002e7: DUP4 000002e8: PUSH1 0x20 000002ea: SUB 000002eb: PUSH2 0x0100 000002ee: EXP 000002ef: SUB 000002f0: NOT 000002f1: AND 000002f2: DUP2 000002f3: MSTORE 000002f4: PUSH1 0x20 000002f6: ADD 000002f7: SWAP2 000002f8: POP 000002f9: JUMPDEST 000002fa: POP 000002fb: SWAP3 000002fc: POP 000002fd: POP 000002fe: POP 000002ff: PUSH1 0x40 00000301: MLOAD 00000302: DUP1 00000303: SWAP2 00000304: SUB 00000305: SWAP1 00000306: RETURN 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: DUP1 0000030b: MLOAD 0000030c: PUSH1 0xff 0000030e: SWAP3 0000030f: SWAP1 00000310: SWAP3 00000311: AND 00000312: DUP3 00000313: MSTORE 00000314: MLOAD 00000315: SWAP1 00000316: DUP2 00000317: SWAP1 00000318: SUB 00000319: PUSH1 0x20 0000031b: ADD 0000031c: SWAP1 0000031d: RETURN 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: DUP1 00000322: MLOAD 00000323: SWAP2 00000324: DUP3 00000325: MSTORE 00000326: MLOAD 00000327: SWAP1 00000328: DUP2 00000329: SWAP1 0000032a: SUB 0000032b: PUSH1 0x20 0000032d: ADD 0000032e: SWAP1 0000032f: RETURN 00000330: JUMPDEST 00000331: DUP3 00000332: ADD 00000333: SWAP2 00000334: SWAP1 00000335: PUSH1 0x00 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: PUSH1 0x00 0000033c: KECCAK256 0000033d: SWAP1 0000033e: JUMPDEST 0000033f: DUP2 00000340: SLOAD 00000341: DUP2 00000342: MSTORE 00000343: SWAP1 00000344: PUSH1 0x01 00000346: ADD 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: DUP1 0000034c: DUP4 0000034d: GT 0000034e: PUSH2 0x033e 00000351: JUMPI 00000352: DUP3 00000353: SWAP1 00000354: SUB 00000355: PUSH1 0x1f 00000357: AND 00000358: DUP3 00000359: ADD 0000035a: SWAP2 0000035b: JUMPDEST 0000035c: POP 0000035d: POP 0000035e: POP 0000035f: POP 00000360: POP 00000361: DUP2 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x01 00000366: PUSH1 0xa0 00000368: PUSH1 0x02 0000036a: EXP 0000036b: SUB 0000036c: DUP3 0000036d: AND 0000036e: PUSH1 0x00 00000370: SWAP1 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0x03 00000375: PUSH1 0x20 00000377: MSTORE 00000378: PUSH1 0x40 0000037a: SWAP1 0000037b: KECCAK256 0000037c: SLOAD 0000037d: DUP1 0000037e: DUP3 0000037f: ADD 00000380: LT 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH2 0x0002 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH1 0x01 0000038d: PUSH1 0xa0 0000038f: PUSH1 0x02 00000391: EXP 00000392: SUB 00000393: CALLER 00000394: DUP2 00000395: AND 00000396: PUSH1 0x00 00000398: DUP2 00000399: DUP2 0000039a: MSTORE 0000039b: PUSH1 0x03 0000039d: PUSH1 0x20 0000039f: SWAP1 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x40 000003a4: DUP1 000003a5: DUP4 000003a6: KECCAK256 000003a7: DUP1 000003a8: SLOAD 000003a9: DUP8 000003aa: SWAP1 000003ab: SUB 000003ac: SWAP1 000003ad: SSTORE 000003ae: SWAP4 000003af: DUP7 000003b0: AND 000003b1: DUP1 000003b2: DUP4 000003b3: MSTORE 000003b4: SWAP2 000003b5: DUP5 000003b6: SWAP1 000003b7: KECCAK256 000003b8: DUP1 000003b9: SLOAD 000003ba: DUP7 000003bb: ADD 000003bc: SWAP1 000003bd: SSTORE 000003be: DUP4 000003bf: MLOAD 000003c0: DUP6 000003c1: DUP2 000003c2: MSTORE 000003c3: SWAP4 000003c4: MLOAD 000003c5: SWAP2 000003c6: SWAP4 000003c7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000003e8: SWAP3 000003e9: SWAP1 000003ea: DUP2 000003eb: SWAP1 000003ec: SUB 000003ed: SWAP1 000003ee: SWAP2 000003ef: ADD 000003f0: SWAP1 000003f1: LOG3 000003f2: POP 000003f3: POP 000003f4: JUMP 000003f5: JUMPDEST 000003f6: DUP3 000003f7: DUP1 000003f8: ADD 000003f9: PUSH1 0x01 000003fb: ADD 000003fc: DUP6 000003fd: SSTORE 000003fe: DUP3 000003ff: ISZERO 00000400: PUSH2 0x027d 00000403: JUMPI 00000404: SWAP2 00000405: DUP3 00000406: ADD 00000407: JUMPDEST 00000408: DUP3 00000409: DUP2 0000040a: GT 0000040b: ISZERO 0000040c: PUSH2 0x027d 0000040f: JUMPI 00000410: DUP3 00000411: MLOAD 00000412: DUP3 00000413: PUSH1 0x00 00000415: POP 00000416: SSTORE 00000417: SWAP2 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP2 0000041c: SWAP1 0000041d: PUSH1 0x01 0000041f: ADD 00000420: SWAP1 00000421: PUSH2 0x0407 00000424: JUMP 00000425: JUMPDEST 00000426: POP 00000427: POP 00000428: DUP2 00000429: PUSH1 0x01 0000042b: PUSH1 0x00 0000042d: POP 0000042e: SWAP1 0000042f: DUP1 00000430: MLOAD 00000431: SWAP1 00000432: PUSH1 0x20 00000434: ADD 00000435: SWAP1 00000436: DUP3 00000437: DUP1 00000438: SLOAD 00000439: PUSH1 0x01 0000043b: DUP2 0000043c: PUSH1 0x01 0000043e: AND 0000043f: ISZERO 00000440: PUSH2 0x0100 00000443: MUL 00000444: SUB 00000445: AND 00000446: PUSH1 0x02 00000448: SWAP1 00000449: DIV 0000044a: SWAP1 0000044b: PUSH1 0x00 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: PUSH1 0x00 00000452: KECCAK256 00000453: SWAP1 00000454: PUSH1 0x1f 00000456: ADD 00000457: PUSH1 0x20 00000459: SWAP1 0000045a: DIV 0000045b: DUP2 0000045c: ADD 0000045d: SWAP3 0000045e: DUP3 0000045f: PUSH1 0x1f 00000461: LT 00000462: PUSH2 0x0482 00000465: JUMPI 00000466: DUP1 00000467: MLOAD 00000468: PUSH1 0xff 0000046a: NOT 0000046b: AND 0000046c: DUP4 0000046d: DUP1 0000046e: ADD 0000046f: OR 00000470: DUP6 00000471: SSTORE 00000472: JUMPDEST 00000473: POP 00000474: PUSH2 0x04b2 00000477: SWAP3 00000478: SWAP2 00000479: POP 0000047a: PUSH2 0x0285 0000047d: JUMP 0000047e: JUMPDEST 0000047f: POP 00000480: SWAP1 00000481: JUMP 00000482: JUMPDEST 00000483: DUP3 00000484: DUP1 00000485: ADD 00000486: PUSH1 0x01 00000488: ADD 00000489: DUP6 0000048a: SSTORE 0000048b: DUP3 0000048c: ISZERO 0000048d: PUSH2 0x0472 00000490: JUMPI 00000491: SWAP2 00000492: DUP3 00000493: ADD 00000494: JUMPDEST 00000495: DUP3 00000496: DUP2 00000497: GT 00000498: ISZERO 00000499: PUSH2 0x0472 0000049c: JUMPI 0000049d: DUP3 0000049e: MLOAD 0000049f: DUP3 000004a0: PUSH1 0x00 000004a2: POP 000004a3: SSTORE 000004a4: SWAP2 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: SWAP2 000004a9: SWAP1 000004aa: PUSH1 0x01 000004ac: ADD 000004ad: SWAP1 000004ae: PUSH2 0x0494 000004b1: JUMP 000004b2: JUMPDEST 000004b3: POP 000004b4: POP 000004b5: PUSH1 0x02 000004b7: DUP1 000004b8: SLOAD 000004b9: PUSH1 0xff 000004bb: NOT 000004bc: AND 000004bd: DUP3 000004be: OR 000004bf: SWAP1 000004c0: SSTORE 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: POP 000004c5: 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: 0xc9929f8888b1217269d87225c696c1577494fa7241ba83fc2d414c6c64ced011
call_targets:
0x0000000000000000000000000000000000000004, 0x491e59358171dcf43b7846fc235e8a305057e8e1
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc9929f8888b1217269d87225c696c1577494fa7241ba83fc2d414c6c64ced011",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x491e59358171dcf43b7846fc235e8a305057e8e1"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb50a89f3",
"selector": "0xb50a89f3",
"calldata_variants": [
"0xb50a89f3",
"0xb50a89f30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0xc9929f8888b1217269d87225c696c1577494fa7241ba83fc2d414c6c64ced011
call_targets:
0x0000000000000000000000000000000000000004, 0x491e59358171dcf43b7846fc235e8a305057e8e1
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc9929f8888b1217269d87225c696c1577494fa7241ba83fc2d414c6c64ced011",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x491e59358171dcf43b7846fc235e8a305057e8e1"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb50a89f3",
"selector": "0xb50a89f3",
"calldata_variants": [
"0xb50a89f3",
"0xb50a89f30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|