019b3836-4048-70c9-b749-a245db678d41
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 |
|---|---|---|---|---|
| 5193 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5194 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 48728 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 48729 | capability.graph | complete | 1 / 3 | 1 week ago |
| 48730 | detector.run | complete | 1 / 3 | 1 week ago |
| 48731 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113298 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode review of BYTECODE_BUNDLE.json found no proxy/delegatecall pattern, but two concrete issues remain: an unchecked ETH payout call in selector 0xe4849b32, and a value-affecting pseudo-random path in selector 0xa6f2ae3a that relies on block variables. Generic detector hits for dynamic CALLs are partly explained by the identity precompile (0x04) and an approve-and-callback style external call, so they were not all treated as standalone vulnerabilities.","findings":[{"severity":"medium","category":"other","title":"Unchecked ETH payout can debit balances even when the transfer fails","exploit_scenario":"A holder calls selector 0xe4849b32 through a contract wallet or fallback that reverts on receiving ETH. The function updates token accounting first, then performs a value-bearing CALL to the caller. Because the CALL success flag is ignored, the ETH send can fail while the token debit still persists, leaving the user unpaid and the contract/accounting state inconsistent.","recommendation":"Require the low-level CALL to succeed and revert otherwise, or switch this path to a pull-payment/withdraw pattern so accounting only finalizes after a successful payout.","evidence":"In selector 0xe4849b32, slot 0x08 is recomputed and written at pc:0x524, then caller balance is checked before jumping into the redeem path at pc:0x72d. That path updates balances with SSTOREs at pc:0x74f and pc:0x760 before issuing a value-bearing CALL at pc:0x77b. The CALL return value is immediately discarded with POPs at pc:0x77c-0x77d, and execution continues to event emission instead of reverting on failure.","locations":["selector:0xe4849b32","pc:0x524","pc:0x72d","pc:0x74f","pc:0x760","pc:0x77b","pc:0x77c"]},{"severity":"medium","category":"other","title":"Financial outcome appears to depend on manipulable block-derived entropy","exploit_scenario":"A block proposer or sophisticated searcher simulates selector 0xa6f2ae3a off-chain and only includes transactions when the block-dependent path yields a favorable result, or biases timestamp/ordering to improve their outcome. If this function governs token purchase/reward amounts, privileged block builders can extract value from regular users.","recommendation":"Do not use NUMBER, TIMESTAMP, or recent BLOCKHASH values for value-determining randomness. Replace this with commit-reveal or an oracle/VRF-based entropy source.","evidence":"This is an inference from bytecode, since source names are unavailable. In selector 0xa6f2ae3a, entropy is assembled from NUMBER at pc:0x80c, TIMESTAMP at pc:0x80f, and another call-dependent input before KECCAK256 at pc:0x825. The helper reached via pc:0x82f loops over BLOCKHASH usage at pc:0x1f9-0x215. The derived result is compared against slot 0x07 at pc:0x831-0x873, after which balances are updated and Transfer logs are emitted at pc:0x891-0x911, indicating the block-derived value affects token distribution/accounting.","locations":["selector:0xa6f2ae3a","pc:0x80c","pc:0x80f","pc:0x825","pc:0x1f9","pc:0x215","pc:0x831","pc:0x873","pc:0x891","pc:0x911"]}]}
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-0a_wr5d_
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c4c-7a20-7163-82a5-a29acf30a763
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.
Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
exec
/bin/bash -lc "pwd && ls -la && rg --files -g 'BYTECODE_BUNDLE.json' -g 'AGENTS.md' -g '*.json' ." in /tmp/codex-0a_wr5d_
succeeded in 0ms:
/tmp/codex-0a_wr5d_
total 280
drwx------ 2 noahkuhn noahkuhn 4096 Apr 5 06:20 .
drwxrwxrwt 270 nobody nogroup 24576 Apr 5 06:20 ..
-rw-rw-r-- 1 noahkuhn noahkuhn 247754 Apr 5 06:20 BYTECODE_BUNDLE.json
-rw-rw-r-- 1 noahkuhn noahkuhn 815 Apr 5 06:20 codex-output-schema.json
./codex-output-schema.json
./BYTECODE_BUNDLE.json
exec
/bin/bash -lc "sed -n '1,220p' codex-output-schema.json" in /tmp/codex-0a_wr5d_
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-0a_wr5d_
succeeded in 0ms:
[
"analysis_artifact",
"analysis_run",
"artifact",
"capability_graph",
"detector_findings",
"heuristics_summary"
]
→ Inspect BYTECODE_BUNDLE.json structure and key evidence sections
• Assess bytecode-level risks with conservative confidence
• Produce schema-valid JSON findings
exec
/bin/bash -lc "jq '.analysis_artifact | keys' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
"address",
"artifact_hash",
"artifact_json",
"block_number",
"chain_id",
"codehash",
"created_at",
"id",
"updated_at",
"version"
]
exec
/bin/bash -lc "jq '.detector_findings | keys' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
0,
1,
2
]
exec
/bin/bash -lc "jq '.heuristics_summary | keys' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
"create2_count",
"delegatecall_count",
"flags",
"selfdestruct_count"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
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 '.detector_findings' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
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": 1451,
"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",
"0xf8c5d9608790974068051389378cc579cd09c93c"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0",
"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": 1451,
"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",
"0xf8c5d9608790974068051389378cc579cd09c93c"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0",
"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": "0x963cb7e638c3e5fa40b3fd442d05e4852320bad90f94a004175ecd3927af7384",
"trace_mode": "structLogs"
}
}
]
exec
/bin/bash -lc "jq '.heuristics_summary' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
{
"create2_count": 2,
"delegatecall_count": 0,
"flags": [
"create_opcodes_present"
],
"selfdestruct_count": 0
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.dispatcher_type' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
"selector_jump_table"
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.selectors' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
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.auth' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
{
"guards": []
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.function_entries' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
{
"entry_pc": null,
"selector": "0x06fdde03"
},
{
"entry_pc": 535423676,
"selector": "0x18160ddd"
},
{
"entry_pc": 591257894,
"selector": "0x1fe9eabc"
},
{
"entry_pc": 599290589,
"selector": "0x233de126"
},
{
"entry_pc": 826074471,
"selector": "0x23b872dd"
},
{
"entry_pc": 1106921590,
"selector": "0x313ce567"
},
{
"entry_pc": 1889567281,
"selector": "0x41fa4876"
},
{
"entry_pc": 2133494400,
"selector": "0x70a08231"
},
{
"entry_pc": 2376452955,
"selector": "0x7f2a8a80"
},
{
"entry_pc": 2514000705,
"selector": "0x8da5cb5b"
},
{
"entry_pc": 2800922170,
"selector": "0x95d89b41"
},
{
"entry_pc": 2835717307,
"selector": "0xa6f2ae3a"
},
{
"entry_pc": 2854837737,
"selector": "0xa9059cbb"
},
{
"entry_pc": 3154722889,
"selector": "0xaa295de9"
},
{
"entry_pc": 3296960139,
"selector": "0xbc094049"
},
{
"entry_pc": 3404319313,
"selector": "0xc4839e8b"
},
{
"entry_pc": 3694166258,
"selector": "0xcae9ca51"
},
{
"entry_pc": 3714247998,
"selector": "0xdc3080f2"
},
{
"entry_pc": 3833895730,
"selector": "0xdd62ed3e"
},
{
"entry_pc": 4076725131,
"selector": "0xe4849b32"
},
{
"entry_pc": 4288363215,
"selector": "0xf2fde38b"
},
{
"entry_pc": null,
"selector": "0xff9b3acf"
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.callsites' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
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": 1451,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1915,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALLCODE",
"pc": 2542,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 2560,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.sinks' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
{
"call": 6,
"create": 0,
"create2": 2,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0,
"upgrade_slot_write_suspected": false
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.storage' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
{
"keccak_count": 30,
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.functions' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0x06fdde03",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 535423676,
"selector": "0x18160ddd",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 591257894,
"selector": "0x1fe9eabc",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 599290589,
"selector": "0x233de126",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 826074471,
"selector": "0x23b872dd",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1106921590,
"selector": "0x313ce567",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1889567281,
"selector": "0x41fa4876",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2133494400,
"selector": "0x70a08231",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2376452955,
"selector": "0x7f2a8a80",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2514000705,
"selector": "0x8da5cb5b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2800922170,
"selector": "0x95d89b41",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2835717307,
"selector": "0xa6f2ae3a",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2854837737,
"selector": "0xa9059cbb",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3154722889,
"selector": "0xaa295de9",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3296960139,
"selector": "0xbc094049",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3404319313,
"selector": "0xc4839e8b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3694166258,
"selector": "0xcae9ca51",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3714247998,
"selector": "0xdc3080f2",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3833895730,
"selector": "0xdd62ed3e",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 4076725131,
"selector": "0xe4849b32",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": 4288363215,
"selector": "0xf2fde38b",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
},
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0xff9b3acf",
"sinks": {
"call": 6,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 46,
"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": 1296,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1355,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1385,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1893,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
},
{
"op": "SLOAD",
"pc": 1974,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 2099,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2122,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 2201,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2272,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2473,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 2527,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
}
],
"writes": 16
}
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.address, .analysis_artifact.chain_id, .analysis_artifact.block_number, .analysis_artifact.codehash' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
"0xf8c5d9608790974068051389378cc579cd09c93c"
1
null
"0x759a69407cd4d11cfcf276ab36093c7002a292829b464c91ba446691e9797a78"
exec
/bin/bash -lc "jq '.analysis_run, .artifact' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
{
"address": "0xf8c5d9608790974068051389378cc579cd09c93c",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2025-12-19T20:03:58.000000Z",
"id": "019b3836-4048-70c9-b749-a245db678d41",
"parent_links": [],
"status": "running",
"updated_at": "2026-04-04T19:59:16.000000Z"
}
{
"codehash": "0x759a69407cd4d11cfcf276ab36093c7002a292829b464c91ba446691e9797a78",
"compiler_json": {
"etherscan": {
"skipped": true
}
},
"implementation_address": null,
"is_proxy": false,
"runtime_bytecode": {
"full": "0x606060405236156101065760e060020a600035046306fdde03811461010857806318160ddd146101655780631fe9eabc1461016e578063233de1261461019057806323b872dd1461019f578063313ce567146101d157806341fa4876146101dd57806370a08231146102335780637f2a8a801461024b5780638da5cb5b1461026c57806395d89b411461027e578063a6f2ae3a146102d9578063a9059cbb146102f4578063aa295de914610323578063bc0940491461032c578063c4839e8b14610335578063cae9ca5114610356578063dc3080f2146104bd578063dd62ed3e146104e2578063e4849b3214610507578063f2fde38b14610542578063ff9b3acf14610563575b005b60408051600180546020600282841615610100026000190190921691909104601f810182900482028401820190945283835261057593908301828280156107ff5780601f106107d4576101008083540402835291602001916107ff565b6105e360045481565b610106600435600054600160a060020a0390811633909116146109a057610002565b6105f560075463ffffffff1681565b6105e3600435602435604435600160a060020a0383166000908152600960205260408120548290101561064257610002565b61060f60035460ff1681565b6105e36004356024355b600080805b8381101561091757604080514383900360001901408152602081018790528151908190039091019020600290066000141561022b57600281900a909101905b6001016101ec565b6105e360043560096020526000908152604090205481565b61010660043560005433600160a060020a039081169116146109a557610002565b610625600054600160a060020a031681565b6105756002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156107ff5780601f106107d4576101008083540402835291602001916107ff565b6105e360065434906000908190819084111561080757610002565b61010660043560243533600160a060020a03166000908152600960205260409020548190101561091f57610002565b6105e360065481565b6105e360085481565b61010660043560005433600160a060020a039081169116146109c757610002565b604080516020604435600481810135601f81018490048402850184019095528484526105e39481359460248035959394606494929391019181908401838280828437509496505050505050506000600083600a600050600033600160a060020a03168152602001908152602001600020600050600087600160a060020a031681526020019081526020016000206000508190555084905080600160a060020a0316638f4ffcb1338630876040518560e060020a0281526004018085600160a060020a0316815260200184815260200183600160a060020a03168152602001806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156104905780820380516001836020036101000a031916815260200191505b50955050505050506000604051808303816000876161da5a03f11561000257506001979650505050505050565b600b602090815260043560009081526040808220909252602435815220546105e39081565b600a602090815260043560009081526040808220909252602435815220546105e39081565b6105e360043560045430600160a060020a03908116319190910460085533166000908152600960205260408120548290101561072d57610002565b61010660043560005433600160a060020a039081169116146107b257610002565b610625600554600160a060020a031681565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156105d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b60408051918252519081900360200190f35b6040805163ffffffff929092168252519081900360200190f35b6040805160ff9092168252519081900360200190f35b60408051600160a060020a03929092168252519081900360200190f35b600160a060020a038316600090815260096020526040902054808301101561066957610002565b600160a060020a038481166000818152600a602090815260408083203390951680845294825280832054938352600b82528083209483529390529190912054830111156106b557610002565b600160a060020a03848116600081815260096020908152604080832080548890039055878516808452818420805489019055848452600b835281842033909616845294825291829020805487019055815186815291516000805160206109ed8339815191529281900390910190a35060019392505050565b5030600160a060020a039081166000908152600960205260408082208054850190553390921680825282822080548590039055915160085464174876e800850402929190839082818181858883f1505060408051868152905130600160a060020a03169493506000805160206109ed83398151915292509081900360200190a3919050565b6000805473ffffffffffffffffffffffffffffffffffffffff19168217905550565b820191906000526020600020905b8154815290600101906020018083116107e257829003601f168201915b505050505081565b60408051438152426020820152808201869052905190819003606001902061083090600a6101e7565b60075490915063ffffffff16811061084757600092505b6007546103e764174876e800860404925063ffffffff168110156108735764174876e800600285020492505b33600160a060020a03908116600081815260096020908152604080832080548901905560055485168352808320805488019055309094168083529184902080548789019003905583518781529351929391926000805160206109ed8339815191529281900390910190a3600554604080518481529051600160a060020a03928316923016916000805160206109ed833981519152919081900360200190a350505090565b509392505050565b600160a060020a038216600090815260096020526040902054818101101561094657610002565b33600160a060020a03908116600081815260096020908152604080832080548790039055938616808352918490208054860190558351858152935191936000805160206109ed833981519152929081900390910190a35050565b600655565b6005805473ffffffffffffffffffffffffffffffffffffffff19168217905550565b61020063ffffffff8216116109db57610002565b6007805463ffffffff1916821790555056ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef",
"head": null,
"length": 5148,
"tail": null,
"truncated": false
},
"verified_source": false
}
exec
/bin/bash -lc "jq '.capability_graph | keys' BYTECODE_BUNDLE.json" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
[
"address",
"block_number",
"chain_id",
"codehash",
"created_at",
"graph_hash",
"graph_json",
"id",
"updated_at",
"version"
]
exec
/bin/bash -lc 'command -v evm || command -v cast || command -v hevm || command -v python3 || command -v node' in /tmp/codex-0a_wr5d_
succeeded in 0ms:
/home/noahkuhn/.foundry/bin/cast
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1,260p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
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 0x0542
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xff9b3acf
00000101: EQ
00000102: PUSH2 0x0563
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 0x0575
0000013e: SWAP4
0000013f: SWAP1
00000140: DUP4
00000141: ADD
00000142: DUP3
00000143: DUP3
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x07ff
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH1 0x1f
0000014d: LT
0000014e: PUSH2 0x07d4
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 0x07ff
00000164: JUMP
00000165: JUMPDEST
00000166: PUSH2 0x05e3
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 0x09a0
0000018b: JUMPI
0000018c: PUSH2 0x0002
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH2 0x05f5
00000194: PUSH1 0x07
00000196: SLOAD
00000197: PUSH4 0xffffffff
0000019c: AND
0000019d: DUP2
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x05e3
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
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '260,620p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
000001c3: KECCAK256
000001c4: SLOAD
000001c5: DUP3
000001c6: SWAP1
000001c7: LT
000001c8: ISZERO
000001c9: PUSH2 0x0642
000001cc: JUMPI
000001cd: PUSH2 0x0002
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH2 0x060f
000001d5: PUSH1 0x03
000001d7: SLOAD
000001d8: PUSH1 0xff
000001da: AND
000001db: DUP2
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH2 0x05e3
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 0x0917
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 0x05e3
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 0x09a5
00000267: JUMPI
00000268: PUSH2 0x0002
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x0625
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 0x0575
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 0x07ff
000002bd: JUMPI
000002be: DUP1
000002bf: PUSH1 0x1f
000002c1: LT
000002c2: PUSH2 0x07d4
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 0x07ff
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x05e3
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 0x0807
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 0x091f
0000031e: JUMPI
0000031f: PUSH2 0x0002
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x05e3
00000327: PUSH1 0x06
00000329: SLOAD
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x05e3
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 0x09c7
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 0x05e3
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
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '620,980p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
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 0x05e3
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 0x05e3
00000504: SWAP1
00000505: DUP2
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH2 0x05e3
0000050b: PUSH1 0x04
0000050d: CALLDATALOAD
0000050e: PUSH1 0x04
00000510: SLOAD
00000511: ADDRESS
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: PUSH1 0x02
00000518: EXP
00000519: SUB
0000051a: SWAP1
0000051b: DUP2
0000051c: AND
0000051d: BALANCE
0000051e: SWAP2
0000051f: SWAP1
00000520: SWAP2
00000521: DIV
00000522: PUSH1 0x08
00000524: SSTORE
00000525: CALLER
00000526: AND
00000527: PUSH1 0x00
00000529: SWAP1
0000052a: DUP2
0000052b: MSTORE
0000052c: PUSH1 0x09
0000052e: PUSH1 0x20
00000530: MSTORE
00000531: PUSH1 0x40
00000533: DUP2
00000534: KECCAK256
00000535: SLOAD
00000536: DUP3
00000537: SWAP1
00000538: LT
00000539: ISZERO
0000053a: PUSH2 0x072d
0000053d: JUMPI
0000053e: PUSH2 0x0002
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x0106
00000546: PUSH1 0x04
00000548: CALLDATALOAD
00000549: PUSH1 0x00
0000054b: SLOAD
0000054c: CALLER
0000054d: PUSH1 0x01
0000054f: PUSH1 0xa0
00000551: PUSH1 0x02
00000553: EXP
00000554: SUB
00000555: SWAP1
00000556: DUP2
00000557: AND
00000558: SWAP2
00000559: AND
0000055a: EQ
0000055b: PUSH2 0x07b2
0000055e: JUMPI
0000055f: PUSH2 0x0002
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH2 0x0625
00000567: PUSH1 0x05
00000569: SLOAD
0000056a: PUSH1 0x01
0000056c: PUSH1 0xa0
0000056e: PUSH1 0x02
00000570: EXP
00000571: SUB
00000572: AND
00000573: DUP2
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: DUP1
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: DUP3
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '980,1320p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
0000057e: DUP3
0000057f: DUP2
00000580: SUB
00000581: DUP3
00000582: MSTORE
00000583: DUP4
00000584: DUP2
00000585: DUP2
00000586: MLOAD
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP2
0000058d: POP
0000058e: DUP1
0000058f: MLOAD
00000590: SWAP1
00000591: PUSH1 0x20
00000593: ADD
00000594: SWAP1
00000595: DUP1
00000596: DUP4
00000597: DUP4
00000598: DUP3
00000599: SWAP1
0000059a: PUSH1 0x00
0000059c: PUSH1 0x04
0000059e: PUSH1 0x20
000005a0: DUP5
000005a1: PUSH1 0x1f
000005a3: ADD
000005a4: DIV
000005a5: PUSH1 0x0f
000005a7: MUL
000005a8: PUSH1 0x03
000005aa: ADD
000005ab: CALL
000005ac: POP
000005ad: SWAP1
000005ae: POP
000005af: SWAP1
000005b0: DUP2
000005b1: ADD
000005b2: SWAP1
000005b3: PUSH1 0x1f
000005b5: AND
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05d5
000005bb: JUMPI
000005bc: DUP1
000005bd: DUP3
000005be: SUB
000005bf: DUP1
000005c0: MLOAD
000005c1: PUSH1 0x01
000005c3: DUP4
000005c4: PUSH1 0x20
000005c6: SUB
000005c7: PUSH2 0x0100
000005ca: EXP
000005cb: SUB
000005cc: NOT
000005cd: AND
000005ce: DUP2
000005cf: MSTORE
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP2
000005d4: POP
000005d5: JUMPDEST
000005d6: POP
000005d7: SWAP3
000005d8: POP
000005d9: POP
000005da: POP
000005db: PUSH1 0x40
000005dd: MLOAD
000005de: DUP1
000005df: SWAP2
000005e0: SUB
000005e1: SWAP1
000005e2: RETURN
000005e3: JUMPDEST
000005e4: PUSH1 0x40
000005e6: DUP1
000005e7: MLOAD
000005e8: SWAP2
000005e9: DUP3
000005ea: MSTORE
000005eb: MLOAD
000005ec: SWAP1
000005ed: DUP2
000005ee: SWAP1
000005ef: SUB
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: SWAP1
000005f4: RETURN
000005f5: JUMPDEST
000005f6: PUSH1 0x40
000005f8: DUP1
000005f9: MLOAD
000005fa: PUSH4 0xffffffff
000005ff: SWAP3
00000600: SWAP1
00000601: SWAP3
00000602: AND
00000603: DUP3
00000604: MSTORE
00000605: MLOAD
00000606: SWAP1
00000607: DUP2
00000608: SWAP1
00000609: SUB
0000060a: PUSH1 0x20
0000060c: ADD
0000060d: SWAP1
0000060e: RETURN
0000060f: JUMPDEST
00000610: PUSH1 0x40
00000612: DUP1
00000613: MLOAD
00000614: PUSH1 0xff
00000616: SWAP1
00000617: SWAP3
00000618: AND
00000619: DUP3
0000061a: MSTORE
0000061b: MLOAD
0000061c: SWAP1
0000061d: DUP2
0000061e: SWAP1
0000061f: SUB
00000620: PUSH1 0x20
00000622: ADD
00000623: SWAP1
00000624: RETURN
00000625: JUMPDEST
00000626: PUSH1 0x40
00000628: DUP1
00000629: MLOAD
0000062a: PUSH1 0x01
0000062c: PUSH1 0xa0
0000062e: PUSH1 0x02
00000630: EXP
00000631: SUB
00000632: SWAP3
00000633: SWAP1
00000634: SWAP3
00000635: AND
00000636: DUP3
00000637: MSTORE
00000638: MLOAD
00000639: SWAP1
0000063a: DUP2
0000063b: SWAP1
0000063c: SUB
0000063d: PUSH1 0x20
0000063f: ADD
00000640: SWAP1
00000641: RETURN
00000642: JUMPDEST
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: PUSH1 0x02
00000649: EXP
0000064a: SUB
0000064b: DUP4
0000064c: AND
0000064d: PUSH1 0x00
0000064f: SWAP1
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x09
00000654: PUSH1 0x20
00000656: MSTORE
00000657: PUSH1 0x40
00000659: SWAP1
0000065a: KECCAK256
0000065b: SLOAD
0000065c: DUP1
0000065d: DUP4
0000065e: ADD
0000065f: LT
00000660: ISZERO
00000661: PUSH2 0x0669
00000664: JUMPI
00000665: PUSH2 0x0002
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH1 0x01
0000066c: PUSH1 0xa0
0000066e: PUSH1 0x02
00000670: EXP
00000671: SUB
00000672: DUP5
00000673: DUP2
00000674: AND
00000675: PUSH1 0x00
00000677: DUP2
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x0a
0000067c: PUSH1 0x20
0000067e: SWAP1
0000067f: DUP2
00000680: MSTORE
00000681: PUSH1 0x40
00000683: DUP1
00000684: DUP4
00000685: KECCAK256
00000686: CALLER
00000687: SWAP1
00000688: SWAP6
00000689: AND
0000068a: DUP1
0000068b: DUP5
0000068c: MSTORE
0000068d: SWAP5
0000068e: DUP3
0000068f: MSTORE
00000690: DUP1
00000691: DUP4
00000692: KECCAK256
00000693: SLOAD
00000694: SWAP4
00000695: DUP4
00000696: MSTORE
00000697: PUSH1 0x0b
00000699: DUP3
0000069a: MSTORE
0000069b: DUP1
0000069c: DUP4
0000069d: KECCAK256
0000069e: SWAP5
0000069f: DUP4
000006a0: MSTORE
000006a1: SWAP4
000006a2: SWAP1
000006a3: MSTORE
000006a4: SWAP2
000006a5: SWAP1
000006a6: SWAP2
000006a7: KECCAK256
000006a8: SLOAD
000006a9: DUP4
000006aa: ADD
000006ab: GT
000006ac: ISZERO
000006ad: PUSH2 0x06b5
000006b0: JUMPI
000006b1: PUSH2 0x0002
000006b4: JUMP
000006b5: JUMPDEST
000006b6: PUSH1 0x01
000006b8: PUSH1 0xa0
000006ba: PUSH1 0x02
000006bc: EXP
000006bd: SUB
000006be: DUP5
000006bf: DUP2
000006c0: AND
000006c1: PUSH1 0x00
000006c3: DUP2
000006c4: DUP2
000006c5: MSTORE
000006c6: PUSH1 0x09
000006c8: PUSH1 0x20
000006ca: SWAP1
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x40
000006cf: DUP1
000006d0: DUP4
000006d1: KECCAK256
000006d2: DUP1
000006d3: SLOAD
000006d4: DUP9
000006d5: SWAP1
000006d6: SUB
000006d7: SWAP1
000006d8: SSTORE
000006d9: DUP8
000006da: DUP6
000006db: AND
000006dc: DUP1
000006dd: DUP5
000006de: MSTORE
000006df: DUP2
000006e0: DUP5
000006e1: KECCAK256
000006e2: DUP1
000006e3: SLOAD
000006e4: DUP10
000006e5: ADD
000006e6: SWAP1
000006e7: SSTORE
000006e8: DUP5
000006e9: DUP5
000006ea: MSTORE
000006eb: PUSH1 0x0b
000006ed: DUP4
000006ee: MSTORE
000006ef: DUP2
000006f0: DUP5
000006f1: KECCAK256
000006f2: CALLER
000006f3: SWAP1
000006f4: SWAP7
000006f5: AND
000006f6: DUP5
000006f7: MSTORE
000006f8: SWAP5
000006f9: DUP3
000006fa: MSTORE
000006fb: SWAP2
000006fc: DUP3
000006fd: SWAP1
000006fe: KECCAK256
000006ff: DUP1
00000700: SLOAD
00000701: DUP8
00000702: ADD
00000703: SWAP1
00000704: SSTORE
00000705: DUP2
00000706: MLOAD
00000707: DUP7
00000708: DUP2
00000709: MSTORE
0000070a: SWAP2
0000070b: MLOAD
0000070c: PUSH1 0x00
0000070e: DUP1
0000070f: MLOAD
00000710: PUSH1 0x20
00000712: PUSH2 0x09ed
00000715: DUP4
00000716: CODECOPY
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1320,1600p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
00000716: CODECOPY
00000717: DUP2
00000718: MLOAD
00000719: SWAP2
0000071a: MSTORE
0000071b: SWAP3
0000071c: DUP2
0000071d: SWAP1
0000071e: SUB
0000071f: SWAP1
00000720: SWAP2
00000721: ADD
00000722: SWAP1
00000723: LOG3
00000724: POP
00000725: PUSH1 0x01
00000727: SWAP4
00000728: SWAP3
00000729: POP
0000072a: POP
0000072b: POP
0000072c: JUMP
0000072d: JUMPDEST
0000072e: POP
0000072f: ADDRESS
00000730: PUSH1 0x01
00000732: PUSH1 0xa0
00000734: PUSH1 0x02
00000736: EXP
00000737: SUB
00000738: SWAP1
00000739: DUP2
0000073a: AND
0000073b: PUSH1 0x00
0000073d: SWAP1
0000073e: DUP2
0000073f: MSTORE
00000740: PUSH1 0x09
00000742: PUSH1 0x20
00000744: MSTORE
00000745: PUSH1 0x40
00000747: DUP1
00000748: DUP3
00000749: KECCAK256
0000074a: DUP1
0000074b: SLOAD
0000074c: DUP6
0000074d: ADD
0000074e: SWAP1
0000074f: SSTORE
00000750: CALLER
00000751: SWAP1
00000752: SWAP3
00000753: AND
00000754: DUP1
00000755: DUP3
00000756: MSTORE
00000757: DUP3
00000758: DUP3
00000759: KECCAK256
0000075a: DUP1
0000075b: SLOAD
0000075c: DUP6
0000075d: SWAP1
0000075e: SUB
0000075f: SWAP1
00000760: SSTORE
00000761: SWAP2
00000762: MLOAD
00000763: PUSH1 0x08
00000765: SLOAD
00000766: PUSH5 0x174876e800
0000076c: DUP6
0000076d: DIV
0000076e: MUL
0000076f: SWAP3
00000770: SWAP2
00000771: SWAP1
00000772: DUP4
00000773: SWAP1
00000774: DUP3
00000775: DUP2
00000776: DUP2
00000777: DUP2
00000778: DUP6
00000779: DUP9
0000077a: DUP4
0000077b: CALL
0000077c: POP
0000077d: POP
0000077e: PUSH1 0x40
00000780: DUP1
00000781: MLOAD
00000782: DUP7
00000783: DUP2
00000784: MSTORE
00000785: SWAP1
00000786: MLOAD
00000787: ADDRESS
00000788: PUSH1 0x01
0000078a: PUSH1 0xa0
0000078c: PUSH1 0x02
0000078e: EXP
0000078f: SUB
00000790: AND
00000791: SWAP5
00000792: SWAP4
00000793: POP
00000794: PUSH1 0x00
00000796: DUP1
00000797: MLOAD
00000798: PUSH1 0x20
0000079a: PUSH2 0x09ed
0000079d: DUP4
0000079e: CODECOPY
0000079f: DUP2
000007a0: MLOAD
000007a1: SWAP2
000007a2: MSTORE
000007a3: SWAP3
000007a4: POP
000007a5: SWAP1
000007a6: DUP2
000007a7: SWAP1
000007a8: SUB
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: SWAP1
000007ad: LOG3
000007ae: SWAP2
000007af: SWAP1
000007b0: POP
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: SLOAD
000007b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cc: NOT
000007cd: AND
000007ce: DUP3
000007cf: OR
000007d0: SWAP1
000007d1: SSTORE
000007d2: POP
000007d3: JUMP
000007d4: JUMPDEST
000007d5: DUP3
000007d6: ADD
000007d7: SWAP2
000007d8: SWAP1
000007d9: PUSH1 0x00
000007db: MSTORE
000007dc: PUSH1 0x20
000007de: PUSH1 0x00
000007e0: KECCAK256
000007e1: SWAP1
000007e2: JUMPDEST
000007e3: DUP2
000007e4: SLOAD
000007e5: DUP2
000007e6: MSTORE
000007e7: SWAP1
000007e8: PUSH1 0x01
000007ea: ADD
000007eb: SWAP1
000007ec: PUSH1 0x20
000007ee: ADD
000007ef: DUP1
000007f0: DUP4
000007f1: GT
000007f2: PUSH2 0x07e2
000007f5: JUMPI
000007f6: DUP3
000007f7: SWAP1
000007f8: SUB
000007f9: PUSH1 0x1f
000007fb: AND
000007fc: DUP3
000007fd: ADD
000007fe: SWAP2
000007ff: JUMPDEST
00000800: POP
00000801: POP
00000802: POP
00000803: POP
00000804: POP
00000805: DUP2
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH1 0x40
0000080a: DUP1
0000080b: MLOAD
0000080c: NUMBER
0000080d: DUP2
0000080e: MSTORE
0000080f: TIMESTAMP
00000810: PUSH1 0x20
00000812: DUP3
00000813: ADD
00000814: MSTORE
00000815: DUP1
00000816: DUP3
00000817: ADD
00000818: DUP7
00000819: SWAP1
0000081a: MSTORE
0000081b: SWAP1
0000081c: MLOAD
0000081d: SWAP1
0000081e: DUP2
0000081f: SWAP1
00000820: SUB
00000821: PUSH1 0x60
00000823: ADD
00000824: SWAP1
00000825: KECCAK256
00000826: PUSH2 0x0830
00000829: SWAP1
0000082a: PUSH1 0x0a
0000082c: PUSH2 0x01e7
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH1 0x07
00000833: SLOAD
00000834: SWAP1
00000835: SWAP2
00000836: POP
00000837: PUSH4 0xffffffff
0000083c: AND
0000083d: DUP2
0000083e: LT
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: SWAP3
00000846: POP
00000847: JUMPDEST
00000848: PUSH1 0x07
0000084a: SLOAD
0000084b: PUSH2 0x03e7
0000084e: PUSH5 0x174876e800
00000854: DUP7
00000855: DIV
00000856: DIV
00000857: SWAP3
00000858: POP
00000859: PUSH4 0xffffffff
0000085e: AND
0000085f: DUP2
00000860: LT
00000861: ISZERO
00000862: PUSH2 0x0873
00000865: JUMPI
00000866: PUSH5 0x174876e800
0000086c: PUSH1 0x02
0000086e: DUP6
0000086f: MUL
00000870: DIV
00000871: SWAP3
00000872: POP
00000873: JUMPDEST
00000874: CALLER
00000875: PUSH1 0x01
00000877: PUSH1 0xa0
00000879: PUSH1 0x02
0000087b: EXP
0000087c: SUB
0000087d: SWAP1
0000087e: DUP2
0000087f: AND
00000880: PUSH1 0x00
00000882: DUP2
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x09
00000887: PUSH1 0x20
00000889: SWAP1
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x40
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1600,1920p'" in /tmp/codex-0a_wr5d_
succeeded in 0ms:
0000088c: PUSH1 0x40
0000088e: DUP1
0000088f: DUP4
00000890: KECCAK256
00000891: DUP1
00000892: SLOAD
00000893: DUP10
00000894: ADD
00000895: SWAP1
00000896: SSTORE
00000897: PUSH1 0x05
00000899: SLOAD
0000089a: DUP6
0000089b: AND
0000089c: DUP4
0000089d: MSTORE
0000089e: DUP1
0000089f: DUP4
000008a0: KECCAK256
000008a1: DUP1
000008a2: SLOAD
000008a3: DUP9
000008a4: ADD
000008a5: SWAP1
000008a6: SSTORE
000008a7: ADDRESS
000008a8: SWAP1
000008a9: SWAP5
000008aa: AND
000008ab: DUP1
000008ac: DUP4
000008ad: MSTORE
000008ae: SWAP2
000008af: DUP5
000008b0: SWAP1
000008b1: KECCAK256
000008b2: DUP1
000008b3: SLOAD
000008b4: DUP8
000008b5: DUP10
000008b6: ADD
000008b7: SWAP1
000008b8: SUB
000008b9: SWAP1
000008ba: SSTORE
000008bb: DUP4
000008bc: MLOAD
000008bd: DUP8
000008be: DUP2
000008bf: MSTORE
000008c0: SWAP4
000008c1: MLOAD
000008c2: SWAP3
000008c3: SWAP4
000008c4: SWAP2
000008c5: SWAP3
000008c6: PUSH1 0x00
000008c8: DUP1
000008c9: MLOAD
000008ca: PUSH1 0x20
000008cc: PUSH2 0x09ed
000008cf: DUP4
000008d0: CODECOPY
000008d1: DUP2
000008d2: MLOAD
000008d3: SWAP2
000008d4: MSTORE
000008d5: SWAP3
000008d6: DUP2
000008d7: SWAP1
000008d8: SUB
000008d9: SWAP1
000008da: SWAP2
000008db: ADD
000008dc: SWAP1
000008dd: LOG3
000008de: PUSH1 0x05
000008e0: SLOAD
000008e1: PUSH1 0x40
000008e3: DUP1
000008e4: MLOAD
000008e5: DUP5
000008e6: DUP2
000008e7: MSTORE
000008e8: SWAP1
000008e9: MLOAD
000008ea: PUSH1 0x01
000008ec: PUSH1 0xa0
000008ee: PUSH1 0x02
000008f0: EXP
000008f1: SUB
000008f2: SWAP3
000008f3: DUP4
000008f4: AND
000008f5: SWAP3
000008f6: ADDRESS
000008f7: AND
000008f8: SWAP2
000008f9: PUSH1 0x00
000008fb: DUP1
000008fc: MLOAD
000008fd: PUSH1 0x20
000008ff: PUSH2 0x09ed
00000902: DUP4
00000903: CODECOPY
00000904: DUP2
00000905: MLOAD
00000906: SWAP2
00000907: MSTORE
00000908: SWAP2
00000909: SWAP1
0000090a: DUP2
0000090b: SWAP1
0000090c: SUB
0000090d: PUSH1 0x20
0000090f: ADD
00000910: SWAP1
00000911: LOG3
00000912: POP
00000913: POP
00000914: POP
00000915: SWAP1
00000916: JUMP
00000917: JUMPDEST
00000918: POP
00000919: SWAP4
0000091a: SWAP3
0000091b: POP
0000091c: POP
0000091d: POP
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x01
00000922: PUSH1 0xa0
00000924: PUSH1 0x02
00000926: EXP
00000927: SUB
00000928: DUP3
00000929: AND
0000092a: PUSH1 0x00
0000092c: SWAP1
0000092d: DUP2
0000092e: MSTORE
0000092f: PUSH1 0x09
00000931: PUSH1 0x20
00000933: MSTORE
00000934: PUSH1 0x40
00000936: SWAP1
00000937: KECCAK256
00000938: SLOAD
00000939: DUP2
0000093a: DUP2
0000093b: ADD
0000093c: LT
0000093d: ISZERO
0000093e: PUSH2 0x0946
00000941: JUMPI
00000942: PUSH2 0x0002
00000945: JUMP
00000946: JUMPDEST
00000947: CALLER
00000948: PUSH1 0x01
0000094a: PUSH1 0xa0
0000094c: PUSH1 0x02
0000094e: EXP
0000094f: SUB
00000950: SWAP1
00000951: DUP2
00000952: AND
00000953: PUSH1 0x00
00000955: DUP2
00000956: DUP2
00000957: MSTORE
00000958: PUSH1 0x09
0000095a: PUSH1 0x20
0000095c: SWAP1
0000095d: DUP2
0000095e: MSTORE
0000095f: PUSH1 0x40
00000961: DUP1
00000962: DUP4
00000963: KECCAK256
00000964: DUP1
00000965: SLOAD
00000966: DUP8
00000967: SWAP1
00000968: SUB
00000969: SWAP1
0000096a: SSTORE
0000096b: SWAP4
0000096c: DUP7
0000096d: AND
0000096e: DUP1
0000096f: DUP4
00000970: MSTORE
00000971: SWAP2
00000972: DUP5
00000973: SWAP1
00000974: KECCAK256
00000975: DUP1
00000976: SLOAD
00000977: DUP7
00000978: ADD
00000979: SWAP1
0000097a: SSTORE
0000097b: DUP4
0000097c: MLOAD
0000097d: DUP6
0000097e: DUP2
0000097f: MSTORE
00000980: SWAP4
00000981: MLOAD
00000982: SWAP2
00000983: SWAP4
00000984: PUSH1 0x00
00000986: DUP1
00000987: MLOAD
00000988: PUSH1 0x20
0000098a: PUSH2 0x09ed
0000098d: DUP4
0000098e: CODECOPY
0000098f: DUP2
00000990: MLOAD
00000991: SWAP2
00000992: MSTORE
00000993: SWAP3
00000994: SWAP1
00000995: DUP2
00000996: SWAP1
00000997: SUB
00000998: SWAP1
00000999: SWAP2
0000099a: ADD
0000099b: SWAP1
0000099c: LOG3
0000099d: POP
0000099e: POP
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x06
000009a3: SSTORE
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x05
000009a8: DUP1
000009a9: SLOAD
000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bf: NOT
000009c0: AND
000009c1: DUP3
000009c2: OR
000009c3: SWAP1
000009c4: SSTORE
000009c5: POP
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH2 0x0200
000009cb: PUSH4 0xffffffff
000009d0: DUP3
000009d1: AND
000009d2: GT
000009d3: PUSH2 0x09db
000009d6: JUMPI
000009d7: PUSH2 0x0002
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH1 0x07
000009de: DUP1
000009df: SLOAD
000009e0: PUSH4 0xffffffff
000009e5: NOT
000009e6: AND
000009e7: DUP3
000009e8: OR
000009e9: SWAP1
000009ea: SSTORE
000009eb: POP
000009ec: JUMP
000009ed: UNKNOWN(0xDD)
000009ee: CALLCODE
000009ef: MSTORE
000009f0: UNKNOWN(0xAD)
000009f1: SHL
000009f2: UNKNOWN(0xE2)
000009f3: UNKNOWN(0xC8)
000009f4: SWAP12
000009f5: PUSH10 0xc2b068fc378daa952ba7
00000a00: CALL
00000a01: PUSH4 0xc4a11628
00000a06: CREATE2
00000a07: GAS
00000a08: UNKNOWN(0x4D)
00000a09: CREATE2
00000a0a: UNKNOWN(0x23)
00000a0b: UNKNOWN(0xB3)
00000a0c: UNKNOWN(0xEF)
exec
/bin/bash -lc 'cast 4byte 0x1fe9eabc' in /tmp/codex-0a_wr5d_
exited 1 in 0ms:
Error: error sending request for url (https://api.4byte.sourcify.dev/signature-database/v1/lookup?function=0x1fe9eabc)
Context:
- Error #0: client error (Connect)
- Error #1: dns error
- Error #2: failed to lookup address information: Temporary failure in name resolution
exec
/bin/bash -lc 'cast 4byte 0x233de126' in /tmp/codex-0a_wr5d_
exited 1 in 0ms:
Error: error sending request for url (https://api.4byte.sourcify.dev/signature-database/v1/lookup?function=0x233de126)
Context:
- Error #0: client error (Connect)
- Error #1: dns error
- Error #2: failed to lookup address information: Temporary failure in name resolution
exec
/bin/bash -lc 'cast 4byte 0x41fa4876' in /tmp/codex-0a_wr5d_
exited 1 in 0ms:
Error: error sending request for url (https://api.4byte.sourcify.dev/signature-database/v1/lookup?function=0x41fa4876)
Context:
- Error #0: client error (Connect)
- Error #1: dns error
- Error #2: failed to lookup address information: Temporary failure in name resolution
exec
/bin/bash -lc 'cast 4byte 0xa6f2ae3a' in /tmp/codex-0a_wr5d_
exited 1 in 0ms:
Error: error sending request for url (https://api.4byte.sourcify.dev/signature-database/v1/lookup?function=0xa6f2ae3a)
Context:
- Error #0: client error (Connect)
- Error #1: dns error
- Error #2: failed to lookup address information: Temporary failure in name resolution
Finished bytecode review of the bundle, including runtime disassembly and detector evidence. Two issues have concrete bytecode support; generic CALL/ETH-transfer detector hits were narrowed to an unchecked payout call and a weak-entropy financial path.
✓ Inspect BYTECODE_BUNDLE.json structure and key evidence sections
✓ Assess bytecode-level risks with conservative confidence
→ Produce schema-valid JSON findings
codex
{"no_findings":false,"summary":"Bytecode review of BYTECODE_BUNDLE.json found no proxy/delegatecall pattern, but two concrete issues remain: an unchecked ETH payout call in selector 0xe4849b32, and a value-affecting pseudo-random path in selector 0xa6f2ae3a that relies on block variables. Generic detector hits for dynamic CALLs are partly explained by the identity precompile (0x04) and an approve-and-callback style external call, so they were not all treated as standalone vulnerabilities.","findings":[{"severity":"medium","category":"other","title":"Unchecked ETH payout can debit balances even when the transfer fails","exploit_scenario":"A holder calls selector 0xe4849b32 through a contract wallet or fallback that reverts on receiving ETH. The function updates token accounting first, then performs a value-bearing CALL to the caller. Because the CALL success flag is ignored, the ETH send can fail while the token debit still persists, leaving the user unpaid and the contract/accounting state inconsistent.","recommendation":"Require the low-level CALL to succeed and revert otherwise, or switch this path to a pull-payment/withdraw pattern so accounting only finalizes after a successful payout.","evidence":"In selector 0xe4849b32, slot 0x08 is recomputed and written at pc:0x524, then caller balance is checked before jumping into the redeem path at pc:0x72d. That path updates balances with SSTOREs at pc:0x74f and pc:0x760 before issuing a value-bearing CALL at pc:0x77b. The CALL return value is immediately discarded with POPs at pc:0x77c-0x77d, and execution continues to event emission instead of reverting on failure.","locations":["selector:0xe4849b32","pc:0x524","pc:0x72d","pc:0x74f","pc:0x760","pc:0x77b","pc:0x77c"]},{"severity":"medium","category":"other","title":"Financial outcome appears to depend on manipulable block-derived entropy","exploit_scenario":"A block proposer or sophisticated searcher simulates selector 0xa6f2ae3a off-chain and only includes transactions when the block-dependent path yields a favorable result, or biases timestamp/ordering to improve their outcome. If this function governs token purchase/reward amounts, privileged block builders can extract value from regular users.","recommendation":"Do not use NUMBER, TIMESTAMP, or recent BLOCKHASH values for value-determining randomness. Replace this with commit-reveal or an oracle/VRF-based entropy source.","evidence":"This is an inference from bytecode, since source names are unavailable. In selector 0xa6f2ae3a, entropy is assembled from NUMBER at pc:0x80c, TIMESTAMP at pc:0x80f, and another call-dependent input before KECCAK256 at pc:0x825. The helper reached via pc:0x82f loops over BLOCKHASH usage at pc:0x1f9-0x215. The derived result is compared against slot 0x07 at pc:0x831-0x873, after which balances are updated and Transfer logs are emitted at pc:0x891-0x911, indicating the block-derived value affects token distribution/accounting.","locations":["selector:0xa6f2ae3a","pc:0x80c","pc:0x80f","pc:0x825","pc:0x1f9","pc:0x215","pc:0x831","pc:0x873","pc:0x891","pc:0x911"]}]}
tokens used
75,485
{
"codex": {
"ran_at": "2026-04-05T06:24:07.062697+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 5148,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode review of BYTECODE_BUNDLE.json found no proxy/delegatecall pattern, but two concrete issues remain: an unchecked ETH payout call in selector 0xe4849b32, and a value-affecting pseudo-random path in selector 0xa6f2ae3a that relies on block variables. Generic detector hits for dynamic CALLs are partly explained by the identity precompile (0x04) and an approve-and-callback style external call, so they were not all treated as standalone vulnerabilities.",
"raw_final": {
"summary": "Bytecode review of BYTECODE_BUNDLE.json found no proxy/delegatecall pattern, but two concrete issues remain: an unchecked ETH payout call in selector 0xe4849b32, and a value-affecting pseudo-random path in selector 0xa6f2ae3a that relies on block variables. Generic detector hits for dynamic CALLs are partly explained by the identity precompile (0x04) and an approve-and-callback style external call, so they were not all treated as standalone vulnerabilities.",
"findings": [
{
"title": "Unchecked ETH payout can debit balances even when the transfer fails",
"category": "other",
"evidence": "In selector 0xe4849b32, slot 0x08 is recomputed and written at pc:0x524, then caller balance is checked before jumping into the redeem path at pc:0x72d. That path updates balances with SSTOREs at pc:0x74f and pc:0x760 before issuing a value-bearing CALL at pc:0x77b. The CALL return value is immediately discarded with POPs at pc:0x77c-0x77d, and execution continues to event emission instead of reverting on failure.",
"severity": "medium",
"locations": [
"selector:0xe4849b32",
"pc:0x524",
"pc:0x72d",
"pc:0x74f",
"pc:0x760",
"pc:0x77b",
"pc:0x77c"
],
"recommendation": "Require the low-level CALL to succeed and revert otherwise, or switch this path to a pull-payment/withdraw pattern so accounting only finalizes after a successful payout.",
"exploit_scenario": "A holder calls selector 0xe4849b32 through a contract wallet or fallback that reverts on receiving ETH. The function updates token accounting first, then performs a value-bearing CALL to the caller. Because the CALL success flag is ignored, the ETH send can fail while the token debit still persists, leaving the user unpaid and the contract/accounting state inconsistent."
},
{
"title": "Financial outcome appears to depend on manipulable block-derived entropy",
"category": "other",
"evidence": "This is an inference from bytecode, since source names are unavailable. In selector 0xa6f2ae3a, entropy is assembled from NUMBER at pc:0x80c, TIMESTAMP at pc:0x80f, and another call-dependent input before KECCAK256 at pc:0x825. The helper reached via pc:0x82f loops over BLOCKHASH usage at pc:0x1f9-0x215. The derived result is compared against slot 0x07 at pc:0x831-0x873, after which balances are updated and Transfer logs are emitted at pc:0x891-0x911, indicating the block-derived value affects token distribution/accounting.",
"severity": "medium",
"locations": [
"selector:0xa6f2ae3a",
"pc:0x80c",
"pc:0x80f",
"pc:0x825",
"pc:0x1f9",
"pc:0x215",
"pc:0x831",
"pc:0x873",
"pc:0x891",
"pc:0x911"
],
"recommendation": "Do not use NUMBER, TIMESTAMP, or recent BLOCKHASH values for value-determining randomness. Replace this with commit-reveal or an oracle/VRF-based entropy source.",
"exploit_scenario": "A block proposer or sophisticated searcher simulates selector 0xa6f2ae3a off-chain and only includes transactions when the block-dependent path yields a favorable result, or biases timestamp/ordering to improve their outcome. If this function governs token purchase/reward amounts, privileged block builders can extract value from regular users."
}
],
"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 0x0542 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xff9b3acf 00000101: EQ 00000102: PUSH2 0x0563 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 0x0575 0000013e: SWAP4 0000013f: SWAP1 00000140: DUP4 00000141: ADD 00000142: DUP3 00000143: DUP3 00000144: DUP1 00000145: ISZERO 00000146: PUSH2 0x07ff 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH1 0x1f 0000014d: LT 0000014e: PUSH2 0x07d4 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 0x07ff 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x05e3 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 0x09a0 0000018b: JUMPI 0000018c: PUSH2 0x0002 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH2 0x05f5 00000194: PUSH1 0x07 00000196: SLOAD 00000197: PUSH4 0xffffffff 0000019c: AND 0000019d: DUP2 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x05e3 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 0x0642 000001cc: JUMPI 000001cd: PUSH2 0x0002 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH2 0x060f 000001d5: PUSH1 0x03 000001d7: SLOAD 000001d8: PUSH1 0xff 000001da: AND 000001db: DUP2 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x05e3 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 0x0917 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 0x05e3 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 0x09a5 00000267: JUMPI 00000268: PUSH2 0x0002 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH2 0x0625 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 0x0575 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 0x07ff 000002bd: JUMPI 000002be: DUP1 000002bf: PUSH1 0x1f 000002c1: LT 000002c2: PUSH2 0x07d4 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 0x07ff 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH2 0x05e3 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 0x0807 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 0x091f 0000031e: JUMPI 0000031f: PUSH2 0x0002 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x05e3 00000327: PUSH1 0x06 00000329: SLOAD 0000032a: DUP2 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x05e3 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 0x09c7 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 0x05e3 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 0x05e3 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 0x05e3 00000504: SWAP1 00000505: DUP2 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH2 0x05e3 0000050b: PUSH1 0x04 0000050d: CALLDATALOAD 0000050e: PUSH1 0x04 00000510: SLOAD 00000511: ADDRESS 00000512: PUSH1 0x01 00000514: PUSH1 0xa0 00000516: PUSH1 0x02 00000518: EXP 00000519: SUB 0000051a: SWAP1 0000051b: DUP2 0000051c: AND 0000051d: BALANCE 0000051e: SWAP2 0000051f: SWAP1 00000520: SWAP2 00000521: DIV 00000522: PUSH1 0x08 00000524: SSTORE 00000525: CALLER 00000526: AND 00000527: PUSH1 0x00 00000529: SWAP1 0000052a: DUP2 0000052b: MSTORE 0000052c: PUSH1 0x09 0000052e: PUSH1 0x20 00000530: MSTORE 00000531: PUSH1 0x40 00000533: DUP2 00000534: KECCAK256 00000535: SLOAD 00000536: DUP3 00000537: SWAP1 00000538: LT 00000539: ISZERO 0000053a: PUSH2 0x072d 0000053d: JUMPI 0000053e: PUSH2 0x0002 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH2 0x0106 00000546: PUSH1 0x04 00000548: CALLDATALOAD 00000549: PUSH1 0x00 0000054b: SLOAD 0000054c: CALLER 0000054d: PUSH1 0x01 0000054f: PUSH1 0xa0 00000551: PUSH1 0x02 00000553: EXP 00000554: SUB 00000555: SWAP1 00000556: DUP2 00000557: AND 00000558: SWAP2 00000559: AND 0000055a: EQ 0000055b: PUSH2 0x07b2 0000055e: JUMPI 0000055f: PUSH2 0x0002 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH2 0x0625 00000567: PUSH1 0x05 00000569: SLOAD 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: PUSH1 0x02 00000570: EXP 00000571: SUB 00000572: AND 00000573: DUP2 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x40 00000578: MLOAD 00000579: DUP1 0000057a: DUP1 0000057b: PUSH1 0x20 0000057d: ADD 0000057e: DUP3 0000057f: DUP2 00000580: SUB 00000581: DUP3 00000582: MSTORE 00000583: DUP4 00000584: DUP2 00000585: DUP2 00000586: MLOAD 00000587: DUP2 00000588: MSTORE 00000589: PUSH1 0x20 0000058b: ADD 0000058c: SWAP2 0000058d: POP 0000058e: DUP1 0000058f: MLOAD 00000590: SWAP1 00000591: PUSH1 0x20 00000593: ADD 00000594: SWAP1 00000595: DUP1 00000596: DUP4 00000597: DUP4 00000598: DUP3 00000599: SWAP1 0000059a: PUSH1 0x00 0000059c: PUSH1 0x04 0000059e: PUSH1 0x20 000005a0: DUP5 000005a1: PUSH1 0x1f 000005a3: ADD 000005a4: DIV 000005a5: PUSH1 0x0f 000005a7: MUL 000005a8: PUSH1 0x03 000005aa: ADD 000005ab: CALL 000005ac: POP 000005ad: SWAP1 000005ae: POP 000005af: SWAP1 000005b0: DUP2 000005b1: ADD 000005b2: SWAP1 000005b3: PUSH1 0x1f 000005b5: AND 000005b6: DUP1 000005b7: ISZERO 000005b8: PUSH2 0x05d5 000005bb: JUMPI 000005bc: DUP1 000005bd: DUP3 000005be: SUB 000005bf: DUP1 000005c0: MLOAD 000005c1: PUSH1 0x01 000005c3: DUP4 000005c4: PUSH1 0x20 000005c6: SUB 000005c7: PUSH2 0x0100 000005ca: EXP 000005cb: SUB 000005cc: NOT 000005cd: AND 000005ce: DUP2 000005cf: MSTORE 000005d0: PUSH1 0x20 000005d2: ADD 000005d3: SWAP2 000005d4: POP 000005d5: JUMPDEST 000005d6: POP 000005d7: SWAP3 000005d8: POP 000005d9: POP 000005da: POP 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: DUP1 000005df: SWAP2 000005e0: SUB 000005e1: SWAP1 000005e2: RETURN 000005e3: JUMPDEST 000005e4: PUSH1 0x40 000005e6: DUP1 000005e7: MLOAD 000005e8: SWAP2 000005e9: DUP3 000005ea: MSTORE 000005eb: MLOAD 000005ec: SWAP1 000005ed: DUP2 000005ee: SWAP1 000005ef: SUB 000005f0: PUSH1 0x20 000005f2: ADD 000005f3: SWAP1 000005f4: RETURN 000005f5: JUMPDEST 000005f6: PUSH1 0x40 000005f8: DUP1 000005f9: MLOAD 000005fa: PUSH4 0xffffffff 000005ff: SWAP3 00000600: SWAP1 00000601: SWAP3 00000602: AND 00000603: DUP3 00000604: MSTORE 00000605: MLOAD 00000606: SWAP1 00000607: DUP2 00000608: SWAP1 00000609: SUB 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: SWAP1 0000060e: RETURN 0000060f: JUMPDEST 00000610: PUSH1 0x40 00000612: DUP1 00000613: MLOAD 00000614: PUSH1 0xff 00000616: SWAP1 00000617: SWAP3 00000618: AND 00000619: DUP3 0000061a: MSTORE 0000061b: MLOAD 0000061c: SWAP1 0000061d: DUP2 0000061e: SWAP1 0000061f: SUB 00000620: PUSH1 0x20 00000622: ADD 00000623: SWAP1 00000624: RETURN 00000625: JUMPDEST 00000626: PUSH1 0x40 00000628: DUP1 00000629: MLOAD 0000062a: PUSH1 0x01 0000062c: PUSH1 0xa0 0000062e: PUSH1 0x02 00000630: EXP 00000631: SUB 00000632: SWAP3 00000633: SWAP1 00000634: SWAP3 00000635: AND 00000636: DUP3 00000637: MSTORE 00000638: MLOAD 00000639: SWAP1 0000063a: DUP2 0000063b: SWAP1 0000063c: SUB 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: RETURN 00000642: JUMPDEST 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: PUSH1 0x02 00000649: EXP 0000064a: SUB 0000064b: DUP4 0000064c: AND 0000064d: PUSH1 0x00 0000064f: SWAP1 00000650: DUP2 00000651: MSTORE 00000652: PUSH1 0x09 00000654: PUSH1 0x20 00000656: MSTORE 00000657: PUSH1 0x40 00000659: SWAP1 0000065a: KECCAK256 0000065b: SLOAD 0000065c: DUP1 0000065d: DUP4 0000065e: ADD 0000065f: LT 00000660: ISZERO 00000661: PUSH2 0x0669 00000664: JUMPI 00000665: PUSH2 0x0002 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: PUSH1 0x02 00000670: EXP 00000671: SUB 00000672: DUP5 00000673: DUP2 00000674: AND 00000675: PUSH1 0x00 00000677: DUP2 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x0a 0000067c: PUSH1 0x20 0000067e: SWAP1 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x40 00000683: DUP1 00000684: DUP4 00000685: KECCAK256 00000686: CALLER 00000687: SWAP1 00000688: SWAP6 00000689: AND 0000068a: DUP1 0000068b: DUP5 0000068c: MSTORE 0000068d: SWAP5 0000068e: DUP3 0000068f: MSTORE 00000690: DUP1 00000691: DUP4 00000692: KECCAK256 00000693: SLOAD 00000694: SWAP4 00000695: DUP4 00000696: MSTORE 00000697: PUSH1 0x0b 00000699: DUP3 0000069a: MSTORE 0000069b: DUP1 0000069c: DUP4 0000069d: KECCAK256 0000069e: SWAP5 0000069f: DUP4 000006a0: MSTORE 000006a1: SWAP4 000006a2: SWAP1 000006a3: MSTORE 000006a4: SWAP2 000006a5: SWAP1 000006a6: SWAP2 000006a7: KECCAK256 000006a8: SLOAD 000006a9: DUP4 000006aa: ADD 000006ab: GT 000006ac: ISZERO 000006ad: PUSH2 0x06b5 000006b0: JUMPI 000006b1: PUSH2 0x0002 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH1 0x01 000006b8: PUSH1 0xa0 000006ba: PUSH1 0x02 000006bc: EXP 000006bd: SUB 000006be: DUP5 000006bf: DUP2 000006c0: AND 000006c1: PUSH1 0x00 000006c3: DUP2 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x09 000006c8: PUSH1 0x20 000006ca: SWAP1 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x40 000006cf: DUP1 000006d0: DUP4 000006d1: KECCAK256 000006d2: DUP1 000006d3: SLOAD 000006d4: DUP9 000006d5: SWAP1 000006d6: SUB 000006d7: SWAP1 000006d8: SSTORE 000006d9: DUP8 000006da: DUP6 000006db: AND 000006dc: DUP1 000006dd: DUP5 000006de: MSTORE 000006df: DUP2 000006e0: DUP5 000006e1: KECCAK256 000006e2: DUP1 000006e3: SLOAD 000006e4: DUP10 000006e5: ADD 000006e6: SWAP1 000006e7: SSTORE 000006e8: DUP5 000006e9: DUP5 000006ea: MSTORE 000006eb: PUSH1 0x0b 000006ed: DUP4 000006ee: MSTORE 000006ef: DUP2 000006f0: DUP5 000006f1: KECCAK256 000006f2: CALLER 000006f3: SWAP1 000006f4: SWAP7 000006f5: AND 000006f6: DUP5 000006f7: MSTORE 000006f8: SWAP5 000006f9: DUP3 000006fa: MSTORE 000006fb: SWAP2 000006fc: DUP3 000006fd: SWAP1 000006fe: KECCAK256 000006ff: DUP1 00000700: SLOAD 00000701: DUP8 00000702: ADD 00000703: SWAP1 00000704: SSTORE 00000705: DUP2 00000706: MLOAD 00000707: DUP7 00000708: DUP2 00000709: MSTORE 0000070a: SWAP2 0000070b: MLOAD 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: MLOAD 00000710: PUSH1 0x20 00000712: PUSH2 0x09ed 00000715: DUP4 00000716: CODECOPY 00000717: DUP2 00000718: MLOAD 00000719: SWAP2 0000071a: MSTORE 0000071b: SWAP3 0000071c: DUP2 0000071d: SWAP1 0000071e: SUB 0000071f: SWAP1 00000720: SWAP2 00000721: ADD 00000722: SWAP1 00000723: LOG3 00000724: POP 00000725: PUSH1 0x01 00000727: SWAP4 00000728: SWAP3 00000729: POP 0000072a: POP 0000072b: POP 0000072c: JUMP 0000072d: JUMPDEST 0000072e: POP 0000072f: ADDRESS 00000730: PUSH1 0x01 00000732: PUSH1 0xa0 00000734: PUSH1 0x02 00000736: EXP 00000737: SUB 00000738: SWAP1 00000739: DUP2 0000073a: AND 0000073b: PUSH1 0x00 0000073d: SWAP1 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x09 00000742: PUSH1 0x20 00000744: MSTORE 00000745: PUSH1 0x40 00000747: DUP1 00000748: DUP3 00000749: KECCAK256 0000074a: DUP1 0000074b: SLOAD 0000074c: DUP6 0000074d: ADD 0000074e: SWAP1 0000074f: SSTORE 00000750: CALLER 00000751: SWAP1 00000752: SWAP3 00000753: AND 00000754: DUP1 00000755: DUP3 00000756: MSTORE 00000757: DUP3 00000758: DUP3 00000759: KECCAK256 0000075a: DUP1 0000075b: SLOAD 0000075c: DUP6 0000075d: SWAP1 0000075e: SUB 0000075f: SWAP1 00000760: SSTORE 00000761: SWAP2 00000762: MLOAD 00000763: PUSH1 0x08 00000765: SLOAD 00000766: PUSH5 0x174876e800 0000076c: DUP6 0000076d: DIV 0000076e: MUL 0000076f: SWAP3 00000770: SWAP2 00000771: SWAP1 00000772: DUP4 00000773: SWAP1 00000774: DUP3 00000775: DUP2 00000776: DUP2 00000777: DUP2 00000778: DUP6 00000779: DUP9 0000077a: DUP4 0000077b: CALL 0000077c: POP 0000077d: POP 0000077e: PUSH1 0x40 00000780: DUP1 00000781: MLOAD 00000782: DUP7 00000783: DUP2 00000784: MSTORE 00000785: SWAP1 00000786: MLOAD 00000787: ADDRESS 00000788: PUSH1 0x01 0000078a: PUSH1 0xa0 0000078c: PUSH1 0x02 0000078e: EXP 0000078f: SUB 00000790: AND 00000791: SWAP5 00000792: SWAP4 00000793: POP 00000794: PUSH1 0x00 00000796: DUP1 00000797: MLOAD 00000798: PUSH1 0x20 0000079a: PUSH2 0x09ed 0000079d: DUP4 0000079e: CODECOPY 0000079f: DUP2 000007a0: MLOAD 000007a1: SWAP2 000007a2: MSTORE 000007a3: SWAP3 000007a4: POP 000007a5: SWAP1 000007a6: DUP2 000007a7: SWAP1 000007a8: SUB 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: SWAP1 000007ad: LOG3 000007ae: SWAP2 000007af: SWAP1 000007b0: POP 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH1 0x00 000007b5: DUP1 000007b6: SLOAD 000007b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cc: NOT 000007cd: AND 000007ce: DUP3 000007cf: OR 000007d0: SWAP1 000007d1: SSTORE 000007d2: POP 000007d3: JUMP 000007d4: JUMPDEST 000007d5: DUP3 000007d6: ADD 000007d7: SWAP2 000007d8: SWAP1 000007d9: PUSH1 0x00 000007db: MSTORE 000007dc: PUSH1 0x20 000007de: PUSH1 0x00 000007e0: KECCAK256 000007e1: SWAP1 000007e2: JUMPDEST 000007e3: DUP2 000007e4: SLOAD 000007e5: DUP2 000007e6: MSTORE 000007e7: SWAP1 000007e8: PUSH1 0x01 000007ea: ADD 000007eb: SWAP1 000007ec: PUSH1 0x20 000007ee: ADD 000007ef: DUP1 000007f0: DUP4 000007f1: GT 000007f2: PUSH2 0x07e2 000007f5: JUMPI 000007f6: DUP3 000007f7: SWAP1 000007f8: SUB 000007f9: PUSH1 0x1f 000007fb: AND 000007fc: DUP3 000007fd: ADD 000007fe: SWAP2 000007ff: JUMPDEST 00000800: POP 00000801: POP 00000802: POP 00000803: POP 00000804: POP 00000805: DUP2 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x40 0000080a: DUP1 0000080b: MLOAD 0000080c: NUMBER 0000080d: DUP2 0000080e: MSTORE 0000080f: TIMESTAMP 00000810: PUSH1 0x20 00000812: DUP3 00000813: ADD 00000814: MSTORE 00000815: DUP1 00000816: DUP3 00000817: ADD 00000818: DUP7 00000819: SWAP1 0000081a: MSTORE 0000081b: SWAP1 0000081c: MLOAD 0000081d: SWAP1 0000081e: DUP2 0000081f: SWAP1 00000820: SUB 00000821: PUSH1 0x60 00000823: ADD 00000824: SWAP1 00000825: KECCAK256 00000826: PUSH2 0x0830 00000829: SWAP1 0000082a: PUSH1 0x0a 0000082c: PUSH2 0x01e7 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH1 0x07 00000833: SLOAD 00000834: SWAP1 00000835: SWAP2 00000836: POP 00000837: PUSH4 0xffffffff 0000083c: AND 0000083d: DUP2 0000083e: LT 0000083f: PUSH2 0x0847 00000842: JUMPI 00000843: PUSH1 0x00 00000845: SWAP3 00000846: POP 00000847: JUMPDEST 00000848: PUSH1 0x07 0000084a: SLOAD 0000084b: PUSH2 0x03e7 0000084e: PUSH5 0x174876e800 00000854: DUP7 00000855: DIV 00000856: DIV 00000857: SWAP3 00000858: POP 00000859: PUSH4 0xffffffff 0000085e: AND 0000085f: DUP2 00000860: LT 00000861: ISZERO 00000862: PUSH2 0x0873 00000865: JUMPI 00000866: PUSH5 0x174876e800 0000086c: PUSH1 0x02 0000086e: DUP6 0000086f: MUL 00000870: DIV 00000871: SWAP3 00000872: POP 00000873: JUMPDEST 00000874: CALLER 00000875: PUSH1 0x01 00000877: PUSH1 0xa0 00000879: PUSH1 0x02 0000087b: EXP 0000087c: SUB 0000087d: SWAP1 0000087e: DUP2 0000087f: AND 00000880: PUSH1 0x00 00000882: DUP2 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x09 00000887: PUSH1 0x20 00000889: SWAP1 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x40 0000088e: DUP1 0000088f: DUP4 00000890: KECCAK256 00000891: DUP1 00000892: SLOAD 00000893: DUP10 00000894: ADD 00000895: SWAP1 00000896: SSTORE 00000897: PUSH1 0x05 00000899: SLOAD 0000089a: DUP6 0000089b: AND 0000089c: DUP4 0000089d: MSTORE 0000089e: DUP1 0000089f: DUP4 000008a0: KECCAK256 000008a1: DUP1 000008a2: SLOAD 000008a3: DUP9 000008a4: ADD 000008a5: SWAP1 000008a6: SSTORE 000008a7: ADDRESS 000008a8: SWAP1 000008a9: SWAP5 000008aa: AND 000008ab: DUP1 000008ac: DUP4 000008ad: MSTORE 000008ae: SWAP2 000008af: DUP5 000008b0: SWAP1 000008b1: KECCAK256 000008b2: DUP1 000008b3: SLOAD 000008b4: DUP8 000008b5: DUP10 000008b6: ADD 000008b7: SWAP1 000008b8: SUB 000008b9: SWAP1 000008ba: SSTORE 000008bb: DUP4 000008bc: MLOAD 000008bd: DUP8 000008be: DUP2 000008bf: MSTORE 000008c0: SWAP4 000008c1: MLOAD 000008c2: SWAP3 000008c3: SWAP4 000008c4: SWAP2 000008c5: SWAP3 000008c6: PUSH1 0x00 000008c8: DUP1 000008c9: MLOAD 000008ca: PUSH1 0x20 000008cc: PUSH2 0x09ed 000008cf: DUP4 000008d0: CODECOPY 000008d1: DUP2 000008d2: MLOAD 000008d3: SWAP2 000008d4: MSTORE 000008d5: SWAP3 000008d6: DUP2 000008d7: SWAP1 000008d8: SUB 000008d9: SWAP1 000008da: SWAP2 000008db: ADD 000008dc: SWAP1 000008dd: LOG3 000008de: PUSH1 0x05 000008e0: SLOAD 000008e1: PUSH1 0x40 000008e3: DUP1 000008e4: MLOAD 000008e5: DUP5 000008e6: DUP2 000008e7: MSTORE 000008e8: SWAP1 000008e9: MLOAD 000008ea: PUSH1 0x01 000008ec: PUSH1 0xa0 000008ee: PUSH1 0x02 000008f0: EXP 000008f1: SUB 000008f2: SWAP3 000008f3: DUP4 000008f4: AND 000008f5: SWAP3 000008f6: ADDRESS 000008f7: AND 000008f8: SWAP2 000008f9: PUSH1 0x00 000008fb: DUP1 000008fc: MLOAD 000008fd: PUSH1 0x20 000008ff: PUSH2 0x09ed 00000902: DUP4 00000903: CODECOPY 00000904: DUP2 00000905: MLOAD 00000906: SWAP2 00000907: MSTORE 00000908: SWAP2 00000909: SWAP1 0000090a: DUP2 0000090b: SWAP1 0000090c: SUB 0000090d: PUSH1 0x20 0000090f: ADD 00000910: SWAP1 00000911: LOG3 00000912: POP 00000913: POP 00000914: POP 00000915: SWAP1 00000916: JUMP 00000917: JUMPDEST 00000918: POP 00000919: SWAP4 0000091a: SWAP3 0000091b: POP 0000091c: POP 0000091d: POP 0000091e: JUMP 0000091f: JUMPDEST 00000920: PUSH1 0x01 00000922: PUSH1 0xa0 00000924: PUSH1 0x02 00000926: EXP 00000927: SUB 00000928: DUP3 00000929: AND 0000092a: PUSH1 0x00 0000092c: SWAP1 0000092d: DUP2 0000092e: MSTORE 0000092f: PUSH1 0x09 00000931: PUSH1 0x20 00000933: MSTORE 00000934: PUSH1 0x40 00000936: SWAP1 00000937: KECCAK256 00000938: SLOAD 00000939: DUP2 0000093a: DUP2 0000093b: ADD 0000093c: LT 0000093d: ISZERO 0000093e: PUSH2 0x0946 00000941: JUMPI 00000942: PUSH2 0x0002 00000945: JUMP 00000946: JUMPDEST 00000947: CALLER 00000948: PUSH1 0x01 0000094a: PUSH1 0xa0 0000094c: PUSH1 0x02 0000094e: EXP 0000094f: SUB 00000950: SWAP1 00000951: DUP2 00000952: AND 00000953: PUSH1 0x00 00000955: DUP2 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x09 0000095a: PUSH1 0x20 0000095c: SWAP1 0000095d: DUP2 0000095e: MSTORE 0000095f: PUSH1 0x40 00000961: DUP1 00000962: DUP4 00000963: KECCAK256 00000964: DUP1 00000965: SLOAD 00000966: DUP8 00000967: SWAP1 00000968: SUB 00000969: SWAP1 0000096a: SSTORE 0000096b: SWAP4 0000096c: DUP7 0000096d: AND 0000096e: DUP1 0000096f: DUP4 00000970: MSTORE 00000971: SWAP2 00000972: DUP5 00000973: SWAP1 00000974: KECCAK256 00000975: DUP1 00000976: SLOAD 00000977: DUP7 00000978: ADD 00000979: SWAP1 0000097a: SSTORE 0000097b: DUP4 0000097c: MLOAD 0000097d: DUP6 0000097e: DUP2 0000097f: MSTORE 00000980: SWAP4 00000981: MLOAD 00000982: SWAP2 00000983: SWAP4 00000984: PUSH1 0x00 00000986: DUP1 00000987: MLOAD 00000988: PUSH1 0x20 0000098a: PUSH2 0x09ed 0000098d: DUP4 0000098e: CODECOPY 0000098f: DUP2 00000990: MLOAD 00000991: SWAP2 00000992: MSTORE 00000993: SWAP3 00000994: SWAP1 00000995: DUP2 00000996: SWAP1 00000997: SUB 00000998: SWAP1 00000999: SWAP2 0000099a: ADD 0000099b: SWAP1 0000099c: LOG3 0000099d: POP 0000099e: POP 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x06 000009a3: SSTORE 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH1 0x05 000009a8: DUP1 000009a9: SLOAD 000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bf: NOT 000009c0: AND 000009c1: DUP3 000009c2: OR 000009c3: SWAP1 000009c4: SSTORE 000009c5: POP 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH2 0x0200 000009cb: PUSH4 0xffffffff 000009d0: DUP3 000009d1: AND 000009d2: GT 000009d3: PUSH2 0x09db 000009d6: JUMPI 000009d7: PUSH2 0x0002 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x07 000009de: DUP1 000009df: SLOAD 000009e0: PUSH4 0xffffffff 000009e5: NOT 000009e6: AND 000009e7: DUP3 000009e8: OR 000009e9: SWAP1 000009ea: SSTORE 000009eb: POP 000009ec: JUMP 000009ed: UNKNOWN(0xDD) 000009ee: CALLCODE 000009ef: MSTORE 000009f0: UNKNOWN(0xAD) 000009f1: SHL 000009f2: UNKNOWN(0xE2) 000009f3: UNKNOWN(0xC8) 000009f4: SWAP12 000009f5: PUSH10 0xc2b068fc378daa952ba7 00000a00: CALL 00000a01: PUSH4 0xc4a11628 00000a06: CREATE2 00000a07: GAS 00000a08: UNKNOWN(0x4D) 00000a09: CREATE2 00000a0a: UNKNOWN(0x23) 00000a0b: UNKNOWN(0xB3) 00000a0c: 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: 0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0
call_targets:
0x0000000000000000000000000000000000000004, 0xf8c5d9608790974068051389378cc579cd09c93c
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xf8c5d9608790974068051389378cc579cd09c93c"
],
"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": 1451,
"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: 0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0
call_targets:
0x0000000000000000000000000000000000000004, 0xf8c5d9608790974068051389378cc579cd09c93c
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc124ea50afd7bae69962855337ca640b87767ae3f14efc612269f84dca23c1f0",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xf8c5d9608790974068051389378cc579cd09c93c"
],
"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": 1451,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x963cb7e638c3e5fa40b3fd442d05e4852320bad90f94a004175ecd3927af7384
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x963cb7e638c3e5fa40b3fd442d05e4852320bad90f94a004175ecd3927af7384",
"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 can debit balances even when the transfer fails | 75 | no | — |
viewevidence_json{
"evidence": "In selector 0xe4849b32, slot 0x08 is recomputed and written at pc:0x524, then caller balance is checked before jumping into the redeem path at pc:0x72d. That path updates balances with SSTOREs at pc:0x74f and pc:0x760 before issuing a value-bearing CALL at pc:0x77b. The CALL return value is immediately discarded with POPs at pc:0x77c-0x77d, and execution continues to event emission instead of reverting on failure.",
"locations": [
"selector:0xe4849b32",
"pc:0x524",
"pc:0x72d",
"pc:0x74f",
"pc:0x760",
"pc:0x77b",
"pc:0x77c"
],
"recommendation": "Require the low-level CALL to succeed and revert otherwise, or switch this path to a pull-payment/withdraw pattern so accounting only finalizes after a successful payout.",
"exploit_scenario": "A holder calls selector 0xe4849b32 through a contract wallet or fallback that reverts on receiving ETH. The function updates token accounting first, then performs a value-bearing CALL to the caller. Because the CALL success flag is ignored, the ETH send can fail while the token debit still persists, leaving the user unpaid and the contract/accounting state inconsistent."
}
|
| medium | other | codex | Financial outcome appears to depend on manipulable block-derived entropy | 75 | no | — |
viewevidence_json{
"evidence": "This is an inference from bytecode, since source names are unavailable. In selector 0xa6f2ae3a, entropy is assembled from NUMBER at pc:0x80c, TIMESTAMP at pc:0x80f, and another call-dependent input before KECCAK256 at pc:0x825. The helper reached via pc:0x82f loops over BLOCKHASH usage at pc:0x1f9-0x215. The derived result is compared against slot 0x07 at pc:0x831-0x873, after which balances are updated and Transfer logs are emitted at pc:0x891-0x911, indicating the block-derived value affects token distribution/accounting.",
"locations": [
"selector:0xa6f2ae3a",
"pc:0x80c",
"pc:0x80f",
"pc:0x825",
"pc:0x1f9",
"pc:0x215",
"pc:0x831",
"pc:0x873",
"pc:0x891",
"pc:0x911"
],
"recommendation": "Do not use NUMBER, TIMESTAMP, or recent BLOCKHASH values for value-determining randomness. Replace this with commit-reveal or an oracle/VRF-based entropy source.",
"exploit_scenario": "A block proposer or sophisticated searcher simulates selector 0xa6f2ae3a off-chain and only includes transactions when the block-dependent path yields a favorable result, or biases timestamp/ordering to improve their outcome. If this function governs token purchase/reward amounts, privileged block builders can extract value from regular users."
}
|