019b3836-4073-7178-b5f9-dab237c894e6
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 |
|---|---|---|---|---|
| 5221 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5222 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 48664 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 48665 | capability.graph | complete | 1 / 3 | 1 week ago |
| 48666 | detector.run | complete | 1 / 3 | 1 week ago |
| 48667 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113294 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode strongly suggests a token-like contract with buy/sell logic, cached pricing in storage slot 0x08, ERC20-style balances in slot 0x09, and low-level external calls. The most meaningful issue is a sell-path reentrancy window: ETH is sent before the cached price is refreshed. A second issue is that the ETH payout call result is ignored, so failed payouts can still finalize state changes. Selector/function names are inferred from bytecode only and therefore somewhat uncertain.","findings":[{"severity":"high","category":"reentrancy","title":"Sell/redeem path sends ETH before refreshing cached price, enabling reentrant stale-price withdrawals","exploit_scenario":"A malicious contract holder calls selector 0xe4849b32 to redeem part of its balance. The function updates balances, computes payout from cached slot 0x08, and performs a low-level CALL to the recipient at pc 0x9bb. During the recipient fallback, it can reenter selector 0xe4849b32 and redeem remaining tokens again while slot 0x08 still holds the pre-withdraw price. Because the contract balance has already dropped but the cached price is only recomputed after the CALL, repeated reentry can overpay ETH relative to the post-withdraw state and drain funds.","recommendation":"Apply strict checks-effects-interactions on the redeem path: refresh all price/accounting state before any external call, or compute payouts from live state without a cached stale slot. Add a reentrancy guard around the redeem/buy paths and any function that can reach the same accounting.","evidence":"In selector 0xe4849b32 (entry pc 0x507), the redeem logic at pc 0x974-0x9a7 updates slot-0x09 balances first, then loads slot 0x08 at pc 0x9ac to derive the ETH payout, performs a low-level CALL at pc 0x9bb, and only afterward refreshes slot 0x08 from contract balance at pc 0x9ee-0xa07. The bundle's auth heuristics detected no guard, and the callsite metadata marks the CALL target/value as computed.","locations":["selector:0xe4849b32","pc:0x974","pc:0x9ac","pc:0x9bb","pc:0x9ee"]},{"severity":"medium","category":"other","title":"Unchecked ETH payout call can finalize a redemption even when the transfer fails","exploit_scenario":"If the redeem recipient is a contract whose fallback reverts or cannot accept the transfer, the low-level CALL on the sell path can fail. Because the result is not checked, execution continues: state updates and logs remain applied, and the cached price is recomputed. The seller can lose tokens/accounting position without receiving ETH.","recommendation":"Require the payout CALL to succeed and revert otherwise, or use a pull-payment pattern where users withdraw separately. Do not continue state transitions after a failed value transfer.","evidence":"At pc 0x9bb the contract executes a low-level CALL on the redeem path, then immediately POPs the return value at pc 0x9bc-0x9bd and continues with event emission and slot-0x08 recomputation through pc 0xa07. Unlike the other external-call path around pc 0x4aa, there is no ISZERO/JUMPI success check after this CALL. The artifact's callsite metadata also reports returndata checking as unknown/null for this site.","locations":["selector:0xe4849b32","pc:0x9bb","pc:0x9bc","pc:0x9bd","pc:0xa07"]}]}
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-yz16w1wq
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c38-f733-75a1-9a00-02dd26a103db
--------
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 'rg --files' in /tmp/codex-yz16w1wq
exec
/bin/bash -lc pwd in /tmp/codex-yz16w1wq
succeeded in 0ms:
/tmp/codex-yz16w1wq
succeeded in 0ms:
codex-output-schema.json
BYTECODE_BUNDLE.json
exec
/bin/bash -lc "sed -n '1,220p' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"analysis_artifact": {
"address": "0xa85e234d071e5acc1d91badd306ed601a38575e8",
"artifact_hash": "0x796994b3d8f4615f530ac61f6e0fc0d290950247b1ea08f5e356f743d9eb651b",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 10,
"hash": "0xf11444caaf4db510565a598ec5db1095f6815c9db671a85c90dde30dacbe11e2",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"CALLDATASIZE",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 0
},
{
"end_pc": 30,
"hash": "0x81ba1990cb6d08ec7e9f5cef473cf689c892f720fb932454a377fa40a7b6acb2",
"opcodes": [
"PUSH1",
"PUSH1",
"EXP",
"PUSH1",
"CALLDATALOAD",
"DIV",
"PUSH4",
"OP_81",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 11
},
{
"end_pc": 41,
"hash": "0xbb4adb6b0343b466b21e5c872124ae1246c15937f907412dff7a45be4b89e23a",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 31
},
{
"end_pc": 52,
"hash": "0xea19454bfe01c00dbab35612f8aa52f8f8f0fb5376f0c092cc366ffb9e4c6857",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 42
},
{
"end_pc": 63,
"hash": "0xd69d368fec6c14dd7b3dc3a73b7ce17524cd586475c440422e4028feda4fe985",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 53
},
{
"end_pc": 74,
"hash": "0x22ac288b26f96d1f2be88284216b7a65d533ac2cbf794a41853e29d9f15cb49f",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 64
},
{
"end_pc": 85,
"hash": "0x4a871c50e75c9501bcbed914881e4008e1796505737385677e4df8f3d54ca784",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 75
},
{
"end_pc": 96,
"hash": "0xd514a7eacaee8fb4ebdcbdcb38800c29184eab38b16861dd8b97b17c70aaa2ff",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 86
},
{
"end_pc": 107,
"hash": "0x57d0236ed3c086498b49e1b50433804bdf79e7109c7b83755797f666e9fc8f6c",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 97
},
{
"end_pc": 118,
"hash": "0x93f7d5d4e7efa89e76f8f86896757b0bc1282a0b1c617a39aa1a86408e7ae1ee",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 108
},
{
"end_pc": 129,
"hash": "0xcc3c70fb9af60426f8e26d7e1f9ec383d88776d6512a9954f6bb6e8aff45b879",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 119
},
{
"end_pc": 140,
"hash": "0x86e3595e017f2af8a502c2e68c7814eb5c9f0907f0afa551477a81f71d8834b2",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 130
},
{
"end_pc": 151,
"hash": "0x48179b41f3610338adb51b04894be3a884a3d97e0d492a8aae6c114b635c31a3",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 141
},
{
"end_pc": 162,
"hash": "0x00f2e521531902fffd26347661a176ca2eda1a0744be870cff160418e21f3b2e",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 152
},
{
"end_pc": 173,
"hash": "0xdb6f001418c531caf78313cae502f5f6289e688d09acec1f8dc3970f238367c3",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 163
},
{
"end_pc": 184,
"hash": "0x4d86ffa9c19fdc81e9e81d77c7c811e836ae5ff72a61881ab0f873a1c0d3f0be",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 174
},
{
"end_pc": 195,
"hash": "0xa91d7fb99828f9689dc6ccda4a2a36fe23e57cd79450cabcd6123e9f6e7d764c",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 185
exec
/bin/bash -lc "sed -n '1,200p' codex-output-schema.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
exec
/bin/bash -lc "jq 'keys' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
"analysis_artifact",
"analysis_run",
"artifact",
"capability_graph",
"detector_findings",
"heuristics_summary"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
"auth",
"basic_blocks",
"callsites",
"cfg_edges",
"cfg_hash",
"dispatcher_type",
"function_entries",
"functions",
"selectors",
"sinks",
"storage",
"version"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.detectors' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
null
exec
/bin/bash -lc "jq '.detector_findings' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
{
"confidence": 60,
"evidence_json": {
"call_count": 6,
"examples": [
{
"opcode": "CALL",
"pc": 1126,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1194,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1436,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": [],
"untrusted_call_count": 6
},
"normalized_json": {
"sink": "CALL"
},
"severity": "high",
"title": "Untrusted CALL target/value reachable",
"validated": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xa85e234d071e5acc1d91badd306ed601a38575e8"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868",
"trace_mode": "callTracer"
}
},
{
"confidence": 55,
"evidence_json": {
"eth_value_calls": 6,
"examples": [
{
"opcode": "CALL",
"pc": 1126,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1194,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1436,
"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",
"0xa85e234d071e5acc1d91badd306ed601a38575e8"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868",
"trace_mode": "callTracer"
}
},
{
"confidence": 45,
"evidence_json": {
"create2_count": 2,
"create_count": 0
},
"normalized_json": {
"sink": "CREATE"
},
"severity": "medium",
"title": "CREATE/CREATE2 reachable",
"validated": false,
"validation_json": {
"attempts": 32,
"call_targets": null,
"classification": "no_sink",
"confirmed": false,
"errors": 0,
"matched_probe": null,
"sink": "CREATE",
"status": "unknown",
"target_varies": null,
"trace_id": "0x452663a790b9804fcae803623814571567435489435a205594c196d7d9371b34",
"trace_mode": "structLogs"
}
}
]
exec
/bin/bash -lc "jq '.heuristics_summary' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"create2_count": 2,
"delegatecall_count": 0,
"flags": [
"create_opcodes_present"
],
"selfdestruct_count": 0
}
exec
/bin/bash -lc "jq '.analysis_run' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"address": "0xa85e234d071e5acc1d91badd306ed601a38575e8",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2025-12-19T20:03:58.000000Z",
"id": "019b3836-4073-7178-b5f9-dab237c894e6",
"parent_links": [],
"status": "running",
"updated_at": "2026-04-04T19:59:07.000000Z"
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.selectors' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
"0x06fdde03",
"0x18160ddd",
"0x1fe9eabc",
"0x233de126",
"0x23b872dd",
"0x313ce567",
"0x41fa4876",
"0x70a08231",
"0x7f2a8a80",
"0x8da5cb5b",
"0x95d89b41",
"0xa6f2ae3a",
"0xa9059cbb",
"0xaa295de9",
"0xbc094049",
"0xc4839e8b",
"0xcae9ca51",
"0xdc3080f2",
"0xdd62ed3e",
"0xe4849b32",
"0xf2fde38b",
"0xff9b3acf"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.functions' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0x06fdde03",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 535423676,
"selector": "0x18160ddd",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 591257894,
"selector": "0x1fe9eabc",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 599290589,
"selector": "0x233de126",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 826074471,
"selector": "0x23b872dd",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1106921590,
"selector": "0x313ce567",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1889567281,
"selector": "0x41fa4876",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2133494400,
"selector": "0x70a08231",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2376452955,
"selector": "0x7f2a8a80",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2514000705,
"selector": "0x8da5cb5b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2800922170,
"selector": "0x95d89b41",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2835717307,
"selector": "0xa6f2ae3a",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2854837737,
"selector": "0xa9059cbb",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3154722889,
"selector": "0xaa295de9",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3296960139,
"selector": "0xbc094049",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3404319313,
"selector": "0xc4839e8b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3694166258,
"selector": "0xcae9ca51",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3714247998,
"selector": "0xdc3080f2",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3833895730,
"selector": "0xdd62ed3e",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 4076725131,
"selector": "0xe4849b32",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": 4288363215,
"selector": "0xf2fde38b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
},
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0xff9b3acf",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.callsites' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
{
"opcode": "CALL",
"pc": 1126,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1194,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1436,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 2491,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALLCODE",
"pc": 2573,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 2591,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.storage' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"keccak_count": 30,
"reads": 47,
"slots": [
{
"op": "SLOAD",
"pc": 272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 343,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 363,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 375,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 406,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 471,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 596,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 626,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 645,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000100"
},
{
"op": "SLOAD",
"pc": 735,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 809,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 818,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 830,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SSTORE",
"pc": 1001,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1370,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1826,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2053,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2108,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2125,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 2192,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2229,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2294,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2365,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2476,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 2544,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 17
}
exec
/bin/bash -lc "jq '.capability_graph' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"address": "0xa85e234d071e5acc1d91badd306ed601a38575e8",
"block_number": null,
"chain_id": 1,
"codehash": "0x6cacae3610487584958de054d3538509389fe25e0b1f591c38ed5562204fea5a",
"created_at": "2026-04-04T19:59:07.000000Z",
"graph_hash": "0x155ff68d9cfb279030b5633248189c278b969de73c75b8439440f1c75f8b009f",
"graph_json": {
"edges": [
{
"from": "bb:0",
"to": "bb:262",
"type": "control_flow"
},
{
"from": "bb:0",
"to": "bb:11",
"type": "control_flow_fallthrough"
},
{
"from": "bb:11",
"to": "bb:264",
"type": "control_flow"
},
{
"from": "bb:11",
"to": "bb:31",
"type": "control_flow_fallthrough"
},
{
"from": "bb:31",
"to": "bb:357",
"type": "control_flow"
},
{
"from": "bb:31",
"to": "bb:42",
"type": "control_flow_fallthrough"
},
{
"from": "bb:42",
"to": "bb:366",
"type": "control_flow"
},
{
"from": "bb:42",
"to": "bb:53",
"type": "control_flow_fallthrough"
},
{
"from": "bb:53",
"to": "bb:400",
"type": "control_flow"
},
{
"from": "bb:53",
"to": "bb:64",
"type": "control_flow_fallthrough"
},
{
"from": "bb:64",
"to": "bb:415",
"type": "control_flow"
},
{
"from": "bb:64",
"to": "bb:75",
"type": "control_flow_fallthrough"
},
{
"from": "bb:75",
"to": "bb:465",
"type": "control_flow"
},
{
"from": "bb:75",
"to": "bb:86",
"type": "control_flow_fallthrough"
},
{
"from": "bb:86",
"to": "bb:477",
"type": "control_flow"
},
{
"from": "bb:86",
"to": "bb:97",
"type": "control_flow_fallthrough"
},
{
"from": "bb:97",
"to": "bb:563",
"type": "control_flow"
},
{
"from": "bb:97",
"to": "bb:108",
"type": "control_flow_fallthrough"
},
{
"from": "bb:108",
"to": "bb:587",
"type": "control_flow"
},
{
"from": "bb:108",
"to": "bb:119",
"type": "control_flow_fallthrough"
},
{
"from": "bb:119",
"to": "bb:620",
"type": "control_flow"
},
{
"from": "bb:119",
"to": "bb:130",
"type": "control_flow_fallthrough"
},
{
"from": "bb:130",
"to": "bb:638",
"type": "control_flow"
},
{
"from": "bb:130",
"to": "bb:141",
"type": "control_flow_fallthrough"
},
{
"from": "bb:141",
"to": "bb:729",
"type": "control_flow"
},
{
"from": "bb:141",
"to": "bb:152",
"type": "control_flow_fallthrough"
},
{
"from": "bb:152",
"to": "bb:756",
"type": "control_flow"
},
{
"from": "bb:152",
"to": "bb:163",
"type": "control_flow_fallthrough"
},
{
"from": "bb:163",
"to": "bb:803",
"type": "control_flow"
},
{
"from": "bb:163",
"to": "bb:174",
"type": "control_flow_fallthrough"
},
{
"from": "bb:174",
"to": "bb:812",
"type": "control_flow"
},
{
"from": "bb:174",
"to": "bb:185",
"type": "control_flow_fallthrough"
},
{
"from": "bb:185",
"to": "bb:821",
"type": "control_flow"
},
{
"from": "bb:185",
"to": "bb:196",
"type": "control_flow_fallthrough"
},
{
"from": "bb:196",
"to": "bb:854",
"type": "control_flow"
},
{
"from": "bb:196",
"to": "bb:207",
"type": "control_flow_fallthrough"
},
{
"from": "bb:207",
"to": "bb:1213",
"type": "control_flow"
},
{
"from": "bb:207",
"to": "bb:218",
"type": "control_flow_fallthrough"
},
{
"from": "bb:218",
"to": "bb:1250",
"type": "control_flow"
},
{
"from": "bb:218",
"to": "bb:229",
"type": "control_flow_fallthrough"
},
{
"from": "bb:229",
"to": "bb:1287",
"type": "control_flow"
},
{
"from": "bb:229",
"to": "bb:240",
"type": "control_flow_fallthrough"
},
{
"from": "bb:240",
"to": "bb:1331",
"type": "control_flow"
},
{
"from": "bb:240",
"to": "bb:251",
"type": "control_flow_fallthrough"
},
{
"from": "bb:251",
"to": "bb:1364",
"type": "control_flow"
},
{
"from": "bb:251",
"to": "bb:262",
"type": "control_flow_fallthrough"
},
{
"from": "bb:264",
"to": "bb:1899",
"type": "control_flow"
},
{
"from": "bb:264",
"to": "bb:330",
"type": "control_flow_fallthrough"
},
{
"from": "bb:330",
"to": "bb:1856",
"type": "control_flow"
},
{
"from": "bb:330",
"to": "bb:338",
"type": "control_flow_fallthrough"
},
{
"from": "bb:338",
"to": "bb:1899",
"type": "control_flow"
},
{
"from": "bb:366",
"to": "bb:2044",
"type": "control_flow"
},
{
"from": "bb:366",
"to": "bb:396",
"type": "control_flow_fallthrough"
},
{
"from": "bb:415",
"to": "bb:1587",
"type": "control_flow"
},
{
"from": "bb:415",
"to": "bb:461",
"type": "control_flow_fallthrough"
},
{
"from": "bb:477",
"to": "bb:487",
"type": "control_flow_fallthrough"
},
{
"from": "bb:487",
"to": "bb:492",
"type": "control_flow_fallthrough"
},
{
"from": "bb:492",
"to": "bb:1907",
"type": "control_flow"
},
{
"from": "bb:492",
"to": "bb:501",
"type": "control_flow_fallthrough"
},
{
"from": "bb:501",
"to": "bb:555",
"type": "control_flow"
},
{
"from": "bb:501",
"to": "bb:546",
"type": "control_flow_fallthrough"
},
{
"from": "bb:546",
"to": "bb:555",
"type": "control_flow_fallthrough"
},
{
"from": "bb:555",
"to": "bb:492",
"type": "control_flow"
},
{
"from": "bb:587",
"to": "bb:2049",
"type": "control_flow"
},
{
"from": "bb:587",
"to": "bb:616",
"type": "control_flow_fallthrough"
},
{
"from": "bb:638",
"to": "bb:1899",
"type": "control_flow"
},
{
"from": "bb:638",
"to": "bb:702",
"type": "control_flow_fallthrough"
},
{
"from": "bb:702",
"to": "bb:1856",
"type": "control_flow"
},
{
"from": "bb:702",
"to": "bb:710",
"type": "control_flow_fallthrough"
},
{
"from": "bb:710",
"to": "bb:1899",
"type": "control_flow"
},
{
"from": "bb:729",
"to": "bb:2122",
"type": "control_flow"
},
{
"from": "bb:729",
"to": "bb:752",
"type": "control_flow_fallthrough"
},
{
"from": "bb:756",
"to": "bb:1915",
"type": "control_flow"
},
{
"from": "bb:756",
"to": "bb:799",
"type": "control_flow_fallthrough"
},
{
"from": "bb:821",
"to": "bb:2083",
"type": "control_flow"
},
{
"from": "bb:821",
"to": "bb:850",
"type": "control_flow_fallthrough"
},
{
"from": "bb:854",
"to": "bb:1168",
"type": "control_flow"
},
{
"from": "bb:854",
"to": "bb:1143",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1143",
"to": "bb:1168",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1168",
"to": "bb:1200",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1287",
"to": "bb:2420",
"type": "control_flow"
},
{
"from": "bb:1287",
"to": "bb:1327",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1331",
"to": "bb:1822",
"type": "control_flow"
},
{
"from": "bb:1331",
"to": "bb:1360",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1382",
"to": "bb:1478",
"type": "control_flow"
},
{
"from": "bb:1382",
"to": "bb:1453",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1453",
"to": "bb:1478",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1587",
"to": "bb:1626",
"type": "control_flow"
},
{
"from": "bb:1587",
"to": "bb:1622",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1626",
"to": "bb:1702",
"type": "control_flow"
},
{
"from": "bb:1626",
"to": "bb:1698",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1856",
"to": "bb:1870",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1870",
"to": "bb:1870",
"type": "control_flow"
},
{
"from": "bb:1870",
"to": "bb:1890",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1890",
"to": "bb:1899",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1915",
"to": "bb:1954",
"type": "control_flow"
},
{
"from": "bb:1915",
"to": "bb:1950",
"type": "control_flow_fallthrough"
},
{
"from": "bb:2083",
"to": "bb:2104",
"type": "control_flow"
},
{
"from": "bb:2083",
"to": "bb:2100",
"type": "control_flow_fallthrough"
},
{
"from": "bb:2122",
"to": "bb:487",
"type": "control_flow"
},
{
"from": "bb:2189",
"to": "bb:2226",
"type": "control_flow"
},
{
"from": "bb:2189",
"to": "bb:2208",
"type": "control_flow_fallthrough"
},
{
"from": "bb:2208",
"to": "bb:2226",
"type": "control_flow_fallthrough"
},
{
"from": "bb:2226",
"to": "bb:2256",
"type": "control_flow"
},
{
"from": "bb:2226",
"to": "bb:2243",
"type": "control_flow_fallthrough"
},
{
"from": "bb:2243",
"to": "bb:2256",
"type": "control_flow_fallthrough"
},
{
"from": "fn:0x18160ddd",
"to": "bb:535423676",
"type": "entry"
},
{
"from": "fn:0x1fe9eabc",
"to": "bb:591257894",
"type": "entry"
},
{
"from": "fn:0x233de126",
"to": "bb:599290589",
"type": "entry"
},
{
"from": "fn:0x23b872dd",
"to": "bb:826074471",
"type": "entry"
},
{
"from": "fn:0x313ce567",
"to": "bb:1106921590",
"type": "entry"
},
{
"from": "fn:0x41fa4876",
"to": "bb:1889567281",
"type": "entry"
},
{
"from": "fn:0x70a08231",
"to": "bb:2133494400",
"type": "entry"
},
{
"from": "fn:0x7f2a8a80",
"to": "bb:2376452955",
"type": "entry"
},
{
"from": "fn:0x8da5cb5b",
"to": "bb:2514000705",
"type": "entry"
},
{
"from": "fn:0x95d89b41",
"to": "bb:2800922170",
"type": "entry"
},
{
"from": "fn:0xa6f2ae3a",
"to": "bb:2835717307",
"type": "entry"
},
{
"from": "fn:0xa9059cbb",
"to": "bb:2854837737",
"type": "entry"
},
{
"from": "fn:0xaa295de9",
"to": "bb:3154722889",
"type": "entry"
},
{
"from": "fn:0xbc094049",
"to": "bb:3296960139",
"type": "entry"
},
{
"from": "fn:0xc4839e8b",
"to": "bb:3404319313",
"type": "entry"
},
{
"from": "fn:0xcae9ca51",
"to": "bb:3694166258",
"type": "entry"
},
{
"from": "fn:0xdc3080f2",
"to": "bb:3714247998",
"type": "entry"
},
{
"from": "fn:0xdd62ed3e",
"to": "bb:3833895730",
"type": "entry"
},
{
"from": "fn:0xe4849b32",
"to": "bb:4076725131",
"type": "entry"
},
{
"from": "fn:0xf2fde38b",
"to": "bb:4288363215",
"type": "entry"
},
{
"from": "bb:854",
"to": "call:1126",
"type": "contains"
},
{
"from": "call:1126",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1168",
"to": "call:1194",
"type": "contains"
},
{
"from": "call:1194",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1382",
"to": "call:1436",
"type": "contains"
},
{
"from": "call:1436",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:2420",
"to": "call:2491",
"type": "contains"
},
{
"from": "call:2491",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:2572",
"to": "call:2573",
"type": "contains"
},
{
"from": "call:2573",
"to": "sink:callcode",
"type": "capability"
},
{
"from": "bb:2572",
"to": "call:2591",
"type": "contains"
},
{
"from": "call:2591",
"to": "sink:call",
"type": "capability"
}
],
"nodes": [
{
"end_pc": 10,
"hash": "0xf11444caaf4db510565a598ec5db1095f6815c9db671a85c90dde30dacbe11e2",
"id": "bb:0",
"start_pc": 0,
"type": "basic_block"
},
{
"end_pc": 30,
"hash": "0x81ba1990cb6d08ec7e9f5cef473cf689c892f720fb932454a377fa40a7b6acb2",
"id": "bb:11",
"start_pc": 11,
"type": "basic_block"
},
{
"end_pc": 41,
"hash": "0xbb4adb6b0343b466b21e5c872124ae1246c15937f907412dff7a45be4b89e23a",
"id": "bb:31",
"start_pc": 31,
"type": "basic_block"
},
{
"end_pc": 52,
"hash": "0xea19454bfe01c00dbab35612f8aa52f8f8f0fb5376f0c092cc366ffb9e4c6857",
"id": "bb:42",
"start_pc": 42,
"type": "basic_block"
},
{
"end_pc": 63,
"hash": "0xd69d368fec6c14dd7b3dc3a73b7ce17524cd586475c440422e4028feda4fe985",
"id": "bb:53",
"start_pc": 53,
"type": "basic_block"
},
{
"end_pc": 74,
"hash": "0x22ac288b26f96d1f2be88284216b7a65d533ac2cbf794a41853e29d9f15cb49f",
"id": "bb:64",
"start_pc": 64,
"type": "basic_block"
},
{
"end_pc": 85,
"hash": "0x4a871c50e75c9501bcbed914881e4008e1796505737385677e4df8f3d54ca784",
"id": "bb:75",
"start_pc": 75,
"type": "basic_block"
},
{
"end_pc": 96,
"hash": "0xd514a7eacaee8fb4ebdcbdcb38800c29184eab38b16861dd8b97b17c70aaa2ff",
"id": "bb:86",
"start_pc": 86,
"type": "basic_block"
},
{
"end_pc": 107,
"hash": "0x57d0236ed3c086498b49e1b50433804bdf79e7109c7b83755797f666e9fc8f6c",
"id": "bb:97",
"start_pc": 97,
"type": "basic_block"
},
{
"end_pc": 118,
"hash": "0x93f7d5d4e7efa89e76f8f86896757b0bc1282a0b1c617a39aa1a86408e7ae1ee",
"id": "bb:108",
"start_pc": 108,
"type": "basic_block"
},
{
"end_pc": 129,
"hash": "0xcc3c70fb9af60426f8e26d7e1f9ec383d88776d6512a9954f6bb6e8aff45b879",
"id": "bb:119",
"start_pc": 119,
"type": "basic_block"
},
{
"end_pc": 140,
"hash": "0x86e3595e017f2af8a502c2e68c7814eb5c9f0907f0afa551477a81f71d8834b2",
"id": "bb:130",
"start_pc": 130,
"type": "basic_block"
},
{
"end_pc": 151,
"hash": "0x48179b41f3610338adb51b04894be3a884a3d97e0d492a8aae6c114b635c31a3",
"id": "bb:141",
"start_pc": 141,
"type": "basic_block"
},
{
"end_pc": 162,
"hash": "0x00f2e521531902fffd26347661a176ca2eda1a0744be870cff160418e21f3b2e",
"id": "bb:152",
"start_pc": 152,
"type": "basic_block"
},
{
"end_pc": 173,
"hash": "0xdb6f001418c531caf78313cae502f5f6289e688d09acec1f8dc3970f238367c3",
"id": "bb:163",
"start_pc": 163,
"type": "basic_block"
},
{
"end_pc": 184,
"hash": "0x4d86ffa9c19fdc81e9e81d77c7c811e836ae5ff72a61881ab0f873a1c0d3f0be",
"id": "bb:174",
"start_pc": 174,
"type": "basic_block"
},
{
"end_pc": 195,
"hash": "0xa91d7fb99828f9689dc6ccda4a2a36fe23e57cd79450cabcd6123e9f6e7d764c",
"id": "bb:185",
"start_pc": 185,
"type": "basic_block"
},
{
"end_pc": 206,
"hash": "0x1997e43099f71cafa68597bcff4a83984a35254f78f24a47a1305635b012542c",
"id": "bb:196",
"start_pc": 196,
"type": "basic_block"
},
{
"end_pc": 217,
"hash": "0x2ac83c9fbd12121cfe837b579d467c8796a299f150c24a3d76eecf07a39b419f",
"id": "bb:207",
"start_pc": 207,
"type": "basic_block"
},
{
"end_pc": 228,
"hash": "0x0b9c7a41d23b43c8eb6b6cb37b34be1c160c87c1c13630c81ff211022224aa87",
"id": "bb:218",
"start_pc": 218,
"type": "basic_block"
},
{
"end_pc": 239,
"hash": "0x3101111f07321a4cb5fae2cfc264ca9ed59c8fa33a986357bc8acbc0e8c143f4",
"id": "bb:229",
"start_pc": 229,
"type": "basic_block"
},
{
"end_pc": 250,
"hash": "0x0744dbb6cd58b3038fe60de22a96eff378a0420bcf310515ce1aeaf9929a08d3",
"id": "bb:240",
"start_pc": 240,
"type": "basic_block"
},
{
"end_pc": 261,
"hash": "0xa2c51aba88be8405fa240a0076209f80349abc432670dc43adc997cd03a58e6d",
"id": "bb:251",
"start_pc": 251,
"type": "basic_block"
},
{
"end_pc": 263,
"hash": "0xfa58d4586ba563afea8a6209e1c275e39f7a607bbb2afbfa6b1803387a47055c",
"id": "bb:262",
"start_pc": 262,
"type": "basic_block"
},
{
"end_pc": 329,
"hash": "0x1cfffdc5c411ff1f775b9b27fc4f297005352f834875a5c02e3fe644c2d4b372",
"id": "bb:264",
"start_pc": 264,
"type": "basic_block"
},
{
"end_pc": 337,
"hash": "0x9fc1c6bba0c4be254ec85e0ff57840907532cff4658417c57096c294f515a682",
"id": "bb:330",
"start_pc": 330,
"type": "basic_block"
},
{
"end_pc": 356,
"hash": "0xec3446ecd6205c3182810a7c002f06f9efeadcb4906af2e963cc1b27504b0b52",
"id": "bb:338",
"start_pc": 338,
"type": "basic_block"
},
{
"end_pc": 365,
"hash": "0x5355a75f3e32c3ff6b59b35cf8ebad4c8946c512f81833383123c6371865cce2",
"id": "bb:357",
"start_pc": 357,
"type": "basic_block"
},
{
"end_pc": 395,
"hash": "0x2c57ee52e13001017913430129bcedb53aa5c5f299e08ce8514f8bbe936f0cd9",
"id": "bb:366",
"start_pc": 366,
"type": "basic_block"
},
{
"end_pc": 399,
"hash": "0x308901a1166184fe53071bea39dd107613c9a5d3e90924c678f29754c5b948ac",
"id": "bb:396",
"start_pc": 396,
"type": "basic_block"
},
{
"end_pc": 414,
"hash": "0x4304b330bcd2157b6c920f24c3c28b0cdefd386b765f0c18b1efb33e7ee409e2",
"id": "bb:400",
"start_pc": 400,
"type": "basic_block"
},
{
"end_pc": 460,
"hash": "0x1ef33371a0c924f0c7acb4b74d57f13208b0437dd199d6f2dc8ad8c58fa62132",
"id": "bb:415",
"start_pc": 415,
"type": "basic_block"
},
{
"end_pc": 464,
"hash": "0x06f1bd585a2974e4edd144946dc5578111a51c3918f67134544c236bc997f9cf",
"id": "bb:461",
"start_pc": 461,
"type": "basic_block"
},
{
"end_pc": 476,
"hash": "0xb543112cb3079ff3863a459325f47e8d3851e361fe78eceebb73df8e735d4398",
"id": "bb:465",
"start_pc": 465,
"type": "basic_block"
},
{
"end_pc": 486,
"hash": "0xfd5fffb0b3dfded5666312d3563c9b72259498f03f32fee7905521d6e1dff11d",
"id": "bb:477",
"start_pc": 477,
"type": "basic_block"
},
{
"end_pc": 491,
"hash": "0x8c860dd4a744b83f5d603fa28aafd9adea96022d0bd3350c095efd519d9f1ba2",
"id": "bb:487",
"start_pc": 487,
"type": "basic_block"
},
{
"end_pc": 500,
"hash": "0x25035ecdffd744b6921fceec299ef521e0f84e8c2ba7da6cfee43a3aa694369c",
"id": "bb:492",
"start_pc": 492,
"type": "basic_block"
},
{
"end_pc": 545,
"hash": "0xa84ecf89edecaea2c2c693b3c3e3382bbdc5be64392e6cb22186a097a77eff53",
"id": "bb:501",
"start_pc": 501,
"type": "basic_block"
},
{
"end_pc": 554,
"hash": "0x5047fd980427293bdee6abf6d16154594952dae9e8c7ae5d7c2e53264c01e351",
"id": "bb:546",
"start_pc": 546,
"type": "basic_block"
},
{
"end_pc": 562,
"hash": "0xef1bcd80882e3a871e0b502e2c245a7a5fa790dce085da21a6c4688774f49951",
"id": "bb:555",
"start_pc": 555,
"type": "basic_block"
},
{
"end_pc": 586,
"hash": "0xbd1a39c8dd00a5f7882d8cc57534bd509b5c20deab63ce69c0d25d6c0e939918",
"id": "bb:563",
"start_pc": 563,
"type": "basic_block"
},
{
"end_pc": 615,
"hash": "0xed4434123bc41793b918cceab7ad6edaa6ff76abdc3374c5689c63519e900690",
"id": "bb:587",
"start_pc": 587,
"type": "basic_block"
},
{
"end_pc": 619,
"hash": "0x295b9db996f0dcab10c486ecbc69c2f450ae381d4ebb9c6578781be79c94223d",
"id": "bb:616",
"start_pc": 616,
"type": "basic_block"
},
{
"end_pc": 637,
"hash": "0x760a43257a375b9a76e8549fbdfab1df281e267841c86741c59e203a084c3be2",
"id": "bb:620",
"start_pc": 620,
"type": "basic_block"
},
{
"end_pc": 701,
"hash": "0x60d46b1547c560c68bc502fe1d7728c96b6a284537da60f77fc33844ea320b09",
"id": "bb:638",
"start_pc": 638,
"type": "basic_block"
},
{
"end_pc": 709,
"hash": "0x882b9d235bd39a931f259a3208ed8276bb00e096ea14cf79865842602a96d3ff",
"id": "bb:702",
"start_pc": 702,
"type": "basic_block"
},
{
"end_pc": 728,
"hash": "0xcd08256ed19b19ace22c550d7e9e764230255932e24818bc76f1768e7ed411d4",
"id": "bb:710",
"start_pc": 710,
"type": "basic_block"
},
{
"end_pc": 751,
"hash": "0x6033622b137345e5e85c9ba3d38ad1a91fff0325e5bcb2d4aa33c442c09c96e8",
"id": "bb:729",
"start_pc": 729,
"type": "basic_block"
},
{
"end_pc": 755,
"hash": "0x01a7be615724532b6d9f92d06b8b10086f1a57e436301fad0dd825cb1c48eb9a",
"id": "bb:752",
"start_pc": 752,
"type": "basic_block"
},
{
"end_pc": 798,
"hash": "0x0521be706b5f5726fb08266a1165a17040a8e3d20cae24a1d3d09639f6726565",
"id": "bb:756",
"start_pc": 756,
"type": "basic_block"
},
{
"end_pc": 802,
"hash": "0xa55a7d63de5ca9453cea1c30ca713ed1de5b9f17ba62cbdde2826bfd65700ac1",
"id": "bb:799",
"start_pc": 799,
"type": "basic_block"
},
{
"end_pc": 811,
"hash": "0x0a38b485a9278a36cb61b312b488efdaf08d414b1ce3277a3599a8e837ef712b",
"id": "bb:803",
"start_pc": 803,
"type": "basic_block"
},
{
"end_pc": 820,
"hash": "0x15fd1e1964b97dc894da87412ba748c7630d8bc544bc4a9f5a35e2999cf36b27",
"id": "bb:812",
"start_pc": 812,
"type": "basic_block"
},
{
"end_pc": 849,
"hash": "0x4c652f1a35c7c6a3fbcef3af3a16a824e813aa8a6d42f466119d00c0a8fcbef2",
"id": "bb:821",
"start_pc": 821,
"type": "basic_block"
},
{
"end_pc": 853,
"hash": "0xc37cc290da199743849279a7f5cd7d484b4e57a402a0dfbc60648de3326d8a42",
"id": "bb:850",
"start_pc": 850,
"type": "basic_block"
},
{
"end_pc": 1142,
"hash": "0x6c3bec8ad2197379e97ce7c15d090fefd675ffbc51b725c82688af5488456e58",
"id": "bb:854",
"start_pc": 854,
"type": "basic_block"
},
{
"end_pc": 1167,
"hash": "0xb5d50d3e73296dfb1ef27af6c131ccf6951d16e423282d9784276c6565299717",
"id": "bb:1143",
"start_pc": 1143,
"type": "basic_block"
},
{
"end_pc": 1199,
"hash": "0xdf9ff470b26ab5507926e44fb36b152325bbc0b2365977dd939346ff30e6b321",
"id": "bb:1168",
"start_pc": 1168,
"type": "basic_block"
},
{
"end_pc": 1212,
"hash": "0x070be6b669cf1cc8276ff5e32b64edc7347897fcac13cf12083d44d636be038c",
"id": "bb:1200",
"start_pc": 1200,
"type": "basic_block"
},
{
"end_pc": 1249,
"hash": "0x77965285ebf4aadb9b09da4eee562857593fcf3186523de921c509423d248e7d",
"id": "bb:1213",
"start_pc": 1213,
"type": "basic_block"
},
{
"end_pc": 1286,
"hash": "0x99f7cb580fe1e6af2a89ed712f8df01bccb3c3d3db588ced145b9b30a6786ef1",
"id": "bb:1250",
"start_pc": 1250,
"type": "basic_block"
},
{
"end_pc": 1326,
"hash": "0x01304aee7b7aeb885bcab0c12b92cfdbf1285c74899c3989a128ea0c4ee9119b",
"id": "bb:1287",
"start_pc": 1287,
"type": "basic_block"
},
{
"end_pc": 1330,
"hash": "0x44778ee36d72db7c87f2f2c35b6cd356d87fe0018821f050f0a7ca48354713e0",
"id": "bb:1327",
"start_pc": 1327,
"type": "basic_block"
},
{
"end_pc": 1359,
"hash": "0x6ba937265949337ae645396d6469feadc92ec4de79d2c796f75e9ab75274346a",
"id": "bb:1331",
"start_pc": 1331,
"type": "basic_block"
},
{
"end_pc": 1363,
"hash": "0x96b3b5fc127f19e4f35416752cce831fe6d36f43af578db6b7293fa430f9b0a4",
"id": "bb:1360",
"start_pc": 1360,
"type": "basic_block"
},
{
"end_pc": 1381,
"hash": "0xe284d6cbc41c05af638ec7157a27d2268206dbca2eb088a84f0ba0b0638eca90",
"id": "bb:1364",
"start_pc": 1364,
"type": "basic_block"
},
{
"end_pc": 1452,
"hash": "0x96461ab3bc00a3ed037c6de2cec21c8dbe3e2af0b9ef0b1115e74e0968648c95",
"id": "bb:1382",
"start_pc": 1382,
"type": "basic_block"
},
{
"end_pc": 1477,
"hash": "0x1250da6277ef54eed2e38caf441306faaf9b46cd0bf90da5d5a618020d1213d9",
"id": "bb:1453",
"start_pc": 1453,
"type": "basic_block"
},
{
"end_pc": 1491,
"hash": "0x64819b914d3b7c3bec26f0623ee27e601c5ce1ebf95b9d100f16dd876dc85dd4",
"id": "bb:1478",
"start_pc": 1478,
"type": "basic_block"
},
{
"end_pc": 1509,
"hash": "0x3b75a4738005127f7ae27e38eb0bc66ae64267f314110d5b4b05f1edffd325bd",
"id": "bb:1492",
"start_pc": 1492,
"type": "basic_block"
},
{
"end_pc": 1535,
"hash": "0xa93fa38307cd740f4c9819ed949deb9bce203065bb3ce06a85b88444efb82559",
"id": "bb:1510",
"start_pc": 1510,
"type": "basic_block"
},
{
"end_pc": 1557,
"hash": "0xa8a865556d8bc74e9e62d46b1d14d0f1706e44d3ebf158e1c9f470bbcbac46f9",
"id": "bb:1536",
"start_pc": 1536,
"type": "basic_block"
},
{
"end_pc": 1586,
"hash": "0x434f2df72ed353701833fc08f5cb70e83e68f8f9a24d6058a64bd903c5fbe8d6",
"id": "bb:1558",
"start_pc": 1558,
"type": "basic_block"
},
{
"end_pc": 1621,
"hash": "0xa3cb16333a3ae880fa9f36af630bb64ca0bd5f58afbc5c4131e4fa9d361a40e3",
"id": "bb:1587",
"start_pc": 1587,
"type": "basic_block"
},
{
"end_pc": 1625,
"hash": "0xc63bb3eedbf32c1949369795f31cc83aea6c6ac2bd24cd3e8087dc1293812392",
"id": "bb:1622",
"start_pc": 1622,
"type": "basic_block"
},
{
"end_pc": 1697,
"hash": "0xc11689a838655ec98e78c76bda09b67ca00566ebf21b5ce6011891a8421c56b0",
"id": "bb:1626",
"start_pc": 1626,
"type": "basic_block"
},
{
"end_pc": 1701,
"hash": "0x9b396b22ab8dd8bcc6724f2318f0dc315a919e72f100321ea3ab10884cfd49f8",
"id": "bb:1698",
"start_pc": 1698,
"type": "basic_block"
},
{
"end_pc": 1821,
"hash": "0xc6cce4eeddda1b4441d447d774c413b676d6c4c910aed9377b8de9024e182c5f",
"id": "bb:1702",
"start_pc": 1702,
"type": "basic_block"
},
{
"end_pc": 1855,
"hash": "0x7fbad4731d96967a0508889d88e101bdd70fc1ade3592752dcf369c90a327a08",
"id": "bb:1822",
"start_pc": 1822,
"type": "basic_block"
},
{
"end_pc": 1869,
"hash": "0x93b9c0904d9d0999f4f92f6a9f7c605639fe26041e027a93fcdd502465cd4b3e",
"id": "bb:1856",
"start_pc": 1856,
"type": "basic_block"
},
{
"end_pc": 1889,
"hash": "0xd3949863dc42d76ee920d2ddfb08b609990e731306b00a8607c15c8112f7f9ec",
"id": "bb:1870",
"start_pc": 1870,
"type": "basic_block"
},
{
"end_pc": 1898,
"hash": "0x13a89cb9e6f5ec43cd21a01314d94ca7f18624df2caeeb60f7dcc8f7cff73ecc",
"id": "bb:1890",
"start_pc": 1890,
"type": "basic_block"
},
{
"end_pc": 1906,
"hash": "0x53a53f7d751a4833be077a8e34d88b7c58cf63d29a1c9861f5abe4696cc3f66c",
"id": "bb:1899",
"start_pc": 1899,
"type": "basic_block"
},
{
"end_pc": 1914,
"hash": "0x2e165ece4b4680f18def9a0f950590f7f9aed92408d9ae9ad8979c49d5441ab3",
"id": "bb:1907",
"start_pc": 1907,
"type": "basic_block"
},
{
"end_pc": 1949,
"hash": "0x35e72273e6694f61cbe88d7da02030c2774cf1e21fdeaaef7d8045ec9bf28929",
"id": "bb:1915",
"start_pc": 1915,
"type": "basic_block"
},
{
"end_pc": 1953,
"hash": "0x29db718b807563ba8bd960ba85cd01702a0cd4c2ef04d457f49da4b965a96b12",
"id": "bb:1950",
"start_pc": 1950,
"type": "basic_block"
},
{
"end_pc": 2043,
"hash": "0xcd784ef3c32a08abb090682f8a99d492361a99521d94edb881c9cc036884de92",
"id": "bb:1954",
"start_pc": 1954,
"type": "basic_block"
},
{
"end_pc": 2048,
"hash": "0x61a378a6542a8a5496405e00e33fb5624a93d488336e3e55525e12e4ddc7a940",
"id": "bb:2044",
"start_pc": 2044,
"type": "basic_block"
},
{
"end_pc": 2082,
"hash": "0xa37d4762d27a203c6f85ba61b5de6fb633f467fe08b65aaea096551bcec73a45",
"id": "bb:2049",
"start_pc": 2049,
"type": "basic_block"
},
{
"end_pc": 2099,
"hash": "0x0b048082be4a8cc9d1ec26098cee1fbcea4f2a3b7daa59e1e171e5f96ded7010",
"id": "bb:2083",
"start_pc": 2083,
"type": "basic_block"
},
{
"end_pc": 2103,
"hash": "0xc43c90db8f0da79e0d7211e8f5ce92f9f37f9901686f61aee21e04865d87f3d1",
"id": "bb:2100",
"start_pc": 2100,
"type": "basic_block"
},
{
"end_pc": 2121,
"hash": "0x1002c095984ad79dcb8d72a63e45c71b320677e33488b3f47e5bc78b62829d84",
"id": "bb:2104",
"start_pc": 2104,
"type": "basic_block"
},
{
"end_pc": 2188,
"hash": "0x8a938939ff5669887de4eb4649bfcabf93d133ef798175860d1a06b96f421fde",
"id": "bb:2122",
"start_pc": 2122,
"type": "basic_block"
},
{
"end_pc": 2207,
"hash": "0x38453345a024778abfe76618edc099013e74847444c7b42fb0dab0fd2466e861",
"id": "bb:2189",
"start_pc": 2189,
"type": "basic_block"
},
{
"end_pc": 2225,
"hash": "0x4d9bcc7cdcdede41f7044aeede0cedbab65d914b6fe357a69609efb84d825c2b",
"id": "bb:2208",
"start_pc": 2208,
"type": "basic_block"
},
{
"end_pc": 2242,
"hash": "0x90850a374bdcb07b8f1df8e82c323e3c73f44d00aa484d2b736dfc4554669d31",
"id": "bb:2226",
"start_pc": 2226,
"type": "basic_block"
},
{
"end_pc": 2255,
"hash": "0xa58ee138d8d9e4bf530ffc2ec9c8234dab96a6fa51f061db1087578b81ba708c",
"id": "bb:2243",
"start_pc": 2243,
"type": "basic_block"
},
{
"end_pc": 2419,
"hash": "0x4110b1b67cf9361edc6775fee2c2792763c9a5375f859f2e7a3eb83340bbc314",
"id": "bb:2256",
"start_pc": 2256,
"type": "basic_block"
},
{
"end_pc": 2571,
"hash": "0x9579c4f6f8e0b5d8474d0c996fdb065dd04f7a9e3c9a11faebf416c51f87e6a6",
"id": "bb:2420",
"start_pc": 2420,
"type": "basic_block"
},
{
"end_pc": 2603,
"hash": "0xc6f240d5edd99d19707163ed0d090d62cd55969f1193a9af1a2aaaba08aafb55",
"id": "bb:2572",
"start_pc": 2572,
"type": "basic_block"
},
{
"id": "call:1126",
"opcode": "CALL",
"pc": 1126,
"type": "callsite"
},
{
"id": "call:1194",
"opcode": "CALL",
"pc": 1194,
"type": "callsite"
},
{
"id": "call:1436",
"opcode": "CALL",
"pc": 1436,
"type": "callsite"
},
{
"id": "call:2491",
"opcode": "CALL",
"pc": 2491,
"type": "callsite"
},
{
"id": "call:2573",
"opcode": "CALLCODE",
"pc": 2573,
"type": "callsite"
},
{
"id": "call:2591",
"opcode": "CALL",
"pc": 2591,
"type": "callsite"
},
{
"id": "sink:call",
"type": "sink"
},
{
"id": "sink:callcode",
"type": "sink"
},
{
"entry_pc": null,
"id": "fn:0x06fdde03",
"selector": "0x06fdde03",
"type": "function"
},
{
"entry_pc": 535423676,
"id": "fn:0x18160ddd",
"selector": "0x18160ddd",
"type": "function"
},
{
"entry_pc": 591257894,
"id": "fn:0x1fe9eabc",
"selector": "0x1fe9eabc",
"type": "function"
},
{
"entry_pc": 599290589,
"id": "fn:0x233de126",
"selector": "0x233de126",
"type": "function"
},
{
"entry_pc": 826074471,
"id": "fn:0x23b872dd",
"selector": "0x23b872dd",
"type": "function"
},
{
"entry_pc": 1106921590,
"id": "fn:0x313ce567",
"selector": "0x313ce567",
"type": "function"
},
{
"entry_pc": 1889567281,
"id": "fn:0x41fa4876",
"selector": "0x41fa4876",
"type": "function"
},
{
"entry_pc": 2133494400,
"id": "fn:0x70a08231",
"selector": "0x70a08231",
"type": "function"
},
{
"entry_pc": 2376452955,
"id": "fn:0x7f2a8a80",
"selector": "0x7f2a8a80",
"type": "function"
},
{
"entry_pc": 2514000705,
"id": "fn:0x8da5cb5b",
"selector": "0x8da5cb5b",
"type": "function"
},
{
"entry_pc": 2800922170,
"id": "fn:0x95d89b41",
"selector": "0x95d89b41",
"type": "function"
},
{
"entry_pc": 2835717307,
"id": "fn:0xa6f2ae3a",
"selector": "0xa6f2ae3a",
"type": "function"
},
{
"entry_pc": 2854837737,
"id": "fn:0xa9059cbb",
"selector": "0xa9059cbb",
"type": "function"
},
{
"entry_pc": 3154722889,
"id": "fn:0xaa295de9",
"selector": "0xaa295de9",
"type": "function"
},
{
"entry_pc": 3296960139,
"id": "fn:0xbc094049",
"selector": "0xbc094049",
"type": "function"
},
{
"entry_pc": 3404319313,
"id": "fn:0xc4839e8b",
"selector": "0xc4839e8b",
"type": "function"
},
{
"entry_pc": 3694166258,
"id": "fn:0xcae9ca51",
"selector": "0xcae9ca51",
"type": "function"
},
{
"entry_pc": 3714247998,
"id": "fn:0xdc3080f2",
"selector": "0xdc3080f2",
"type": "function"
},
{
"entry_pc": 3833895730,
"id": "fn:0xdd62ed3e",
"selector": "0xdd62ed3e",
"type": "function"
},
{
"entry_pc": 4076725131,
"id": "fn:0xe4849b32",
"selector": "0xe4849b32",
"type": "function"
},
{
"entry_pc": 4288363215,
"id": "fn:0xf2fde38b",
"selector": "0xf2fde38b",
"type": "function"
},
{
"entry_pc": null,
"id": "fn:0xff9b3acf",
"selector": "0xff9b3acf",
"type": "function"
}
],
"version": "capability_graph_v1"
},
"id": 2665,
"updated_at": "2026-04-04T19:59:07.000000Z",
"version": "capability_graph_v1"
}
exec
/bin/bash -lc "jq '.artifact | keys' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
[
"codehash",
"compiler_json",
"implementation_address",
"is_proxy",
"runtime_bytecode",
"verified_source"
]
exec
/bin/bash -lc "jq '.artifact' BYTECODE_BUNDLE.json" in /tmp/codex-yz16w1wq
succeeded in 0ms:
{
"codehash": "0x6cacae3610487584958de054d3538509389fe25e0b1f591c38ed5562204fea5a",
"compiler_json": {
"etherscan": {
"skipped": true
}
},
"implementation_address": null,
"is_proxy": false,
"runtime_bytecode": {
"full": "0x606060405236156101065760e060020a600035046306fdde03811461010857806318160ddd146101655780631fe9eabc1461016e578063233de1261461019057806323b872dd1461019f578063313ce567146101d157806341fa4876146101dd57806370a08231146102335780637f2a8a801461024b5780638da5cb5b1461026c57806395d89b411461027e578063a6f2ae3a146102d9578063a9059cbb146102f4578063aa295de914610323578063bc0940491461032c578063c4839e8b14610335578063cae9ca5114610356578063dc3080f2146104bd578063dd62ed3e146104e2578063e4849b3214610507578063f2fde38b14610533578063ff9b3acf14610554575b005b60408051600180546020600282841615610100026000190190921691909104601f8101829004820284018201909452838352610566939083018282801561076b5780601f106107405761010080835404028352916020019161076b565b6105d460045481565b610106600435600054600160a060020a0390811633909116146107fc57610002565b6105e660075463ffffffff1681565b6105d4600435602435604435600160a060020a0383166000908152600960205260408120548290101561063357610002565b61060060035460ff1681565b6105d46004356024355b600080805b8381101561077357604080514383900360001901408152602081018790528151908190039091019020600290066000141561022b57600281900a909101905b6001016101ec565b6105d460043560096020526000908152604090205481565b61010660043560005433600160a060020a0390811691161461080157610002565b610616600054600160a060020a031681565b6105666002805460408051602060018416156101000260001901909316849004601f8101849004840282018401909252818152929183018282801561076b5780601f106107405761010080835404028352916020019161076b565b6105d460065434906000908190819084111561084a57610002565b61010660043560243533600160a060020a03166000908152600960205260409020548190101561077b57610002565b6105d460065481565b6105d460085481565b61010660043560005433600160a060020a0390811691161461082357610002565b604080516020604435600481810135601f81018490048402850184019095528484526105d49481359460248035959394606494929391019181908401838280828437509496505050505050506000600083600a600050600033600160a060020a03168152602001908152602001600020600050600087600160a060020a031681526020019081526020016000206000508190555084905080600160a060020a0316638f4ffcb1338630876040518560e060020a0281526004018085600160a060020a0316815260200184815260200183600160a060020a03168152602001806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156104905780820380516001836020036101000a031916815260200191505b50955050505050506000604051808303816000876161da5a03f11561000257506001979650505050505050565b600b602090815260043560009081526040808220909252602435815220546105d49081565b600a602090815260043560009081526040808220909252602435815220546105d49081565b6105d460043533600160a060020a03166000908152600960205260408120548290101561097457610002565b61010660043560005433600160a060020a0390811691161461071e57610002565b610616600554600160a060020a031681565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156105c65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b60408051918252519081900360200190f35b6040805163ffffffff929092168252519081900360200190f35b6040805160ff9092168252519081900360200190f35b60408051600160a060020a03929092168252519081900360200190f35b600160a060020a038316600090815260096020526040902054808301101561065a57610002565b600160a060020a038481166000818152600a602090815260408083203390951680845294825280832054938352600b82528083209483529390529190912054830111156106a657610002565b600160a060020a03848116600081815260096020908152604080832080548890039055878516808452818420805489019055848452600b83528184203390961684529482529182902080548701905581518681529151600080516020610a0c8339815191529281900390910190a35060019392505050565b6000805473ffffffffffffffffffffffffffffffffffffffff19168217905550565b820191906000526020600020905b81548152906001019060200180831161074e57829003601f168201915b505050505081565b509392505050565b600160a060020a03821660009081526009602052604090205481810110156107a257610002565b33600160a060020a0390811660008181526009602090815260408083208054879003905593861680835291849020805486019055835185815293519193600080516020610a0c833981519152929081900390910190a35050565b600655565b6005805473ffffffffffffffffffffffffffffffffffffffff19168217905550565b6102008163ffffffff16101561083857610002565b6007805463ffffffff19168217905550565b60045430600160a060020a031631655af3107a4000020460085560408051438152426020820152808201869052905190819003606001902061088d90600a6101e7565b60075490915063ffffffff1681106108b257600092506103e764174876e80085040491505b60075463ffffffff168110156108d05764174876e800600285020492505b33600160a060020a0390811660008181526009602090815260408083208054890190556005548516835280832080548801905530909416808352918490208054878901900390558351878152935192939192600080516020610a0c8339815191529281900390910190a3600554604080518481529051600160a060020a0392831692301691600080516020610a0c833981519152919081900360200190a350505090565b5030600160a060020a03908116600090815260096020526040808220805485019055339092168082528282208054859003905591516008548402929190839082818181858883f1505060408051868152905130600160a060020a0316949350600080516020610a0c83398151915292509081900360200190a360045430600160a060020a031631655af3107a4000020460085591905056ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef",
"head": null,
"length": 5210,
"tail": null,
"truncated": false
},
"verified_source": false
}
exec
/bin/bash -lc "node -e 'const fs=require(\"fs\");const j=JSON.parse(fs.readFileSync(\"BYTECODE_BUNDLE.json\",\"utf8\"));const hex=j.artifact.runtime_bytecode.full.slice(2);const opnames={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(let i=0;i<32;i++){opnames[0x60+i]='PUSH'+(i+1);}for(let i=0;i<16;i++){opnames[0x80+i]='DUP'+(i+1);}for(let i=0;i<16;i++){opnames[0x90+i]='SWAP'+(i+1);}for(let i=0;i<5;i++){opnames[0xa0+i]='LOG'+i;}const targets=[264,357,366,400,415,465,477,563,587,620,638,729,756,803,812,821,854,1213,1250,1287,1331,1364,1382,1478,1587,1626,1702,1822,1856,1899,1907,1915,1954,2044,2049,2083,2104,2122,2189,2226,2256,2420,2572];const set=new Set(targets);let pc=0;while(pc<hex.length/2){const byte=parseInt(hex.slice(pc*2,pc*2+2),16);const name=opnames[byte]||('OP_'+byte.toString(16));let arg='';if(byte>=0x60&&byte<=0x7f){const n=byte-0x5f;arg='0x'+hex.slice(pc*2+2,pc*2+2+2*n);if(set.has(pc))console.log('JUMPDEST? target',pc);console.log(String(pc).padStart(5),name,arg);pc+=1+n;} else {if(set.has(pc))console.log('==== PC',pc,'====');console.log(String(pc).padStart(5),name);pc+=1;}}'" in /tmp/codex-yz16w1wq
exited 1 in 0ms:
[eval]:1
const fs=require("fs");const j=JSON.parse(fs.readFileSync("BYTECODE_BUNDLE.json","utf8"));const hex=j.artifact.runtime_bytecode.full.slice(2);const opnames={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(let i=0;i<32;i++){opnames[0x60+i]=PUSH+(i+1);}for(let i=0;i<16;i++){opnames[0x80+i]=DUP+(i+1);}for(let i=0;i<16;i++){opnames[0x90+i]=SWAP+(i+1);}for(let i=0;i<5;i++){opnames[0xa0+i]=LOG+i;}const targets=[264,357,366,400,415,465,477,563,587,620,638,729,756,803,812,821,854,1213,1250,1287,1331,1364,1382,1478,1587,1626,1702,1822,1856,1899,1907,1915,1954,2044,2049,2083,2104,2122,2189,2226,2256,2420,2572];const set=new Set(targets);let pc=0;while(pc<hex.length/2){const byte=parseInt(hex.slice(pc*2,pc*2+2),16);const name=opnames[byte]||(OP_+byte.toString(16));let arg=;if(byte>=0x60&&byte<=0x7f){const n=byte-0x5f;arg=0x+hex.slice(pc*2+2,pc*2+2+2*n);if(set.has(pc))console.log(JUMPDEST?
SyntaxError: Unexpected token ';'
at makeContextifyScript (node:internal/vm:185:14)
at node:internal/process/execution:107:22
at [eval]-wrapper:6:24
at runScript (node:internal/process/execution:101:62)
at evalScript (node:internal/process/execution:136:3)
at node:internal/main/eval_string:53:3
Node.js v23.3.0
exec
js_repl in /tmp/codex-yz16w1wq
succeeded in 104ms:
720 SWAP2
721 PUSH1 0x20
723 ADD
724 SWAP2
725 PUSH2 0x076b
728 JUMP
729 JUMPDEST
730 PUSH2 0x05d4
733 PUSH1 0x06
735 SLOAD
736 CALLVALUE
737 SWAP1
738 PUSH1 0x00
740 SWAP1
741 DUP2
742 SWAP1
743 DUP2
744 SWAP1
745 DUP5
746 GT
747 ISZERO
748 PUSH2 0x084a
751 JUMPI
752 PUSH2 0x0002
755 JUMP
756 JUMPDEST
757 PUSH2 0x0106
760 PUSH1 0x04
762 CALLDATALOAD
763 PUSH1 0x24
765 CALLDATALOAD
766 CALLER
767 PUSH1 0x01
769 PUSH1 0xa0
771 PUSH1 0x02
773 EXP
774 SUB
775 AND
776 PUSH1 0x00
778 SWAP1
779 DUP2
780 MSTORE
781 PUSH1 0x09
783 PUSH1 0x20
785 MSTORE
786 PUSH1 0x40
788 SWAP1
789 SHA3
790 SLOAD
791 DUP2
792 SWAP1
793 LT
794 ISZERO
795 PUSH2 0x077b
798 JUMPI
799 PUSH2 0x0002
802 JUMP
803 JUMPDEST
804 PUSH2 0x05d4
807 PUSH1 0x06
809 SLOAD
810 DUP2
811 JUMP
812 JUMPDEST
813 PUSH2 0x05d4
816 PUSH1 0x08
818 SLOAD
819 DUP2
820 JUMP
821 JUMPDEST
822 PUSH2 0x0106
825 PUSH1 0x04
827 CALLDATALOAD
828 PUSH1 0x00
830 SLOAD
831 CALLER
832 PUSH1 0x01
834 PUSH1 0xa0
836 PUSH1 0x02
838 EXP
839 SUB
840 SWAP1
841 DUP2
842 AND
843 SWAP2
844 AND
845 EQ
846 PUSH2 0x0823
849 JUMPI
850 PUSH2 0x0002
853 JUMP
854 JUMPDEST
855 PUSH1 0x40
857 DUP1
858 MLOAD
859 PUSH1 0x20
861 PUSH1 0x44
863 CALLDATALOAD
864 PUSH1 0x04
866 DUP2
867 DUP2
868 ADD
869 CALLDATALOAD
870 PUSH1 0x1f
872 DUP2
873 ADD
874 DUP5
875 SWAP1
876 DIV
877 DUP5
878 MUL
879 DUP6
880 ADD
881 DUP5
882 ADD
883 SWAP1
884 SWAP6
885 MSTORE
886 DUP5
887 DUP5
888 MSTORE
889 PUSH2 0x05d4
892 SWAP5
893 DUP2
894 CALLDATALOAD
895 SWAP5
896 PUSH1 0x24
898 DUP1
899 CALLDATALOAD
900 SWAP6
901 SWAP4
902 SWAP5
903 PUSH1 0x64
905 SWAP5
906 SWAP3
907 SWAP4
908 SWAP2
909 ADD
910 SWAP2
911 DUP2
912 SWAP1
913 DUP5
914 ADD
915 DUP4
916 DUP3
917 DUP1
918 DUP3
919 DUP5
920 CALLDATACOPY
921 POP
922 SWAP5
923 SWAP7
924 POP
925 POP
926 POP
927 POP
928 POP
929 POP
930 POP
931 PUSH1 0x00
933 PUSH1 0x00
935 DUP4
936 PUSH1 0x0a
938 PUSH1 0x00
940 POP
941 PUSH1 0x00
943 CALLER
944 PUSH1 0x01
946 PUSH1 0xa0
948 PUSH1 0x02
950 EXP
951 SUB
952 AND
953 DUP2
954 MSTORE
955 PUSH1 0x20
957 ADD
958 SWAP1
959 DUP2
960 MSTORE
961 PUSH1 0x20
963 ADD
964 PUSH1 0x00
966 SHA3
967 PUSH1 0x00
969 POP
970 PUSH1 0x00
972 DUP8
973 PUSH1 0x01
975 PUSH1 0xa0
977 PUSH1 0x02
979 EXP
980 SUB
981 AND
982 DUP2
983 MSTORE
984 PUSH1 0x20
986 ADD
987 SWAP1
988 DUP2
989 MSTORE
990 PUSH1 0x20
992 ADD
993 PUSH1 0x00
995 SHA3
996 PUSH1 0x00
998 POP
999 DUP2
1000 SWAP1
1001 SSTORE
1002 POP
1003 DUP5
1004 SWAP1
1005 POP
1006 DUP1
1007 PUSH1 0x01
1009 PUSH1 0xa0
1011 PUSH1 0x02
1013 EXP
1014 SUB
1015 AND
1016 PUSH4 0x8f4ffcb1
1021 CALLER
1022 DUP7
1023 ADDRESS
1024 DUP8
1025 PUSH1 0x40
1027 MLOAD
1028 DUP6
1029 PUSH1 0xe0
1031 PUSH1 0x02
1033 EXP
1034 MUL
1035 DUP2
1036 MSTORE
1037 PUSH1 0x04
1039 ADD
1040 DUP1
1041 DUP6
1042 PUSH1 0x01
1044 PUSH1 0xa0
1046 PUSH1 0x02
1048 EXP
1049 SUB
1050 AND
1051 DUP2
1052 MSTORE
1053 PUSH1 0x20
1055 ADD
1056 DUP5
1057 DUP2
1058 MSTORE
1059 PUSH1 0x20
1061 ADD
1062 DUP4
1063 PUSH1 0x01
1065 PUSH1 0xa0
1067 PUSH1 0x02
1069 EXP
1070 SUB
1071 AND
1072 DUP2
1073 MSTORE
1074 PUSH1 0x20
1076 ADD
1077 DUP1
1078 PUSH1 0x20
1080 ADD
1081 DUP3
1082 DUP2
1083 SUB
1084 DUP3
1085 MSTORE
1086 DUP4
1087 DUP2
1088 DUP2
1089 MLOAD
1090 DUP2
1091 MSTORE
1092 PUSH1 0x20
1094 ADD
1095 SWAP2
1096 POP
1097 DUP1
1098 MLOAD
1099 SWAP1
1100 PUSH1 0x20
1102 ADD
1103 SWAP1
1104 DUP1
1105 DUP4
1106 DUP4
1107 DUP3
1108 SWAP1
1109 PUSH1 0x00
1111 PUSH1 0x04
1113 PUSH1 0x20
1115 DUP5
1116 PUSH1 0x1f
1118 ADD
1119 DIV
1120 PUSH1 0x0f
1122 MUL
1123 PUSH1 0x03
1125 ADD
1126 CALL
1127 POP
1128 SWAP1
1129 POP
1130 SWAP1
1131 DUP2
1132 ADD
1133 SWAP1
1134 PUSH1 0x1f
1136 AND
1137 DUP1
1138 ISZERO
1139 PUSH2 0x0490
1142 JUMPI
1143 DUP1
1144 DUP3
1145 SUB
1146 DUP1
1147 MLOAD
1148 PUSH1 0x01
1150 DUP4
1151 PUSH1 0x20
1153 SUB
1154 PUSH2 0x0100
1157 EXP
1158 SUB
1159 NOT
1160 AND
1161 DUP2
1162 MSTORE
1163 PUSH1 0x20
1165 ADD
1166 SWAP2
1167 POP
1168 JUMPDEST
1169 POP
1170 SWAP6
1171 POP
1172 POP
1173 POP
1174 POP
1175 POP
1176 POP
1177 PUSH1 0x00
1179 PUSH1 0x40
1181 MLOAD
1182 DUP1
1183 DUP4
1184 SUB
1185 DUP2
1186 PUSH1 0x00
1188 DUP8
1189 PUSH2 0x61da
1192 GAS
1193 SUB
1194 CALL
1195 ISZERO
1196 PUSH2 0x0002
1199 JUMPI
1200 POP
1201 PUSH1 0x01
1203 SWAP8
1204 SWAP7
1205 POP
1206 POP
1207 POP
1208 POP
1209 POP
1210 POP
1211 POP
1212 JUMP
1213 JUMPDEST
1214 PUSH1 0x0b
1216 PUSH1 0x20
1218 SWAP1
1219 DUP2
1220 MSTORE
1221 PUSH1 0x04
1223 CALLDATALOAD
1224 PUSH1 0x00
1226 SWAP1
1227 DUP2
1228 MSTORE
1229 PUSH1 0x40
1231 DUP1
1232 DUP3
1233 SHA3
1234 SWAP1
1235 SWAP3
1236 MSTORE
1237 PUSH1 0x24
1239 CALLDATALOAD
1240 DUP2
1241 MSTORE
1242 SHA3
1243 SLOAD
1244 PUSH2 0x05d4
1247 SWAP1
1248 DUP2
1249 JUMP
1250 JUMPDEST
1251 PUSH1 0x0a
1253 PUSH1 0x20
1255 SWAP1
1256 DUP2
1257 MSTORE
1258 PUSH1 0x04
1260 CALLDATALOAD
1261 PUSH1 0x00
1263 SWAP1
1264 DUP2
1265 MSTORE
1266 PUSH1 0x40
1268 DUP1
1269 DUP3
1270 SHA3
1271 SWAP1
1272 SWAP3
1273 MSTORE
1274 PUSH1 0x24
1276 CALLDATALOAD
1277 DUP2
1278 MSTORE
1279 SHA3
1280 SLOAD
1281 PUSH2 0x05d4
1284 SWAP1
1285 DUP2
1286 JUMP
1287 JUMPDEST
1288 PUSH2 0x05d4
1291 PUSH1 0x04
1293 CALLDATALOAD
1294 CALLER
1295 PUSH1 0x01
1297 PUSH1 0xa0
1299 PUSH1 0x02
1301 EXP
1302 SUB
1303 AND
1304 PUSH1 0x00
1306 SWAP1
1307 DUP2
1308 MSTORE
1309 PUSH1 0x09
1311 PUSH1 0x20
1313 MSTORE
1314 PUSH1 0x40
1316 DUP2
1317 SHA3
1318 SLOAD
1319 DUP3
1320 SWAP1
1321 LT
1322 ISZERO
1323 PUSH2 0x0974
1326 JUMPI
1327 PUSH2 0x0002
1330 JUMP
1331 JUMPDEST
1332 PUSH2 0x0106
1335 PUSH1 0x04
1337 CALLDATALOAD
1338 PUSH1 0x00
1340 SLOAD
1341 CALLER
1342 PUSH1 0x01
1344 PUSH1 0xa0
1346 PUSH1 0x02
1348 EXP
1349 SUB
1350 SWAP1
1351 DUP2
1352 AND
1353 SWAP2
1354 AND
1355 EQ
1356 PUSH2 0x071e
1359 JUMPI
1360 PUSH2 0x0002
1363 JUMP
1364 JUMPDEST
1365 PUSH2 0x0616
1368 PUSH1 0x05
1370 SLOAD
1371 PUSH1 0x01
1373 PUSH1 0xa0
1375 PUSH1 0x02
1377 EXP
1378 SUB
1379 AND
1380 DUP2
1381 JUMP
1382 JUMPDEST
1383 PUSH1 0x40
1385 MLOAD
1386 DUP1
1387 DUP1
1388 PUSH1 0x20
1390 ADD
1391 DUP3
1392 DUP2
1393 SUB
1394 DUP3
1395 MSTORE
1396 DUP4
1397 DUP2
1398 DUP2
1399 MLOAD
1400 DUP2
1401 MSTORE
1402 PUSH1 0x20
1404 ADD
1405 SWAP2
1406 POP
1407 DUP1
1408 MLOAD
1409 SWAP1
1410 PUSH1 0x20
1412 ADD
1413 SWAP1
1414 DUP1
1415 DUP4
1416 DUP4
1417 DUP3
1418 SWAP1
1419 PUSH1 0x00
1421 PUSH1 0x04
1423 PUSH1 0x20
1425 DUP5
1426 PUSH1 0x1f
1428 ADD
1429 DIV
1430 PUSH1 0x0f
1432 MUL
1433 PUSH1 0x03
1435 ADD
1436 CALL
1437 POP
1438 SWAP1
1439 POP
1440 SWAP1
1441 DUP2
1442 ADD
1443 SWAP1
1444 PUSH1 0x1f
1446 AND
1447 DUP1
1448 ISZERO
1449 PUSH2 0x05c6
1452 JUMPI
1453 DUP1
1454 DUP3
1455 SUB
1456 DUP1
1457 MLOAD
1458 PUSH1 0x01
1460 DUP4
1461 PUSH1 0x20
1463 SUB
1464 PUSH2 0x0100
1467 EXP
1468 SUB
1469 NOT
1470 AND
1471 DUP2
1472 MSTORE
1473 PUSH1 0x20
1475 ADD
1476 SWAP2
1477 POP
1478 JUMPDEST
1479 POP
1480 SWAP3
1481 POP
1482 POP
1483 POP
1484 PUSH1 0x40
1486 MLOAD
1487 DUP1
1488 SWAP2
1489 SUB
1490 SWAP1
1491 RETURN
1492 JUMPDEST
1493 PUSH1 0x40
1495 DUP1
1496 MLOAD
1497 SWAP2
1498 DUP3
1499 MSTORE
1500 MLOAD
exec
js_repl in /tmp/codex-yz16w1wq
succeeded in 9ms:
1492 JUMPDEST
1493 PUSH1 0x40
1495 DUP1
1496 MLOAD
1497 SWAP2
1498 DUP3
1499 MSTORE
1500 MLOAD
1501 SWAP1
1502 DUP2
1503 SWAP1
1504 SUB
1505 PUSH1 0x20
1507 ADD
1508 SWAP1
1509 RETURN
1510 JUMPDEST
1511 PUSH1 0x40
1513 DUP1
1514 MLOAD
1515 PUSH4 0xffffffff
1520 SWAP3
1521 SWAP1
1522 SWAP3
1523 AND
1524 DUP3
1525 MSTORE
1526 MLOAD
1527 SWAP1
1528 DUP2
1529 SWAP1
1530 SUB
1531 PUSH1 0x20
1533 ADD
1534 SWAP1
1535 RETURN
1536 JUMPDEST
1537 PUSH1 0x40
1539 DUP1
1540 MLOAD
1541 PUSH1 0xff
1543 SWAP1
1544 SWAP3
1545 AND
1546 DUP3
1547 MSTORE
1548 MLOAD
1549 SWAP1
1550 DUP2
1551 SWAP1
1552 SUB
1553 PUSH1 0x20
1555 ADD
1556 SWAP1
1557 RETURN
1558 JUMPDEST
1559 PUSH1 0x40
1561 DUP1
1562 MLOAD
1563 PUSH1 0x01
1565 PUSH1 0xa0
1567 PUSH1 0x02
1569 EXP
1570 SUB
1571 SWAP3
1572 SWAP1
1573 SWAP3
1574 AND
1575 DUP3
1576 MSTORE
1577 MLOAD
1578 SWAP1
1579 DUP2
1580 SWAP1
1581 SUB
1582 PUSH1 0x20
1584 ADD
1585 SWAP1
1586 RETURN
1587 JUMPDEST
1588 PUSH1 0x01
1590 PUSH1 0xa0
1592 PUSH1 0x02
1594 EXP
1595 SUB
1596 DUP4
1597 AND
1598 PUSH1 0x00
1600 SWAP1
1601 DUP2
1602 MSTORE
1603 PUSH1 0x09
1605 PUSH1 0x20
1607 MSTORE
1608 PUSH1 0x40
1610 SWAP1
1611 SHA3
1612 SLOAD
1613 DUP1
1614 DUP4
1615 ADD
1616 LT
1617 ISZERO
1618 PUSH2 0x065a
1621 JUMPI
1622 PUSH2 0x0002
1625 JUMP
1626 JUMPDEST
1627 PUSH1 0x01
1629 PUSH1 0xa0
1631 PUSH1 0x02
1633 EXP
1634 SUB
1635 DUP5
1636 DUP2
1637 AND
1638 PUSH1 0x00
1640 DUP2
1641 DUP2
1642 MSTORE
1643 PUSH1 0x0a
1645 PUSH1 0x20
1647 SWAP1
1648 DUP2
1649 MSTORE
1650 PUSH1 0x40
1652 DUP1
1653 DUP4
1654 SHA3
1655 CALLER
1656 SWAP1
1657 SWAP6
1658 AND
1659 DUP1
1660 DUP5
1661 MSTORE
1662 SWAP5
1663 DUP3
1664 MSTORE
1665 DUP1
1666 DUP4
1667 SHA3
1668 SLOAD
1669 SWAP4
1670 DUP4
1671 MSTORE
1672 PUSH1 0x0b
1674 DUP3
1675 MSTORE
1676 DUP1
1677 DUP4
1678 SHA3
1679 SWAP5
1680 DUP4
1681 MSTORE
1682 SWAP4
1683 SWAP1
1684 MSTORE
1685 SWAP2
1686 SWAP1
1687 SWAP2
1688 SHA3
1689 SLOAD
1690 DUP4
1691 ADD
1692 GT
1693 ISZERO
1694 PUSH2 0x06a6
1697 JUMPI
1698 PUSH2 0x0002
1701 JUMP
1702 JUMPDEST
1703 PUSH1 0x01
1705 PUSH1 0xa0
1707 PUSH1 0x02
1709 EXP
1710 SUB
1711 DUP5
1712 DUP2
1713 AND
1714 PUSH1 0x00
1716 DUP2
1717 DUP2
1718 MSTORE
1719 PUSH1 0x09
1721 PUSH1 0x20
1723 SWAP1
1724 DUP2
1725 MSTORE
1726 PUSH1 0x40
1728 DUP1
1729 DUP4
1730 SHA3
1731 DUP1
1732 SLOAD
1733 DUP9
1734 SWAP1
1735 SUB
1736 SWAP1
1737 SSTORE
1738 DUP8
1739 DUP6
1740 AND
1741 DUP1
1742 DUP5
1743 MSTORE
1744 DUP2
1745 DUP5
1746 SHA3
1747 DUP1
1748 SLOAD
1749 DUP10
1750 ADD
1751 SWAP1
1752 SSTORE
1753 DUP5
1754 DUP5
1755 MSTORE
1756 PUSH1 0x0b
1758 DUP4
1759 MSTORE
1760 DUP2
1761 DUP5
1762 SHA3
1763 CALLER
1764 SWAP1
1765 SWAP7
1766 AND
1767 DUP5
1768 MSTORE
1769 SWAP5
1770 DUP3
1771 MSTORE
1772 SWAP2
1773 DUP3
1774 SWAP1
1775 SHA3
1776 DUP1
1777 SLOAD
1778 DUP8
1779 ADD
1780 SWAP1
1781 SSTORE
1782 DUP2
1783 MLOAD
1784 DUP7
1785 DUP2
1786 MSTORE
1787 SWAP2
1788 MLOAD
1789 PUSH1 0x00
1791 DUP1
1792 MLOAD
1793 PUSH1 0x20
1795 PUSH2 0x0a0c
1798 DUP4
1799 CODECOPY
1800 DUP2
1801 MLOAD
1802 SWAP2
1803 MSTORE
1804 SWAP3
1805 DUP2
1806 SWAP1
1807 SUB
1808 SWAP1
1809 SWAP2
1810 ADD
1811 SWAP1
1812 LOG3
1813 POP
1814 PUSH1 0x01
1816 SWAP4
1817 SWAP3
1818 POP
1819 POP
1820 POP
1821 JUMP
1822 JUMPDEST
1823 PUSH1 0x00
1825 DUP1
1826 SLOAD
1827 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
1848 NOT
1849 AND
1850 DUP3
1851 OR
1852 SWAP1
1853 SSTORE
1854 POP
1855 JUMP
1856 JUMPDEST
1857 DUP3
1858 ADD
1859 SWAP2
1860 SWAP1
1861 PUSH1 0x00
1863 MSTORE
1864 PUSH1 0x20
1866 PUSH1 0x00
1868 SHA3
1869 SWAP1
1870 JUMPDEST
1871 DUP2
1872 SLOAD
1873 DUP2
1874 MSTORE
1875 SWAP1
1876 PUSH1 0x01
1878 ADD
1879 SWAP1
1880 PUSH1 0x20
1882 ADD
1883 DUP1
1884 DUP4
1885 GT
1886 PUSH2 0x074e
1889 JUMPI
1890 DUP3
1891 SWAP1
1892 SUB
1893 PUSH1 0x1f
1895 AND
1896 DUP3
1897 ADD
1898 SWAP2
1899 JUMPDEST
1900 POP
1901 POP
1902 POP
1903 POP
1904 POP
1905 DUP2
1906 JUMP
1907 JUMPDEST
1908 POP
1909 SWAP4
1910 SWAP3
1911 POP
1912 POP
1913 POP
1914 JUMP
1915 JUMPDEST
1916 PUSH1 0x01
1918 PUSH1 0xa0
1920 PUSH1 0x02
1922 EXP
1923 SUB
1924 DUP3
1925 AND
1926 PUSH1 0x00
1928 SWAP1
1929 DUP2
1930 MSTORE
1931 PUSH1 0x09
1933 PUSH1 0x20
1935 MSTORE
1936 PUSH1 0x40
1938 SWAP1
1939 SHA3
1940 SLOAD
1941 DUP2
1942 DUP2
1943 ADD
1944 LT
1945 ISZERO
1946 PUSH2 0x07a2
1949 JUMPI
1950 PUSH2 0x0002
1953 JUMP
1954 JUMPDEST
1955 CALLER
1956 PUSH1 0x01
1958 PUSH1 0xa0
1960 PUSH1 0x02
1962 EXP
1963 SUB
1964 SWAP1
1965 DUP2
1966 AND
1967 PUSH1 0x00
1969 DUP2
1970 DUP2
1971 MSTORE
1972 PUSH1 0x09
1974 PUSH1 0x20
1976 SWAP1
1977 DUP2
1978 MSTORE
1979 PUSH1 0x40
1981 DUP1
1982 DUP4
1983 SHA3
1984 DUP1
1985 SLOAD
1986 DUP8
1987 SWAP1
1988 SUB
1989 SWAP1
1990 SSTORE
1991 SWAP4
1992 DUP7
1993 AND
1994 DUP1
1995 DUP4
1996 MSTORE
1997 SWAP2
1998 DUP5
1999 SWAP1
2000 SHA3
2001 DUP1
2002 SLOAD
2003 DUP7
2004 ADD
2005 SWAP1
2006 SSTORE
2007 DUP4
2008 MLOAD
2009 DUP6
2010 DUP2
2011 MSTORE
2012 SWAP4
2013 MLOAD
2014 SWAP2
2015 SWAP4
2016 PUSH1 0x00
2018 DUP1
2019 MLOAD
2020 PUSH1 0x20
2022 PUSH2 0x0a0c
2025 DUP4
2026 CODECOPY
2027 DUP2
2028 MLOAD
2029 SWAP2
2030 MSTORE
2031 SWAP3
2032 SWAP1
2033 DUP2
2034 SWAP1
2035 SUB
2036 SWAP1
2037 SWAP2
2038 ADD
2039 SWAP1
2040 LOG3
2041 POP
2042 POP
2043 JUMP
2044 JUMPDEST
2045 PUSH1 0x06
2047 SSTORE
2048 JUMP
2049 JUMPDEST
2050 PUSH1 0x05
2052 DUP1
2053 SLOAD
2054 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
2075 NOT
2076 AND
2077 DUP3
2078 OR
2079 SWAP1
2080 SSTORE
2081 POP
2082 JUMP
2083 JUMPDEST
2084 PUSH2 0x0200
2087 DUP2
2088 PUSH4 0xffffffff
2093 AND
2094 LT
2095 ISZERO
2096 PUSH2 0x0838
2099 JUMPI
2100 PUSH2 0x0002
2103 JUMP
2104 JUMPDEST
2105 PUSH1 0x07
2107 DUP1
2108 SLOAD
2109 PUSH4 0xffffffff
2114 NOT
2115 AND
2116 DUP3
2117 OR
2118 SWAP1
2119 SSTORE
2120 POP
2121 JUMP
2122 JUMPDEST
2123 PUSH1 0x04
2125 SLOAD
2126 ADDRESS
2127 PUSH1 0x01
2129 PUSH1 0xa0
2131 PUSH1 0x02
2133 EXP
2134 SUB
2135 AND
2136 BALANCE
2137 PUSH6 0x5af3107a4000
2144 MUL
2145 DIV
2146 PUSH1 0x08
2148 SSTORE
2149 PUSH1 0x40
2151 DUP1
2152 MLOAD
2153 NUMBER
2154 DUP2
2155 MSTORE
2156 TIMESTAMP
2157 PUSH1 0x20
2159 DUP3
2160 ADD
2161 MSTORE
2162 DUP1
2163 DUP3
2164 ADD
2165 DUP7
2166 SWAP1
2167 MSTORE
2168 SWAP1
2169 MLOAD
2170 SWAP1
2171 DUP2
2172 SWAP1
2173 SUB
2174 PUSH1 0x60
2176 ADD
2177 SWAP1
2178 SHA3
2179 PUSH2 0x088d
2182 SWAP1
2183 PUSH1 0x0a
2185 PUSH2 0x01e7
2188 JUMP
2189 JUMPDEST
2190 PUSH1 0x07
2192 SLOAD
2193 SWAP1
2194 SWAP2
2195 POP
2196 PUSH4 0xffffffff
2201 AND
2202 DUP2
2203 LT
2204 PUSH2 0x08b2
2207 JUMPI
2208 PUSH1 0x00
2210 SWAP3
2211 POP
2212 PUSH2 0x03e7
2215 PUSH5 0x174876e800
2221 DUP6
2222 DIV
2223 DIV
2224 SWAP2
2225 POP
2226 JUMPDEST
2227 PUSH1 0x07
2229 SLOAD
2230 PUSH4 0xffffffff
2235 AND
2236 DUP2
2237 LT
2238 ISZERO
2239 PUSH2 0x08d0
2242 JUMPI
2243 PUSH5 0x174876e800
2249 PUSH1 0x02
2251 DUP6
2252 MUL
2253 DIV
2254 SWAP3
2255 POP
2256 JUMPDEST
2257 CALLER
2258 PUSH1 0x01
2260 PUSH1 0xa0
2262 PUSH1 0x02
2264 EXP
2265 SUB
2266 SWAP1
2267 DUP2
2268 AND
2269 PUSH1 0x00
2271 DUP2
2272 DUP2
2273 MSTORE
2274 PUSH1 0x09
2276 PUSH1 0x20
2278 SWAP1
2279 DUP2
2280 MSTORE
2281 PUSH1 0x40
2283 DUP1
2284 DUP4
2285 SHA3
2286 DUP1
2287 SLOAD
2288 DUP10
2289 ADD
2290 SWAP1
2291 SSTORE
2292 PUSH1 0x05
2294 SLOAD
2295 DUP6
2296 AND
2297 DUP4
2298 MSTORE
2299 DUP1
2300 DUP4
2301 SHA3
2302 DUP1
2303 SLOAD
2304 DUP9
2305 ADD
2306 SWAP1
2307 SSTORE
2308 ADDRESS
2309 SWAP1
2310 SWAP5
2311 AND
2312 DUP1
2313 DUP4
2314 MSTORE
2315 SWAP2
2316 DUP5
2317 SWAP1
2318 SHA3
2319 DUP1
2320 SLOAD
2321 DUP8
2322 DUP10
2323 ADD
2324 SWAP1
2325 SUB
2326 SWAP1
2327 SSTORE
2328 DUP4
2329 MLOAD
2330 DUP8
2331 DUP2
2332 MSTORE
2333 SWAP4
2334 MLOAD
2335 SWAP3
2336 SWAP4
2337 SWAP2
2338 SWAP3
2339 PUSH1 0x00
2341 DUP1
2342 MLOAD
2343 PUSH1 0x20
2345 PUSH2 0x0a0c
2348 DUP4
2349 CODECOPY
2350 DUP2
2351 MLOAD
2352 SWAP2
2353 MSTORE
2354 SWAP3
2355 DUP2
2356 SWAP1
2357 SUB
2358 SWAP1
2359 SWAP2
2360 ADD
2361 SWAP1
2362 LOG3
2363 PUSH1 0x05
2365 SLOAD
2366 PUSH1 0x40
2368 DUP1
2369 MLOAD
2370 DUP5
2371 DUP2
2372 MSTORE
2373 SWAP1
2374 MLOAD
2375 PUSH1 0x01
2377 PUSH1 0xa0
2379 PUSH1 0x02
2381 EXP
2382 SUB
2383 SWAP3
2384 DUP4
2385 AND
2386 SWAP3
2387 ADDRESS
2388 AND
2389 SWAP2
2390 PUSH1 0x00
2392 DUP1
2393 MLOAD
2394 PUSH1 0x20
2396 PUSH2 0x0a0c
2399 DUP4
2400 CODECOPY
2401 DUP2
2402 MLOAD
2403 SWAP2
2404 MSTORE
2405 SWAP2
2406 SWAP1
2407 DUP2
2408 SWAP1
2409 SUB
2410 PUSH1 0x20
2412 ADD
2413 SWAP1
2414 LOG3
2415 POP
2416 POP
2417 POP
2418 SWAP1
2419 JUMP
2420 JUMPDEST
2421 POP
2422 ADDRESS
2423 PUSH1 0x01
2425 PUSH1 0xa0
2427 PUSH1 0x02
2429 EXP
2430 SUB
2431 SWAP1
2432 DUP2
2433 AND
2434 PUSH1 0x00
2436 SWAP1
2437 DUP2
2438 MSTORE
2439 PUSH1 0x09
2441 PUSH1 0x20
2443 MSTORE
2444 PUSH1 0x40
2446 DUP1
2447 DUP3
2448 SHA3
2449 DUP1
2450 SLOAD
2451 DUP6
2452 ADD
2453 SWAP1
2454 SSTORE
2455 CALLER
2456 SWAP1
2457 SWAP3
2458 AND
2459 DUP1
2460 DUP3
2461 MSTORE
2462 DUP3
2463 DUP3
2464 SHA3
2465 DUP1
2466 SLOAD
2467 DUP6
2468 SWAP1
2469 SUB
2470 SWAP1
2471 SSTORE
2472 SWAP2
2473 MLOAD
2474 PUSH1 0x08
2476 SLOAD
2477 DUP5
2478 MUL
2479 SWAP3
2480 SWAP2
2481 SWAP1
2482 DUP4
2483 SWAP1
2484 DUP3
2485 DUP2
2486 DUP2
2487 DUP2
2488 DUP6
2489 DUP9
2490 DUP4
2491 CALL
2492 POP
2493 POP
2494 PUSH1 0x40
2496 DUP1
2497 MLOAD
2498 DUP7
2499 DUP2
2500 MSTORE
2501 SWAP1
2502 MLOAD
2503 ADDRESS
2504 PUSH1 0x01
2506 PUSH1 0xa0
2508 PUSH1 0x02
2510 EXP
2511 SUB
2512 AND
2513 SWAP5
2514 SWAP4
2515 POP
2516 PUSH1 0x00
2518 DUP1
2519 MLOAD
2520 PUSH1 0x20
2522 PUSH2 0x0a0c
2525 DUP4
2526 CODECOPY
2527 DUP2
2528 MLOAD
2529 SWAP2
2530 MSTORE
2531 SWAP3
2532 POP
2533 SWAP1
2534 DUP2
2535 SWAP1
2536 SUB
2537 PUSH1 0x20
2539 ADD
2540 SWAP1
2541 LOG3
2542 PUSH1 0x04
2544 SLOAD
2545 ADDRESS
2546 PUSH1 0x01
2548 PUSH1 0xa0
2550 PUSH1 0x02
2552 EXP
2553 SUB
2554 AND
2555 BALANCE
2556 PUSH6 0x5af3107a4000
2563 MUL
2564 DIV
2565 PUSH1 0x08
2567 SSTORE
2568 SWAP2
2569 SWAP1
2570 POP
2571 JUMP
2572 OP_dd
2573 CALLCODE
2574 MSTORE
2575 OP_ad
2576 SHL
2577 OP_e2
2578 OP_c8
2579 SWAP12
2580 PUSH10 0xc2b068fc378daa952ba7
2591 CALL
2592 PUSH4 0xc4a11628
2597 CREATE2
2598 GAS
2599 OP_4d
2600 CREATE2
2601 OP_23
2602 OP_b3
2603 OP_ef
exec
js_repl in /tmp/codex-yz16w1wq
succeeded in 1ms:
350 SHA3
351 ADD
352 SWAP2
353 PUSH2 0x076b
356 JUMP
357 JUMPDEST
358 PUSH2 0x05d4
361 PUSH1 0x04
363 SLOAD
364 DUP2
365 JUMP
366 JUMPDEST
367 PUSH2 0x0106
370 PUSH1 0x04
372 CALLDATALOAD
373 PUSH1 0x00
375 SLOAD
376 PUSH1 0x01
378 PUSH1 0xa0
380 PUSH1 0x02
382 EXP
383 SUB
384 SWAP1
385 DUP2
386 AND
387 CALLER
388 SWAP1
389 SWAP2
390 AND
391 EQ
392 PUSH2 0x07fc
395 JUMPI
396 PUSH2 0x0002
399 JUMP
400 JUMPDEST
401 PUSH2 0x05e6
404 PUSH1 0x07
406 SLOAD
407 PUSH4 0xffffffff
412 AND
413 DUP2
414 JUMP
415 JUMPDEST
416 PUSH2 0x05d4
419 PUSH1 0x04
421 CALLDATALOAD
422 PUSH1 0x24
424 CALLDATALOAD
425 PUSH1 0x44
427 CALLDATALOAD
428 PUSH1 0x01
430 PUSH1 0xa0
432 PUSH1 0x02
434 EXP
435 SUB
436 DUP4
437 AND
438 PUSH1 0x00
440 SWAP1
441 DUP2
442 MSTORE
443 PUSH1 0x09
445 PUSH1 0x20
447 MSTORE
448 PUSH1 0x40
450 DUP2
451 SHA3
452 SLOAD
453 DUP3
454 SWAP1
455 LT
456 ISZERO
457 PUSH2 0x0633
460 JUMPI
461 PUSH2 0x0002
464 JUMP
465 JUMPDEST
466 PUSH2 0x0600
469 PUSH1 0x03
471 SLOAD
472 PUSH1 0xff
474 AND
475 DUP2
476 JUMP
477 JUMPDEST
478 PUSH2 0x05d4
481 PUSH1 0x04
483 CALLDATALOAD
484 PUSH1 0x24
486 CALLDATALOAD
487 JUMPDEST
488 PUSH1 0x00
490 DUP1
491 DUP1
492 JUMPDEST
493 DUP4
494 DUP2
495 LT
496 ISZERO
497 PUSH2 0x0773
500 JUMPI
501 PUSH1 0x40
503 DUP1
504 MLOAD
505 NUMBER
506 DUP4
507 SWAP1
508 SUB
509 PUSH1 0x00
511 NOT
512 ADD
513 BLOCKHASH
514 DUP2
515 MSTORE
516 PUSH1 0x20
518 DUP2
519 ADD
520 DUP8
521 SWAP1
522 MSTORE
523 DUP2
524 MLOAD
525 SWAP1
526 DUP2
527 SWAP1
528 SUB
529 SWAP1
530 SWAP2
531 ADD
532 SWAP1
533 SHA3
534 PUSH1 0x02
536 SWAP1
537 MOD
538 PUSH1 0x00
540 EQ
541 ISZERO
542 PUSH2 0x022b
545 JUMPI
546 PUSH1 0x02
548 DUP2
549 SWAP1
550 EXP
551 SWAP1
552 SWAP2
553 ADD
554 SWAP1
555 JUMPDEST
556 PUSH1 0x01
558 ADD
559 PUSH2 0x01ec
562 JUMP
563 JUMPDEST
564 PUSH2 0x05d4
567 PUSH1 0x04
569 CALLDATALOAD
570 PUSH1 0x09
572 PUSH1 0x20
574 MSTORE
575 PUSH1 0x00
577 SWAP1
578 DUP2
579 MSTORE
580 PUSH1 0x40
582 SWAP1
583 SHA3
584 SLOAD
585 DUP2
586 JUMP
587 JUMPDEST
588 PUSH2 0x0106
591 PUSH1 0x04
593 CALLDATALOAD
594 PUSH1 0x00
596 SLOAD
597 CALLER
598 PUSH1 0x01
600 PUSH1 0xa0
602 PUSH1 0x02
604 EXP
605 SUB
606 SWAP1
607 DUP2
608 AND
609 SWAP2
610 AND
611 EQ
612 PUSH2 0x0801
615 JUMPI
616 PUSH2 0x0002
619 JUMP
620 JUMPDEST
621 PUSH2 0x0616
624 PUSH1 0x00
626 SLOAD
627 PUSH1 0x01
629 PUSH1 0xa0
631 PUSH1 0x02
633 EXP
634 SUB
635 AND
636 DUP2
637 JUMP
638 JUMPDEST
639 PUSH2 0x0566
642 PUSH1 0x02
644 DUP1
645 SLOAD
646 PUSH1 0x40
648 DUP1
649 MLOAD
650 PUSH1 0x20
652 PUSH1 0x01
654 DUP5
655 AND
656 ISZERO
657 PUSH2 0x0100
660 MUL
661 PUSH1 0x00
663 NOT
664 ADD
665 SWAP1
666 SWAP4
667 AND
668 DUP5
669 SWAP1
670 DIV
671 PUSH1 0x1f
673 DUP2
674 ADD
675 DUP5
676 SWAP1
677 DIV
678 DUP5
679 MUL
680 DUP3
681 ADD
682 DUP5
683 ADD
684 SWAP1
685 SWAP3
686 MSTORE
687 DUP2
688 DUP2
689 MSTORE
690 SWAP3
691 SWAP2
692 DUP4
693 ADD
694 DUP3
695 DUP3
696 DUP1
697 ISZERO
698 PUSH2 0x076b
701 JUMPI
702 DUP1
703 PUSH1 0x1f
705 LT
706 PUSH2 0x0740
709 JUMPI
710 PUSH2 0x0100
713 DUP1
714 DUP4
715 SLOAD
716 DIV
717 MUL
718 DUP4
719 MSTORE
720 SWAP2
exec
js_repl in /tmp/codex-yz16w1wq
succeeded in 1ms:
250 JUMPI
251 DUP1
252 PUSH4 0xff9b3acf
257 EQ
258 PUSH2 0x0554
261 JUMPI
262 JUMPDEST
263 STOP
264 JUMPDEST
265 PUSH1 0x40
267 DUP1
268 MLOAD
269 PUSH1 0x01
271 DUP1
272 SLOAD
273 PUSH1 0x20
275 PUSH1 0x02
277 DUP3
278 DUP5
279 AND
280 ISZERO
281 PUSH2 0x0100
284 MUL
285 PUSH1 0x00
287 NOT
288 ADD
289 SWAP1
290 SWAP3
291 AND
292 SWAP2
293 SWAP1
294 SWAP2
295 DIV
296 PUSH1 0x1f
298 DUP2
299 ADD
300 DUP3
301 SWAP1
302 DIV
303 DUP3
304 MUL
305 DUP5
306 ADD
307 DUP3
308 ADD
309 SWAP1
310 SWAP5
311 MSTORE
312 DUP4
313 DUP4
314 MSTORE
315 PUSH2 0x0566
318 SWAP4
319 SWAP1
320 DUP4
321 ADD
322 DUP3
323 DUP3
324 DUP1
325 ISZERO
326 PUSH2 0x076b
329 JUMPI
330 DUP1
331 PUSH1 0x1f
333 LT
334 PUSH2 0x0740
337 JUMPI
338 PUSH2 0x0100
341 DUP1
342 DUP4
343 SLOAD
344 DIV
345 MUL
346 DUP4
347 MSTORE
348 SWAP2
349 PUSH1 0x20
codex
{"no_findings":false,"summary":"Bytecode strongly suggests a token-like contract with buy/sell logic, cached pricing in storage slot 0x08, ERC20-style balances in slot 0x09, and low-level external calls. The most meaningful issue is a sell-path reentrancy window: ETH is sent before the cached price is refreshed. A second issue is that the ETH payout call result is ignored, so failed payouts can still finalize state changes. Selector/function names are inferred from bytecode only and therefore somewhat uncertain.","findings":[{"severity":"high","category":"reentrancy","title":"Sell/redeem path sends ETH before refreshing cached price, enabling reentrant stale-price withdrawals","exploit_scenario":"A malicious contract holder calls selector 0xe4849b32 to redeem part of its balance. The function updates balances, computes payout from cached slot 0x08, and performs a low-level CALL to the recipient at pc 0x9bb. During the recipient fallback, it can reenter selector 0xe4849b32 and redeem remaining tokens again while slot 0x08 still holds the pre-withdraw price. Because the contract balance has already dropped but the cached price is only recomputed after the CALL, repeated reentry can overpay ETH relative to the post-withdraw state and drain funds.","recommendation":"Apply strict checks-effects-interactions on the redeem path: refresh all price/accounting state before any external call, or compute payouts from live state without a cached stale slot. Add a reentrancy guard around the redeem/buy paths and any function that can reach the same accounting.","evidence":"In selector 0xe4849b32 (entry pc 0x507), the redeem logic at pc 0x974-0x9a7 updates slot-0x09 balances first, then loads slot 0x08 at pc 0x9ac to derive the ETH payout, performs a low-level CALL at pc 0x9bb, and only afterward refreshes slot 0x08 from contract balance at pc 0x9ee-0xa07. The bundle's auth heuristics detected no guard, and the callsite metadata marks the CALL target/value as computed.","locations":["selector:0xe4849b32","pc:0x974","pc:0x9ac","pc:0x9bb","pc:0x9ee"]},{"severity":"medium","category":"other","title":"Unchecked ETH payout call can finalize a redemption even when the transfer fails","exploit_scenario":"If the redeem recipient is a contract whose fallback reverts or cannot accept the transfer, the low-level CALL on the sell path can fail. Because the result is not checked, execution continues: state updates and logs remain applied, and the cached price is recomputed. The seller can lose tokens/accounting position without receiving ETH.","recommendation":"Require the payout CALL to succeed and revert otherwise, or use a pull-payment pattern where users withdraw separately. Do not continue state transitions after a failed value transfer.","evidence":"At pc 0x9bb the contract executes a low-level CALL on the redeem path, then immediately POPs the return value at pc 0x9bc-0x9bd and continues with event emission and slot-0x08 recomputation through pc 0xa07. Unlike the other external-call path around pc 0x4aa, there is no ISZERO/JUMPI success check after this CALL. The artifact's callsite metadata also reports returndata checking as unknown/null for this site.","locations":["selector:0xe4849b32","pc:0x9bb","pc:0x9bc","pc:0x9bd","pc:0xa07"]}]}
tokens used
94,224
{
"codex": {
"ran_at": "2026-04-05T06:03:28.061816+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 5210,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode strongly suggests a token-like contract with buy/sell logic, cached pricing in storage slot 0x08, ERC20-style balances in slot 0x09, and low-level external calls. The most meaningful issue is a sell-path reentrancy window: ETH is sent before the cached price is refreshed. A second issue is that the ETH payout call result is ignored, so failed payouts can still finalize state changes. Selector/function names are inferred from bytecode only and therefore somewhat uncertain.",
"raw_final": {
"summary": "Bytecode strongly suggests a token-like contract with buy/sell logic, cached pricing in storage slot 0x08, ERC20-style balances in slot 0x09, and low-level external calls. The most meaningful issue is a sell-path reentrancy window: ETH is sent before the cached price is refreshed. A second issue is that the ETH payout call result is ignored, so failed payouts can still finalize state changes. Selector/function names are inferred from bytecode only and therefore somewhat uncertain.",
"findings": [
{
"title": "Sell/redeem path sends ETH before refreshing cached price, enabling reentrant stale-price withdrawals",
"category": "reentrancy",
"evidence": "In selector 0xe4849b32 (entry pc 0x507), the redeem logic at pc 0x974-0x9a7 updates slot-0x09 balances first, then loads slot 0x08 at pc 0x9ac to derive the ETH payout, performs a low-level CALL at pc 0x9bb, and only afterward refreshes slot 0x08 from contract balance at pc 0x9ee-0xa07. The bundle's auth heuristics detected no guard, and the callsite metadata marks the CALL target/value as computed.",
"severity": "high",
"locations": [
"selector:0xe4849b32",
"pc:0x974",
"pc:0x9ac",
"pc:0x9bb",
"pc:0x9ee"
],
"recommendation": "Apply strict checks-effects-interactions on the redeem path: refresh all price/accounting state before any external call, or compute payouts from live state without a cached stale slot. Add a reentrancy guard around the redeem/buy paths and any function that can reach the same accounting.",
"exploit_scenario": "A malicious contract holder calls selector 0xe4849b32 to redeem part of its balance. The function updates balances, computes payout from cached slot 0x08, and performs a low-level CALL to the recipient at pc 0x9bb. During the recipient fallback, it can reenter selector 0xe4849b32 and redeem remaining tokens again while slot 0x08 still holds the pre-withdraw price. Because the contract balance has already dropped but the cached price is only recomputed after the CALL, repeated reentry can overpay ETH relative to the post-withdraw state and drain funds."
},
{
"title": "Unchecked ETH payout call can finalize a redemption even when the transfer fails",
"category": "other",
"evidence": "At pc 0x9bb the contract executes a low-level CALL on the redeem path, then immediately POPs the return value at pc 0x9bc-0x9bd and continues with event emission and slot-0x08 recomputation through pc 0xa07. Unlike the other external-call path around pc 0x4aa, there is no ISZERO/JUMPI success check after this CALL. The artifact's callsite metadata also reports returndata checking as unknown/null for this site.",
"severity": "medium",
"locations": [
"selector:0xe4849b32",
"pc:0x9bb",
"pc:0x9bc",
"pc:0x9bd",
"pc:0xa07"
],
"recommendation": "Require the payout CALL to succeed and revert otherwise, or use a pull-payment pattern where users withdraw separately. Do not continue state transitions after a failed value transfer.",
"exploit_scenario": "If the redeem recipient is a contract whose fallback reverts or cannot accept the transfer, the low-level CALL on the sell path can fail. Because the result is not checked, execution continues: state updates and logs remain applied, and the cached price is recomputed. The seller can lose tokens/accounting position without receiving ETH."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0106 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 0x0108 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x18160ddd 00000025: EQ 00000026: PUSH2 0x0165 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1fe9eabc 00000030: EQ 00000031: PUSH2 0x016e 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x233de126 0000003b: EQ 0000003c: PUSH2 0x0190 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x23b872dd 00000046: EQ 00000047: PUSH2 0x019f 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x313ce567 00000051: EQ 00000052: PUSH2 0x01d1 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x41fa4876 0000005c: EQ 0000005d: PUSH2 0x01dd 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x70a08231 00000067: EQ 00000068: PUSH2 0x0233 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x7f2a8a80 00000072: EQ 00000073: PUSH2 0x024b 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x026c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x95d89b41 00000088: EQ 00000089: PUSH2 0x027e 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa6f2ae3a 00000093: EQ 00000094: PUSH2 0x02d9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa9059cbb 0000009e: EQ 0000009f: PUSH2 0x02f4 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xaa295de9 000000a9: EQ 000000aa: PUSH2 0x0323 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xbc094049 000000b4: EQ 000000b5: PUSH2 0x032c 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xc4839e8b 000000bf: EQ 000000c0: PUSH2 0x0335 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xcae9ca51 000000ca: EQ 000000cb: PUSH2 0x0356 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xdc3080f2 000000d5: EQ 000000d6: PUSH2 0x04bd 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xdd62ed3e 000000e0: EQ 000000e1: PUSH2 0x04e2 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xe4849b32 000000eb: EQ 000000ec: PUSH2 0x0507 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf2fde38b 000000f6: EQ 000000f7: PUSH2 0x0533 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xff9b3acf 00000101: EQ 00000102: PUSH2 0x0554 00000105: JUMPI 00000106: JUMPDEST 00000107: STOP 00000108: JUMPDEST 00000109: PUSH1 0x40 0000010b: DUP1 0000010c: MLOAD 0000010d: PUSH1 0x01 0000010f: DUP1 00000110: SLOAD 00000111: PUSH1 0x20 00000113: PUSH1 0x02 00000115: DUP3 00000116: DUP5 00000117: AND 00000118: ISZERO 00000119: PUSH2 0x0100 0000011c: MUL 0000011d: PUSH1 0x00 0000011f: NOT 00000120: ADD 00000121: SWAP1 00000122: SWAP3 00000123: AND 00000124: SWAP2 00000125: SWAP1 00000126: SWAP2 00000127: DIV 00000128: PUSH1 0x1f 0000012a: DUP2 0000012b: ADD 0000012c: DUP3 0000012d: SWAP1 0000012e: DIV 0000012f: DUP3 00000130: MUL 00000131: DUP5 00000132: ADD 00000133: DUP3 00000134: ADD 00000135: SWAP1 00000136: SWAP5 00000137: MSTORE 00000138: DUP4 00000139: DUP4 0000013a: MSTORE 0000013b: PUSH2 0x0566 0000013e: SWAP4 0000013f: SWAP1 00000140: DUP4 00000141: ADD 00000142: DUP3 00000143: DUP3 00000144: DUP1 00000145: ISZERO 00000146: PUSH2 0x076b 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH1 0x1f 0000014d: LT 0000014e: PUSH2 0x0740 00000151: JUMPI 00000152: PUSH2 0x0100 00000155: DUP1 00000156: DUP4 00000157: SLOAD 00000158: DIV 00000159: MUL 0000015a: DUP4 0000015b: MSTORE 0000015c: SWAP2 0000015d: PUSH1 0x20 0000015f: ADD 00000160: SWAP2 00000161: PUSH2 0x076b 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x05d4 00000169: PUSH1 0x04 0000016b: SLOAD 0000016c: DUP2 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH2 0x0106 00000172: PUSH1 0x04 00000174: CALLDATALOAD 00000175: PUSH1 0x00 00000177: SLOAD 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: PUSH1 0x02 0000017e: EXP 0000017f: SUB 00000180: SWAP1 00000181: DUP2 00000182: AND 00000183: CALLER 00000184: SWAP1 00000185: SWAP2 00000186: AND 00000187: EQ 00000188: PUSH2 0x07fc 0000018b: JUMPI 0000018c: PUSH2 0x0002 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH2 0x05e6 00000194: PUSH1 0x07 00000196: SLOAD 00000197: PUSH4 0xffffffff 0000019c: AND 0000019d: DUP2 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x05d4 000001a3: PUSH1 0x04 000001a5: CALLDATALOAD 000001a6: PUSH1 0x24 000001a8: CALLDATALOAD 000001a9: PUSH1 0x44 000001ab: CALLDATALOAD 000001ac: PUSH1 0x01 000001ae: PUSH1 0xa0 000001b0: PUSH1 0x02 000001b2: EXP 000001b3: SUB 000001b4: DUP4 000001b5: AND 000001b6: PUSH1 0x00 000001b8: SWAP1 000001b9: DUP2 000001ba: MSTORE 000001bb: PUSH1 0x09 000001bd: PUSH1 0x20 000001bf: MSTORE 000001c0: PUSH1 0x40 000001c2: DUP2 000001c3: KECCAK256 000001c4: SLOAD 000001c5: DUP3 000001c6: SWAP1 000001c7: LT 000001c8: ISZERO 000001c9: PUSH2 0x0633 000001cc: JUMPI 000001cd: PUSH2 0x0002 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH2 0x0600 000001d5: PUSH1 0x03 000001d7: SLOAD 000001d8: PUSH1 0xff 000001da: AND 000001db: DUP2 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x05d4 000001e1: PUSH1 0x04 000001e3: CALLDATALOAD 000001e4: PUSH1 0x24 000001e6: CALLDATALOAD 000001e7: JUMPDEST 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: DUP1 000001ec: JUMPDEST 000001ed: DUP4 000001ee: DUP2 000001ef: LT 000001f0: ISZERO 000001f1: PUSH2 0x0773 000001f4: JUMPI 000001f5: PUSH1 0x40 000001f7: DUP1 000001f8: MLOAD 000001f9: NUMBER 000001fa: DUP4 000001fb: SWAP1 000001fc: SUB 000001fd: PUSH1 0x00 000001ff: NOT 00000200: ADD 00000201: BLOCKHASH 00000202: DUP2 00000203: MSTORE 00000204: PUSH1 0x20 00000206: DUP2 00000207: ADD 00000208: DUP8 00000209: SWAP1 0000020a: MSTORE 0000020b: DUP2 0000020c: MLOAD 0000020d: SWAP1 0000020e: DUP2 0000020f: SWAP1 00000210: SUB 00000211: SWAP1 00000212: SWAP2 00000213: ADD 00000214: SWAP1 00000215: KECCAK256 00000216: PUSH1 0x02 00000218: SWAP1 00000219: MOD 0000021a: PUSH1 0x00 0000021c: EQ 0000021d: ISZERO 0000021e: PUSH2 0x022b 00000221: JUMPI 00000222: PUSH1 0x02 00000224: DUP2 00000225: SWAP1 00000226: EXP 00000227: SWAP1 00000228: SWAP2 00000229: ADD 0000022a: SWAP1 0000022b: JUMPDEST 0000022c: PUSH1 0x01 0000022e: ADD 0000022f: PUSH2 0x01ec 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH2 0x05d4 00000237: PUSH1 0x04 00000239: CALLDATALOAD 0000023a: PUSH1 0x09 0000023c: PUSH1 0x20 0000023e: MSTORE 0000023f: PUSH1 0x00 00000241: SWAP1 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x40 00000246: SWAP1 00000247: KECCAK256 00000248: SLOAD 00000249: DUP2 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH2 0x0106 0000024f: PUSH1 0x04 00000251: CALLDATALOAD 00000252: PUSH1 0x00 00000254: SLOAD 00000255: CALLER 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: SWAP1 0000025f: DUP2 00000260: AND 00000261: SWAP2 00000262: AND 00000263: EQ 00000264: PUSH2 0x0801 00000267: JUMPI 00000268: PUSH2 0x0002 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH2 0x0616 00000270: PUSH1 0x00 00000272: SLOAD 00000273: PUSH1 0x01 00000275: PUSH1 0xa0 00000277: PUSH1 0x02 00000279: EXP 0000027a: SUB 0000027b: AND 0000027c: DUP2 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH2 0x0566 00000282: PUSH1 0x02 00000284: DUP1 00000285: SLOAD 00000286: PUSH1 0x40 00000288: DUP1 00000289: MLOAD 0000028a: PUSH1 0x20 0000028c: PUSH1 0x01 0000028e: DUP5 0000028f: AND 00000290: ISZERO 00000291: PUSH2 0x0100 00000294: MUL 00000295: PUSH1 0x00 00000297: NOT 00000298: ADD 00000299: SWAP1 0000029a: SWAP4 0000029b: AND 0000029c: DUP5 0000029d: SWAP1 0000029e: DIV 0000029f: PUSH1 0x1f 000002a1: DUP2 000002a2: ADD 000002a3: DUP5 000002a4: SWAP1 000002a5: DIV 000002a6: DUP5 000002a7: MUL 000002a8: DUP3 000002a9: ADD 000002aa: DUP5 000002ab: ADD 000002ac: SWAP1 000002ad: SWAP3 000002ae: MSTORE 000002af: DUP2 000002b0: DUP2 000002b1: MSTORE 000002b2: SWAP3 000002b3: SWAP2 000002b4: DUP4 000002b5: ADD 000002b6: DUP3 000002b7: DUP3 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x076b 000002bd: JUMPI 000002be: DUP1 000002bf: PUSH1 0x1f 000002c1: LT 000002c2: PUSH2 0x0740 000002c5: JUMPI 000002c6: PUSH2 0x0100 000002c9: DUP1 000002ca: DUP4 000002cb: SLOAD 000002cc: DIV 000002cd: MUL 000002ce: DUP4 000002cf: MSTORE 000002d0: SWAP2 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: SWAP2 000002d5: PUSH2 0x076b 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH2 0x05d4 000002dd: PUSH1 0x06 000002df: SLOAD 000002e0: CALLVALUE 000002e1: SWAP1 000002e2: PUSH1 0x00 000002e4: SWAP1 000002e5: DUP2 000002e6: SWAP1 000002e7: DUP2 000002e8: SWAP1 000002e9: DUP5 000002ea: GT 000002eb: ISZERO 000002ec: PUSH2 0x084a 000002ef: JUMPI 000002f0: PUSH2 0x0002 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH2 0x0106 000002f8: PUSH1 0x04 000002fa: CALLDATALOAD 000002fb: PUSH1 0x24 000002fd: CALLDATALOAD 000002fe: CALLER 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: AND 00000308: PUSH1 0x00 0000030a: SWAP1 0000030b: DUP2 0000030c: MSTORE 0000030d: PUSH1 0x09 0000030f: PUSH1 0x20 00000311: MSTORE 00000312: PUSH1 0x40 00000314: SWAP1 00000315: KECCAK256 00000316: SLOAD 00000317: DUP2 00000318: SWAP1 00000319: LT 0000031a: ISZERO 0000031b: PUSH2 0x077b 0000031e: JUMPI 0000031f: PUSH2 0x0002 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x05d4 00000327: PUSH1 0x06 00000329: SLOAD 0000032a: DUP2 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x05d4 00000330: PUSH1 0x08 00000332: SLOAD 00000333: DUP2 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x0106 00000339: PUSH1 0x04 0000033b: CALLDATALOAD 0000033c: PUSH1 0x00 0000033e: SLOAD 0000033f: CALLER 00000340: PUSH1 0x01 00000342: PUSH1 0xa0 00000344: PUSH1 0x02 00000346: EXP 00000347: SUB 00000348: SWAP1 00000349: DUP2 0000034a: AND 0000034b: SWAP2 0000034c: AND 0000034d: EQ 0000034e: PUSH2 0x0823 00000351: JUMPI 00000352: PUSH2 0x0002 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x40 00000359: DUP1 0000035a: MLOAD 0000035b: PUSH1 0x20 0000035d: PUSH1 0x44 0000035f: CALLDATALOAD 00000360: PUSH1 0x04 00000362: DUP2 00000363: DUP2 00000364: ADD 00000365: CALLDATALOAD 00000366: PUSH1 0x1f 00000368: DUP2 00000369: ADD 0000036a: DUP5 0000036b: SWAP1 0000036c: DIV 0000036d: DUP5 0000036e: MUL 0000036f: DUP6 00000370: ADD 00000371: DUP5 00000372: ADD 00000373: SWAP1 00000374: SWAP6 00000375: MSTORE 00000376: DUP5 00000377: DUP5 00000378: MSTORE 00000379: PUSH2 0x05d4 0000037c: SWAP5 0000037d: DUP2 0000037e: CALLDATALOAD 0000037f: SWAP5 00000380: PUSH1 0x24 00000382: DUP1 00000383: CALLDATALOAD 00000384: SWAP6 00000385: SWAP4 00000386: SWAP5 00000387: PUSH1 0x64 00000389: SWAP5 0000038a: SWAP3 0000038b: SWAP4 0000038c: SWAP2 0000038d: ADD 0000038e: SWAP2 0000038f: DUP2 00000390: SWAP1 00000391: DUP5 00000392: ADD 00000393: DUP4 00000394: DUP3 00000395: DUP1 00000396: DUP3 00000397: DUP5 00000398: CALLDATACOPY 00000399: POP 0000039a: SWAP5 0000039b: SWAP7 0000039c: POP 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: POP 000003a1: POP 000003a2: POP 000003a3: PUSH1 0x00 000003a5: PUSH1 0x00 000003a7: DUP4 000003a8: PUSH1 0x0a 000003aa: PUSH1 0x00 000003ac: POP 000003ad: PUSH1 0x00 000003af: CALLER 000003b0: PUSH1 0x01 000003b2: PUSH1 0xa0 000003b4: PUSH1 0x02 000003b6: EXP 000003b7: SUB 000003b8: AND 000003b9: DUP2 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: ADD 000003be: SWAP1 000003bf: DUP2 000003c0: MSTORE 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: PUSH1 0x00 000003c6: KECCAK256 000003c7: PUSH1 0x00 000003c9: POP 000003ca: PUSH1 0x00 000003cc: DUP8 000003cd: PUSH1 0x01 000003cf: PUSH1 0xa0 000003d1: PUSH1 0x02 000003d3: EXP 000003d4: SUB 000003d5: AND 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x20 000003da: ADD 000003db: SWAP1 000003dc: DUP2 000003dd: MSTORE 000003de: PUSH1 0x20 000003e0: ADD 000003e1: PUSH1 0x00 000003e3: KECCAK256 000003e4: PUSH1 0x00 000003e6: POP 000003e7: DUP2 000003e8: SWAP1 000003e9: SSTORE 000003ea: POP 000003eb: DUP5 000003ec: SWAP1 000003ed: POP 000003ee: DUP1 000003ef: PUSH1 0x01 000003f1: PUSH1 0xa0 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: SUB 000003f7: AND 000003f8: PUSH4 0x8f4ffcb1 000003fd: CALLER 000003fe: DUP7 000003ff: ADDRESS 00000400: DUP8 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP6 00000405: PUSH1 0xe0 00000407: PUSH1 0x02 00000409: EXP 0000040a: MUL 0000040b: DUP2 0000040c: MSTORE 0000040d: PUSH1 0x04 0000040f: ADD 00000410: DUP1 00000411: DUP6 00000412: PUSH1 0x01 00000414: PUSH1 0xa0 00000416: PUSH1 0x02 00000418: EXP 00000419: SUB 0000041a: AND 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x20 0000041f: ADD 00000420: DUP5 00000421: DUP2 00000422: MSTORE 00000423: PUSH1 0x20 00000425: ADD 00000426: DUP4 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: PUSH1 0x02 0000042d: EXP 0000042e: SUB 0000042f: AND 00000430: DUP2 00000431: MSTORE 00000432: PUSH1 0x20 00000434: ADD 00000435: DUP1 00000436: PUSH1 0x20 00000438: ADD 00000439: DUP3 0000043a: DUP2 0000043b: SUB 0000043c: DUP3 0000043d: MSTORE 0000043e: DUP4 0000043f: DUP2 00000440: DUP2 00000441: MLOAD 00000442: DUP2 00000443: MSTORE 00000444: PUSH1 0x20 00000446: ADD 00000447: SWAP2 00000448: POP 00000449: DUP1 0000044a: MLOAD 0000044b: SWAP1 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: SWAP1 00000450: DUP1 00000451: DUP4 00000452: DUP4 00000453: DUP3 00000454: SWAP1 00000455: PUSH1 0x00 00000457: PUSH1 0x04 00000459: PUSH1 0x20 0000045b: DUP5 0000045c: PUSH1 0x1f 0000045e: ADD 0000045f: DIV 00000460: PUSH1 0x0f 00000462: MUL 00000463: PUSH1 0x03 00000465: ADD 00000466: CALL 00000467: POP 00000468: SWAP1 00000469: POP 0000046a: SWAP1 0000046b: DUP2 0000046c: ADD 0000046d: SWAP1 0000046e: PUSH1 0x1f 00000470: AND 00000471: DUP1 00000472: ISZERO 00000473: PUSH2 0x0490 00000476: JUMPI 00000477: DUP1 00000478: DUP3 00000479: SUB 0000047a: DUP1 0000047b: MLOAD 0000047c: PUSH1 0x01 0000047e: DUP4 0000047f: PUSH1 0x20 00000481: SUB 00000482: PUSH2 0x0100 00000485: EXP 00000486: SUB 00000487: NOT 00000488: AND 00000489: DUP2 0000048a: MSTORE 0000048b: PUSH1 0x20 0000048d: ADD 0000048e: SWAP2 0000048f: POP 00000490: JUMPDEST 00000491: POP 00000492: SWAP6 00000493: POP 00000494: POP 00000495: POP 00000496: POP 00000497: POP 00000498: POP 00000499: PUSH1 0x00 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: DUP4 000004a0: SUB 000004a1: DUP2 000004a2: PUSH1 0x00 000004a4: DUP8 000004a5: PUSH2 0x61da 000004a8: GAS 000004a9: SUB 000004aa: CALL 000004ab: ISZERO 000004ac: PUSH2 0x0002 000004af: JUMPI 000004b0: POP 000004b1: PUSH1 0x01 000004b3: SWAP8 000004b4: SWAP7 000004b5: POP 000004b6: POP 000004b7: POP 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: POP 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH1 0x0b 000004c0: PUSH1 0x20 000004c2: SWAP1 000004c3: DUP2 000004c4: MSTORE 000004c5: PUSH1 0x04 000004c7: CALLDATALOAD 000004c8: PUSH1 0x00 000004ca: SWAP1 000004cb: DUP2 000004cc: MSTORE 000004cd: PUSH1 0x40 000004cf: DUP1 000004d0: DUP3 000004d1: KECCAK256 000004d2: SWAP1 000004d3: SWAP3 000004d4: MSTORE 000004d5: PUSH1 0x24 000004d7: CALLDATALOAD 000004d8: DUP2 000004d9: MSTORE 000004da: KECCAK256 000004db: SLOAD 000004dc: PUSH2 0x05d4 000004df: SWAP1 000004e0: DUP2 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH1 0x0a 000004e5: PUSH1 0x20 000004e7: SWAP1 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x04 000004ec: CALLDATALOAD 000004ed: PUSH1 0x00 000004ef: SWAP1 000004f0: DUP2 000004f1: MSTORE 000004f2: PUSH1 0x40 000004f4: DUP1 000004f5: DUP3 000004f6: KECCAK256 000004f7: SWAP1 000004f8: SWAP3 000004f9: MSTORE 000004fa: PUSH1 0x24 000004fc: CALLDATALOAD 000004fd: DUP2 000004fe: MSTORE 000004ff: KECCAK256 00000500: SLOAD 00000501: PUSH2 0x05d4 00000504: SWAP1 00000505: DUP2 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH2 0x05d4 0000050b: PUSH1 0x04 0000050d: CALLDATALOAD 0000050e: CALLER 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: PUSH1 0x02 00000515: EXP 00000516: SUB 00000517: AND 00000518: PUSH1 0x00 0000051a: SWAP1 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x09 0000051f: PUSH1 0x20 00000521: MSTORE 00000522: PUSH1 0x40 00000524: DUP2 00000525: KECCAK256 00000526: SLOAD 00000527: DUP3 00000528: SWAP1 00000529: LT 0000052a: ISZERO 0000052b: PUSH2 0x0974 0000052e: JUMPI 0000052f: PUSH2 0x0002 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH2 0x0106 00000537: PUSH1 0x04 00000539: CALLDATALOAD 0000053a: PUSH1 0x00 0000053c: SLOAD 0000053d: CALLER 0000053e: PUSH1 0x01 00000540: PUSH1 0xa0 00000542: PUSH1 0x02 00000544: EXP 00000545: SUB 00000546: SWAP1 00000547: DUP2 00000548: AND 00000549: SWAP2 0000054a: AND 0000054b: EQ 0000054c: PUSH2 0x071e 0000054f: JUMPI 00000550: PUSH2 0x0002 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH2 0x0616 00000558: PUSH1 0x05 0000055a: SLOAD 0000055b: PUSH1 0x01 0000055d: PUSH1 0xa0 0000055f: PUSH1 0x02 00000561: EXP 00000562: SUB 00000563: AND 00000564: DUP2 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: DUP1 0000056b: DUP1 0000056c: PUSH1 0x20 0000056e: ADD 0000056f: DUP3 00000570: DUP2 00000571: SUB 00000572: DUP3 00000573: MSTORE 00000574: DUP4 00000575: DUP2 00000576: DUP2 00000577: MLOAD 00000578: DUP2 00000579: MSTORE 0000057a: PUSH1 0x20 0000057c: ADD 0000057d: SWAP2 0000057e: POP 0000057f: DUP1 00000580: MLOAD 00000581: SWAP1 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP1 00000586: DUP1 00000587: DUP4 00000588: DUP4 00000589: DUP3 0000058a: SWAP1 0000058b: PUSH1 0x00 0000058d: PUSH1 0x04 0000058f: PUSH1 0x20 00000591: DUP5 00000592: PUSH1 0x1f 00000594: ADD 00000595: DIV 00000596: PUSH1 0x0f 00000598: MUL 00000599: PUSH1 0x03 0000059b: ADD 0000059c: CALL 0000059d: POP 0000059e: SWAP1 0000059f: POP 000005a0: SWAP1 000005a1: DUP2 000005a2: ADD 000005a3: SWAP1 000005a4: PUSH1 0x1f 000005a6: AND 000005a7: DUP1 000005a8: ISZERO 000005a9: PUSH2 0x05c6 000005ac: JUMPI 000005ad: DUP1 000005ae: DUP3 000005af: SUB 000005b0: DUP1 000005b1: MLOAD 000005b2: PUSH1 0x01 000005b4: DUP4 000005b5: PUSH1 0x20 000005b7: SUB 000005b8: PUSH2 0x0100 000005bb: EXP 000005bc: SUB 000005bd: NOT 000005be: AND 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: SWAP2 000005c5: POP 000005c6: JUMPDEST 000005c7: POP 000005c8: SWAP3 000005c9: POP 000005ca: POP 000005cb: POP 000005cc: PUSH1 0x40 000005ce: MLOAD 000005cf: DUP1 000005d0: SWAP2 000005d1: SUB 000005d2: SWAP1 000005d3: RETURN 000005d4: JUMPDEST 000005d5: PUSH1 0x40 000005d7: DUP1 000005d8: MLOAD 000005d9: SWAP2 000005da: DUP3 000005db: MSTORE 000005dc: MLOAD 000005dd: SWAP1 000005de: DUP2 000005df: SWAP1 000005e0: SUB 000005e1: PUSH1 0x20 000005e3: ADD 000005e4: SWAP1 000005e5: RETURN 000005e6: JUMPDEST 000005e7: PUSH1 0x40 000005e9: DUP1 000005ea: MLOAD 000005eb: PUSH4 0xffffffff 000005f0: SWAP3 000005f1: SWAP1 000005f2: SWAP3 000005f3: AND 000005f4: DUP3 000005f5: MSTORE 000005f6: MLOAD 000005f7: SWAP1 000005f8: DUP2 000005f9: SWAP1 000005fa: SUB 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: SWAP1 000005ff: RETURN 00000600: JUMPDEST 00000601: PUSH1 0x40 00000603: DUP1 00000604: MLOAD 00000605: PUSH1 0xff 00000607: SWAP1 00000608: SWAP3 00000609: AND 0000060a: DUP3 0000060b: MSTORE 0000060c: MLOAD 0000060d: SWAP1 0000060e: DUP2 0000060f: SWAP1 00000610: SUB 00000611: PUSH1 0x20 00000613: ADD 00000614: SWAP1 00000615: RETURN 00000616: JUMPDEST 00000617: PUSH1 0x40 00000619: DUP1 0000061a: MLOAD 0000061b: PUSH1 0x01 0000061d: PUSH1 0xa0 0000061f: PUSH1 0x02 00000621: EXP 00000622: SUB 00000623: SWAP3 00000624: SWAP1 00000625: SWAP3 00000626: AND 00000627: DUP3 00000628: MSTORE 00000629: MLOAD 0000062a: SWAP1 0000062b: DUP2 0000062c: SWAP1 0000062d: SUB 0000062e: PUSH1 0x20 00000630: ADD 00000631: SWAP1 00000632: RETURN 00000633: JUMPDEST 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: PUSH1 0x02 0000063a: EXP 0000063b: SUB 0000063c: DUP4 0000063d: AND 0000063e: PUSH1 0x00 00000640: SWAP1 00000641: DUP2 00000642: MSTORE 00000643: PUSH1 0x09 00000645: PUSH1 0x20 00000647: MSTORE 00000648: PUSH1 0x40 0000064a: SWAP1 0000064b: KECCAK256 0000064c: SLOAD 0000064d: DUP1 0000064e: DUP4 0000064f: ADD 00000650: LT 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH2 0x0002 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x01 0000065d: PUSH1 0xa0 0000065f: PUSH1 0x02 00000661: EXP 00000662: SUB 00000663: DUP5 00000664: DUP2 00000665: AND 00000666: PUSH1 0x00 00000668: DUP2 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x0a 0000066d: PUSH1 0x20 0000066f: SWAP1 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x40 00000674: DUP1 00000675: DUP4 00000676: KECCAK256 00000677: CALLER 00000678: SWAP1 00000679: SWAP6 0000067a: AND 0000067b: DUP1 0000067c: DUP5 0000067d: MSTORE 0000067e: SWAP5 0000067f: DUP3 00000680: MSTORE 00000681: DUP1 00000682: DUP4 00000683: KECCAK256 00000684: SLOAD 00000685: SWAP4 00000686: DUP4 00000687: MSTORE 00000688: PUSH1 0x0b 0000068a: DUP3 0000068b: MSTORE 0000068c: DUP1 0000068d: DUP4 0000068e: KECCAK256 0000068f: SWAP5 00000690: DUP4 00000691: MSTORE 00000692: SWAP4 00000693: SWAP1 00000694: MSTORE 00000695: SWAP2 00000696: SWAP1 00000697: SWAP2 00000698: KECCAK256 00000699: SLOAD 0000069a: DUP4 0000069b: ADD 0000069c: GT 0000069d: ISZERO 0000069e: PUSH2 0x06a6 000006a1: JUMPI 000006a2: PUSH2 0x0002 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x01 000006a9: PUSH1 0xa0 000006ab: PUSH1 0x02 000006ad: EXP 000006ae: SUB 000006af: DUP5 000006b0: DUP2 000006b1: AND 000006b2: PUSH1 0x00 000006b4: DUP2 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH1 0x09 000006b9: PUSH1 0x20 000006bb: SWAP1 000006bc: DUP2 000006bd: MSTORE 000006be: PUSH1 0x40 000006c0: DUP1 000006c1: DUP4 000006c2: KECCAK256 000006c3: DUP1 000006c4: SLOAD 000006c5: DUP9 000006c6: SWAP1 000006c7: SUB 000006c8: SWAP1 000006c9: SSTORE 000006ca: DUP8 000006cb: DUP6 000006cc: AND 000006cd: DUP1 000006ce: DUP5 000006cf: MSTORE 000006d0: DUP2 000006d1: DUP5 000006d2: KECCAK256 000006d3: DUP1 000006d4: SLOAD 000006d5: DUP10 000006d6: ADD 000006d7: SWAP1 000006d8: SSTORE 000006d9: DUP5 000006da: DUP5 000006db: MSTORE 000006dc: PUSH1 0x0b 000006de: DUP4 000006df: MSTORE 000006e0: DUP2 000006e1: DUP5 000006e2: KECCAK256 000006e3: CALLER 000006e4: SWAP1 000006e5: SWAP7 000006e6: AND 000006e7: DUP5 000006e8: MSTORE 000006e9: SWAP5 000006ea: DUP3 000006eb: MSTORE 000006ec: SWAP2 000006ed: DUP3 000006ee: SWAP1 000006ef: KECCAK256 000006f0: DUP1 000006f1: SLOAD 000006f2: DUP8 000006f3: ADD 000006f4: SWAP1 000006f5: SSTORE 000006f6: DUP2 000006f7: MLOAD 000006f8: DUP7 000006f9: DUP2 000006fa: MSTORE 000006fb: SWAP2 000006fc: MLOAD 000006fd: PUSH1 0x00 000006ff: DUP1 00000700: MLOAD 00000701: PUSH1 0x20 00000703: PUSH2 0x0a0c 00000706: DUP4 00000707: CODECOPY 00000708: DUP2 00000709: MLOAD 0000070a: SWAP2 0000070b: MSTORE 0000070c: SWAP3 0000070d: DUP2 0000070e: SWAP1 0000070f: SUB 00000710: SWAP1 00000711: SWAP2 00000712: ADD 00000713: SWAP1 00000714: LOG3 00000715: POP 00000716: PUSH1 0x01 00000718: SWAP4 00000719: SWAP3 0000071a: POP 0000071b: POP 0000071c: POP 0000071d: JUMP 0000071e: JUMPDEST 0000071f: PUSH1 0x00 00000721: DUP1 00000722: SLOAD 00000723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000738: NOT 00000739: AND 0000073a: DUP3 0000073b: OR 0000073c: SWAP1 0000073d: SSTORE 0000073e: POP 0000073f: JUMP 00000740: JUMPDEST 00000741: DUP3 00000742: ADD 00000743: SWAP2 00000744: SWAP1 00000745: PUSH1 0x00 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: PUSH1 0x00 0000074c: KECCAK256 0000074d: SWAP1 0000074e: JUMPDEST 0000074f: DUP2 00000750: SLOAD 00000751: DUP2 00000752: MSTORE 00000753: SWAP1 00000754: PUSH1 0x01 00000756: ADD 00000757: SWAP1 00000758: PUSH1 0x20 0000075a: ADD 0000075b: DUP1 0000075c: DUP4 0000075d: GT 0000075e: PUSH2 0x074e 00000761: JUMPI 00000762: DUP3 00000763: SWAP1 00000764: SUB 00000765: PUSH1 0x1f 00000767: AND 00000768: DUP3 00000769: ADD 0000076a: SWAP2 0000076b: JUMPDEST 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: DUP2 00000772: JUMP 00000773: JUMPDEST 00000774: POP 00000775: SWAP4 00000776: SWAP3 00000777: POP 00000778: POP 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: PUSH1 0x02 00000782: EXP 00000783: SUB 00000784: DUP3 00000785: AND 00000786: PUSH1 0x00 00000788: SWAP1 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x09 0000078d: PUSH1 0x20 0000078f: MSTORE 00000790: PUSH1 0x40 00000792: SWAP1 00000793: KECCAK256 00000794: SLOAD 00000795: DUP2 00000796: DUP2 00000797: ADD 00000798: LT 00000799: ISZERO 0000079a: PUSH2 0x07a2 0000079d: JUMPI 0000079e: PUSH2 0x0002 000007a1: JUMP 000007a2: JUMPDEST 000007a3: CALLER 000007a4: PUSH1 0x01 000007a6: PUSH1 0xa0 000007a8: PUSH1 0x02 000007aa: EXP 000007ab: SUB 000007ac: SWAP1 000007ad: DUP2 000007ae: AND 000007af: PUSH1 0x00 000007b1: DUP2 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x09 000007b6: PUSH1 0x20 000007b8: SWAP1 000007b9: DUP2 000007ba: MSTORE 000007bb: PUSH1 0x40 000007bd: DUP1 000007be: DUP4 000007bf: KECCAK256 000007c0: DUP1 000007c1: SLOAD 000007c2: DUP8 000007c3: SWAP1 000007c4: SUB 000007c5: SWAP1 000007c6: SSTORE 000007c7: SWAP4 000007c8: DUP7 000007c9: AND 000007ca: DUP1 000007cb: DUP4 000007cc: MSTORE 000007cd: SWAP2 000007ce: DUP5 000007cf: SWAP1 000007d0: KECCAK256 000007d1: DUP1 000007d2: SLOAD 000007d3: DUP7 000007d4: ADD 000007d5: SWAP1 000007d6: SSTORE 000007d7: DUP4 000007d8: MLOAD 000007d9: DUP6 000007da: DUP2 000007db: MSTORE 000007dc: SWAP4 000007dd: MLOAD 000007de: SWAP2 000007df: SWAP4 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: MLOAD 000007e4: PUSH1 0x20 000007e6: PUSH2 0x0a0c 000007e9: DUP4 000007ea: CODECOPY 000007eb: DUP2 000007ec: MLOAD 000007ed: SWAP2 000007ee: MSTORE 000007ef: SWAP3 000007f0: SWAP1 000007f1: DUP2 000007f2: SWAP1 000007f3: SUB 000007f4: SWAP1 000007f5: SWAP2 000007f6: ADD 000007f7: SWAP1 000007f8: LOG3 000007f9: POP 000007fa: POP 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x06 000007ff: SSTORE 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x05 00000804: DUP1 00000805: SLOAD 00000806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081b: NOT 0000081c: AND 0000081d: DUP3 0000081e: OR 0000081f: SWAP1 00000820: SSTORE 00000821: POP 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH2 0x0200 00000827: DUP2 00000828: PUSH4 0xffffffff 0000082d: AND 0000082e: LT 0000082f: ISZERO 00000830: PUSH2 0x0838 00000833: JUMPI 00000834: PUSH2 0x0002 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x07 0000083b: DUP1 0000083c: SLOAD 0000083d: PUSH4 0xffffffff 00000842: NOT 00000843: AND 00000844: DUP3 00000845: OR 00000846: SWAP1 00000847: SSTORE 00000848: POP 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x04 0000084d: SLOAD 0000084e: ADDRESS 0000084f: PUSH1 0x01 00000851: PUSH1 0xa0 00000853: PUSH1 0x02 00000855: EXP 00000856: SUB 00000857: AND 00000858: BALANCE 00000859: PUSH6 0x5af3107a4000 00000860: MUL 00000861: DIV 00000862: PUSH1 0x08 00000864: SSTORE 00000865: PUSH1 0x40 00000867: DUP1 00000868: MLOAD 00000869: NUMBER 0000086a: DUP2 0000086b: MSTORE 0000086c: TIMESTAMP 0000086d: PUSH1 0x20 0000086f: DUP3 00000870: ADD 00000871: MSTORE 00000872: DUP1 00000873: DUP3 00000874: ADD 00000875: DUP7 00000876: SWAP1 00000877: MSTORE 00000878: SWAP1 00000879: MLOAD 0000087a: SWAP1 0000087b: DUP2 0000087c: SWAP1 0000087d: SUB 0000087e: PUSH1 0x60 00000880: ADD 00000881: SWAP1 00000882: KECCAK256 00000883: PUSH2 0x088d 00000886: SWAP1 00000887: PUSH1 0x0a 00000889: PUSH2 0x01e7 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH1 0x07 00000890: SLOAD 00000891: SWAP1 00000892: SWAP2 00000893: POP 00000894: PUSH4 0xffffffff 00000899: AND 0000089a: DUP2 0000089b: LT 0000089c: PUSH2 0x08b2 0000089f: JUMPI 000008a0: PUSH1 0x00 000008a2: SWAP3 000008a3: POP 000008a4: PUSH2 0x03e7 000008a7: PUSH5 0x174876e800 000008ad: DUP6 000008ae: DIV 000008af: DIV 000008b0: SWAP2 000008b1: POP 000008b2: JUMPDEST 000008b3: PUSH1 0x07 000008b5: SLOAD 000008b6: PUSH4 0xffffffff 000008bb: AND 000008bc: DUP2 000008bd: LT 000008be: ISZERO 000008bf: PUSH2 0x08d0 000008c2: JUMPI 000008c3: PUSH5 0x174876e800 000008c9: PUSH1 0x02 000008cb: DUP6 000008cc: MUL 000008cd: DIV 000008ce: SWAP3 000008cf: POP 000008d0: JUMPDEST 000008d1: CALLER 000008d2: PUSH1 0x01 000008d4: PUSH1 0xa0 000008d6: PUSH1 0x02 000008d8: EXP 000008d9: SUB 000008da: SWAP1 000008db: DUP2 000008dc: AND 000008dd: PUSH1 0x00 000008df: DUP2 000008e0: DUP2 000008e1: MSTORE 000008e2: PUSH1 0x09 000008e4: PUSH1 0x20 000008e6: SWAP1 000008e7: DUP2 000008e8: MSTORE 000008e9: PUSH1 0x40 000008eb: DUP1 000008ec: DUP4 000008ed: KECCAK256 000008ee: DUP1 000008ef: SLOAD 000008f0: DUP10 000008f1: ADD 000008f2: SWAP1 000008f3: SSTORE 000008f4: PUSH1 0x05 000008f6: SLOAD 000008f7: DUP6 000008f8: AND 000008f9: DUP4 000008fa: MSTORE 000008fb: DUP1 000008fc: DUP4 000008fd: KECCAK256 000008fe: DUP1 000008ff: SLOAD 00000900: DUP9 00000901: ADD 00000902: SWAP1 00000903: SSTORE 00000904: ADDRESS 00000905: SWAP1 00000906: SWAP5 00000907: AND 00000908: DUP1 00000909: DUP4 0000090a: MSTORE 0000090b: SWAP2 0000090c: DUP5 0000090d: SWAP1 0000090e: KECCAK256 0000090f: DUP1 00000910: SLOAD 00000911: DUP8 00000912: DUP10 00000913: ADD 00000914: SWAP1 00000915: SUB 00000916: SWAP1 00000917: SSTORE 00000918: DUP4 00000919: MLOAD 0000091a: DUP8 0000091b: DUP2 0000091c: MSTORE 0000091d: SWAP4 0000091e: MLOAD 0000091f: SWAP3 00000920: SWAP4 00000921: SWAP2 00000922: SWAP3 00000923: PUSH1 0x00 00000925: DUP1 00000926: MLOAD 00000927: PUSH1 0x20 00000929: PUSH2 0x0a0c 0000092c: DUP4 0000092d: CODECOPY 0000092e: DUP2 0000092f: MLOAD 00000930: SWAP2 00000931: MSTORE 00000932: SWAP3 00000933: DUP2 00000934: SWAP1 00000935: SUB 00000936: SWAP1 00000937: SWAP2 00000938: ADD 00000939: SWAP1 0000093a: LOG3 0000093b: PUSH1 0x05 0000093d: SLOAD 0000093e: PUSH1 0x40 00000940: DUP1 00000941: MLOAD 00000942: DUP5 00000943: DUP2 00000944: MSTORE 00000945: SWAP1 00000946: MLOAD 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: PUSH1 0x02 0000094d: EXP 0000094e: SUB 0000094f: SWAP3 00000950: DUP4 00000951: AND 00000952: SWAP3 00000953: ADDRESS 00000954: AND 00000955: SWAP2 00000956: PUSH1 0x00 00000958: DUP1 00000959: MLOAD 0000095a: PUSH1 0x20 0000095c: PUSH2 0x0a0c 0000095f: DUP4 00000960: CODECOPY 00000961: DUP2 00000962: MLOAD 00000963: SWAP2 00000964: MSTORE 00000965: SWAP2 00000966: SWAP1 00000967: DUP2 00000968: SWAP1 00000969: SUB 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: SWAP1 0000096e: LOG3 0000096f: POP 00000970: POP 00000971: POP 00000972: SWAP1 00000973: JUMP 00000974: JUMPDEST 00000975: POP 00000976: ADDRESS 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: PUSH1 0x02 0000097d: EXP 0000097e: SUB 0000097f: SWAP1 00000980: DUP2 00000981: AND 00000982: PUSH1 0x00 00000984: SWAP1 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x09 00000989: PUSH1 0x20 0000098b: MSTORE 0000098c: PUSH1 0x40 0000098e: DUP1 0000098f: DUP3 00000990: KECCAK256 00000991: DUP1 00000992: SLOAD 00000993: DUP6 00000994: ADD 00000995: SWAP1 00000996: SSTORE 00000997: CALLER 00000998: SWAP1 00000999: SWAP3 0000099a: AND 0000099b: DUP1 0000099c: DUP3 0000099d: MSTORE 0000099e: DUP3 0000099f: DUP3 000009a0: KECCAK256 000009a1: DUP1 000009a2: SLOAD 000009a3: DUP6 000009a4: SWAP1 000009a5: SUB 000009a6: SWAP1 000009a7: SSTORE 000009a8: SWAP2 000009a9: MLOAD 000009aa: PUSH1 0x08 000009ac: SLOAD 000009ad: DUP5 000009ae: MUL 000009af: SWAP3 000009b0: SWAP2 000009b1: SWAP1 000009b2: DUP4 000009b3: SWAP1 000009b4: DUP3 000009b5: DUP2 000009b6: DUP2 000009b7: DUP2 000009b8: DUP6 000009b9: DUP9 000009ba: DUP4 000009bb: CALL 000009bc: POP 000009bd: POP 000009be: PUSH1 0x40 000009c0: DUP1 000009c1: MLOAD 000009c2: DUP7 000009c3: DUP2 000009c4: MSTORE 000009c5: SWAP1 000009c6: MLOAD 000009c7: ADDRESS 000009c8: PUSH1 0x01 000009ca: PUSH1 0xa0 000009cc: PUSH1 0x02 000009ce: EXP 000009cf: SUB 000009d0: AND 000009d1: SWAP5 000009d2: SWAP4 000009d3: POP 000009d4: PUSH1 0x00 000009d6: DUP1 000009d7: MLOAD 000009d8: PUSH1 0x20 000009da: PUSH2 0x0a0c 000009dd: DUP4 000009de: CODECOPY 000009df: DUP2 000009e0: MLOAD 000009e1: SWAP2 000009e2: MSTORE 000009e3: SWAP3 000009e4: POP 000009e5: SWAP1 000009e6: DUP2 000009e7: SWAP1 000009e8: SUB 000009e9: PUSH1 0x20 000009eb: ADD 000009ec: SWAP1 000009ed: LOG3 000009ee: PUSH1 0x04 000009f0: SLOAD 000009f1: ADDRESS 000009f2: PUSH1 0x01 000009f4: PUSH1 0xa0 000009f6: PUSH1 0x02 000009f8: EXP 000009f9: SUB 000009fa: AND 000009fb: BALANCE 000009fc: PUSH6 0x5af3107a4000 00000a03: MUL 00000a04: DIV 00000a05: PUSH1 0x08 00000a07: SSTORE 00000a08: SWAP2 00000a09: SWAP1 00000a0a: POP 00000a0b: JUMP 00000a0c: UNKNOWN(0xDD) 00000a0d: CALLCODE 00000a0e: MSTORE 00000a0f: UNKNOWN(0xAD) 00000a10: SHL 00000a11: UNKNOWN(0xE2) 00000a12: UNKNOWN(0xC8) 00000a13: SWAP12 00000a14: PUSH10 0xc2b068fc378daa952ba7 00000a1f: CALL 00000a20: PUSH4 0xc4a11628 00000a25: CREATE2 00000a26: GAS 00000a27: UNKNOWN(0x4D) 00000a28: CREATE2 00000a29: UNKNOWN(0x23) 00000a2a: UNKNOWN(0xB3) 00000a2b: UNKNOWN(0xEF)
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: 0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868
call_targets:
0x0000000000000000000000000000000000000004, 0xa85e234d071e5acc1d91badd306ed601a38575e8
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xa85e234d071e5acc1d91badd306ed601a38575e8"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fe9eabc",
"selector": "0x1fe9eabc",
"calldata_variants": [
"0x1fe9eabc",
"0x1fe9eabc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x233de126",
"selector": "0x233de126",
"calldata_variants": [
"0x233de126",
"0x233de1260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41fa4876",
"selector": "0x41fa4876",
"calldata_variants": [
"0x41fa4876",
"0x41fa48760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1194,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1436,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868
call_targets:
0x0000000000000000000000000000000000000004, 0xa85e234d071e5acc1d91badd306ed601a38575e8
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xd1d30d65c03483a1e4606a4667067789ff27c6ddd78da66fb802c3d41fe9a868",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xa85e234d071e5acc1d91badd306ed601a38575e8"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fe9eabc",
"selector": "0x1fe9eabc",
"calldata_variants": [
"0x1fe9eabc",
"0x1fe9eabc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x233de126",
"selector": "0x233de126",
"calldata_variants": [
"0x233de126",
"0x233de1260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41fa4876",
"selector": "0x41fa4876",
"calldata_variants": [
"0x41fa4876",
"0x41fa48760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1194,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1436,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| high | reentrancy | codex | Sell/redeem path sends ETH before refreshing cached price, enabling reentrant stale-price withdrawals | 85 | no | — |
viewevidence_json{
"evidence": "In selector 0xe4849b32 (entry pc 0x507), the redeem logic at pc 0x974-0x9a7 updates slot-0x09 balances first, then loads slot 0x08 at pc 0x9ac to derive the ETH payout, performs a low-level CALL at pc 0x9bb, and only afterward refreshes slot 0x08 from contract balance at pc 0x9ee-0xa07. The bundle's auth heuristics detected no guard, and the callsite metadata marks the CALL target/value as computed.",
"locations": [
"selector:0xe4849b32",
"pc:0x974",
"pc:0x9ac",
"pc:0x9bb",
"pc:0x9ee"
],
"recommendation": "Apply strict checks-effects-interactions on the redeem path: refresh all price/accounting state before any external call, or compute payouts from live state without a cached stale slot. Add a reentrancy guard around the redeem/buy paths and any function that can reach the same accounting.",
"exploit_scenario": "A malicious contract holder calls selector 0xe4849b32 to redeem part of its balance. The function updates balances, computes payout from cached slot 0x08, and performs a low-level CALL to the recipient at pc 0x9bb. During the recipient fallback, it can reenter selector 0xe4849b32 and redeem remaining tokens again while slot 0x08 still holds the pre-withdraw price. Because the contract balance has already dropped but the cached price is only recomputed after the CALL, repeated reentry can overpay ETH relative to the post-withdraw state and drain funds."
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x452663a790b9804fcae803623814571567435489435a205594c196d7d9371b34
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x452663a790b9804fcae803623814571567435489435a205594c196d7d9371b34",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fe9eabc",
"selector": "0x1fe9eabc",
"calldata_variants": [
"0x1fe9eabc",
"0x1fe9eabc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x233de126",
"selector": "0x233de126",
"calldata_variants": [
"0x233de126",
"0x233de1260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41fa4876",
"selector": "0x41fa4876",
"calldata_variants": [
"0x41fa4876",
"0x41fa48760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|
| medium | other | codex | Unchecked ETH payout call can finalize a redemption even when the transfer fails | 75 | no | — |
viewevidence_json{
"evidence": "At pc 0x9bb the contract executes a low-level CALL on the redeem path, then immediately POPs the return value at pc 0x9bc-0x9bd and continues with event emission and slot-0x08 recomputation through pc 0xa07. Unlike the other external-call path around pc 0x4aa, there is no ISZERO/JUMPI success check after this CALL. The artifact's callsite metadata also reports returndata checking as unknown/null for this site.",
"locations": [
"selector:0xe4849b32",
"pc:0x9bb",
"pc:0x9bc",
"pc:0x9bd",
"pc:0xa07"
],
"recommendation": "Require the payout CALL to succeed and revert otherwise, or use a pull-payment pattern where users withdraw separately. Do not continue state transitions after a failed value transfer.",
"exploit_scenario": "If the redeem recipient is a contract whose fallback reverts or cannot accept the transfer, the low-level CALL on the sell path can fail. Because the result is not checked, execution continues: state updates and logs remain applied, and the cached price is recomputed. The seller can lose tokens/accounting position without receiving ETH."
}
|