019b3836-26af-7038-a6a2-7e46c2772286
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 |
|---|---|---|---|---|
| 963 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 964 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44355 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 44356 | capability.graph | complete | 1 / 3 | 1 week ago |
| 44357 | detector.run | complete | 1 / 3 | 1 week ago |
| 44358 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113229 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode is consistent with a minimal legacy ERC20-style token. I did not find reentrancy, delegatecall, proxy/upgrade, or privileged-control issues. The detector-reported CALL is a false positive: the only CALL is at pc:0x188 and is the identity precompile pattern used while returning dynamic strings, not an untrusted external interaction. I found two low-severity issues: the fallback path accepts ETH and appears to trap it, and selector 0xa9059cbb follows a non-standard transfer implementation that returns no boolean.","findings":[{"severity":"low","category":"other","title":"Fallback path accepts ETH and appears to trap it permanently","exploit_scenario":"Any user, router, or integration that sends ETH to this token contract with empty calldata or an unknown selector will succeed instead of reverting. Because the runtime exposes no withdrawal/selfdestruct path and the only observed CALL is an internal-style identity-precompile use for string handling, that ETH would remain stuck in the contract.","recommendation":"Add a nonpayable fallback/receive that reverts on nonzero msg.value, or add an explicit rescue path if ETH custody is intended.","evidence":"The dispatcher has no CALLVALUE check before selector routing, and unmatched calls fall through to pc:0x45 where execution stops successfully. No withdraw-like path, delegatecall, or selfdestruct is present in the runtime. The only CALL in evidence is at pc:0x188 and matches the old Solidity identity-precompile copy pattern, so it does not provide ETH recovery.","locations":["pc:0x0","pc:0x45","pc:0x188"]},{"severity":"low","category":"other","title":"`transfer` selector appears to be non-standard and returns no boolean","exploit_scenario":"Contracts that interact through the standard ERC20 ABI and expect `transfer(address,uint256)` to return a 32-byte boolean may revert during ABI decoding. That can break integrations or leave token flows stuck in wrappers, vaults, bridges, or payment contracts that use strict high-level calls.","recommendation":"If this code is being reused or wrapped, expose a standards-compliant adapter that returns `true` on success, or ensure integrations use safe low-level token handling that tolerates missing return data.","evidence":"Selector inference is best-effort, but 0xa9059cbb is strongly consistent with `transfer(address,uint256)`. Its entry at pc:0x123 pushes return destination pc:0x45, and the success path at pc:0x298 jumps there after balance updates and `Transfer` event emission. pc:0x45 is a `STOP`, so no 32-byte success value is returned.","locations":["selector:0xa9059cbb","pc:0x123","pc:0x298","pc:0x45"]}]}
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-kqit6ehr
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5b63-673d-7232-804f-9981ebab7af0
--------
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.
exec
/bin/bash -lc 'pwd && ls -la && rg --files' in /tmp/codex-kqit6ehr
succeeded in 0ms:
/tmp/codex-kqit6ehr
total 80
drwx------ 2 noahkuhn noahkuhn 4096 Apr 5 02:05 .
drwxrwxrwt 270 nobody nogroup 24576 Apr 5 02:05 ..
-rw-rw-r-- 1 noahkuhn noahkuhn 44930 Apr 5 02:05 BYTECODE_BUNDLE.json
-rw-rw-r-- 1 noahkuhn noahkuhn 815 Apr 5 02:05 codex-output-schema.json
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc "sed -n '1,260p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
{
"analysis_artifact": {
"address": "0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99",
"artifact_hash": "0x3507eec9e9816378d50c90619a6b14307e22cf20470eeec8c3f9a75d46ecfd5a",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 24,
"hash": "0x6a350686911b120d699f8e8d1e9440d4ce17c4434492baee43484e2ef083a112",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"PUSH1",
"EXP",
"PUSH1",
"CALLDATALOAD",
"DIV",
"PUSH4",
"OP_81",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 0
},
{
"end_pc": 35,
"hash": "0x09fc75e3aa8fb02b98e24881cc463925488c7dfa7ef308570a5930c5c420c614",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 25
},
{
"end_pc": 46,
"hash": "0x976103db32485bde438fb5c3f9f54ee02f48623f2e3b08249411cd4aee3c334a",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 36
},
{
"end_pc": 57,
"hash": "0x3c19c073e27395dc44272beb525b6373ad140a4045aabbd1b653e498e1806824",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 47
},
{
"end_pc": 68,
"hash": "0x3a122683470ea7901e31e80e6378780a829a06da64b04e691b5d5c5621392507",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 58
},
{
"end_pc": 70,
"hash": "0x55afd043d32294d5f0189f5a0aa04f3174e4c087a31c85396f49b5f17813cb96",
"opcodes": [
"JUMPDEST",
"STOP"
],
"start_pc": 69
},
{
"end_pc": 136,
"hash": "0xec67f3874a81e276f4497a4f9168afd2521b3b861d4cc15c8da4a0556656b752",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"OP_83",
"AND",
"ISZERO",
"PUSH2",
"MUL",
"PUSH1",
"NOT",
"ADD",
"OP_90",
"OP_92",
"AND",
"OP_91",
"OP_90",
"OP_91",
"DIV",
"PUSH1",
"OP_81",
"ADD",
"OP_82",
"OP_90",
"DIV",
"OP_90",
"OP_91",
"MUL",
"PUSH1",
"OP_90",
"OP_81",
"ADD",
"PUSH1",
"MSTORE",
"PUSH1",
"OP_82",
"OP_81",
"MSTORE",
"OP_92",
"OP_91",
"OP_90",
"OP_82",
"OP_82",
"OP_80",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 71
},
{
"end_pc": 144,
"hash": "0x38fe7e3cebe2dd28488c693680c8c0a0a5a5585741c1ccbdb984bb79acc2d6d5",
"opcodes": [
"OP_80",
"PUSH1",
"LT",
"PUSH2",
"JUMPI"
],
"start_pc": 137
},
{
"end_pc": 163,
"hash": "0x39d82d062f67a4ee303cb8ba95f6d709cb38320623002519adc99ca3f1c5bac0",
"opcodes": [
"PUSH2",
"OP_80",
"OP_83",
"SLOAD",
"DIV",
"MUL",
"OP_83",
"MSTORE",
"OP_91",
"PUSH1",
"ADD",
"OP_91",
"PUSH2",
"JUMP"
],
"start_pc": 145
},
{
"end_pc": 175,
"hash": "0x938aee19a0e1094c19b5a9528f839968d51c237564158e673ab6899436584f6e",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"SLOAD",
"PUSH1",
"AND",
"OP_81",
"JUMP"
],
"start_pc": 164
},
{
"end_pc": 199,
"hash": "0x7b0565c261db3d55c39f20ac0ee4d4710d6951f51b6844e361a4647909dcfc38",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"OP_90",
"SHA3",
"SLOAD",
"OP_81",
"JUMP"
],
"start_pc": 176
},
{
"end_pc": 263,
"hash": "0x2dd3321e3d3cee3d8772c60a1b65a39fac69bc39f743fc4373df122a940b48c8",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"PUSH1",
"NOT",
"PUSH2",
"OP_85",
"OP_87",
"AND",
"ISZERO",
"MUL",
"ADD",
"OP_90",
"OP_93",
"AND",
"OP_92",
"OP_90",
"OP_92",
"DIV",
"OP_91",
"OP_82",
"ADD",
"OP_81",
"OP_90",
"DIV",
"MUL",
"PUSH1",
"OP_90",
"OP_81",
"ADD",
"PUSH1",
"MSTORE",
"PUSH1",
"OP_82",
exec
/bin/bash -lc "sed -n '261,520p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
"OP_81",
"MSTORE",
"OP_92",
"OP_91",
"OP_90",
"OP_82",
"OP_82",
"OP_80",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 200
},
{
"end_pc": 271,
"hash": "0xf48897fe83e8a1c08c2d0a4c53c8e3efbe26a20090e2685c70de180198db9cd6",
"opcodes": [
"OP_80",
"PUSH1",
"LT",
"PUSH2",
"JUMPI"
],
"start_pc": 264
},
{
"end_pc": 290,
"hash": "0x104a032d4fc7353fcb25eead7bbb8424937000b97270e2a1e39430f6e1787b82",
"opcodes": [
"PUSH2",
"OP_80",
"OP_83",
"SLOAD",
"DIV",
"MUL",
"OP_83",
"MSTORE",
"OP_91",
"PUSH1",
"ADD",
"OP_91",
"PUSH2",
"JUMP"
],
"start_pc": 272
},
{
"end_pc": 333,
"hash": "0x3701c3a8e82a5d4ddfedacd82f061822678b81cd9b3e04365c3d36dbf3fdbf1e",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"CALLER",
"AND",
"PUSH1",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"OP_90",
"SHA3",
"SLOAD",
"OP_81",
"OP_90",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 291
},
{
"end_pc": 337,
"hash": "0x5ebda49c75a90269902080f51db6f1c7b1af883a7fd6baf1d61b81a8b96dcdca",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 334
},
{
"end_pc": 408,
"hash": "0x5c91046627439dc30668d4e42561f655c26d9a339fc0029841b375508f7254a6",
"opcodes": [
"JUMPDEST",
"PUSH1",
"MLOAD",
"OP_80",
"OP_80",
"PUSH1",
"ADD",
"OP_82",
"OP_81",
"SUB",
"OP_82",
"MSTORE",
"OP_83",
"OP_81",
"OP_81",
"MLOAD",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_91",
"POP",
"OP_80",
"MLOAD",
"OP_90",
"PUSH1",
"ADD",
"OP_90",
"OP_80",
"OP_83",
"OP_83",
"OP_82",
"OP_90",
"PUSH1",
"PUSH1",
"PUSH1",
"OP_84",
"PUSH1",
"ADD",
"DIV",
"PUSH1",
"MUL",
"PUSH1",
"ADD",
"CALL",
"POP",
"OP_90",
"POP",
"OP_90",
"OP_81",
"ADD",
"OP_90",
"PUSH1",
"AND",
"OP_80",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 338
},
{
"end_pc": 433,
"hash": "0xc0a703c2254334f9171c8126ae06fea5cf289341f4c19c890fa2f6b928c400e4",
"opcodes": [
"OP_80",
"OP_82",
"SUB",
"OP_80",
"MLOAD",
"PUSH1",
"OP_83",
"PUSH1",
"SUB",
"PUSH2",
"EXP",
"SUB",
"NOT",
"AND",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_91",
"POP"
],
"start_pc": 409
},
{
"end_pc": 447,
"hash": "0xbbf38bd955ec6188d491c8a752950f390e38b6a9203b6891438ecf3d66b81c51",
"opcodes": [
"JUMPDEST",
"POP",
"OP_92",
"POP",
"POP",
"POP",
"PUSH1",
"MLOAD",
"OP_80",
"OP_91",
"SUB",
"OP_90",
"RETURN"
],
"start_pc": 434
},
{
"end_pc": 457,
"hash": "0xe40870dc717cbfdedea9fbb4d2473ca373d3dd88734eda3a8e7ff7e0a08a80de",
"opcodes": [
"JUMPDEST",
"PUSH1",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"OP_90",
"RETURN"
],
"start_pc": 448
},
{
"end_pc": 487,
"hash": "0x418b0fde511679c511110cd65c959067f3759b652c05b9b5da7482388254699e",
"opcodes": [
"JUMPDEST",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_82",
"AND",
"PUSH1",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"OP_90",
"SHA3",
"SLOAD",
"OP_80",
"OP_82",
"ADD",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 458
},
{
"end_pc": 491,
"hash": "0x8f4bf7636b663e8793c58303ec18606236d677f96f3ca2e04c131b00709b1be1",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 488
},
{
exec
/bin/bash -lc "sed -n '521,780p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
"end_pc": 664,
"hash": "0xc9d850040a439217133da6682d76ee8c6d05277a847fb1bb17bd89529d66c1b9",
"opcodes": [
"JUMPDEST",
"OP_80",
"PUSH1",
"PUSH1",
"POP",
"PUSH1",
"CALLER",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"PUSH1",
"SHA3",
"PUSH1",
"OP_82",
"OP_82",
"OP_82",
"POP",
"SLOAD",
"SUB",
"OP_92",
"POP",
"POP",
"OP_81",
"OP_90",
"SSTORE",
"POP",
"OP_80",
"PUSH1",
"PUSH1",
"POP",
"PUSH1",
"OP_84",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_90",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"PUSH1",
"SHA3",
"PUSH1",
"OP_82",
"OP_82",
"OP_82",
"POP",
"SLOAD",
"ADD",
"OP_92",
"POP",
"POP",
"OP_81",
"OP_90",
"SSTORE",
"POP",
"OP_81",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"CALLER",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"PUSH32",
"OP_83",
"PUSH1",
"MLOAD",
"OP_80",
"OP_82",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_91",
"POP",
"POP",
"PUSH1",
"MLOAD",
"OP_80",
"OP_91",
"SUB",
"OP_90",
"OP_A3",
"POP",
"POP",
"JUMP"
],
"start_pc": 492
},
{
"end_pc": 678,
"hash": "0x4ebd3e4182c294e7e0cfcee32fa54a9c518a3bf7316c128ec5f3adae1aea52d7",
"opcodes": [
"JUMPDEST",
"OP_82",
"ADD",
"OP_91",
"OP_90",
"PUSH1",
"MSTORE",
"PUSH1",
"PUSH1",
"SHA3",
"OP_90"
],
"start_pc": 665
},
{
"end_pc": 698,
"hash": "0xdbd538713982294e8d700fcb95e735f41532da59590c25f6e1bcf58812962b6c",
"opcodes": [
"JUMPDEST",
"OP_81",
"SLOAD",
"OP_81",
"MSTORE",
"OP_90",
"PUSH1",
"ADD",
"OP_90",
"PUSH1",
"ADD",
"OP_80",
"OP_83",
"GT",
"PUSH2",
"JUMPI"
],
"start_pc": 679
},
{
"end_pc": 707,
"hash": "0x3d326e1ae9b5522da4b7bc7795b735c25eed77ef0d3716ee451b8ba034d2046e",
"opcodes": [
"OP_82",
"OP_90",
"SUB",
"PUSH1",
"AND",
"OP_82",
"ADD",
"OP_91"
],
"start_pc": 699
},
{
"end_pc": 715,
"hash": "0x0fbc397827201e77529cd13bfad147697e40ac8cbd7c51e40d923a2dd215bc23",
"opcodes": [
"JUMPDEST",
"POP",
"POP",
"POP",
"POP",
"POP",
"OP_81",
"JUMP"
],
"start_pc": 708
}
],
"callsites": [
{
"opcode": "CALL",
"pc": 392,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"cfg_edges": [
{
"from": "bb:0",
"to": "bb:71",
"type": "control_flow"
},
{
"from": "bb:0",
"to": "bb:25",
"type": "control_flow_fallthrough"
},
{
"from": "bb:25",
"to": "bb:164",
"type": "control_flow"
},
{
"from": "bb:25",
"to": "bb:36",
"type": "control_flow_fallthrough"
},
{
"from": "bb:36",
"to": "bb:176",
"type": "control_flow"
},
{
"from": "bb:36",
"to": "bb:47",
"type": "control_flow_fallthrough"
},
{
"from": "bb:47",
"to": "bb:200",
"type": "control_flow"
},
{
"from": "bb:47",
"to": "bb:58",
"type": "control_flow_fallthrough"
},
{
"from": "bb:58",
"to": "bb:291",
"type": "control_flow"
},
{
"from": "bb:58",
"to": "bb:69",
"type": "control_flow_fallthrough"
},
{
"from": "bb:71",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:71",
"to": "bb:137",
"type": "control_flow_fallthrough"
},
exec
/bin/bash -lc "sed -n '781,1040p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
{
"from": "bb:137",
"to": "bb:665",
"type": "control_flow"
},
{
"from": "bb:137",
"to": "bb:145",
"type": "control_flow_fallthrough"
},
{
"from": "bb:145",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:200",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:200",
"to": "bb:264",
"type": "control_flow_fallthrough"
},
{
"from": "bb:264",
"to": "bb:665",
"type": "control_flow"
},
{
"from": "bb:264",
"to": "bb:272",
"type": "control_flow_fallthrough"
},
{
"from": "bb:272",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:291",
"to": "bb:458",
"type": "control_flow"
},
{
"from": "bb:291",
"to": "bb:334",
"type": "control_flow_fallthrough"
},
{
"from": "bb:338",
"to": "bb:434",
"type": "control_flow"
},
{
"from": "bb:338",
"to": "bb:409",
"type": "control_flow_fallthrough"
},
{
"from": "bb:409",
"to": "bb:434",
"type": "control_flow_fallthrough"
},
{
"from": "bb:458",
"to": "bb:492",
"type": "control_flow"
},
{
"from": "bb:458",
"to": "bb:488",
"type": "control_flow_fallthrough"
},
{
"from": "bb:665",
"to": "bb:679",
"type": "control_flow_fallthrough"
},
{
"from": "bb:679",
"to": "bb:679",
"type": "control_flow"
},
{
"from": "bb:679",
"to": "bb:699",
"type": "control_flow_fallthrough"
},
{
"from": "bb:699",
"to": "bb:708",
"type": "control_flow_fallthrough"
}
],
"cfg_hash": "0x9abb15627ca3cf44a586913ae67d2babe2e198fcd8469a12e81225c95ba2c665",
"dispatcher_type": "selector_jump_table",
"function_entries": [
{
"entry_pc": null,
"selector": "0x06fdde03"
},
{
"entry_pc": 1889567281,
"selector": "0x313ce567"
},
{
"entry_pc": 2514000705,
"selector": "0x70a08231"
},
{
"entry_pc": 2835717307,
"selector": "0x95d89b41"
},
{
"entry_pc": null,
"selector": "0xa9059cbb"
}
],
"functions": [
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0x06fdde03",
"sinks": {
"call": 1,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1889567281,
"selector": "0x313ce567",
"sinks": {
"call": 1,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2514000705,
"selector": "0x70a08231",
"sinks": {
"call": 1,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2835717307,
"selector": "0x95d89b41",
"sinks": {
exec
/bin/bash -lc "sed -n '1041,1300p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
"call": 1,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
}
},
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0xa9059cbb",
"sinks": {
"call": 1,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
}
}
],
"selectors": [
"0x06fdde03",
"0x313ce567",
"0x70a08231",
"0x95d89b41",
"0xa9059cbb"
],
"sinks": {
"call": 1,
"create": 0,
"create2": 0,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0,
"upgrade_slot_write_suspected": false
},
"storage": {
"keccak_count": 6,
"reads": 11,
"slots": [
{
"op": "SLOAD",
"pc": 78,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 150,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 170,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 207,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 277,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
}
],
"writes": 2
},
"version": "analysis_artifact_v1"
},
"block_number": null,
"chain_id": 1,
"codehash": "0x70d9ec0ef27f3c4c2ffde02f368cbaf5cd71863dca7b514cd7b6e9a0d64a3a43",
"created_at": "2026-04-04T19:47:03.000000Z",
"id": 1748,
"updated_at": "2026-04-04T20:42:16.000000Z",
"version": "analysis_artifact_v1"
},
"analysis_run": {
"address": "0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2025-12-19T20:03:51.000000Z",
"id": "019b3836-26af-7038-a6a2-7e46c2772286",
"parent_links": [],
"status": "running",
"updated_at": "2026-04-04T19:47:03.000000Z"
},
"artifact": {
"codehash": "0x70d9ec0ef27f3c4c2ffde02f368cbaf5cd71863dca7b514cd7b6e9a0d64a3a43",
"compiler_json": {
"etherscan": {
"skipped": true
}
},
"implementation_address": null,
"is_proxy": false,
"runtime_bytecode": {
"full": "0x606060405260e060020a600035046306fdde038114610047578063313ce567146100a457806370a08231146100b057806395d89b41146100c8578063a9059cbb14610123575b005b61015260008054602060026001831615610100026000190190921691909104601f810182900490910260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b6101c060025460ff1681565b6101c060043560036020526000908152604090205481565b610152600180546020601f6002600019610100858716150201909316929092049182018190040260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b610045600435602435600160a060020a033316600090815260036020526040902054819010156101ca57610002565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600302600f01f150905090810190601f1680156101b25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6060908152602090f35b600160a060020a0382166000908152604090205480820110156101ec57610002565b806003600050600033600160a060020a03168152602001908152602001600020600082828250540392505081905550806003600050600084600160a060020a0316815260200190815260200160002060008282825054019250508190555081600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b820191906000526020600020905b8154815290600101906020018083116102a757829003601f168201915b50505050508156",
"head": null,
"length": 1434,
"tail": null,
"truncated": false
},
"verified_source": false
},
"capability_graph": {
"address": "0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99",
"block_number": null,
"chain_id": 1,
"codehash": "0x70d9ec0ef27f3c4c2ffde02f368cbaf5cd71863dca7b514cd7b6e9a0d64a3a43",
"created_at": "2026-04-04T19:47:03.000000Z",
"graph_hash": "0x0d51b0c93b1aae9f5b6a044ee56a57fe9e3208bd1f97f8b34516b9468b435c09",
"graph_json": {
"edges": [
{
"from": "bb:0",
"to": "bb:71",
"type": "control_flow"
},
{
"from": "bb:0",
"to": "bb:25",
"type": "control_flow_fallthrough"
},
{
"from": "bb:25",
"to": "bb:164",
"type": "control_flow"
},
{
"from": "bb:25",
"to": "bb:36",
"type": "control_flow_fallthrough"
},
{
"from": "bb:36",
"to": "bb:176",
"type": "control_flow"
},
{
"from": "bb:36",
"to": "bb:47",
"type": "control_flow_fallthrough"
},
{
"from": "bb:47",
"to": "bb:200",
"type": "control_flow"
},
{
"from": "bb:47",
"to": "bb:58",
"type": "control_flow_fallthrough"
},
{
"from": "bb:58",
"to": "bb:291",
"type": "control_flow"
},
{
"from": "bb:58",
"to": "bb:69",
"type": "control_flow_fallthrough"
},
{
"from": "bb:71",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:71",
"to": "bb:137",
"type": "control_flow_fallthrough"
},
{
"from": "bb:137",
"to": "bb:665",
"type": "control_flow"
},
{
"from": "bb:137",
"to": "bb:145",
"type": "control_flow_fallthrough"
},
{
"from": "bb:145",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:200",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:200",
exec
/bin/bash -lc "sed -n '1301,1560p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
"to": "bb:264",
"type": "control_flow_fallthrough"
},
{
"from": "bb:264",
"to": "bb:665",
"type": "control_flow"
},
{
"from": "bb:264",
"to": "bb:272",
"type": "control_flow_fallthrough"
},
{
"from": "bb:272",
"to": "bb:708",
"type": "control_flow"
},
{
"from": "bb:291",
"to": "bb:458",
"type": "control_flow"
},
{
"from": "bb:291",
"to": "bb:334",
"type": "control_flow_fallthrough"
},
{
"from": "bb:338",
"to": "bb:434",
"type": "control_flow"
},
{
"from": "bb:338",
"to": "bb:409",
"type": "control_flow_fallthrough"
},
{
"from": "bb:409",
"to": "bb:434",
"type": "control_flow_fallthrough"
},
{
"from": "bb:458",
"to": "bb:492",
"type": "control_flow"
},
{
"from": "bb:458",
"to": "bb:488",
"type": "control_flow_fallthrough"
},
{
"from": "bb:665",
"to": "bb:679",
"type": "control_flow_fallthrough"
},
{
"from": "bb:679",
"to": "bb:679",
"type": "control_flow"
},
{
"from": "bb:679",
"to": "bb:699",
"type": "control_flow_fallthrough"
},
{
"from": "bb:699",
"to": "bb:708",
"type": "control_flow_fallthrough"
},
{
"from": "fn:0x313ce567",
"to": "bb:1889567281",
"type": "entry"
},
{
"from": "fn:0x70a08231",
"to": "bb:2514000705",
"type": "entry"
},
{
"from": "fn:0x95d89b41",
"to": "bb:2835717307",
"type": "entry"
},
{
"from": "bb:338",
"to": "call:392",
"type": "contains"
},
{
"from": "call:392",
"to": "sink:call",
"type": "capability"
}
],
"nodes": [
{
"end_pc": 24,
"hash": "0x6a350686911b120d699f8e8d1e9440d4ce17c4434492baee43484e2ef083a112",
"id": "bb:0",
"start_pc": 0,
"type": "basic_block"
},
{
"end_pc": 35,
"hash": "0x09fc75e3aa8fb02b98e24881cc463925488c7dfa7ef308570a5930c5c420c614",
"id": "bb:25",
"start_pc": 25,
"type": "basic_block"
},
{
"end_pc": 46,
"hash": "0x976103db32485bde438fb5c3f9f54ee02f48623f2e3b08249411cd4aee3c334a",
"id": "bb:36",
"start_pc": 36,
"type": "basic_block"
},
{
"end_pc": 57,
"hash": "0x3c19c073e27395dc44272beb525b6373ad140a4045aabbd1b653e498e1806824",
"id": "bb:47",
"start_pc": 47,
"type": "basic_block"
},
{
"end_pc": 68,
"hash": "0x3a122683470ea7901e31e80e6378780a829a06da64b04e691b5d5c5621392507",
"id": "bb:58",
"start_pc": 58,
"type": "basic_block"
},
{
"end_pc": 70,
"hash": "0x55afd043d32294d5f0189f5a0aa04f3174e4c087a31c85396f49b5f17813cb96",
"id": "bb:69",
"start_pc": 69,
"type": "basic_block"
},
{
"end_pc": 136,
"hash": "0xec67f3874a81e276f4497a4f9168afd2521b3b861d4cc15c8da4a0556656b752",
"id": "bb:71",
"start_pc": 71,
"type": "basic_block"
},
{
"end_pc": 144,
"hash": "0x38fe7e3cebe2dd28488c693680c8c0a0a5a5585741c1ccbdb984bb79acc2d6d5",
"id": "bb:137",
"start_pc": 137,
"type": "basic_block"
},
{
"end_pc": 163,
"hash": "0x39d82d062f67a4ee303cb8ba95f6d709cb38320623002519adc99ca3f1c5bac0",
"id": "bb:145",
"start_pc": 145,
"type": "basic_block"
},
{
"end_pc": 175,
"hash": "0x938aee19a0e1094c19b5a9528f839968d51c237564158e673ab6899436584f6e",
"id": "bb:164",
"start_pc": 164,
"type": "basic_block"
},
{
"end_pc": 199,
"hash": "0x7b0565c261db3d55c39f20ac0ee4d4710d6951f51b6844e361a4647909dcfc38",
"id": "bb:176",
"start_pc": 176,
"type": "basic_block"
},
{
"end_pc": 263,
"hash": "0x2dd3321e3d3cee3d8772c60a1b65a39fac69bc39f743fc4373df122a940b48c8",
"id": "bb:200",
"start_pc": 200,
"type": "basic_block"
},
{
"end_pc": 271,
"hash": "0xf48897fe83e8a1c08c2d0a4c53c8e3efbe26a20090e2685c70de180198db9cd6",
"id": "bb:264",
"start_pc": 264,
"type": "basic_block"
},
{
"end_pc": 290,
"hash": "0x104a032d4fc7353fcb25eead7bbb8424937000b97270e2a1e39430f6e1787b82",
"id": "bb:272",
"start_pc": 272,
"type": "basic_block"
},
{
"end_pc": 333,
"hash": "0x3701c3a8e82a5d4ddfedacd82f061822678b81cd9b3e04365c3d36dbf3fdbf1e",
"id": "bb:291",
"start_pc": 291,
"type": "basic_block"
},
{
"end_pc": 337,
"hash": "0x5ebda49c75a90269902080f51db6f1c7b1af883a7fd6baf1d61b81a8b96dcdca",
"id": "bb:334",
"start_pc": 334,
"type": "basic_block"
},
{
"end_pc": 408,
"hash": "0x5c91046627439dc30668d4e42561f655c26d9a339fc0029841b375508f7254a6",
"id": "bb:338",
"start_pc": 338,
"type": "basic_block"
},
{
"end_pc": 433,
"hash": "0xc0a703c2254334f9171c8126ae06fea5cf289341f4c19c890fa2f6b928c400e4",
"id": "bb:409",
"start_pc": 409,
"type": "basic_block"
},
{
"end_pc": 447,
"hash": "0xbbf38bd955ec6188d491c8a752950f390e38b6a9203b6891438ecf3d66b81c51",
"id": "bb:434",
"start_pc": 434,
"type": "basic_block"
},
{
"end_pc": 457,
"hash": "0xe40870dc717cbfdedea9fbb4d2473ca373d3dd88734eda3a8e7ff7e0a08a80de",
"id": "bb:448",
"start_pc": 448,
"type": "basic_block"
},
{
"end_pc": 487,
"hash": "0x418b0fde511679c511110cd65c959067f3759b652c05b9b5da7482388254699e",
"id": "bb:458",
"start_pc": 458,
"type": "basic_block"
},
{
"end_pc": 491,
"hash": "0x8f4bf7636b663e8793c58303ec18606236d677f96f3ca2e04c131b00709b1be1",
"id": "bb:488",
"start_pc": 488,
"type": "basic_block"
},
{
"end_pc": 664,
"hash": "0xc9d850040a439217133da6682d76ee8c6d05277a847fb1bb17bd89529d66c1b9",
"id": "bb:492",
"start_pc": 492,
"type": "basic_block"
exec
/bin/bash -lc "sed -n '1561,1820p' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
},
{
"end_pc": 678,
"hash": "0x4ebd3e4182c294e7e0cfcee32fa54a9c518a3bf7316c128ec5f3adae1aea52d7",
"id": "bb:665",
"start_pc": 665,
"type": "basic_block"
},
{
"end_pc": 698,
"hash": "0xdbd538713982294e8d700fcb95e735f41532da59590c25f6e1bcf58812962b6c",
"id": "bb:679",
"start_pc": 679,
"type": "basic_block"
},
{
"end_pc": 707,
"hash": "0x3d326e1ae9b5522da4b7bc7795b735c25eed77ef0d3716ee451b8ba034d2046e",
"id": "bb:699",
"start_pc": 699,
"type": "basic_block"
},
{
"end_pc": 715,
"hash": "0x0fbc397827201e77529cd13bfad147697e40ac8cbd7c51e40d923a2dd215bc23",
"id": "bb:708",
"start_pc": 708,
"type": "basic_block"
},
{
"id": "call:392",
"opcode": "CALL",
"pc": 392,
"type": "callsite"
},
{
"id": "sink:call",
"type": "sink"
},
{
"entry_pc": null,
"id": "fn:0x06fdde03",
"selector": "0x06fdde03",
"type": "function"
},
{
"entry_pc": 1889567281,
"id": "fn:0x313ce567",
"selector": "0x313ce567",
"type": "function"
},
{
"entry_pc": 2514000705,
"id": "fn:0x70a08231",
"selector": "0x70a08231",
"type": "function"
},
{
"entry_pc": 2835717307,
"id": "fn:0x95d89b41",
"selector": "0x95d89b41",
"type": "function"
},
{
"entry_pc": null,
"id": "fn:0xa9059cbb",
"selector": "0xa9059cbb",
"type": "function"
}
],
"version": "capability_graph_v1"
},
"id": 1748,
"updated_at": "2026-04-04T20:42:16.000000Z",
"version": "capability_graph_v1"
},
"detector_findings": [
{
"confidence": 60,
"evidence_json": {
"call_count": 1,
"examples": [
{
"opcode": "CALL",
"pc": 392,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": [],
"untrusted_call_count": 1
},
"normalized_json": {
"sink": "CALL"
},
"severity": "high",
"title": "Untrusted CALL target/value reachable",
"validated": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
"trace_mode": "callTracer"
}
},
{
"confidence": 55,
"evidence_json": {
"eth_value_calls": 1,
"examples": [
{
"opcode": "CALL",
"pc": 392,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": []
},
"normalized_json": {
"sink": "CALL",
"value": "nonzero"
},
"severity": "high",
"title": "ETH value transfer possible",
"validated": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
"trace_mode": "callTracer"
}
}
],
"heuristics_summary": {
"create2_count": 0,
"delegatecall_count": 0,
"flags": [],
"selfdestruct_count": 0
}
}
exec
/bin/bash -lc "python - <<'PY'
bytecode='606060405260e060020a600035046306fdde038114610047578063313ce567146100a457806370a08231146100b057806395d89b41146100c8578063a9059cbb14610123575b005b61015260008054602060026001831615610100026000190190921691909104601f810182900490910260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b6101c060025460ff1681565b6101c060043560036020526000908152604090205481565b610152600180546020601f6002600019610100858716150201909316929092049182018190040260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b610045600435602435600160a060020a033316600090815260036020526040902054819010156101ca57610002565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600302600f01f150905090810190601f1680156101b25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6060908152602090f35b600160a060020a0382166000908152604090205480820110156101ec57610002565b806003600050600033600160a060020a03168152602001908152602001600020600082828250540392505081905550806003600050600084600160a060020a0316815260200190815260200160002060008282825054019250508190555081600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b820191906000526020600020905b8154815290600101906020018083116102a757829003601f168201915b50505050508156'
ops = {
0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',
0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x1b:'SHL',0x1c:'SHR',0x1d:'SAR',
0x20:'SHA3',0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x3f:'EXTCODEHASH',
0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',
0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',
0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'
}
for i in range(1,33): ops[0x5f+i]=f'PUSH{i}'
for i in range(1,17): ops[0x7f+i]=f'DUP{i}'
for i in range(1,17): ops[0x8f+i]=f'SWAP{i}'
for i in range(0,5): ops[0xa0+i]=f'LOG{i}'
bs=bytes.fromhex(bytecode)
pc=0
while pc < len(bs):
op=bs[pc]
name=ops.get(op,f'OP_{op:02x}')
if name.startswith('PUSH'):
n=int(name[4:])
data=bs[pc+1:pc+1+n].hex()
print(f'{pc:04x}: {name} 0x{data}')
pc+=1+n
else:
print(f'{pc:04x}: {name}')
pc+=1
PY" in /tmp/codex-kqit6ehr
succeeded in 0ms:
0000: PUSH1 0x60
0002: PUSH1 0x40
0004: MSTORE
0005: PUSH1 0xe0
0007: PUSH1 0x02
0009: EXP
000a: PUSH1 0x00
000c: CALLDATALOAD
000d: DIV
000e: PUSH4 0x06fdde03
0013: DUP2
0014: EQ
0015: PUSH2 0x0047
0018: JUMPI
0019: DUP1
001a: PUSH4 0x313ce567
001f: EQ
0020: PUSH2 0x00a4
0023: JUMPI
0024: DUP1
0025: PUSH4 0x70a08231
002a: EQ
002b: PUSH2 0x00b0
002e: JUMPI
002f: DUP1
0030: PUSH4 0x95d89b41
0035: EQ
0036: PUSH2 0x00c8
0039: JUMPI
003a: DUP1
003b: PUSH4 0xa9059cbb
0040: EQ
0041: PUSH2 0x0123
0044: JUMPI
0045: JUMPDEST
0046: STOP
0047: JUMPDEST
0048: PUSH2 0x0152
004b: PUSH1 0x00
004d: DUP1
004e: SLOAD
004f: PUSH1 0x20
0051: PUSH1 0x02
0053: PUSH1 0x01
0055: DUP4
0056: AND
0057: ISZERO
0058: PUSH2 0x0100
005b: MUL
005c: PUSH1 0x00
005e: NOT
005f: ADD
0060: SWAP1
0061: SWAP3
0062: AND
0063: SWAP2
0064: SWAP1
0065: SWAP2
0066: DIV
0067: PUSH1 0x1f
0069: DUP2
006a: ADD
006b: DUP3
006c: SWAP1
006d: DIV
006e: SWAP1
006f: SWAP2
0070: MUL
0071: PUSH1 0x80
0073: SWAP1
0074: DUP2
0075: ADD
0076: PUSH1 0x40
0078: MSTORE
0079: PUSH1 0x60
007b: DUP3
007c: DUP2
007d: MSTORE
007e: SWAP3
007f: SWAP2
0080: SWAP1
0081: DUP3
0082: DUP3
0083: DUP1
0084: ISZERO
0085: PUSH2 0x02c4
0088: JUMPI
0089: DUP1
008a: PUSH1 0x1f
008c: LT
008d: PUSH2 0x0299
0090: JUMPI
0091: PUSH2 0x0100
0094: DUP1
0095: DUP4
0096: SLOAD
0097: DIV
0098: MUL
0099: DUP4
009a: MSTORE
009b: SWAP2
009c: PUSH1 0x20
009e: ADD
009f: SWAP2
00a0: PUSH2 0x02c4
00a3: JUMP
00a4: JUMPDEST
00a5: PUSH2 0x01c0
00a8: PUSH1 0x02
00aa: SLOAD
00ab: PUSH1 0xff
00ad: AND
00ae: DUP2
00af: JUMP
00b0: JUMPDEST
00b1: PUSH2 0x01c0
00b4: PUSH1 0x04
00b6: CALLDATALOAD
00b7: PUSH1 0x03
00b9: PUSH1 0x20
00bb: MSTORE
00bc: PUSH1 0x00
00be: SWAP1
00bf: DUP2
00c0: MSTORE
00c1: PUSH1 0x40
00c3: SWAP1
00c4: SHA3
00c5: SLOAD
00c6: DUP2
00c7: JUMP
00c8: JUMPDEST
00c9: PUSH2 0x0152
00cc: PUSH1 0x01
00ce: DUP1
00cf: SLOAD
00d0: PUSH1 0x20
00d2: PUSH1 0x1f
00d4: PUSH1 0x02
00d6: PUSH1 0x00
00d8: NOT
00d9: PUSH2 0x0100
00dc: DUP6
00dd: DUP8
00de: AND
00df: ISZERO
00e0: MUL
00e1: ADD
00e2: SWAP1
00e3: SWAP4
00e4: AND
00e5: SWAP3
00e6: SWAP1
00e7: SWAP3
00e8: DIV
00e9: SWAP2
00ea: DUP3
00eb: ADD
00ec: DUP2
00ed: SWAP1
00ee: DIV
00ef: MUL
00f0: PUSH1 0x80
00f2: SWAP1
00f3: DUP2
00f4: ADD
00f5: PUSH1 0x40
00f7: MSTORE
00f8: PUSH1 0x60
00fa: DUP3
00fb: DUP2
00fc: MSTORE
00fd: SWAP3
00fe: SWAP2
00ff: SWAP1
0100: DUP3
0101: DUP3
0102: DUP1
0103: ISZERO
0104: PUSH2 0x02c4
0107: JUMPI
0108: DUP1
0109: PUSH1 0x1f
010b: LT
010c: PUSH2 0x0299
010f: JUMPI
0110: PUSH2 0x0100
0113: DUP1
0114: DUP4
0115: SLOAD
0116: DIV
0117: MUL
0118: DUP4
0119: MSTORE
011a: SWAP2
011b: PUSH1 0x20
011d: ADD
011e: SWAP2
011f: PUSH2 0x02c4
0122: JUMP
0123: JUMPDEST
0124: PUSH2 0x0045
0127: PUSH1 0x04
0129: CALLDATALOAD
012a: PUSH1 0x24
012c: CALLDATALOAD
012d: PUSH1 0x01
012f: PUSH1 0xa0
0131: PUSH1 0x02
0133: EXP
0134: SUB
0135: CALLER
0136: AND
0137: PUSH1 0x00
0139: SWAP1
013a: DUP2
013b: MSTORE
013c: PUSH1 0x03
013e: PUSH1 0x20
0140: MSTORE
0141: PUSH1 0x40
0143: SWAP1
0144: SHA3
0145: SLOAD
0146: DUP2
0147: SWAP1
0148: LT
0149: ISZERO
014a: PUSH2 0x01ca
014d: JUMPI
014e: PUSH2 0x0002
0151: JUMP
0152: JUMPDEST
0153: PUSH1 0x40
0155: MLOAD
0156: DUP1
0157: DUP1
0158: PUSH1 0x20
015a: ADD
015b: DUP3
015c: DUP2
015d: SUB
015e: DUP3
015f: MSTORE
0160: DUP4
0161: DUP2
0162: DUP2
0163: MLOAD
0164: DUP2
0165: MSTORE
0166: PUSH1 0x20
0168: ADD
0169: SWAP2
016a: POP
016b: DUP1
016c: MLOAD
016d: SWAP1
016e: PUSH1 0x20
0170: ADD
0171: SWAP1
0172: DUP1
0173: DUP4
0174: DUP4
0175: DUP3
0176: SWAP1
0177: PUSH1 0x00
0179: PUSH1 0x04
017b: PUSH1 0x20
017d: DUP5
017e: PUSH1 0x1f
0180: ADD
0181: DIV
0182: PUSH1 0x03
0184: MUL
0185: PUSH1 0x0f
0187: ADD
0188: CALL
0189: POP
018a: SWAP1
018b: POP
018c: SWAP1
018d: DUP2
018e: ADD
018f: SWAP1
0190: PUSH1 0x1f
0192: AND
0193: DUP1
0194: ISZERO
0195: PUSH2 0x01b2
0198: JUMPI
0199: DUP1
019a: DUP3
019b: SUB
019c: DUP1
019d: MLOAD
019e: PUSH1 0x01
01a0: DUP4
01a1: PUSH1 0x20
01a3: SUB
01a4: PUSH2 0x0100
01a7: EXP
01a8: SUB
01a9: NOT
01aa: AND
01ab: DUP2
01ac: MSTORE
01ad: PUSH1 0x20
01af: ADD
01b0: SWAP2
01b1: POP
01b2: JUMPDEST
01b3: POP
01b4: SWAP3
01b5: POP
01b6: POP
01b7: POP
01b8: PUSH1 0x40
01ba: MLOAD
01bb: DUP1
01bc: SWAP2
01bd: SUB
01be: SWAP1
01bf: RETURN
01c0: JUMPDEST
01c1: PUSH1 0x60
01c3: SWAP1
01c4: DUP2
01c5: MSTORE
01c6: PUSH1 0x20
01c8: SWAP1
01c9: RETURN
01ca: JUMPDEST
01cb: PUSH1 0x01
01cd: PUSH1 0xa0
01cf: PUSH1 0x02
01d1: EXP
01d2: SUB
01d3: DUP3
01d4: AND
01d5: PUSH1 0x00
01d7: SWAP1
01d8: DUP2
01d9: MSTORE
01da: PUSH1 0x40
01dc: SWAP1
01dd: SHA3
01de: SLOAD
01df: DUP1
01e0: DUP3
01e1: ADD
01e2: LT
01e3: ISZERO
01e4: PUSH2 0x01ec
01e7: JUMPI
01e8: PUSH2 0x0002
01eb: JUMP
01ec: JUMPDEST
01ed: DUP1
01ee: PUSH1 0x03
01f0: PUSH1 0x00
01f2: POP
01f3: PUSH1 0x00
01f5: CALLER
01f6: PUSH1 0x01
01f8: PUSH1 0xa0
01fa: PUSH1 0x02
01fc: EXP
01fd: SUB
01fe: AND
01ff: DUP2
0200: MSTORE
0201: PUSH1 0x20
0203: ADD
0204: SWAP1
0205: DUP2
0206: MSTORE
0207: PUSH1 0x20
0209: ADD
020a: PUSH1 0x00
020c: SHA3
020d: PUSH1 0x00
020f: DUP3
0210: DUP3
0211: DUP3
0212: POP
0213: SLOAD
0214: SUB
0215: SWAP3
0216: POP
0217: POP
0218: DUP2
0219: SWAP1
021a: SSTORE
021b: POP
021c: DUP1
021d: PUSH1 0x03
021f: PUSH1 0x00
0221: POP
0222: PUSH1 0x00
0224: DUP5
0225: PUSH1 0x01
0227: PUSH1 0xa0
0229: PUSH1 0x02
022b: EXP
022c: SUB
022d: AND
022e: DUP2
022f: MSTORE
0230: PUSH1 0x20
0232: ADD
0233: SWAP1
0234: DUP2
0235: MSTORE
0236: PUSH1 0x20
0238: ADD
0239: PUSH1 0x00
023b: SHA3
023c: PUSH1 0x00
023e: DUP3
023f: DUP3
0240: DUP3
0241: POP
0242: SLOAD
0243: ADD
0244: SWAP3
0245: POP
0246: POP
0247: DUP2
0248: SWAP1
0249: SSTORE
024a: POP
024b: DUP2
024c: PUSH1 0x01
024e: PUSH1 0xa0
0250: PUSH1 0x02
0252: EXP
0253: SUB
0254: AND
0255: CALLER
0256: PUSH1 0x01
0258: PUSH1 0xa0
025a: PUSH1 0x02
025c: EXP
025d: SUB
025e: AND
025f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0280: DUP4
0281: PUSH1 0x40
0283: MLOAD
0284: DUP1
0285: DUP3
0286: DUP2
0287: MSTORE
0288: PUSH1 0x20
028a: ADD
028b: SWAP2
028c: POP
028d: POP
028e: PUSH1 0x40
0290: MLOAD
0291: DUP1
0292: SWAP2
0293: SUB
0294: SWAP1
0295: LOG3
0296: POP
0297: POP
0298: JUMP
0299: JUMPDEST
029a: DUP3
029b: ADD
029c: SWAP2
029d: SWAP1
029e: PUSH1 0x00
02a0: MSTORE
02a1: PUSH1 0x20
02a3: PUSH1 0x00
02a5: SHA3
02a6: SWAP1
02a7: JUMPDEST
02a8: DUP2
02a9: SLOAD
02aa: DUP2
02ab: MSTORE
02ac: SWAP1
02ad: PUSH1 0x01
02af: ADD
02b0: SWAP1
02b1: PUSH1 0x20
02b3: ADD
02b4: DUP1
02b5: DUP4
02b6: GT
02b7: PUSH2 0x02a7
02ba: JUMPI
02bb: DUP3
02bc: SWAP1
02bd: SUB
02be: PUSH1 0x1f
02c0: AND
02c1: DUP3
02c2: ADD
02c3: SWAP2
02c4: JUMPDEST
02c5: POP
02c6: POP
02c7: POP
02c8: POP
02c9: POP
02ca: DUP2
02cb: JUMP
exec
/bin/bash -lc "rg -n 'evidence|callsites|detector|selector|slot|validated|trace' BYTECODE_BUNDLE.json" in /tmp/codex-kqit6ehr
succeeded in 0ms:
711: "callsites": [
878: "dispatcher_type": "selector_jump_table",
882: "selector": "0x06fdde03"
886: "selector": "0x313ce567"
890: "selector": "0x70a08231"
894: "selector": "0x95d89b41"
898: "selector": "0xa9059cbb"
907: "selector": "0x06fdde03",
916: "slots": [
920: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
925: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
930: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
935: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
940: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
951: "selector": "0x313ce567",
960: "slots": [
964: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
969: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
974: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
979: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
984: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
995: "selector": "0x70a08231",
1004: "slots": [
1008: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
1013: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1018: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
1023: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
1028: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1039: "selector": "0x95d89b41",
1048: "slots": [
1052: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
1057: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1062: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
1067: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
1072: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1083: "selector": "0xa9059cbb",
1092: "slots": [
1096: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
1101: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1106: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
1111: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
1116: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1123: "selectors": [
1137: "upgrade_slot_write_suspected": false
1142: "slots": [
1146: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
1151: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1156: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
1161: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
1166: "slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
1603: "selector": "0x06fdde03",
1609: "selector": "0x313ce567",
1615: "selector": "0x70a08231",
1621: "selector": "0x95d89b41",
1627: "selector": "0xa9059cbb",
1637: "detector_findings": [
1640: "evidence_json": {
1659: "validated": true,
1673: "trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
1674: "trace_mode": "callTracer"
1679: "evidence_json": {
1698: "validated": true,
1712: "trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
1713: "trace_mode": "callTracer"
exec
/bin/bash -lc "python - <<'PY'
bs=bytes.fromhex('606060405260e060020a600035046306fdde038114610047578063313ce567146100a457806370a08231146100b057806395d89b41146100c8578063a9059cbb14610123575b005b61015260008054602060026001831615610100026000190190921691909104601f810182900490910260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b6101c060025460ff1681565b6101c060043560036020526000908152604090205481565b610152600180546020601f6002600019610100858716150201909316929092049182018190040260809081016040526060828152929190828280156102c45780601f10610299576101008083540402835291602001916102c4565b610045600435602435600160a060020a033316600090815260036020526040902054819010156101ca57610002565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600302600f01f150905090810190601f1680156101b25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6060908152602090f35b600160a060020a0382166000908152604090205480820110156101ec57610002565b806003600050600033600160a060020a03168152602001908152602001600020600082828250540392505081905550806003600050600084600160a060020a0316815260200190815260200160002060008282825054019250508190555081600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b820191906000526020600020905b8154815290600101906020018083116102a757829003601f168201915b50505050508156')
for start,end in [(0,80),(0x123,0x150),(0x176,0x18c),(0x298,0x2ca)]:
print('RANGE',hex(start),hex(end))
print(bs[start:end].hex())
PY" in /tmp/codex-kqit6ehr
succeeded in 0ms:
RANGE 0x0 0x50
606060405260e060020a600035046306fdde038114610047578063313ce567146100a457806370a08231146100b057806395d89b41146100c8578063a9059cbb14610123575b005b6101526000805460
RANGE 0x123 0x150
5b610045600435602435600160a060020a033316600090815260036020526040902054819010156101ca576100
RANGE 0x176 0x18c
9060006004602084601f0104600302600f01f1509050
RANGE 0x298 0x2ca
565b820191906000526020600020905b8154815290600101906020018083116102a757829003601f168201915b5050505050
codex
{"no_findings":false,"summary":"Bytecode is consistent with a minimal legacy ERC20-style token. I did not find reentrancy, delegatecall, proxy/upgrade, or privileged-control issues. The detector-reported CALL is a false positive: the only CALL is at pc:0x188 and is the identity precompile pattern used while returning dynamic strings, not an untrusted external interaction. I found two low-severity issues: the fallback path accepts ETH and appears to trap it, and selector 0xa9059cbb follows a non-standard transfer implementation that returns no boolean.","findings":[{"severity":"low","category":"other","title":"Fallback path accepts ETH and appears to trap it permanently","exploit_scenario":"Any user, router, or integration that sends ETH to this token contract with empty calldata or an unknown selector will succeed instead of reverting. Because the runtime exposes no withdrawal/selfdestruct path and the only observed CALL is an internal-style identity-precompile use for string handling, that ETH would remain stuck in the contract.","recommendation":"Add a nonpayable fallback/receive that reverts on nonzero msg.value, or add an explicit rescue path if ETH custody is intended.","evidence":"The dispatcher has no CALLVALUE check before selector routing, and unmatched calls fall through to pc:0x45 where execution stops successfully. No withdraw-like path, delegatecall, or selfdestruct is present in the runtime. The only CALL in evidence is at pc:0x188 and matches the old Solidity identity-precompile copy pattern, so it does not provide ETH recovery.","locations":["pc:0x0","pc:0x45","pc:0x188"]},{"severity":"low","category":"other","title":"`transfer` selector appears to be non-standard and returns no boolean","exploit_scenario":"Contracts that interact through the standard ERC20 ABI and expect `transfer(address,uint256)` to return a 32-byte boolean may revert during ABI decoding. That can break integrations or leave token flows stuck in wrappers, vaults, bridges, or payment contracts that use strict high-level calls.","recommendation":"If this code is being reused or wrapped, expose a standards-compliant adapter that returns `true` on success, or ensure integrations use safe low-level token handling that tolerates missing return data.","evidence":"Selector inference is best-effort, but 0xa9059cbb is strongly consistent with `transfer(address,uint256)`. Its entry at pc:0x123 pushes return destination pc:0x45, and the success path at pc:0x298 jumps there after balance updates and `Transfer` event emission. pc:0x45 is a `STOP`, so no 32-byte success value is returned.","locations":["selector:0xa9059cbb","pc:0x123","pc:0x298","pc:0x45"]}]}
tokens used
53,289
{
"codex": {
"ran_at": "2026-04-05T02:07:23.543865+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 1434,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode is consistent with a minimal legacy ERC20-style token. I did not find reentrancy, delegatecall, proxy/upgrade, or privileged-control issues. The detector-reported CALL is a false positive: the only CALL is at pc:0x188 and is the identity precompile pattern used while returning dynamic strings, not an untrusted external interaction. I found two low-severity issues: the fallback path accepts ETH and appears to trap it, and selector 0xa9059cbb follows a non-standard transfer implementation that returns no boolean.",
"raw_final": {
"summary": "Bytecode is consistent with a minimal legacy ERC20-style token. I did not find reentrancy, delegatecall, proxy/upgrade, or privileged-control issues. The detector-reported CALL is a false positive: the only CALL is at pc:0x188 and is the identity precompile pattern used while returning dynamic strings, not an untrusted external interaction. I found two low-severity issues: the fallback path accepts ETH and appears to trap it, and selector 0xa9059cbb follows a non-standard transfer implementation that returns no boolean.",
"findings": [
{
"title": "Fallback path accepts ETH and appears to trap it permanently",
"category": "other",
"evidence": "The dispatcher has no CALLVALUE check before selector routing, and unmatched calls fall through to pc:0x45 where execution stops successfully. No withdraw-like path, delegatecall, or selfdestruct is present in the runtime. The only CALL in evidence is at pc:0x188 and matches the old Solidity identity-precompile copy pattern, so it does not provide ETH recovery.",
"severity": "low",
"locations": [
"pc:0x0",
"pc:0x45",
"pc:0x188"
],
"recommendation": "Add a nonpayable fallback/receive that reverts on nonzero msg.value, or add an explicit rescue path if ETH custody is intended.",
"exploit_scenario": "Any user, router, or integration that sends ETH to this token contract with empty calldata or an unknown selector will succeed instead of reverting. Because the runtime exposes no withdrawal/selfdestruct path and the only observed CALL is an internal-style identity-precompile use for string handling, that ETH would remain stuck in the contract."
},
{
"title": "`transfer` selector appears to be non-standard and returns no boolean",
"category": "other",
"evidence": "Selector inference is best-effort, but 0xa9059cbb is strongly consistent with `transfer(address,uint256)`. Its entry at pc:0x123 pushes return destination pc:0x45, and the success path at pc:0x298 jumps there after balance updates and `Transfer` event emission. pc:0x45 is a `STOP`, so no 32-byte success value is returned.",
"severity": "low",
"locations": [
"selector:0xa9059cbb",
"pc:0x123",
"pc:0x298",
"pc:0x45"
],
"recommendation": "If this code is being reused or wrapped, expose a standards-compliant adapter that returns `true` on success, or ensure integrations use safe low-level token handling that tolerates missing return data.",
"exploit_scenario": "Contracts that interact through the standard ERC20 ABI and expect `transfer(address,uint256)` to return a 32-byte boolean may revert during ABI decoding. That can break integrations or leave token flows stuck in wrappers, vaults, bridges, or payment contracts that use strict high-level calls."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0xe0 00000007: PUSH1 0x02 00000009: EXP 0000000a: PUSH1 0x00 0000000c: CALLDATALOAD 0000000d: DIV 0000000e: PUSH4 0x06fdde03 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x0047 00000018: JUMPI 00000019: DUP1 0000001a: PUSH4 0x313ce567 0000001f: EQ 00000020: PUSH2 0x00a4 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x70a08231 0000002a: EQ 0000002b: PUSH2 0x00b0 0000002e: JUMPI 0000002f: DUP1 00000030: PUSH4 0x95d89b41 00000035: EQ 00000036: PUSH2 0x00c8 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0xa9059cbb 00000040: EQ 00000041: PUSH2 0x0123 00000044: JUMPI 00000045: JUMPDEST 00000046: STOP 00000047: JUMPDEST 00000048: PUSH2 0x0152 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: SLOAD 0000004f: PUSH1 0x20 00000051: PUSH1 0x02 00000053: PUSH1 0x01 00000055: DUP4 00000056: AND 00000057: ISZERO 00000058: PUSH2 0x0100 0000005b: MUL 0000005c: PUSH1 0x00 0000005e: NOT 0000005f: ADD 00000060: SWAP1 00000061: SWAP3 00000062: AND 00000063: SWAP2 00000064: SWAP1 00000065: SWAP2 00000066: DIV 00000067: PUSH1 0x1f 00000069: DUP2 0000006a: ADD 0000006b: DUP3 0000006c: SWAP1 0000006d: DIV 0000006e: SWAP1 0000006f: SWAP2 00000070: MUL 00000071: PUSH1 0x80 00000073: SWAP1 00000074: DUP2 00000075: ADD 00000076: PUSH1 0x40 00000078: MSTORE 00000079: PUSH1 0x60 0000007b: DUP3 0000007c: DUP2 0000007d: MSTORE 0000007e: SWAP3 0000007f: SWAP2 00000080: SWAP1 00000081: DUP3 00000082: DUP3 00000083: DUP1 00000084: ISZERO 00000085: PUSH2 0x02c4 00000088: JUMPI 00000089: DUP1 0000008a: PUSH1 0x1f 0000008c: LT 0000008d: PUSH2 0x0299 00000090: JUMPI 00000091: PUSH2 0x0100 00000094: DUP1 00000095: DUP4 00000096: SLOAD 00000097: DIV 00000098: MUL 00000099: DUP4 0000009a: MSTORE 0000009b: SWAP2 0000009c: PUSH1 0x20 0000009e: ADD 0000009f: SWAP2 000000a0: PUSH2 0x02c4 000000a3: JUMP 000000a4: JUMPDEST 000000a5: PUSH2 0x01c0 000000a8: PUSH1 0x02 000000aa: SLOAD 000000ab: PUSH1 0xff 000000ad: AND 000000ae: DUP2 000000af: JUMP 000000b0: JUMPDEST 000000b1: PUSH2 0x01c0 000000b4: PUSH1 0x04 000000b6: CALLDATALOAD 000000b7: PUSH1 0x03 000000b9: PUSH1 0x20 000000bb: MSTORE 000000bc: PUSH1 0x00 000000be: SWAP1 000000bf: DUP2 000000c0: MSTORE 000000c1: PUSH1 0x40 000000c3: SWAP1 000000c4: KECCAK256 000000c5: SLOAD 000000c6: DUP2 000000c7: JUMP 000000c8: JUMPDEST 000000c9: PUSH2 0x0152 000000cc: PUSH1 0x01 000000ce: DUP1 000000cf: SLOAD 000000d0: PUSH1 0x20 000000d2: PUSH1 0x1f 000000d4: PUSH1 0x02 000000d6: PUSH1 0x00 000000d8: NOT 000000d9: PUSH2 0x0100 000000dc: DUP6 000000dd: DUP8 000000de: AND 000000df: ISZERO 000000e0: MUL 000000e1: ADD 000000e2: SWAP1 000000e3: SWAP4 000000e4: AND 000000e5: SWAP3 000000e6: SWAP1 000000e7: SWAP3 000000e8: DIV 000000e9: SWAP2 000000ea: DUP3 000000eb: ADD 000000ec: DUP2 000000ed: SWAP1 000000ee: DIV 000000ef: MUL 000000f0: PUSH1 0x80 000000f2: SWAP1 000000f3: DUP2 000000f4: ADD 000000f5: PUSH1 0x40 000000f7: MSTORE 000000f8: PUSH1 0x60 000000fa: DUP3 000000fb: DUP2 000000fc: MSTORE 000000fd: SWAP3 000000fe: SWAP2 000000ff: SWAP1 00000100: DUP3 00000101: DUP3 00000102: DUP1 00000103: ISZERO 00000104: PUSH2 0x02c4 00000107: JUMPI 00000108: DUP1 00000109: PUSH1 0x1f 0000010b: LT 0000010c: PUSH2 0x0299 0000010f: JUMPI 00000110: PUSH2 0x0100 00000113: DUP1 00000114: DUP4 00000115: SLOAD 00000116: DIV 00000117: MUL 00000118: DUP4 00000119: MSTORE 0000011a: SWAP2 0000011b: PUSH1 0x20 0000011d: ADD 0000011e: SWAP2 0000011f: PUSH2 0x02c4 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH2 0x0045 00000127: PUSH1 0x04 00000129: CALLDATALOAD 0000012a: PUSH1 0x24 0000012c: CALLDATALOAD 0000012d: PUSH1 0x01 0000012f: PUSH1 0xa0 00000131: PUSH1 0x02 00000133: EXP 00000134: SUB 00000135: CALLER 00000136: AND 00000137: PUSH1 0x00 00000139: SWAP1 0000013a: DUP2 0000013b: MSTORE 0000013c: PUSH1 0x03 0000013e: PUSH1 0x20 00000140: MSTORE 00000141: PUSH1 0x40 00000143: SWAP1 00000144: KECCAK256 00000145: SLOAD 00000146: DUP2 00000147: SWAP1 00000148: LT 00000149: ISZERO 0000014a: PUSH2 0x01ca 0000014d: JUMPI 0000014e: PUSH2 0x0002 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: DUP1 00000157: DUP1 00000158: PUSH1 0x20 0000015a: ADD 0000015b: DUP3 0000015c: DUP2 0000015d: SUB 0000015e: DUP3 0000015f: MSTORE 00000160: DUP4 00000161: DUP2 00000162: DUP2 00000163: MLOAD 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x20 00000168: ADD 00000169: SWAP2 0000016a: POP 0000016b: DUP1 0000016c: MLOAD 0000016d: SWAP1 0000016e: PUSH1 0x20 00000170: ADD 00000171: SWAP1 00000172: DUP1 00000173: DUP4 00000174: DUP4 00000175: DUP3 00000176: SWAP1 00000177: PUSH1 0x00 00000179: PUSH1 0x04 0000017b: PUSH1 0x20 0000017d: DUP5 0000017e: PUSH1 0x1f 00000180: ADD 00000181: DIV 00000182: PUSH1 0x03 00000184: MUL 00000185: PUSH1 0x0f 00000187: ADD 00000188: CALL 00000189: POP 0000018a: SWAP1 0000018b: POP 0000018c: SWAP1 0000018d: DUP2 0000018e: ADD 0000018f: SWAP1 00000190: PUSH1 0x1f 00000192: AND 00000193: DUP1 00000194: ISZERO 00000195: PUSH2 0x01b2 00000198: JUMPI 00000199: DUP1 0000019a: DUP3 0000019b: SUB 0000019c: DUP1 0000019d: MLOAD 0000019e: PUSH1 0x01 000001a0: DUP4 000001a1: PUSH1 0x20 000001a3: SUB 000001a4: PUSH2 0x0100 000001a7: EXP 000001a8: SUB 000001a9: NOT 000001aa: AND 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: SWAP2 000001b1: POP 000001b2: JUMPDEST 000001b3: POP 000001b4: SWAP3 000001b5: POP 000001b6: POP 000001b7: POP 000001b8: PUSH1 0x40 000001ba: MLOAD 000001bb: DUP1 000001bc: SWAP2 000001bd: SUB 000001be: SWAP1 000001bf: RETURN 000001c0: JUMPDEST 000001c1: PUSH1 0x60 000001c3: SWAP1 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: SWAP1 000001c9: RETURN 000001ca: JUMPDEST 000001cb: PUSH1 0x01 000001cd: PUSH1 0xa0 000001cf: PUSH1 0x02 000001d1: EXP 000001d2: SUB 000001d3: DUP3 000001d4: AND 000001d5: PUSH1 0x00 000001d7: SWAP1 000001d8: DUP2 000001d9: MSTORE 000001da: PUSH1 0x40 000001dc: SWAP1 000001dd: KECCAK256 000001de: SLOAD 000001df: DUP1 000001e0: DUP3 000001e1: ADD 000001e2: LT 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH2 0x0002 000001eb: JUMP 000001ec: JUMPDEST 000001ed: DUP1 000001ee: PUSH1 0x03 000001f0: PUSH1 0x00 000001f2: POP 000001f3: PUSH1 0x00 000001f5: CALLER 000001f6: PUSH1 0x01 000001f8: PUSH1 0xa0 000001fa: PUSH1 0x02 000001fc: EXP 000001fd: SUB 000001fe: AND 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x20 00000203: ADD 00000204: SWAP1 00000205: DUP2 00000206: MSTORE 00000207: PUSH1 0x20 00000209: ADD 0000020a: PUSH1 0x00 0000020c: KECCAK256 0000020d: PUSH1 0x00 0000020f: DUP3 00000210: DUP3 00000211: DUP3 00000212: POP 00000213: SLOAD 00000214: SUB 00000215: SWAP3 00000216: POP 00000217: POP 00000218: DUP2 00000219: SWAP1 0000021a: SSTORE 0000021b: POP 0000021c: DUP1 0000021d: PUSH1 0x03 0000021f: PUSH1 0x00 00000221: POP 00000222: PUSH1 0x00 00000224: DUP5 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: PUSH1 0x02 0000022b: EXP 0000022c: SUB 0000022d: AND 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP1 00000234: DUP2 00000235: MSTORE 00000236: PUSH1 0x20 00000238: ADD 00000239: PUSH1 0x00 0000023b: KECCAK256 0000023c: PUSH1 0x00 0000023e: DUP3 0000023f: DUP3 00000240: DUP3 00000241: POP 00000242: SLOAD 00000243: ADD 00000244: SWAP3 00000245: POP 00000246: POP 00000247: DUP2 00000248: SWAP1 00000249: SSTORE 0000024a: POP 0000024b: DUP2 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: AND 00000255: CALLER 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: AND 0000025f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000280: DUP4 00000281: PUSH1 0x40 00000283: MLOAD 00000284: DUP1 00000285: DUP3 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: SWAP2 0000028c: POP 0000028d: POP 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: DUP1 00000292: SWAP2 00000293: SUB 00000294: SWAP1 00000295: LOG3 00000296: POP 00000297: POP 00000298: JUMP 00000299: JUMPDEST 0000029a: DUP3 0000029b: ADD 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH1 0x00 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: PUSH1 0x00 000002a5: KECCAK256 000002a6: SWAP1 000002a7: JUMPDEST 000002a8: DUP2 000002a9: SLOAD 000002aa: DUP2 000002ab: MSTORE 000002ac: SWAP1 000002ad: PUSH1 0x01 000002af: ADD 000002b0: SWAP1 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: DUP1 000002b5: DUP4 000002b6: GT 000002b7: PUSH2 0x02a7 000002ba: JUMPI 000002bb: DUP3 000002bc: SWAP1 000002bd: SUB 000002be: PUSH1 0x1f 000002c0: AND 000002c1: DUP3 000002c2: ADD 000002c3: SWAP2 000002c4: JUMPDEST 000002c5: POP 000002c6: POP 000002c7: POP 000002c8: POP 000002c9: POP 000002ca: DUP2 000002cb: 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: 0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4
call_targets:
0x0000000000000000000000000000000000000004, 0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99"
],
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 392,
"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: 0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4
call_targets:
0x0000000000000000000000000000000000000004, 0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xb78fac3ac7496a33fccc7ef193b6001489e47a3c12e9c554ba09ec852ca5a7b4",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xd0af1e9919f6321f1dfef2d9cbb60ef7a10d6c99"
],
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 392,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| low | other | codex | Fallback path accepts ETH and appears to trap it permanently | 65 | no | — |
viewevidence_json{
"evidence": "The dispatcher has no CALLVALUE check before selector routing, and unmatched calls fall through to pc:0x45 where execution stops successfully. No withdraw-like path, delegatecall, or selfdestruct is present in the runtime. The only CALL in evidence is at pc:0x188 and matches the old Solidity identity-precompile copy pattern, so it does not provide ETH recovery.",
"locations": [
"pc:0x0",
"pc:0x45",
"pc:0x188"
],
"recommendation": "Add a nonpayable fallback/receive that reverts on nonzero msg.value, or add an explicit rescue path if ETH custody is intended.",
"exploit_scenario": "Any user, router, or integration that sends ETH to this token contract with empty calldata or an unknown selector will succeed instead of reverting. Because the runtime exposes no withdrawal/selfdestruct path and the only observed CALL is an internal-style identity-precompile use for string handling, that ETH would remain stuck in the contract."
}
|
| low | other | codex | `transfer` selector appears to be non-standard and returns no boolean | 65 | no | — |
viewevidence_json{
"evidence": "Selector inference is best-effort, but 0xa9059cbb is strongly consistent with `transfer(address,uint256)`. Its entry at pc:0x123 pushes return destination pc:0x45, and the success path at pc:0x298 jumps there after balance updates and `Transfer` event emission. pc:0x45 is a `STOP`, so no 32-byte success value is returned.",
"locations": [
"selector:0xa9059cbb",
"pc:0x123",
"pc:0x298",
"pc:0x45"
],
"recommendation": "If this code is being reused or wrapped, expose a standards-compliant adapter that returns `true` on success, or ensure integrations use safe low-level token handling that tolerates missing return data.",
"exploit_scenario": "Contracts that interact through the standard ERC20 ABI and expect `transfer(address,uint256)` to return a 32-byte boolean may revert during ABI decoding. That can break integrations or leave token flows stuck in wrappers, vaults, bridges, or payment contracts that use strict high-level calls."
}
|