019d4522-9aae-7105-9df9-871e21f05153
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 |
|---|---|---|---|---|
| 42728 | artifact.fetch | complete | 1 / 3 | 2 weeks ago |
| 42729 | proxy.resolve | complete | 1 / 3 | 2 weeks ago |
| 42730 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 42731 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 42732 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 42733 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 42734 | validation.fork | complete | 1 / 3 | 2 weeks ago |
| 42735 | report.consolidate | complete | 1 / 6 | 2 weeks ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"The bytecode appears to implement a crowdsale-like contract: a payable fallback sells an ERC20-like token using storage-configured pricing, and several public selectors mutate sale state or move funds/tokens. Based on bytecode only, the strongest issues are missing access control on admin-style functions and unchecked ERC20 `transfer` return data; selector names are best-effort inferences.","findings":[{"severity":"high","category":"access_control","title":"Admin-style sale controls are publicly callable","exploit_scenario":"Any external account can change sale-critical parameters and pause state, then immediately trade against the modified settings. In particular, selector `0x8a98deca` writes slot `0x5` (used by the fallback purchase path to compute token amount), so an attacker can set an arbitrary pricing divisor and then buy tokens via the payable fallback at a manipulated rate. The same lack of gating lets anyone pause/unpause the sale or change the per-call value limit in slot `0x7`, causing either economic abuse or denial of service.","recommendation":"Restrict all configuration and pause/unpause entrypoints with an explicit admin check (for example, `onlyOwner`/RBAC) enforced before any `SSTORE`. If this contract is already deployed and immutable, treat these functions as compromised control surfaces and avoid relying on them for privileged behavior.","evidence":"No caller/role check is visible before privileged storage writes. Selector `0x1f6c7506` reaches `pc 0x043f` and clears bits in slot `0x9`; selector `0x2bc75d9b` reaches `pc 0x0452` and sets the same pause byte; selector `0x7a3a0e84` reaches `pc 0x073f` and writes slot `0x7`; selector `0x8a98deca` reaches `pc 0x075a` and writes slot `0x5`. The payable fallback starting near `pc 0x0107` reads slot `0x7` for a value check and slot `0x5` for token pricing before transferring tokens at `pc 0x01eb`. The artifact's auth heuristic also found no guards.","locations":["selector:0x1f6c7506","pc:0x43f","selector:0x2bc75d9b","pc:0x452","selector:0x7a3a0e84","pc:0x73f","selector:0x8a98deca","pc:0x75a","pc:0x107","pc:0x1eb"]},{"severity":"medium","category":"access_control","title":"Anyone can force treasury/token sweep flows","exploit_scenario":"Any account can trigger the ETH-forwarding routine and the token-sweep routine even though both behave like privileged lifecycle actions. An attacker cannot redirect assets to themselves from the observed bytecode, because recipients come from fixed storage slots, but they can force premature sale finalization behavior: push accumulated ETH to the beneficiary wallet, zero out the accounting slot, and/or move the contract's token inventory to the fixed recipient, disrupting the intended sale schedule or user expectations.","recommendation":"Gate these entrypoints with an admin check and, if they are intended as finalize functions, add explicit lifecycle conditions so they cannot be called prematurely.","evidence":"Selector `0x76f46847` reaches `pc 0x06ab`, loads slot `0x0` as the recipient and slot `0x3` as the ETH amount, performs a value-bearing `CALL` at `pc 0x06d0`, then clears slot `0x3` at `pc 0x073c`. Selector `0x5515cbf0` reaches `pc 0x051c`, reads the contract token balance with `balanceOf`, then calls token `transfer` to the slot `0x1` recipient at `pc 0x0634`. Neither path shows any caller authentication before execution.","locations":["selector:0x76f46847","pc:0x6ab","pc:0x6d0","pc:0x73c","selector:0x5515cbf0","pc:0x51c","pc:0x634"]},{"severity":"low","category":"other","title":"Low-level ERC20 transfer calls do not validate boolean return values","exploit_scenario":"If the configured token returns `false` on `transfer` failure instead of reverting, this contract will treat the call as successful. In the payable purchase path, ETH accounting is updated before the token call, so buyers could be recorded as having purchased while receiving no tokens. This depends on the actual token implementation, which is not available in the bytecode bundle, so the impact is uncertain but real for false-returning tokens.","recommendation":"After low-level ERC20 calls, validate returndata: accept empty returndata for non-standard tokens only if that is intentional, otherwise require a decoded boolean `true`. Using a vetted safe-transfer helper avoids this class of issue.","evidence":"The fallback token transfer uses a low-level `CALL` at `pc 0x01eb`; the code checks only the call success flag (`pc 0x01ec` through `pc 0x01fc`) and then continues without decoding returndata. The sweep path does the same at `pc 0x0634` through `pc 0x0645`. By contrast, the `balanceOf` calls at `pc 0x04ee` and `pc 0x058d` explicitly check returndata length and load the returned word, showing that returndata decoding is omitted specifically for `transfer`.","locations":["pc:0x1eb","pc:0x1ec","pc:0x1fc","pc:0x634","pc:0x645","pc:0x4ee","pc:0x58d"]}]}
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-aouz498k
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d4522-a150-7202-8fff-48fb24dec914
--------
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 in /tmp/codex-aouz498k
succeeded in 0ms:
/tmp/codex-aouz498k
exec
/bin/bash -lc 'rg --files' in /tmp/codex-aouz498k
succeeded in 0ms:
codex-output-schema.json
BYTECODE_BUNDLE.json
exec
/bin/bash -lc "sed -n '1,220p' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
{
"analysis_artifact": {
"address": "0xe8741a1e198d90cf125389062fdbb686d9d9ca3b",
"artifact_hash": "0x27cd97a4cd9b211a2010ac3cfabb7cc8c820e2f5e7fc6d18b117a1d5a3d4dcfe",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 12,
"hash": "0x24bbd0fe9211b2285af87e9f0bb7c11ece685acb811b0c2aa18b60be4657e3e1",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"CALLDATASIZE",
"LT",
"PUSH2",
"JUMPI"
],
"start_pc": 0
},
{
"end_pc": 63,
"hash": "0x5c29fae70b50e1f4b91f494645b7bbbfc8fc859fe0fa0703c9d0d48a09080247",
"opcodes": [
"PUSH4",
"PUSH29",
"PUSH1",
"CALLDATALOAD",
"DIV",
"AND",
"PUSH4",
"OP_81",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 13
},
{
"end_pc": 74,
"hash": "0x7b7001a293632fef03e0411c27a458f367b244d51c239d8d27eeeb3c9d24269e",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 64
},
{
"end_pc": 85,
"hash": "0xe26dd24fe01cd6227b20234aeaecde9f15470093ffc8e323f595c97dd1b2e2fc",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 75
},
{
"end_pc": 96,
"hash": "0x84b709c0dcf986f580356bd42952427ab3f1da481fa55740961a70206376e3ba",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 86
},
{
"end_pc": 107,
"hash": "0x9c310a2430d00f9ec6d5d16ff168ecbf0daa77806970e422895f5945c2077042",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 97
},
{
"end_pc": 118,
"hash": "0x117888f7689370762f24bf3bf62dab7a0077862e647785739de9a795310733d3",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 108
},
{
"end_pc": 129,
"hash": "0xf3d0197dd962ebcccf017197b29c5817468c57ccbc303ff0648cb2fb5d4be2b7",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 119
},
{
"end_pc": 140,
"hash": "0xe9a793703ccae31ee3f5c601a0e7172294d5a817d9ecee74276b27b1679e5567",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 130
},
{
"end_pc": 151,
"hash": "0x793b44b32191cedd657ffdc06da346ce7831bcaf104db0c0239442853e2b2de6",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 141
},
{
"end_pc": 162,
"hash": "0xe884202bac20b88bd2a9d59b9a7a934b67b708aa0aad1d3bf416eb3b21e116f6",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 152
},
{
"end_pc": 173,
"hash": "0x247fdbdf4fb37bb960be42437f49396c076ce80637421ff5806146439978810d",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 163
},
{
"end_pc": 184,
"hash": "0x7224984a706179bd7c93870d786bdf3fe52424c92f0d62df9c77675a66f69eb4",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 174
},
{
"end_pc": 195,
"hash": "0x109d5a7646b05c29e02a4137cb6603b2d5f9f8910d9ea39592caf8abbe74e611",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 185
},
{
"end_pc": 206,
"hash": "0x76a15132cbbbafb80d2011a0d15bd2b69cf1f898e65e4d0a1388c8ac5976fa4b",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 196
},
{
"end_pc": 217,
"hash": "0xeb82e649d847a277bb118019d64e0921f453cd2654a9cc97632b40f6deafe5ec",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
"start_pc": 207
},
{
"end_pc": 228,
"hash": "0xa13e06e9c325510ebc113c4faf78117667105ab72b3e3ac70e8eec73c3fba7f5",
"opcodes": [
"OP_80",
"PUSH4",
"EQ",
"PUSH2",
"JUMPI"
],
exec
/bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-aouz498k
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, .analysis_artifact.artifact_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
0,
1,
2,
3,
4,
5
]
[
"auth",
"basic_blocks",
"callsites",
"cfg_edges",
"cfg_hash",
"dispatcher_type",
"function_entries",
"functions",
"selectors",
"sinks",
"storage",
"version"
]
exec
/bin/bash -lc "jq 'keys' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
"analysis_artifact",
"analysis_run",
"artifact",
"capability_graph",
"detector_findings",
"heuristics_summary"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.selectors' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
"0x1f6c7506",
"0x29dcb0cf",
"0x2bc75d9b",
"0x313ce567",
"0x31fb1266",
"0x38af3eed",
"0x5205b80f",
"0x5515cbf0",
"0x6e66f6e9",
"0x70a08231",
"0x75013a22",
"0x76f46847",
"0x787a14ad",
"0x7a3a0e84",
"0x7b3e5e7b",
"0x8a98deca",
"0x9d76ea58",
"0xa035b1fe",
"0xccb07cef"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.callsites' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
{
"opcode": "CALL",
"pc": 491,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1262,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1421,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1588,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1744,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
]
exec
/bin/bash -lc "jq '.detector_findings' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
{
"confidence": 60,
"evidence_json": {
"call_count": 5,
"examples": [
{
"opcode": "CALL",
"pc": 491,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1262,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1421,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": [],
"untrusted_call_count": 5
},
"normalized_json": {
"sink": "CALL"
},
"severity": "high",
"title": "Untrusted CALL target/value reachable",
"validated": false,
"validation_json": {
"attempts": 1,
"call_targets": [
"0xe8741a1e198d90cf125389062fdbb686d9d9ca3b"
],
"classification": "constant_target",
"confirmed": false,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "sink_reached",
"target_varies": false,
"trace_id": "0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d",
"trace_mode": "callTracer"
}
},
{
"confidence": 55,
"evidence_json": {
"eth_value_calls": 5,
"examples": [
{
"opcode": "CALL",
"pc": 491,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1262,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1421,
"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": false,
"validation_json": {
"attempts": 1,
"call_targets": [
"0xe8741a1e198d90cf125389062fdbb686d9d9ca3b"
],
"classification": "constant_target",
"confirmed": false,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "sink_reached",
"target_varies": false,
"trace_id": "0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d",
"trace_mode": "callTracer"
}
}
]
exec
/bin/bash -lc "jq '.heuristics_summary' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
{
"create2_count": 0,
"delegatecall_count": 0,
"flags": [],
"selfdestruct_count": 0
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.functions' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.function_entries' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
[
{
"entry_pc": null,
"selector": "0x1f6c7506"
},
{
"entry_pc": 734485915,
"selector": "0x29dcb0cf"
},
{
"entry_pc": 826074471,
"selector": "0x2bc75d9b"
},
{
"entry_pc": 838537830,
"selector": "0x313ce567"
},
{
"entry_pc": 951009005,
"selector": "0x31fb1266"
},
{
"entry_pc": 1376106511,
"selector": "0x38af3eed"
},
{
"entry_pc": 1427491824,
"selector": "0x5205b80f"
},
{
"entry_pc": 1852241641,
"selector": "0x5515cbf0"
},
{
"entry_pc": 1889567281,
"selector": "0x6e66f6e9"
},
{
"entry_pc": 1963014690,
"selector": "0x70a08231"
},
{
"entry_pc": 1995728967,
"selector": "0x75013a22"
},
{
"entry_pc": 2021266605,
"selector": "0x76f46847"
},
{
"entry_pc": 2050625156,
"selector": "0x787a14ad"
},
{
"entry_pc": 2067684987,
"selector": "0x7a3a0e84"
},
{
"entry_pc": 2325274314,
"selector": "0x7b3e5e7b"
},
{
"entry_pc": 2641816152,
"selector": "0x8a98deca"
},
{
"entry_pc": 2687873534,
"selector": "0x9d76ea58"
},
{
"entry_pc": 3434118383,
"selector": "0xa035b1fe"
},
{
"entry_pc": 9,
"selector": "0xccb07cef"
}
]
succeeded in 0ms:
[
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0x1f6c7506",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 734485915,
"selector": "0x29dcb0cf",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 826074471,
"selector": "0x2bc75d9b",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 838537830,
"selector": "0x313ce567",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 951009005,
"selector": "0x31fb1266",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1376106511,
"selector": "0x38af3eed",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1427491824,
"selector": "0x5205b80f",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1852241641,
"selector": "0x5515cbf0",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1889567281,
"selector": "0x6e66f6e9",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1963014690,
"selector": "0x70a08231",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1995728967,
"selector": "0x75013a22",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2021266605,
"selector": "0x76f46847",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2050625156,
"selector": "0x787a14ad",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2067684987,
"selector": "0x7a3a0e84",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2325274314,
"selector": "0x7b3e5e7b",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2641816152,
"selector": "0x8a98deca",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 2687873534,
"selector": "0x9d76ea58",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 3434118383,
"selector": "0xa035b1fe",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
},
{
"auth": {
"guards": []
},
"entry_pc": 9,
"selector": "0xccb07cef",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 28,
"slots": [
{
"op": "SLOAD",
"pc": 265,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 289,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 330,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 337,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 340,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1091,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1103,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1110,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SLOAD",
"pc": 1126,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1135,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
},
{
"op": "SLOAD",
"pc": 1141,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1156,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1311,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1465,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1468,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1668,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1711,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1714,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1758,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1761,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
},
{
"op": "SSTORE",
"pc": 1852,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1873,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1911,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1926,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
}
],
"writes": 8
}
}
]
exec
/bin/bash -lc "jq '.artifact, .analysis_run, .capability_graph' BYTECODE_BUNDLE.json" in /tmp/codex-aouz498k
succeeded in 0ms:
{
"codehash": "0x451e507e2018c021ca668fa169c080fcda503b8cc5ba8cf97d18e2b5ade67476",
"compiler_json": {
"compiler_version": null,
"etherscan": {
"contract_name": null,
"implementation": null,
"license": "Unknown",
"proxy": "0",
"swarm_source": null
},
"optimizer_enabled": false,
"optimizer_runs": 0,
"proxy_evidence": {
"status": "not_proxy"
}
},
"implementation_address": null,
"is_proxy": false,
"runtime_bytecode": {
"full": "0x6080604052600436106101065763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631f6c7506811461024457806329dcb0cf1461025b5780632bc75d9b14610282578063313ce5671461029757806331fb1266146102c257806338af3eed146102d75780635205b80f146103085780635515cbf01461031d5780636e66f6e91461033257806370a082311461034757806375013a221461036857806376f468471461037d578063787a14ad146103925780637a3a0e84146103aa5780637b3e5e7b146103bf5780638a98deca146103d45780639d76ea58146103ec578063a035b1fe14610401578063ccb07cef14610416575b600954600090610100900460ff161561011e57600080fd5b60075434101561012d57600080fd5b50336000818152600860205260409020805434908101909155600380548201905560065460055491926101008204600160a060020a03169263a9059cbb9260ff16600a0a850281151561017c57fe5b046040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050600060405180830381600087803b1580156101e857600080fd5b505af11580156101fc573d6000803e3d6000fd5b5050604080513381526020810185905260018183015290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69350908190036060019150a150005b34801561025057600080fd5b5061025961043f565b005b34801561026757600080fd5b5061027061044c565b60408051918252519081900360200190f35b34801561028e57600080fd5b50610259610452565b3480156102a357600080fd5b506102ac610463565b6040805160ff9092168252519081900360200190f35b3480156102ce57600080fd5b5061027061046c565b3480156102e357600080fd5b506102ec610472565b60408051600160a060020a039092168252519081900360200190f35b34801561031457600080fd5b50610270610481565b34801561032957600080fd5b5061025961051c565b34801561033e57600080fd5b506102ec610681565b34801561035357600080fd5b50610270600160a060020a0360043516610695565b34801561037457600080fd5b506102ec6106a7565b34801561038957600080fd5b506102596106ab565b34801561039e57600080fd5b5061025960043561073f565b3480156103b657600080fd5b5061027061074e565b3480156103cb57600080fd5b50610270610754565b3480156103e057600080fd5b5061025960043561075a565b3480156103f857600080fd5b506102ec610774565b34801561040d57600080fd5b50610270610783565b34801561042257600080fd5b5061042b610789565b604080519115158252519081900360200190f35b6009805461ff0019169055565b60045481565b6009805461ff001916610100179055565b60065460ff1681565b60075481565b600054600160a060020a031681565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000926101009004600160a060020a0316916370a0823191602480830192602092919082900301818787803b1580156104eb57600080fd5b505af11580156104ff573d6000803e3d6000fd5b505050506040513d602081101561051557600080fd5b5051905090565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928392610100909104600160a060020a0316916370a082319160248082019260209290919082900301818787803b15801561058a57600080fd5b505af115801561059e573d6000803e3d6000fd5b505050506040513d60208110156105b457600080fd5b5051600654600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018590529051939550309450610100909204169163a9059cbb9160448082019260009290919082900301818387803b15801561063157600080fd5b505af1158015610645573d6000803e3d6000fd5b50506040805185815290517fbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b9350908190036020019150a15050565b6006546101009004600160a060020a031681565b60086020526000908152604090205481565b3090565b60008054600354604051600160a060020a039092169281156108fc029290818181858888f193505050501561073d576000805460035460408051600160a060020a03909316835260208301919091528181019290925290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69181900360600190a16009805460ff1916905560006003555b565b670de0b6b3a764000002600755565b60025481565b60035481565b80670de0b6b3a764000081151561076d57fe5b0460055550565b600154600160a060020a031681565b60055481565b600954610100900460ff16815600a165627a7a723058207949b8ffe90e63939d3f11054d7d8d8516380bfaa9a2bcb84d9312beac4dbed40029",
"head": null,
"length": 3976,
"tail": null,
"truncated": false
},
"verified_source": false
}
{
"address": "0xe8741a1e198d90cf125389062fdbb686d9d9ca3b",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2026-03-31T18:23:08.000000Z",
"id": "019d4522-9aae-7105-9df9-871e21f05153",
"parent_links": [],
"status": "running",
"updated_at": "2026-03-31T18:23:09.000000Z"
}
{
"address": "0xe8741a1e198d90cf125389062fdbb686d9d9ca3b",
"block_number": null,
"chain_id": 1,
"codehash": "0x451e507e2018c021ca668fa169c080fcda503b8cc5ba8cf97d18e2b5ade67476",
"created_at": "2026-03-31T18:23:10.000000Z",
"graph_hash": "0x50125880746876751612302c4cdc951e3c6c34b02e3c099f9af238f80d77f083",
"graph_json": {
"edges": [
{
"from": "bb:0",
"to": "bb:262",
"type": "control_flow"
},
{
"from": "bb:0",
"to": "bb:13",
"type": "control_flow_fallthrough"
},
{
"from": "bb:13",
"to": "bb:580",
"type": "control_flow"
},
{
"from": "bb:13",
"to": "bb:64",
"type": "control_flow_fallthrough"
},
{
"from": "bb:64",
"to": "bb:603",
"type": "control_flow"
},
{
"from": "bb:64",
"to": "bb:75",
"type": "control_flow_fallthrough"
},
{
"from": "bb:75",
"to": "bb:642",
"type": "control_flow"
},
{
"from": "bb:75",
"to": "bb:86",
"type": "control_flow_fallthrough"
},
{
"from": "bb:86",
"to": "bb:663",
"type": "control_flow"
},
{
"from": "bb:86",
"to": "bb:97",
"type": "control_flow_fallthrough"
},
{
"from": "bb:97",
"to": "bb:706",
"type": "control_flow"
},
{
"from": "bb:97",
"to": "bb:108",
"type": "control_flow_fallthrough"
},
{
"from": "bb:108",
"to": "bb:727",
"type": "control_flow"
},
{
"from": "bb:108",
"to": "bb:119",
"type": "control_flow_fallthrough"
},
{
"from": "bb:119",
"to": "bb:776",
"type": "control_flow"
},
{
"from": "bb:119",
"to": "bb:130",
"type": "control_flow_fallthrough"
},
{
"from": "bb:130",
"to": "bb:797",
"type": "control_flow"
},
{
"from": "bb:130",
"to": "bb:141",
"type": "control_flow_fallthrough"
},
{
"from": "bb:141",
"to": "bb:818",
"type": "control_flow"
},
{
"from": "bb:141",
"to": "bb:152",
"type": "control_flow_fallthrough"
},
{
"from": "bb:152",
"to": "bb:839",
"type": "control_flow"
},
{
"from": "bb:152",
"to": "bb:163",
"type": "control_flow_fallthrough"
},
{
"from": "bb:163",
"to": "bb:872",
"type": "control_flow"
},
{
"from": "bb:163",
"to": "bb:174",
"type": "control_flow_fallthrough"
},
{
"from": "bb:174",
"to": "bb:893",
"type": "control_flow"
},
{
"from": "bb:174",
"to": "bb:185",
"type": "control_flow_fallthrough"
},
{
"from": "bb:185",
"to": "bb:914",
"type": "control_flow"
},
{
"from": "bb:185",
"to": "bb:196",
"type": "control_flow_fallthrough"
},
{
"from": "bb:196",
"to": "bb:938",
"type": "control_flow"
},
{
"from": "bb:196",
"to": "bb:207",
"type": "control_flow_fallthrough"
},
{
"from": "bb:207",
"to": "bb:959",
"type": "control_flow"
},
{
"from": "bb:207",
"to": "bb:218",
"type": "control_flow_fallthrough"
},
{
"from": "bb:218",
"to": "bb:980",
"type": "control_flow"
},
{
"from": "bb:218",
"to": "bb:229",
"type": "control_flow_fallthrough"
},
{
"from": "bb:229",
"to": "bb:1004",
"type": "control_flow"
},
{
"from": "bb:229",
"to": "bb:240",
"type": "control_flow_fallthrough"
},
{
"from": "bb:240",
"to": "bb:1025",
"type": "control_flow"
},
{
"from": "bb:240",
"to": "bb:251",
"type": "control_flow_fallthrough"
},
{
"from": "bb:251",
"to": "bb:1046",
"type": "control_flow"
},
{
"from": "bb:251",
"to": "bb:262",
"type": "control_flow_fallthrough"
},
{
"from": "bb:262",
"to": "bb:286",
"type": "control_flow"
},
{
"from": "bb:262",
"to": "bb:282",
"type": "control_flow_fallthrough"
},
{
"from": "bb:286",
"to": "bb:301",
"type": "control_flow"
},
{
"from": "bb:286",
"to": "bb:297",
"type": "control_flow_fallthrough"
},
{
"from": "bb:301",
"to": "bb:380",
"type": "control_flow"
},
{
"from": "bb:301",
"to": "bb:379",
"type": "control_flow_fallthrough"
},
{
"from": "bb:380",
"to": "bb:488",
"type": "control_flow"
},
{
"from": "bb:380",
"to": "bb:484",
"type": "control_flow_fallthrough"
},
{
"from": "bb:488",
"to": "bb:508",
"type": "control_flow"
},
{
"from": "bb:488",
"to": "bb:499",
"type": "control_flow_fallthrough"
},
{
"from": "bb:580",
"to": "bb:592",
"type": "control_flow"
},
{
"from": "bb:580",
"to": "bb:588",
"type": "control_flow_fallthrough"
},
{
"from": "bb:592",
"to": "bb:1087",
"type": "control_flow"
},
{
"from": "bb:603",
"to": "bb:615",
"type": "control_flow"
},
{
"from": "bb:603",
"to": "bb:611",
"type": "control_flow_fallthrough"
},
{
"from": "bb:615",
"to": "bb:1100",
"type": "control_flow"
},
{
"from": "bb:642",
"to": "bb:654",
"type": "control_flow"
},
{
"from": "bb:642",
"to": "bb:650",
"type": "control_flow_fallthrough"
},
{
"from": "bb:654",
"to": "bb:1106",
"type": "control_flow"
},
{
"from": "bb:663",
"to": "bb:675",
"type": "control_flow"
},
{
"from": "bb:663",
"to": "bb:671",
"type": "control_flow_fallthrough"
},
{
"from": "bb:675",
"to": "bb:1123",
"type": "control_flow"
},
{
"from": "bb:706",
"to": "bb:718",
"type": "control_flow"
},
{
"from": "bb:706",
"to": "bb:714",
"type": "control_flow_fallthrough"
},
{
"from": "bb:718",
"to": "bb:1132",
"type": "control_flow"
},
{
"from": "bb:727",
"to": "bb:739",
"type": "control_flow"
},
{
"from": "bb:727",
"to": "bb:735",
"type": "control_flow_fallthrough"
},
{
"from": "bb:739",
"to": "bb:1138",
"type": "control_flow"
},
{
"from": "bb:776",
"to": "bb:788",
"type": "control_flow"
},
{
"from": "bb:776",
"to": "bb:784",
"type": "control_flow_fallthrough"
},
{
"from": "bb:788",
"to": "bb:1153",
"type": "control_flow"
},
{
"from": "bb:797",
"to": "bb:809",
"type": "control_flow"
},
{
"from": "bb:797",
"to": "bb:805",
"type": "control_flow_fallthrough"
},
{
"from": "bb:809",
"to": "bb:1308",
"type": "control_flow"
},
{
"from": "bb:818",
"to": "bb:830",
"type": "control_flow"
},
{
"from": "bb:818",
"to": "bb:826",
"type": "control_flow_fallthrough"
},
{
"from": "bb:830",
"to": "bb:1665",
"type": "control_flow"
},
{
"from": "bb:839",
"to": "bb:851",
"type": "control_flow"
},
{
"from": "bb:839",
"to": "bb:847",
"type": "control_flow_fallthrough"
},
{
"from": "bb:851",
"to": "bb:1685",
"type": "control_flow"
},
{
"from": "bb:872",
"to": "bb:884",
"type": "control_flow"
},
{
"from": "bb:872",
"to": "bb:880",
"type": "control_flow_fallthrough"
},
{
"from": "bb:884",
"to": "bb:1703",
"type": "control_flow"
},
{
"from": "bb:893",
"to": "bb:905",
"type": "control_flow"
},
{
"from": "bb:893",
"to": "bb:901",
"type": "control_flow_fallthrough"
},
{
"from": "bb:905",
"to": "bb:1707",
"type": "control_flow"
},
{
"from": "bb:914",
"to": "bb:926",
"type": "control_flow"
},
{
"from": "bb:914",
"to": "bb:922",
"type": "control_flow_fallthrough"
},
{
"from": "bb:926",
"to": "bb:1855",
"type": "control_flow"
},
{
"from": "bb:938",
"to": "bb:950",
"type": "control_flow"
},
{
"from": "bb:938",
"to": "bb:946",
"type": "control_flow_fallthrough"
},
{
"from": "bb:950",
"to": "bb:1870",
"type": "control_flow"
},
{
"from": "bb:959",
"to": "bb:971",
"type": "control_flow"
},
{
"from": "bb:959",
"to": "bb:967",
"type": "control_flow_fallthrough"
},
{
"from": "bb:971",
"to": "bb:1876",
"type": "control_flow"
},
{
"from": "bb:980",
"to": "bb:992",
"type": "control_flow"
},
{
"from": "bb:980",
"to": "bb:988",
"type": "control_flow_fallthrough"
},
{
"from": "bb:992",
"to": "bb:1882",
"type": "control_flow"
},
{
"from": "bb:1004",
"to": "bb:1016",
"type": "control_flow"
},
{
"from": "bb:1004",
"to": "bb:1012",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1016",
"to": "bb:1908",
"type": "control_flow"
},
{
"from": "bb:1025",
"to": "bb:1037",
"type": "control_flow"
},
{
"from": "bb:1025",
"to": "bb:1033",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1037",
"to": "bb:1923",
"type": "control_flow"
},
{
"from": "bb:1046",
"to": "bb:1058",
"type": "control_flow"
},
{
"from": "bb:1046",
"to": "bb:1054",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1058",
"to": "bb:1929",
"type": "control_flow"
},
{
"from": "bb:1153",
"to": "bb:1259",
"type": "control_flow"
},
{
"from": "bb:1153",
"to": "bb:1255",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1259",
"to": "bb:1279",
"type": "control_flow"
},
{
"from": "bb:1259",
"to": "bb:1270",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1279",
"to": "bb:1301",
"type": "control_flow"
},
{
"from": "bb:1279",
"to": "bb:1297",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1308",
"to": "bb:1418",
"type": "control_flow"
},
{
"from": "bb:1308",
"to": "bb:1414",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1418",
"to": "bb:1438",
"type": "control_flow"
},
{
"from": "bb:1418",
"to": "bb:1429",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1438",
"to": "bb:1460",
"type": "control_flow"
},
{
"from": "bb:1438",
"to": "bb:1456",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1460",
"to": "bb:1585",
"type": "control_flow"
},
{
"from": "bb:1460",
"to": "bb:1581",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1585",
"to": "bb:1605",
"type": "control_flow"
},
{
"from": "bb:1585",
"to": "bb:1596",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1707",
"to": "bb:1853",
"type": "control_flow"
},
{
"from": "bb:1707",
"to": "bb:1755",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1755",
"to": "bb:1853",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1882",
"to": "bb:1901",
"type": "control_flow"
},
{
"from": "bb:1882",
"to": "bb:1900",
"type": "control_flow_fallthrough"
},
{
"from": "fn:0x29dcb0cf",
"to": "bb:734485915",
"type": "entry"
},
{
"from": "fn:0x2bc75d9b",
"to": "bb:826074471",
"type": "entry"
},
{
"from": "fn:0x313ce567",
"to": "bb:838537830",
"type": "entry"
},
{
"from": "fn:0x31fb1266",
"to": "bb:951009005",
"type": "entry"
},
{
"from": "fn:0x38af3eed",
"to": "bb:1376106511",
"type": "entry"
},
{
"from": "fn:0x5205b80f",
"to": "bb:1427491824",
"type": "entry"
},
{
"from": "fn:0x5515cbf0",
"to": "bb:1852241641",
"type": "entry"
},
{
"from": "fn:0x6e66f6e9",
"to": "bb:1889567281",
"type": "entry"
},
{
"from": "fn:0x70a08231",
"to": "bb:1963014690",
"type": "entry"
},
{
"from": "fn:0x75013a22",
"to": "bb:1995728967",
"type": "entry"
},
{
"from": "fn:0x76f46847",
"to": "bb:2021266605",
"type": "entry"
},
{
"from": "fn:0x787a14ad",
"to": "bb:2050625156",
"type": "entry"
},
{
"from": "fn:0x7a3a0e84",
"to": "bb:2067684987",
"type": "entry"
},
{
"from": "fn:0x7b3e5e7b",
"to": "bb:2325274314",
"type": "entry"
},
{
"from": "fn:0x8a98deca",
"to": "bb:2641816152",
"type": "entry"
},
{
"from": "fn:0x9d76ea58",
"to": "bb:2687873534",
"type": "entry"
},
{
"from": "fn:0xa035b1fe",
"to": "bb:3434118383",
"type": "entry"
},
{
"from": "fn:0xccb07cef",
"to": "bb:9",
"type": "entry"
},
{
"from": "bb:488",
"to": "call:491",
"type": "contains"
},
{
"from": "call:491",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1259",
"to": "call:1262",
"type": "contains"
},
{
"from": "call:1262",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1418",
"to": "call:1421",
"type": "contains"
},
{
"from": "call:1421",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1585",
"to": "call:1588",
"type": "contains"
},
{
"from": "call:1588",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1707",
"to": "call:1744",
"type": "contains"
},
{
"from": "call:1744",
"to": "sink:call",
"type": "capability"
}
],
"nodes": [
{
"end_pc": 12,
"hash": "0x24bbd0fe9211b2285af87e9f0bb7c11ece685acb811b0c2aa18b60be4657e3e1",
"id": "bb:0",
"start_pc": 0,
"type": "basic_block"
},
{
"end_pc": 63,
"hash": "0x5c29fae70b50e1f4b91f494645b7bbbfc8fc859fe0fa0703c9d0d48a09080247",
"id": "bb:13",
"start_pc": 13,
"type": "basic_block"
},
{
"end_pc": 74,
"hash": "0x7b7001a293632fef03e0411c27a458f367b244d51c239d8d27eeeb3c9d24269e",
"id": "bb:64",
"start_pc": 64,
"type": "basic_block"
},
{
"end_pc": 85,
"hash": "0xe26dd24fe01cd6227b20234aeaecde9f15470093ffc8e323f595c97dd1b2e2fc",
"id": "bb:75",
"start_pc": 75,
"type": "basic_block"
},
{
"end_pc": 96,
"hash": "0x84b709c0dcf986f580356bd42952427ab3f1da481fa55740961a70206376e3ba",
"id": "bb:86",
"start_pc": 86,
"type": "basic_block"
},
{
"end_pc": 107,
"hash": "0x9c310a2430d00f9ec6d5d16ff168ecbf0daa77806970e422895f5945c2077042",
"id": "bb:97",
"start_pc": 97,
"type": "basic_block"
},
{
"end_pc": 118,
"hash": "0x117888f7689370762f24bf3bf62dab7a0077862e647785739de9a795310733d3",
"id": "bb:108",
"start_pc": 108,
"type": "basic_block"
},
{
"end_pc": 129,
"hash": "0xf3d0197dd962ebcccf017197b29c5817468c57ccbc303ff0648cb2fb5d4be2b7",
"id": "bb:119",
"start_pc": 119,
"type": "basic_block"
},
{
"end_pc": 140,
"hash": "0xe9a793703ccae31ee3f5c601a0e7172294d5a817d9ecee74276b27b1679e5567",
"id": "bb:130",
"start_pc": 130,
"type": "basic_block"
},
{
"end_pc": 151,
"hash": "0x793b44b32191cedd657ffdc06da346ce7831bcaf104db0c0239442853e2b2de6",
"id": "bb:141",
"start_pc": 141,
"type": "basic_block"
},
{
"end_pc": 162,
"hash": "0xe884202bac20b88bd2a9d59b9a7a934b67b708aa0aad1d3bf416eb3b21e116f6",
"id": "bb:152",
"start_pc": 152,
"type": "basic_block"
},
{
"end_pc": 173,
"hash": "0x247fdbdf4fb37bb960be42437f49396c076ce80637421ff5806146439978810d",
"id": "bb:163",
"start_pc": 163,
"type": "basic_block"
},
{
"end_pc": 184,
"hash": "0x7224984a706179bd7c93870d786bdf3fe52424c92f0d62df9c77675a66f69eb4",
"id": "bb:174",
"start_pc": 174,
"type": "basic_block"
},
{
"end_pc": 195,
"hash": "0x109d5a7646b05c29e02a4137cb6603b2d5f9f8910d9ea39592caf8abbe74e611",
"id": "bb:185",
"start_pc": 185,
"type": "basic_block"
},
{
"end_pc": 206,
"hash": "0x76a15132cbbbafb80d2011a0d15bd2b69cf1f898e65e4d0a1388c8ac5976fa4b",
"id": "bb:196",
"start_pc": 196,
"type": "basic_block"
},
{
"end_pc": 217,
"hash": "0xeb82e649d847a277bb118019d64e0921f453cd2654a9cc97632b40f6deafe5ec",
"id": "bb:207",
"start_pc": 207,
"type": "basic_block"
},
{
"end_pc": 228,
"hash": "0xa13e06e9c325510ebc113c4faf78117667105ab72b3e3ac70e8eec73c3fba7f5",
"id": "bb:218",
"start_pc": 218,
"type": "basic_block"
},
{
"end_pc": 239,
"hash": "0x136553d3a52b7f98046df996a0136886fb7a2f05254d609418260cea3d7185c5",
"id": "bb:229",
"start_pc": 229,
"type": "basic_block"
},
{
"end_pc": 250,
"hash": "0xef7412c8d3b8ead935f925d0a6cdc2996bea9e040f8427055193d3f90e1d4922",
"id": "bb:240",
"start_pc": 240,
"type": "basic_block"
},
{
"end_pc": 261,
"hash": "0xfcb064b887ee5b6b8618ddfe3c761a0d4588b255041b4a7b965cfd515843d740",
"id": "bb:251",
"start_pc": 251,
"type": "basic_block"
},
{
"end_pc": 281,
"hash": "0xa102a0d190789856e29c2821682da97f851ed744cd2de2743647ba6d3a6655ff",
"id": "bb:262",
"start_pc": 262,
"type": "basic_block"
},
{
"end_pc": 285,
"hash": "0x55775ff7c4f390d8e73231944db6d37b10bb840c04e6ed74eb4c7fc04d91a7eb",
"id": "bb:282",
"start_pc": 282,
"type": "basic_block"
},
{
"end_pc": 296,
"hash": "0xb963eb42b0ab527b264352b9369e1b682a17fb01def9cc9cc8574334de67d029",
"id": "bb:286",
"start_pc": 286,
"type": "basic_block"
},
{
"end_pc": 300,
"hash": "0x5212cfa4a94518e4f09a1b6d82fad401648790bc3fc1913c33dcf89be227648a",
"id": "bb:297",
"start_pc": 297,
"type": "basic_block"
},
{
"end_pc": 378,
"hash": "0x0ee03d9d2bd084d5244e8eab4ddecb1ee29cfafd14c76235e547c6beebf179cd",
"id": "bb:301",
"start_pc": 301,
"type": "basic_block"
},
{
"end_pc": 379,
"hash": "0xbe13c610b87b4721d028ed7c38eec45cecf6605665f56b18e7a1df5e8f226504",
"id": "bb:379",
"start_pc": 379,
"type": "basic_block"
},
{
"end_pc": 483,
"hash": "0x033eb53b675312203408b1a3e6fdc20045a31faf026a7844dbf64748dbfed874",
"id": "bb:380",
"start_pc": 380,
"type": "basic_block"
},
{
"end_pc": 487,
"hash": "0xba7885ea246e8ed91b3066821a049648bf5171c6537fe7e0b23c2fb0e0bf77e8",
"id": "bb:484",
"start_pc": 484,
"type": "basic_block"
},
{
"end_pc": 498,
"hash": "0xe22478970f87503f0a0c2f9ae9e6ea6ca29fcb735c9c89a219bb5f0cfc910314",
"id": "bb:488",
"start_pc": 488,
"type": "basic_block"
},
{
"end_pc": 507,
"hash": "0xa405c692c408cc4f611e4c128c400301d3083d1da770b09445e9426fb841038a",
"id": "bb:499",
"start_pc": 499,
"type": "basic_block"
},
{
"end_pc": 579,
"hash": "0x133c7e946ed245c256ea2c348f23c0e4625171619642ce157a2f18867ea8c9ca",
"id": "bb:508",
"start_pc": 508,
"type": "basic_block"
},
{
"end_pc": 587,
"hash": "0x5c32e604d20af983aa39f216868631aa9238863efe0e54933f09fff8180ca9e2",
"id": "bb:580",
"start_pc": 580,
"type": "basic_block"
},
{
"end_pc": 591,
"hash": "0x1a1913e09ee807090e8406bc2a8e557abe5c518bbee06f0c0a12f6784d021cab",
"id": "bb:588",
"start_pc": 588,
"type": "basic_block"
},
{
"end_pc": 600,
"hash": "0xdb7b25918c75dd9751c1be4fc7b8f054f7d638e169b4ed97a794a8270f055c59",
"id": "bb:592",
"start_pc": 592,
"type": "basic_block"
},
{
"end_pc": 602,
"hash": "0x5c932f8303a26369b424e93bacb1b430054f60222c71823541b12b4900a992e2",
"id": "bb:601",
"start_pc": 601,
"type": "basic_block"
},
{
"end_pc": 610,
"hash": "0xc670364b4e9bb5d8df88aea6f04ade152fe1ebc222ec4a59ae364d759cf032d5",
"id": "bb:603",
"start_pc": 603,
"type": "basic_block"
},
{
"end_pc": 614,
"hash": "0xd7bf1a56cfcc819d23c73ef8fed7273f33bacf19893f4879d53be9074698ebd0",
"id": "bb:611",
"start_pc": 611,
"type": "basic_block"
},
{
"end_pc": 623,
"hash": "0x57b87d6af5f31fc1d3294ed7c24caa192d17572f65cb6d30635a700c30cf4151",
"id": "bb:615",
"start_pc": 615,
"type": "basic_block"
},
{
"end_pc": 641,
"hash": "0x917e02c662014cd37da314e0bd60fe523daac35ef40458ae0970746f9e4849d3",
"id": "bb:624",
"start_pc": 624,
"type": "basic_block"
},
{
"end_pc": 649,
"hash": "0x5ba39a5549b47d847837cd85c88a314edeacb9037989b1a48c095a5a3817bda5",
"id": "bb:642",
"start_pc": 642,
"type": "basic_block"
},
{
"end_pc": 653,
"hash": "0x35df36c394d73d9c182574139e4606807f8c33cc521bca880631c7c2a167903b",
"id": "bb:650",
"start_pc": 650,
"type": "basic_block"
},
{
"end_pc": 662,
"hash": "0x758b7168454439d8fb72907091dd9c58cc436ce13b726a215e91f5f31f4456cd",
"id": "bb:654",
"start_pc": 654,
"type": "basic_block"
},
{
"end_pc": 670,
"hash": "0xa6a8ab0e17043b82d45968a7f6ba589f5a9cb956b0acbea875f2080d4a34a953",
"id": "bb:663",
"start_pc": 663,
"type": "basic_block"
},
{
"end_pc": 674,
"hash": "0xf0ac9739407d423c797ffad162af6e809628b8e1eb4e6a15ee8265a39f302d86",
"id": "bb:671",
"start_pc": 671,
"type": "basic_block"
},
{
"end_pc": 683,
"hash": "0x2db4f451bf32de8af2b96849fcea84bb6546c4969f603d6f3a1d8e2af9f6d8ba",
"id": "bb:675",
"start_pc": 675,
"type": "basic_block"
},
{
"end_pc": 705,
"hash": "0x3f560ad4353be5c99fe4a2b569375b5157c201ced5b4158130fa25500a5cdf07",
"id": "bb:684",
"start_pc": 684,
"type": "basic_block"
},
{
"end_pc": 713,
"hash": "0x2f725a7c50e779661a617b7839181e3fadf7f2e0a1755fc9566c0a4f8d227bf6",
"id": "bb:706",
"start_pc": 706,
"type": "basic_block"
},
{
"end_pc": 717,
"hash": "0x47ddc8bdd95a57896997ce49f198b4d1a4f64d4427cc3dc9cfdc93dbf231aae4",
"id": "bb:714",
"start_pc": 714,
"type": "basic_block"
},
{
"end_pc": 726,
"hash": "0x1fdfab80b8dc78718f6cee0d4e31ab67e8f14282bf1894e3309916e4c6525cdc",
"id": "bb:718",
"start_pc": 718,
"type": "basic_block"
},
{
"end_pc": 734,
"hash": "0xf4bb8d36b9430024f7f648a3366bf29c5c606fcc9b7d63a5837b9f368c1d057a",
"id": "bb:727",
"start_pc": 727,
"type": "basic_block"
},
{
"end_pc": 738,
"hash": "0x1dab5a7e1bc60e07dfaa34ee77e9d5b9f4bb50a980cd2e9728fca1c5b12713d7",
"id": "bb:735",
"start_pc": 735,
"type": "basic_block"
},
{
"end_pc": 747,
"hash": "0xf836b99a34a4a0fb7702e22ab5133eec73db724fdba5453572c0631e44b3d7ff",
"id": "bb:739",
"start_pc": 739,
"type": "basic_block"
},
{
"end_pc": 775,
"hash": "0x488d41952603fda1786a3466ece4c732078ad983eae7620f0c45fe7f767bee66",
"id": "bb:748",
"start_pc": 748,
"type": "basic_block"
},
{
"end_pc": 783,
"hash": "0x1a76ba150d429f5e50e036042b192b5a808fe1f1f0647c594752b4e01060d301",
"id": "bb:776",
"start_pc": 776,
"type": "basic_block"
},
{
"end_pc": 787,
"hash": "0x6d63acfc68a704657faf5b4415b6e3cd1fdfda8459718d9971600213715b268d",
"id": "bb:784",
"start_pc": 784,
"type": "basic_block"
},
{
"end_pc": 796,
"hash": "0x436215a693c903e3830649201c5e1a982ca78ae06567d6c392bf7071557177a8",
"id": "bb:788",
"start_pc": 788,
"type": "basic_block"
},
{
"end_pc": 804,
"hash": "0xe1da139dea138fcd1d0736ae39912a5549ac2ba9b5f21a2d37ecb3ab1af6c72f",
"id": "bb:797",
"start_pc": 797,
"type": "basic_block"
},
{
"end_pc": 808,
"hash": "0x82bc42fd82bf88811b8a815eefbfb98fe5e0659d0ecf2395fe1abeebcbb19b30",
"id": "bb:805",
"start_pc": 805,
"type": "basic_block"
},
{
"end_pc": 817,
"hash": "0xc6788edbcb0f7769075f4f1925d66139179bafc9906e7ebf8b0cf6b0532c5c76",
"id": "bb:809",
"start_pc": 809,
"type": "basic_block"
},
{
"end_pc": 825,
"hash": "0x78a27eb756c413c7eac44c7052e561e69f51d5b1d99b3a3cf9ac8cfbbf5b3679",
"id": "bb:818",
"start_pc": 818,
"type": "basic_block"
},
{
"end_pc": 829,
"hash": "0xceff0c96325521b5b20fb846cfe756225d179a73a7df8763f2dacde585e4f87d",
"id": "bb:826",
"start_pc": 826,
"type": "basic_block"
},
{
"end_pc": 838,
"hash": "0xc7b6bf1ccfe7460b68a3c0c7bde2fa7f2906615951001192ce85ac1b5d9f95da",
"id": "bb:830",
"start_pc": 830,
"type": "basic_block"
},
{
"end_pc": 846,
"hash": "0x64263969937112421b721038f3c69f3df770ab5176895df19004aa2bd11f5ba6",
"id": "bb:839",
"start_pc": 839,
"type": "basic_block"
},
{
"end_pc": 850,
"hash": "0x7a405a78a2b673926feac32170000f9c002c866da77d01e607dc7b3b818565d0",
"id": "bb:847",
"start_pc": 847,
"type": "basic_block"
},
{
"end_pc": 871,
"hash": "0xd9b4a75510c61df280e963086688529cca65ee3416ab166d9e67ca3971bc666b",
"id": "bb:851",
"start_pc": 851,
"type": "basic_block"
},
{
"end_pc": 879,
"hash": "0x62319950fb5d223d2b6908623e8f38e3ff76bdc4cf797ef3866f654bc5cad62a",
"id": "bb:872",
"start_pc": 872,
"type": "basic_block"
},
{
"end_pc": 883,
"hash": "0x9eb2b0d48c8b74628a960ef9d40aba90923f98f425342d881ecdcfbeba9acfa1",
"id": "bb:880",
"start_pc": 880,
"type": "basic_block"
},
{
"end_pc": 892,
"hash": "0xa3274e61184879335f27bfe0c68c6a7cf06f97ec8b1b9b6db9514098fb536995",
"id": "bb:884",
"start_pc": 884,
"type": "basic_block"
},
{
"end_pc": 900,
"hash": "0x3b329c82dce9bccd955b9950b0e0ac1350d2c58a1b82b822ade44a581c9c0364",
"id": "bb:893",
"start_pc": 893,
"type": "basic_block"
},
{
"end_pc": 904,
"hash": "0x980b1d01818192e627fb2b405f03f908af8f04364c30ba76d90286347334caa5",
"id": "bb:901",
"start_pc": 901,
"type": "basic_block"
},
{
"end_pc": 913,
"hash": "0x41dbc8270dfd6dadaf78442366d4b3b961c46c18708651188de3cc64896ca66c",
"id": "bb:905",
"start_pc": 905,
"type": "basic_block"
},
{
"end_pc": 921,
"hash": "0xe245f57c271322c8588c947a17b121cebe375377348611d06f2e73a4f1f0f0e6",
"id": "bb:914",
"start_pc": 914,
"type": "basic_block"
},
{
"end_pc": 925,
"hash": "0xe53f6c5e0ed24eb655258647583f1c4adf36bb991656bc7d47de91c4d0d893af",
"id": "bb:922",
"start_pc": 922,
"type": "basic_block"
},
{
"end_pc": 937,
"hash": "0xf2ac198fc89030473de0a2a7ae12c05a0a5c752d882f408dc74127d6df60d3a9",
"id": "bb:926",
"start_pc": 926,
"type": "basic_block"
},
{
"end_pc": 945,
"hash": "0x1ad0e0ef5e4e88b0c6b62c965318075b9357de83ce4fd80a2fa1533262e016e8",
"id": "bb:938",
"start_pc": 938,
"type": "basic_block"
},
{
"end_pc": 949,
"hash": "0x0545bfe0458081a692e4f0afff24893f032034e698a47387e9b8b81ed08ab7e5",
"id": "bb:946",
"start_pc": 946,
"type": "basic_block"
},
{
"end_pc": 958,
"hash": "0xf793f620e3fe2e4dfa45366d68ea4394fb51db584b0439e3224fdc0159690441",
"id": "bb:950",
"start_pc": 950,
"type": "basic_block"
},
{
"end_pc": 966,
"hash": "0xe866785ffb096677fff29e57e6dd01bfd2ac526f7c64368718fe66044536a22d",
"id": "bb:959",
"start_pc": 959,
"type": "basic_block"
},
{
"end_pc": 970,
"hash": "0xced7360601a55abb5528bc3c85492cc953ba2a0df41890942d94dc2def87542d",
"id": "bb:967",
"start_pc": 967,
"type": "basic_block"
},
{
"end_pc": 979,
"hash": "0x2fb3e7f511071691ac789844059f52eaef5ed545ed004a022a20b45d73077009",
"id": "bb:971",
"start_pc": 971,
"type": "basic_block"
},
{
"end_pc": 987,
"hash": "0x2f4c923421f231e32dc7d2ac0e27c5fa506cbceb55af7f37b19a63bf599315f9",
"id": "bb:980",
"start_pc": 980,
"type": "basic_block"
},
{
"end_pc": 991,
"hash": "0x4d49b7aa1ef4e748063c1235e41b18307c1b643e5545cd8560b48b862bd42b07",
"id": "bb:988",
"start_pc": 988,
"type": "basic_block"
},
{
"end_pc": 1003,
"hash": "0xe98b89f16bc6155e01f66578ecd49ef7c5d718193cd4b9ff259cfc2b67afec32",
"id": "bb:992",
"start_pc": 992,
"type": "basic_block"
},
{
"end_pc": 1011,
"hash": "0xb2111a6703e42e16acf978537ec8785e11df1901ef70bb47188cbf87671b33c7",
"id": "bb:1004",
"start_pc": 1004,
"type": "basic_block"
},
{
"end_pc": 1015,
"hash": "0x9d0808834e67234e3eac6c2f9210dec627380f61dea4005ca86f5867f0a365e2",
"id": "bb:1012",
"start_pc": 1012,
"type": "basic_block"
},
{
"end_pc": 1024,
"hash": "0x613d64f0ca5a25ac885610999c80ce534a6d8727aaf2e2e4b3cb87a7e46f14af",
"id": "bb:1016",
"start_pc": 1016,
"type": "basic_block"
},
{
"end_pc": 1032,
"hash": "0xa9ea8b68e66b6ecbe4acd585d4ba3102d529a7b467767ae77fdd0eed59305a41",
"id": "bb:1025",
"start_pc": 1025,
"type": "basic_block"
},
{
"end_pc": 1036,
"hash": "0x5f8a436ef51510f5a0e72b420ba3d670908d62a205fb2285b2ac0e92c6f44d9c",
"id": "bb:1033",
"start_pc": 1033,
"type": "basic_block"
},
{
"end_pc": 1045,
"hash": "0x3e861bd071df042ec7ea0e6c9dd3ed915a546762f877949044585db74814c44e",
"id": "bb:1037",
"start_pc": 1037,
"type": "basic_block"
},
{
"end_pc": 1053,
"hash": "0x81a97a195b7ff7a7d8bbab48bf9d11e3b6debe175c431b08a32c9551e31aab31",
"id": "bb:1046",
"start_pc": 1046,
"type": "basic_block"
},
{
"end_pc": 1057,
"hash": "0x0511e1be16511969f255e55c9ac1ef0df622900c1c6b34cff47631dc7f002b1a",
"id": "bb:1054",
"start_pc": 1054,
"type": "basic_block"
},
{
"end_pc": 1066,
"hash": "0xeb4a77a3b3bbf9d3b55f2470d2dc162bb4f3df52add03b380ea479aa0ec1efad",
"id": "bb:1058",
"start_pc": 1058,
"type": "basic_block"
},
{
"end_pc": 1086,
"hash": "0xc1d0fa546e4e7c8ee822462e9f0f485cfa3ef7d51a6de7a4281a4cab5aa0682b",
"id": "bb:1067",
"start_pc": 1067,
"type": "basic_block"
},
{
"end_pc": 1099,
"hash": "0x2708c4c98ed136b95a927dcce09f81e5d4db14c0b6ff6df1cc0f2e712f9d76e1",
"id": "bb:1087",
"start_pc": 1087,
"type": "basic_block"
},
{
"end_pc": 1105,
"hash": "0xb3fd104f9db9f3bb10bdb3be40bd76f78c0c6792765195e85df2fa66588dfa5f",
"id": "bb:1100",
"start_pc": 1100,
"type": "basic_block"
},
{
"end_pc": 1122,
"hash": "0xb47af715e0a4fcad4a1227d8251364e10ecd085ea59cd2385388c2bac4dc746d",
"id": "bb:1106",
"start_pc": 1106,
"type": "basic_block"
},
{
"end_pc": 1131,
"hash": "0xaa0c1ef6b578f925d18f3cd999542cc3d62e09e453e3ed0a7d5f8a9a0d5646cb",
"id": "bb:1123",
"start_pc": 1123,
"type": "basic_block"
},
{
"end_pc": 1137,
"hash": "0x71aa2b069017fcacc889dd6abb2388a714a9b3dd81b03ab3d88940f0cb51fe73",
"id": "bb:1132",
"start_pc": 1132,
"type": "basic_block"
},
{
"end_pc": 1152,
"hash": "0x09028495783a019c836e681b27362974cc24be5556dc00d26888b92122dc617d",
"id": "bb:1138",
"start_pc": 1138,
"type": "basic_block"
},
{
"end_pc": 1254,
"hash": "0x734ef0dd51cd8b38bfe249846667089f09ca6f03697944980c283c4209cf085f",
"id": "bb:1153",
"start_pc": 1153,
"type": "basic_block"
},
{
"end_pc": 1258,
"hash": "0x837d11c88778ba9157422d5efdf8b5556fce627f4ae544f5438279cdb0eed216",
"id": "bb:1255",
"start_pc": 1255,
"type": "basic_block"
},
{
"end_pc": 1269,
"hash": "0x815789dc1575190c0dfb98be955b4acc9e000d26eb0e8bf4741f0b6c64197608",
"id": "bb:1259",
"start_pc": 1259,
"type": "basic_block"
},
{
"end_pc": 1278,
"hash": "0x49aeb2fcc0e5329d216ceae0618a48902bb1971b95d1dd87dc1fe833d758be90",
"id": "bb:1270",
"start_pc": 1270,
"type": "basic_block"
},
{
"end_pc": 1296,
"hash": "0x438917142e5cef5e1508bb3ac6667e58f080ab081361d2a308f2b1f658d3f78b",
"id": "bb:1279",
"start_pc": 1279,
"type": "basic_block"
},
{
"end_pc": 1300,
"hash": "0xe2fcd06ad33722c942d2000e9baa9990720bb6adb62090d63e11cc8f70efc130",
"id": "bb:1297",
"start_pc": 1297,
"type": "basic_block"
},
{
"end_pc": 1307,
"hash": "0xf2983f988d62bd18431d5f2dbac10843a0b883c989332593d52fae438346c886",
"id": "bb:1301",
"start_pc": 1301,
"type": "basic_block"
},
{
"end_pc": 1413,
"hash": "0x5d332f7ab95397f35c7b8fd9d67017b4806acfbe68a705929b923eb2c8f610c8",
"id": "bb:1308",
"start_pc": 1308,
"type": "basic_block"
},
{
"end_pc": 1417,
"hash": "0x9ad738080ee132cd08c56794c5c9cc6735fc1bf9f713ab3480a6033acd64c98f",
"id": "bb:1414",
"start_pc": 1414,
"type": "basic_block"
},
{
"end_pc": 1428,
"hash": "0x5c14d43395c344f68a284a5f7dfd4416244bc4241a59eb1302599b06d7b07465",
"id": "bb:1418",
"start_pc": 1418,
"type": "basic_block"
},
{
"end_pc": 1437,
"hash": "0x3b2eaeebe6e533dc394e9bb04c9c22bbf6f5f28eb7144a422b364f845cf39f52",
"id": "bb:1429",
"start_pc": 1429,
"type": "basic_block"
},
{
"end_pc": 1455,
"hash": "0x41cc8b32655a005f677e35c95d70721f8f16e0de1dbb3bc2549c6cb455776ae2",
"id": "bb:1438",
"start_pc": 1438,
"type": "basic_block"
},
{
"end_pc": 1459,
"hash": "0x1f08c9e63520061a46764d2b42cd04098a790a85d34c2eebba02e05a130ea248",
"id": "bb:1456",
"start_pc": 1456,
"type": "basic_block"
},
{
"end_pc": 1580,
"hash": "0x457f6f40127b5e9405884de640f96d92023035c62d1545dff80e345961bf9889",
"id": "bb:1460",
"start_pc": 1460,
"type": "basic_block"
},
{
"end_pc": 1584,
"hash": "0x32482061b5629337bfa3d01af9d47e454e7c0e488d6e159fa9f06b505e33e2bd",
"id": "bb:1581",
"start_pc": 1581,
"type": "basic_block"
},
{
"end_pc": 1595,
"hash": "0xffe17177393900f9ed93dde6a5a3ae4c2a9e654551bd82404474b73c31ae5452",
"id": "bb:1585",
"start_pc": 1585,
"type": "basic_block"
},
{
"end_pc": 1604,
"hash": "0x7cf26ab0c02cb842d4f44b8c0e8e28b77d486077f3d1a2830e7d9150e8350b83",
"id": "bb:1596",
"start_pc": 1596,
"type": "basic_block"
},
{
"end_pc": 1664,
"hash": "0x719d3496e274e6c645183c6cc404c7615c8e68a1c2c3d0f3efe5facd9084bed2",
"id": "bb:1605",
"start_pc": 1605,
"type": "basic_block"
},
{
"end_pc": 1684,
"hash": "0x4730ee9fabcd9fa975bd04c7655dacab7dec3b51a9c86ece9cc2a02df5054319",
"id": "bb:1665",
"start_pc": 1665,
"type": "basic_block"
},
{
"end_pc": 1702,
"hash": "0x28f8d934d7e4e56662d23bf9806059f6a5ee0264ff2b9b61fe4621e6b1a30e67",
"id": "bb:1685",
"start_pc": 1685,
"type": "basic_block"
},
{
"end_pc": 1706,
"hash": "0x68b697eec29b00b443598361fbeb38b883c9c5e0a1d47b564ea6b7fd9486caf6",
"id": "bb:1703",
"start_pc": 1703,
"type": "basic_block"
},
{
"end_pc": 1754,
"hash": "0x3a39605a1c771de5236a85685b01536fac66f3fde5e8b91824406482d69856ca",
"id": "bb:1707",
"start_pc": 1707,
"type": "basic_block"
},
{
"end_pc": 1852,
"hash": "0x7dacf0c9dc434b0b72a73e36d6a192bb4ec39a16c37b63e7de1d4d61d41c466e",
"id": "bb:1755",
"start_pc": 1755,
"type": "basic_block"
},
{
"end_pc": 1854,
"hash": "0xf01997367a0af4b284559dd07b13170b4317778e48480b40c0f9c14a2be443ce",
"id": "bb:1853",
"start_pc": 1853,
"type": "basic_block"
},
{
"end_pc": 1869,
"hash": "0x0439c2e3306463dd7e788a1d38ba0e90dc0f66b1d648ca4ea2fbe47360a22cef",
"id": "bb:1855",
"start_pc": 1855,
"type": "basic_block"
},
{
"end_pc": 1875,
"hash": "0xc00ab6b6c37465d6af81a28aa942a00efb28b5e3cc11c8c6577b0d55a7caf6d4",
"id": "bb:1870",
"start_pc": 1870,
"type": "basic_block"
},
{
"end_pc": 1881,
"hash": "0x255a30b5722d609f1b171d5501195ef91496f6bfcc56de772310bba2ea7c1e3c",
"id": "bb:1876",
"start_pc": 1876,
"type": "basic_block"
},
{
"end_pc": 1899,
"hash": "0x414193692d0eaec8050e642798d08593455155c062bf37696ccfc08004d2bbe0",
"id": "bb:1882",
"start_pc": 1882,
"type": "basic_block"
},
{
"end_pc": 1900,
"hash": "0xf2743337e31a0b000f92290cdf6be3dcf2352a5010fc551e7d7a7b849fa4fffe",
"id": "bb:1900",
"start_pc": 1900,
"type": "basic_block"
},
{
"end_pc": 1907,
"hash": "0x9ed41c404680cc4649866cd75c0276b39057d28f520c1836d656fa3388552f18",
"id": "bb:1901",
"start_pc": 1901,
"type": "basic_block"
},
{
"end_pc": 1922,
"hash": "0x59703eb74d608bfc5f6864b99bbcb0dfc89e875c7830cc1c069efa7783ec8619",
"id": "bb:1908",
"start_pc": 1908,
"type": "basic_block"
},
{
"end_pc": 1928,
"hash": "0xfb3e91ea028464daa2a370b0dacccf5c850dc008b3e7ebcb8b37c6cbaee091e3",
"id": "bb:1923",
"start_pc": 1923,
"type": "basic_block"
},
{
"end_pc": 1942,
"hash": "0x7f1de0fd902f65c9f42045716031d851c668ceccbba15c4ee9aacd91f10c203c",
"id": "bb:1929",
"start_pc": 1929,
"type": "basic_block"
},
{
"end_pc": 1943,
"hash": "0xf81977047b7e65ae9fb8f0aa156ce755508344378e121cb5c34fa3dece9ccb2e",
"id": "bb:1943",
"start_pc": 1943,
"type": "basic_block"
},
{
"end_pc": 1985,
"hash": "0x423489bd1071840708956ca6b1815c37fed31cdd8881e59f2025a8d82645a3dd",
"id": "bb:1944",
"start_pc": 1944,
"type": "basic_block"
},
{
"end_pc": 1986,
"hash": "0x660290e6d477c00ee9a19b160da40f055639b864aa4e9ad3a214345d8c035643",
"id": "bb:1986",
"start_pc": 1986,
"type": "basic_block"
},
{
"id": "call:491",
"opcode": "CALL",
"pc": 491,
"type": "callsite"
},
{
"id": "call:1262",
"opcode": "CALL",
"pc": 1262,
"type": "callsite"
},
{
"id": "call:1421",
"opcode": "CALL",
"pc": 1421,
"type": "callsite"
},
{
"id": "call:1588",
"opcode": "CALL",
"pc": 1588,
"type": "callsite"
},
{
"id": "call:1744",
"opcode": "CALL",
"pc": 1744,
"type": "callsite"
},
{
"id": "sink:call",
"type": "sink"
},
{
"entry_pc": null,
"id": "fn:0x1f6c7506",
"selector": "0x1f6c7506",
"type": "function"
},
{
"entry_pc": 734485915,
"id": "fn:0x29dcb0cf",
"selector": "0x29dcb0cf",
"type": "function"
},
{
"entry_pc": 826074471,
"id": "fn:0x2bc75d9b",
"selector": "0x2bc75d9b",
"type": "function"
},
{
"entry_pc": 838537830,
"id": "fn:0x313ce567",
"selector": "0x313ce567",
"type": "function"
},
{
"entry_pc": 951009005,
"id": "fn:0x31fb1266",
"selector": "0x31fb1266",
"type": "function"
},
{
"entry_pc": 1376106511,
"id": "fn:0x38af3eed",
"selector": "0x38af3eed",
"type": "function"
},
{
"entry_pc": 1427491824,
"id": "fn:0x5205b80f",
"selector": "0x5205b80f",
"type": "function"
},
{
"entry_pc": 1852241641,
"id": "fn:0x5515cbf0",
"selector": "0x5515cbf0",
"type": "function"
},
{
"entry_pc": 1889567281,
"id": "fn:0x6e66f6e9",
"selector": "0x6e66f6e9",
"type": "function"
},
{
"entry_pc": 1963014690,
"id": "fn:0x70a08231",
"selector": "0x70a08231",
"type": "function"
},
{
"entry_pc": 1995728967,
"id": "fn:0x75013a22",
"selector": "0x75013a22",
"type": "function"
},
{
"entry_pc": 2021266605,
"id": "fn:0x76f46847",
"selector": "0x76f46847",
"type": "function"
},
{
"entry_pc": 2050625156,
"id": "fn:0x787a14ad",
"selector": "0x787a14ad",
"type": "function"
},
{
"entry_pc": 2067684987,
"id": "fn:0x7a3a0e84",
"selector": "0x7a3a0e84",
"type": "function"
},
{
"entry_pc": 2325274314,
"id": "fn:0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"type": "function"
},
{
"entry_pc": 2641816152,
"id": "fn:0x8a98deca",
"selector": "0x8a98deca",
"type": "function"
},
{
"entry_pc": 2687873534,
"id": "fn:0x9d76ea58",
"selector": "0x9d76ea58",
"type": "function"
},
{
"entry_pc": 3434118383,
"id": "fn:0xa035b1fe",
"selector": "0xa035b1fe",
"type": "function"
},
{
"entry_pc": 9,
"id": "fn:0xccb07cef",
"selector": "0xccb07cef",
"type": "function"
}
],
"version": "capability_graph_v1"
},
"id": 1382,
"updated_at": "2026-03-31T18:23:10.000000Z",
"version": "capability_graph_v1"
}
exec
/bin/bash -lc "python - <<'PY'
from textwrap import wrap
code='6080604052600436106101065763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631f6c7506811461024457806329dcb0cf1461025b5780632bc75d9b14610282578063313ce5671461029757806331fb1266146102c257806338af3eed146102d75780635205b80f146103085780635515cbf01461031d5780636e66f6e91461033257806370a082311461034757806375013a221461036857806376f468471461037d578063787a14ad146103925780637a3a0e84146103aa5780637b3e5e7b146103bf5780638a98deca146103d45780639d76ea58146103ec578063a035b1fe14610401578063ccb07cef14610416575b600954600090610100900460ff161561011e57600080fd5b60075434101561012d57600080fd5b50336000818152600860205260409020805434908101909155600380548201905560065460055491926101008204600160a060020a03169263a9059cbb9260ff16600a0a850281151561017c57fe5b046040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050600060405180830381600087803b1580156101e857600080fd5b505af11580156101fc573d6000803e3d6000fd5b5050604080513381526020810185905260018183015290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69350908190036060019150a150005b34801561025057600080fd5b5061025961043f565b005b34801561026757600080fd5b5061027061044c565b60408051918252519081900360200190f35b34801561028e57600080fd5b50610259610452565b3480156102a357600080fd5b506102ac610463565b6040805160ff9092168252519081900360200190f35b3480156102ce57600080fd5b5061027061046c565b3480156102e357600080fd5b506102ec610472565b60408051600160a060020a039092168252519081900360200190f35b34801561031457600080fd5b50610270610481565b34801561032957600080fd5b5061025961051c565b34801561033e57600080fd5b506102ec610681565b34801561035357600080fd5b50610270600160a060020a0360043516610695565b34801561037457600080fd5b506102ec6106a7565b34801561038957600080fd5b506102596106ab565b34801561039e57600080fd5b5061025960043561073f565b3480156103b657600080fd5b5061027061074e565b3480156103cb57600080fd5b50610270610754565b3480156103e057600080fd5b5061025960043561075a565b3480156103f857600080fd5b506102ec610774565b34801561040d57600080fd5b50610270610783565b34801561042257600080fd5b5061042b610789565b604080519115158252519081900360200190f35b6009805461ff0019169055565b60045481565b6009805461ff001916610100179055565b60065460ff1681565b60075481565b600054600160a060020a031681565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000926101009004600160a060020a0316916370a0823191602480830192602092919082900301818787803b1580156104eb57600080fd5b505af11580156104ff573d6000803e3d6000fd5b505050506040513d602081101561051557600080fd5b5051905090565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928392610100909104600160a060020a0316916370a082319160248082019260209290919082900301818787803b15801561058a57600080fd5b505af115801561059e573d6000803e3d6000fd5b505050506040513d60208110156105b457600080fd5b5051600654600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018590529051939550309450610100909204169163a9059cbb9160448082019260009290919082900301818387803b15801561063157600080fd5b505af1158015610645573d6000803e3d6000fd5b50506040805185815290517fbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b9350908190036020019150a15050565b6006546101009004600160a060020a031681565b60086020526000908152604090205481565b3090565b60008054600354604051600160a060020a039092169281156108fc029290818181858888f193505050501561073d576000805460035460408051600160a060020a03909316835260208301919091528181019290925290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69181900360600190a16009805460ff1916905560006003555b565b670de0b6b3a764000002600755565b60025481565b60035481565b80670de0b6b3a764000081151561076d57fe5b0460055550565b600154600160a060020a031681565b60055481565b600954610100900460ff16815600a165627a7a723058207949b8ffe90e63939d3f11054d7d8d8516380bfaa9a2bcb84d9312beac4dbed40029'
code=bytes.fromhex(code)
ops={0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x20:'SHA3',0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'}
for i in range(1,33): ops[0x5f+i]=f'PUSH{i}'
for i in range(1,17): ops[0x7f+i]=f'DUP{i}'
for i in range(1,17): ops[0x8f+i]=f'SWAP{i}'
for i in range(0,5): ops[0xa0+i]=f'LOG{i}'
def dis(start,end):
pc=start
while pc<=end and pc<len(code):
b=code[pc]
op=ops.get(b,f'OP_{b:02x}')
if op.startswith('PUSH'):
n=int(op[4:])
data=code[pc+1:pc+1+n]
print(f'{pc:04x}: {op:<7} 0x{data.hex()}')
pc+=1+n
else:
print(f'{pc:04x}: {op}')
pc+=1
for rng in [(0x244,0x46d),(0x51c,0x645),(0x6ab,0x73f),(0x75a,0x789)]:
print('\\nRANGE',rng)
dis(*rng)
PY" in /tmp/codex-aouz498k
succeeded in 0ms:
RANGE (580, 1133)
0244: JUMPDEST
0245: CALLVALUE
0246: DUP1
0247: ISZERO
0248: PUSH2 0x0250
024b: JUMPI
024c: PUSH1 0x00
024e: DUP1
024f: REVERT
0250: JUMPDEST
0251: POP
0252: PUSH2 0x0259
0255: PUSH2 0x043f
0258: JUMP
0259: JUMPDEST
025a: STOP
025b: JUMPDEST
025c: CALLVALUE
025d: DUP1
025e: ISZERO
025f: PUSH2 0x0267
0262: JUMPI
0263: PUSH1 0x00
0265: DUP1
0266: REVERT
0267: JUMPDEST
0268: POP
0269: PUSH2 0x0270
026c: PUSH2 0x044c
026f: JUMP
0270: JUMPDEST
0271: PUSH1 0x40
0273: DUP1
0274: MLOAD
0275: SWAP2
0276: DUP3
0277: MSTORE
0278: MLOAD
0279: SWAP1
027a: DUP2
027b: SWAP1
027c: SUB
027d: PUSH1 0x20
027f: ADD
0280: SWAP1
0281: RETURN
0282: JUMPDEST
0283: CALLVALUE
0284: DUP1
0285: ISZERO
0286: PUSH2 0x028e
0289: JUMPI
028a: PUSH1 0x00
028c: DUP1
028d: REVERT
028e: JUMPDEST
028f: POP
0290: PUSH2 0x0259
0293: PUSH2 0x0452
0296: JUMP
0297: JUMPDEST
0298: CALLVALUE
0299: DUP1
029a: ISZERO
029b: PUSH2 0x02a3
029e: JUMPI
029f: PUSH1 0x00
02a1: DUP1
02a2: REVERT
02a3: JUMPDEST
02a4: POP
02a5: PUSH2 0x02ac
02a8: PUSH2 0x0463
02ab: JUMP
02ac: JUMPDEST
02ad: PUSH1 0x40
02af: DUP1
02b0: MLOAD
02b1: PUSH1 0xff
02b3: SWAP1
02b4: SWAP3
02b5: AND
02b6: DUP3
02b7: MSTORE
02b8: MLOAD
02b9: SWAP1
02ba: DUP2
02bb: SWAP1
02bc: SUB
02bd: PUSH1 0x20
02bf: ADD
02c0: SWAP1
02c1: RETURN
02c2: JUMPDEST
02c3: CALLVALUE
02c4: DUP1
02c5: ISZERO
02c6: PUSH2 0x02ce
02c9: JUMPI
02ca: PUSH1 0x00
02cc: DUP1
02cd: REVERT
02ce: JUMPDEST
02cf: POP
02d0: PUSH2 0x0270
02d3: PUSH2 0x046c
02d6: JUMP
02d7: JUMPDEST
02d8: CALLVALUE
02d9: DUP1
02da: ISZERO
02db: PUSH2 0x02e3
02de: JUMPI
02df: PUSH1 0x00
02e1: DUP1
02e2: REVERT
02e3: JUMPDEST
02e4: POP
02e5: PUSH2 0x02ec
02e8: PUSH2 0x0472
02eb: JUMP
02ec: JUMPDEST
02ed: PUSH1 0x40
02ef: DUP1
02f0: MLOAD
02f1: PUSH1 0x01
02f3: PUSH1 0xa0
02f5: PUSH1 0x02
02f7: EXP
02f8: SUB
02f9: SWAP1
02fa: SWAP3
02fb: AND
02fc: DUP3
02fd: MSTORE
02fe: MLOAD
02ff: SWAP1
0300: DUP2
0301: SWAP1
0302: SUB
0303: PUSH1 0x20
0305: ADD
0306: SWAP1
0307: RETURN
0308: JUMPDEST
0309: CALLVALUE
030a: DUP1
030b: ISZERO
030c: PUSH2 0x0314
030f: JUMPI
0310: PUSH1 0x00
0312: DUP1
0313: REVERT
0314: JUMPDEST
0315: POP
0316: PUSH2 0x0270
0319: PUSH2 0x0481
031c: JUMP
031d: JUMPDEST
031e: CALLVALUE
031f: DUP1
0320: ISZERO
0321: PUSH2 0x0329
0324: JUMPI
0325: PUSH1 0x00
0327: DUP1
0328: REVERT
0329: JUMPDEST
032a: POP
032b: PUSH2 0x0259
032e: PUSH2 0x051c
0331: JUMP
0332: JUMPDEST
0333: CALLVALUE
0334: DUP1
0335: ISZERO
0336: PUSH2 0x033e
0339: JUMPI
033a: PUSH1 0x00
033c: DUP1
033d: REVERT
033e: JUMPDEST
033f: POP
0340: PUSH2 0x02ec
0343: PUSH2 0x0681
0346: JUMP
0347: JUMPDEST
0348: CALLVALUE
0349: DUP1
034a: ISZERO
034b: PUSH2 0x0353
034e: JUMPI
034f: PUSH1 0x00
0351: DUP1
0352: REVERT
0353: JUMPDEST
0354: POP
0355: PUSH2 0x0270
0358: PUSH1 0x01
035a: PUSH1 0xa0
035c: PUSH1 0x02
035e: EXP
035f: SUB
0360: PUSH1 0x04
0362: CALLDATALOAD
0363: AND
0364: PUSH2 0x0695
0367: JUMP
0368: JUMPDEST
0369: CALLVALUE
036a: DUP1
036b: ISZERO
036c: PUSH2 0x0374
036f: JUMPI
0370: PUSH1 0x00
0372: DUP1
0373: REVERT
0374: JUMPDEST
0375: POP
0376: PUSH2 0x02ec
0379: PUSH2 0x06a7
037c: JUMP
037d: JUMPDEST
037e: CALLVALUE
037f: DUP1
0380: ISZERO
0381: PUSH2 0x0389
0384: JUMPI
0385: PUSH1 0x00
0387: DUP1
0388: REVERT
0389: JUMPDEST
038a: POP
038b: PUSH2 0x0259
038e: PUSH2 0x06ab
0391: JUMP
0392: JUMPDEST
0393: CALLVALUE
0394: DUP1
0395: ISZERO
0396: PUSH2 0x039e
0399: JUMPI
039a: PUSH1 0x00
039c: DUP1
039d: REVERT
039e: JUMPDEST
039f: POP
03a0: PUSH2 0x0259
03a3: PUSH1 0x04
03a5: CALLDATALOAD
03a6: PUSH2 0x073f
03a9: JUMP
03aa: JUMPDEST
03ab: CALLVALUE
03ac: DUP1
03ad: ISZERO
03ae: PUSH2 0x03b6
03b1: JUMPI
03b2: PUSH1 0x00
03b4: DUP1
03b5: REVERT
03b6: JUMPDEST
03b7: POP
03b8: PUSH2 0x0270
03bb: PUSH2 0x074e
03be: JUMP
03bf: JUMPDEST
03c0: CALLVALUE
03c1: DUP1
03c2: ISZERO
03c3: PUSH2 0x03cb
03c6: JUMPI
03c7: PUSH1 0x00
03c9: DUP1
03ca: REVERT
03cb: JUMPDEST
03cc: POP
03cd: PUSH2 0x0270
03d0: PUSH2 0x0754
03d3: JUMP
03d4: JUMPDEST
03d5: CALLVALUE
03d6: DUP1
03d7: ISZERO
03d8: PUSH2 0x03e0
03db: JUMPI
03dc: PUSH1 0x00
03de: DUP1
03df: REVERT
03e0: JUMPDEST
03e1: POP
03e2: PUSH2 0x0259
03e5: PUSH1 0x04
03e7: CALLDATALOAD
03e8: PUSH2 0x075a
03eb: JUMP
03ec: JUMPDEST
03ed: CALLVALUE
03ee: DUP1
03ef: ISZERO
03f0: PUSH2 0x03f8
03f3: JUMPI
03f4: PUSH1 0x00
03f6: DUP1
03f7: REVERT
03f8: JUMPDEST
03f9: POP
03fa: PUSH2 0x02ec
03fd: PUSH2 0x0774
0400: JUMP
0401: JUMPDEST
0402: CALLVALUE
0403: DUP1
0404: ISZERO
0405: PUSH2 0x040d
0408: JUMPI
0409: PUSH1 0x00
040b: DUP1
040c: REVERT
040d: JUMPDEST
040e: POP
040f: PUSH2 0x0270
0412: PUSH2 0x0783
0415: JUMP
0416: JUMPDEST
0417: CALLVALUE
0418: DUP1
0419: ISZERO
041a: PUSH2 0x0422
041d: JUMPI
041e: PUSH1 0x00
0420: DUP1
0421: REVERT
0422: JUMPDEST
0423: POP
0424: PUSH2 0x042b
0427: PUSH2 0x0789
042a: JUMP
042b: JUMPDEST
042c: PUSH1 0x40
042e: DUP1
042f: MLOAD
0430: SWAP2
0431: ISZERO
0432: ISZERO
0433: DUP3
0434: MSTORE
0435: MLOAD
0436: SWAP1
0437: DUP2
0438: SWAP1
0439: SUB
043a: PUSH1 0x20
043c: ADD
043d: SWAP1
043e: RETURN
043f: JUMPDEST
0440: PUSH1 0x09
0442: DUP1
0443: SLOAD
0444: PUSH2 0xff00
0447: NOT
0448: AND
0449: SWAP1
044a: SSTORE
044b: JUMP
044c: JUMPDEST
044d: PUSH1 0x04
044f: SLOAD
0450: DUP2
0451: JUMP
0452: JUMPDEST
0453: PUSH1 0x09
0455: DUP1
0456: SLOAD
0457: PUSH2 0xff00
045a: NOT
045b: AND
045c: PUSH2 0x0100
045f: OR
0460: SWAP1
0461: SSTORE
0462: JUMP
0463: JUMPDEST
0464: PUSH1 0x06
0466: SLOAD
0467: PUSH1 0xff
0469: AND
046a: DUP2
046b: JUMP
046c: JUMPDEST
046d: PUSH1 0x07
RANGE (1308, 1605)
051c: JUMPDEST
051d: PUSH1 0x06
051f: SLOAD
0520: PUSH1 0x40
0522: DUP1
0523: MLOAD
0524: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0545: DUP2
0546: MSTORE
0547: ADDRESS
0548: PUSH1 0x04
054a: DUP3
054b: ADD
054c: MSTORE
054d: SWAP1
054e: MLOAD
054f: PUSH1 0x00
0551: SWAP3
0552: DUP4
0553: SWAP3
0554: PUSH2 0x0100
0557: SWAP1
0558: SWAP2
0559: DIV
055a: PUSH1 0x01
055c: PUSH1 0xa0
055e: PUSH1 0x02
0560: EXP
0561: SUB
0562: AND
0563: SWAP2
0564: PUSH4 0x70a08231
0569: SWAP2
056a: PUSH1 0x24
056c: DUP1
056d: DUP3
056e: ADD
056f: SWAP3
0570: PUSH1 0x20
0572: SWAP3
0573: SWAP1
0574: SWAP2
0575: SWAP1
0576: DUP3
0577: SWAP1
0578: SUB
0579: ADD
057a: DUP2
057b: DUP8
057c: DUP8
057d: DUP1
057e: EXTCODESIZE
057f: ISZERO
0580: DUP1
0581: ISZERO
0582: PUSH2 0x058a
0585: JUMPI
0586: PUSH1 0x00
0588: DUP1
0589: REVERT
058a: JUMPDEST
058b: POP
058c: GAS
058d: CALL
058e: ISZERO
058f: DUP1
0590: ISZERO
0591: PUSH2 0x059e
0594: JUMPI
0595: RETURNDATASIZE
0596: PUSH1 0x00
0598: DUP1
0599: RETURNDATACOPY
059a: RETURNDATASIZE
059b: PUSH1 0x00
059d: REVERT
059e: JUMPDEST
059f: POP
05a0: POP
05a1: POP
05a2: POP
05a3: PUSH1 0x40
05a5: MLOAD
05a6: RETURNDATASIZE
05a7: PUSH1 0x20
05a9: DUP2
05aa: LT
05ab: ISZERO
05ac: PUSH2 0x05b4
05af: JUMPI
05b0: PUSH1 0x00
05b2: DUP1
05b3: REVERT
05b4: JUMPDEST
05b5: POP
05b6: MLOAD
05b7: PUSH1 0x06
05b9: SLOAD
05ba: PUSH1 0x01
05bc: SLOAD
05bd: PUSH1 0x40
05bf: DUP1
05c0: MLOAD
05c1: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
05e2: DUP2
05e3: MSTORE
05e4: PUSH1 0x01
05e6: PUSH1 0xa0
05e8: PUSH1 0x02
05ea: EXP
05eb: SUB
05ec: SWAP3
05ed: DUP4
05ee: AND
05ef: PUSH1 0x04
05f1: DUP3
05f2: ADD
05f3: MSTORE
05f4: PUSH1 0x24
05f6: DUP2
05f7: ADD
05f8: DUP6
05f9: SWAP1
05fa: MSTORE
05fb: SWAP1
05fc: MLOAD
05fd: SWAP4
05fe: SWAP6
05ff: POP
0600: ADDRESS
0601: SWAP5
0602: POP
0603: PUSH2 0x0100
0606: SWAP1
0607: SWAP3
0608: DIV
0609: AND
060a: SWAP2
060b: PUSH4 0xa9059cbb
0610: SWAP2
0611: PUSH1 0x44
0613: DUP1
0614: DUP3
0615: ADD
0616: SWAP3
0617: PUSH1 0x00
0619: SWAP3
061a: SWAP1
061b: SWAP2
061c: SWAP1
061d: DUP3
061e: SWAP1
061f: SUB
0620: ADD
0621: DUP2
0622: DUP4
0623: DUP8
0624: DUP1
0625: EXTCODESIZE
0626: ISZERO
0627: DUP1
0628: ISZERO
0629: PUSH2 0x0631
062c: JUMPI
062d: PUSH1 0x00
062f: DUP1
0630: REVERT
0631: JUMPDEST
0632: POP
0633: GAS
0634: CALL
0635: ISZERO
0636: DUP1
0637: ISZERO
0638: PUSH2 0x0645
063b: JUMPI
063c: RETURNDATASIZE
063d: PUSH1 0x00
063f: DUP1
0640: RETURNDATACOPY
0641: RETURNDATASIZE
0642: PUSH1 0x00
0644: REVERT
0645: JUMPDEST
RANGE (1707, 1855)
06ab: JUMPDEST
06ac: PUSH1 0x00
06ae: DUP1
06af: SLOAD
06b0: PUSH1 0x03
06b2: SLOAD
06b3: PUSH1 0x40
06b5: MLOAD
06b6: PUSH1 0x01
06b8: PUSH1 0xa0
06ba: PUSH1 0x02
06bc: EXP
06bd: SUB
06be: SWAP1
06bf: SWAP3
06c0: AND
06c1: SWAP3
06c2: DUP2
06c3: ISZERO
06c4: PUSH2 0x08fc
06c7: MUL
06c8: SWAP3
06c9: SWAP1
06ca: DUP2
06cb: DUP2
06cc: DUP2
06cd: DUP6
06ce: DUP9
06cf: DUP9
06d0: CALL
06d1: SWAP4
06d2: POP
06d3: POP
06d4: POP
06d5: POP
06d6: ISZERO
06d7: PUSH2 0x073d
06da: JUMPI
06db: PUSH1 0x00
06dd: DUP1
06de: SLOAD
06df: PUSH1 0x03
06e1: SLOAD
06e2: PUSH1 0x40
06e4: DUP1
06e5: MLOAD
06e6: PUSH1 0x01
06e8: PUSH1 0xa0
06ea: PUSH1 0x02
06ec: EXP
06ed: SUB
06ee: SWAP1
06ef: SWAP4
06f0: AND
06f1: DUP4
06f2: MSTORE
06f3: PUSH1 0x20
06f5: DUP4
06f6: ADD
06f7: SWAP2
06f8: SWAP1
06f9: SWAP2
06fa: MSTORE
06fb: DUP2
06fc: DUP2
06fd: ADD
06fe: SWAP3
06ff: SWAP1
0700: SWAP3
0701: MSTORE
0702: SWAP1
0703: MLOAD
0704: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6
0725: SWAP2
0726: DUP2
0727: SWAP1
0728: SUB
0729: PUSH1 0x60
072b: ADD
072c: SWAP1
072d: LOG1
072e: PUSH1 0x09
0730: DUP1
0731: SLOAD
0732: PUSH1 0xff
0734: NOT
0735: AND
0736: SWAP1
0737: SSTORE
0738: PUSH1 0x00
073a: PUSH1 0x03
073c: SSTORE
073d: JUMPDEST
073e: JUMP
073f: JUMPDEST
RANGE (1882, 1929)
075a: JUMPDEST
075b: DUP1
075c: PUSH8 0x0de0b6b3a7640000
0765: DUP2
0766: ISZERO
0767: ISZERO
0768: PUSH2 0x076d
076b: JUMPI
076c: INVALID
076d: JUMPDEST
076e: DIV
076f: PUSH1 0x05
0771: SSTORE
0772: POP
0773: JUMP
0774: JUMPDEST
0775: PUSH1 0x01
0777: SLOAD
0778: PUSH1 0x01
077a: PUSH1 0xa0
077c: PUSH1 0x02
077e: EXP
077f: SUB
0780: AND
0781: DUP2
0782: JUMP
0783: JUMPDEST
0784: PUSH1 0x05
0786: SLOAD
0787: DUP2
0788: JUMP
0789: JUMPDEST
exec
/bin/bash -lc "python - <<'PY'
code=bytes.fromhex('6080604052600436106101065763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631f6c7506811461024457806329dcb0cf1461025b5780632bc75d9b14610282578063313ce5671461029757806331fb1266146102c257806338af3eed146102d75780635205b80f146103085780635515cbf01461031d5780636e66f6e91461033257806370a082311461034757806375013a221461036857806376f468471461037d578063787a14ad146103925780637a3a0e84146103aa5780637b3e5e7b146103bf5780638a98deca146103d45780639d76ea58146103ec578063a035b1fe14610401578063ccb07cef14610416575b600954600090610100900460ff161561011e57600080fd5b60075434101561012d57600080fd5b50336000818152600860205260409020805434908101909155600380548201905560065460055491926101008204600160a060020a03169263a9059cbb9260ff16600a0a850281151561017c57fe5b046040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050600060405180830381600087803b1580156101e857600080fd5b505af11580156101fc573d6000803e3d6000fd5b5050604080513381526020810185905260018183015290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69350908190036060019150a150005b34801561025057600080fd5b5061025961043f565b005b34801561026757600080fd5b5061027061044c565b60408051918252519081900360200190f35b34801561028e57600080fd5b50610259610452565b3480156102a357600080fd5b506102ac610463565b6040805160ff9092168252519081900360200190f35b3480156102ce57600080fd5b5061027061046c565b3480156102e357600080fd5b506102ec610472565b60408051600160a060020a039092168252519081900360200190f35b34801561031457600080fd5b50610270610481565b34801561032957600080fd5b5061025961051c565b34801561033e57600080fd5b506102ec610681565b34801561035357600080fd5b50610270600160a060020a0360043516610695565b34801561037457600080fd5b506102ec6106a7565b34801561038957600080fd5b506102596106ab565b34801561039e57600080fd5b5061025960043561073f565b3480156103b657600080fd5b5061027061074e565b3480156103cb57600080fd5b50610270610754565b3480156103e057600080fd5b5061025960043561075a565b3480156103f857600080fd5b506102ec610774565b34801561040d57600080fd5b50610270610783565b34801561042257600080fd5b5061042b610789565b604080519115158252519081900360200190f35b6009805461ff0019169055565b60045481565b6009805461ff001916610100179055565b60065460ff1681565b60075481565b600054600160a060020a031681565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000926101009004600160a060020a0316916370a0823191602480830192602092919082900301818787803b1580156104eb57600080fd5b505af11580156104ff573d6000803e3d6000fd5b505050506040513d602081101561051557600080fd5b5051905090565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928392610100909104600160a060020a0316916370a082319160248082019260209290919082900301818787803b15801561058a57600080fd5b505af115801561059e573d6000803e3d6000fd5b505050506040513d60208110156105b457600080fd5b5051600654600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018590529051939550309450610100909204169163a9059cbb9160448082019260009290919082900301818387803b15801561063157600080fd5b505af1158015610645573d6000803e3d6000fd5b50506040805185815290517fbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b9350908190036020019150a15050565b6006546101009004600160a060020a031681565b60086020526000908152604090205481565b3090565b60008054600354604051600160a060020a039092169281156108fc029290818181858888f193505050501561073d576000805460035460408051600160a060020a03909316835260208301919091528181019290925290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69181900360600190a16009805460ff1916905560006003555b565b670de0b6b3a764000002600755565b60025481565b60035481565b80670de0b6b3a764000081151561076d57fe5b0460055550565b600154600160a060020a031681565b60055481565b600954610100900460ff16815600a165627a7a723058207949b8ffe90e63939d3f11054d7d8d8516380bfaa9a2bcb84d9312beac4dbed40029')
ops={0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x20:'SHA3',0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'}
for i in range(1,33): ops[0x5f+i]=f'PUSH{i}'
for i in range(1,17): ops[0x7f+i]=f'DUP{i}'
for i in range(1,17): ops[0x8f+i]=f'SWAP{i}'
for i in range(0,5): ops[0xa0+i]=f'LOG{i}'
def dis(start,end):
pc=start
while pc<=end and pc<len(code):
op=ops.get(code[pc], f'OP_{code[pc]:02x}')
if op.startswith('PUSH'):
n=int(op[4:]); data=code[pc+1:pc+1+n]
print(f'{pc:04x}: {op:<7} 0x{data.hex()}')
pc+=1+n
else:
print(f'{pc:04x}: {op}')
pc+=1
for rng in [(0x46c,0x51c),(0x645,0x6ab),(0x73f,0x78f),(0x100,0x244)]:
print('\\nRANGE',rng)
dis(*rng)
PY" in /tmp/codex-aouz498k
succeeded in 0ms:
RANGE (1132, 1308)
046c: JUMPDEST
046d: PUSH1 0x07
046f: SLOAD
0470: DUP2
0471: JUMP
0472: JUMPDEST
0473: PUSH1 0x00
0475: SLOAD
0476: PUSH1 0x01
0478: PUSH1 0xa0
047a: PUSH1 0x02
047c: EXP
047d: SUB
047e: AND
047f: DUP2
0480: JUMP
0481: JUMPDEST
0482: PUSH1 0x06
0484: SLOAD
0485: PUSH1 0x40
0487: DUP1
0488: MLOAD
0489: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
04aa: DUP2
04ab: MSTORE
04ac: ADDRESS
04ad: PUSH1 0x04
04af: DUP3
04b0: ADD
04b1: MSTORE
04b2: SWAP1
04b3: MLOAD
04b4: PUSH1 0x00
04b6: SWAP3
04b7: PUSH2 0x0100
04ba: SWAP1
04bb: DIV
04bc: PUSH1 0x01
04be: PUSH1 0xa0
04c0: PUSH1 0x02
04c2: EXP
04c3: SUB
04c4: AND
04c5: SWAP2
04c6: PUSH4 0x70a08231
04cb: SWAP2
04cc: PUSH1 0x24
04ce: DUP1
04cf: DUP4
04d0: ADD
04d1: SWAP3
04d2: PUSH1 0x20
04d4: SWAP3
04d5: SWAP2
04d6: SWAP1
04d7: DUP3
04d8: SWAP1
04d9: SUB
04da: ADD
04db: DUP2
04dc: DUP8
04dd: DUP8
04de: DUP1
04df: EXTCODESIZE
04e0: ISZERO
04e1: DUP1
04e2: ISZERO
04e3: PUSH2 0x04eb
04e6: JUMPI
04e7: PUSH1 0x00
04e9: DUP1
04ea: REVERT
04eb: JUMPDEST
04ec: POP
04ed: GAS
04ee: CALL
04ef: ISZERO
04f0: DUP1
04f1: ISZERO
04f2: PUSH2 0x04ff
04f5: JUMPI
04f6: RETURNDATASIZE
04f7: PUSH1 0x00
04f9: DUP1
04fa: RETURNDATACOPY
04fb: RETURNDATASIZE
04fc: PUSH1 0x00
04fe: REVERT
04ff: JUMPDEST
0500: POP
0501: POP
0502: POP
0503: POP
0504: PUSH1 0x40
0506: MLOAD
0507: RETURNDATASIZE
0508: PUSH1 0x20
050a: DUP2
050b: LT
050c: ISZERO
050d: PUSH2 0x0515
0510: JUMPI
0511: PUSH1 0x00
0513: DUP1
0514: REVERT
0515: JUMPDEST
0516: POP
0517: MLOAD
0518: SWAP1
0519: POP
051a: SWAP1
051b: JUMP
051c: JUMPDEST
RANGE (1605, 1707)
0645: JUMPDEST
0646: POP
0647: POP
0648: PUSH1 0x40
064a: DUP1
064b: MLOAD
064c: DUP6
064d: DUP2
064e: MSTORE
064f: SWAP1
0650: MLOAD
0651: PUSH32 0xbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b
0672: SWAP4
0673: POP
0674: SWAP1
0675: DUP2
0676: SWAP1
0677: SUB
0678: PUSH1 0x20
067a: ADD
067b: SWAP2
067c: POP
067d: LOG1
067e: POP
067f: POP
0680: JUMP
0681: JUMPDEST
0682: PUSH1 0x06
0684: SLOAD
0685: PUSH2 0x0100
0688: SWAP1
0689: DIV
068a: PUSH1 0x01
068c: PUSH1 0xa0
068e: PUSH1 0x02
0690: EXP
0691: SUB
0692: AND
0693: DUP2
0694: JUMP
0695: JUMPDEST
0696: PUSH1 0x08
0698: PUSH1 0x20
069a: MSTORE
069b: PUSH1 0x00
069d: SWAP1
069e: DUP2
069f: MSTORE
06a0: PUSH1 0x40
06a2: SWAP1
06a3: SHA3
06a4: SLOAD
06a5: DUP2
06a6: JUMP
06a7: JUMPDEST
06a8: ADDRESS
06a9: SWAP1
06aa: JUMP
06ab: JUMPDEST
RANGE (1855, 1935)
073f: JUMPDEST
0740: PUSH8 0x0de0b6b3a7640000
0749: MUL
074a: PUSH1 0x07
074c: SSTORE
074d: JUMP
074e: JUMPDEST
074f: PUSH1 0x02
0751: SLOAD
0752: DUP2
0753: JUMP
0754: JUMPDEST
0755: PUSH1 0x03
0757: SLOAD
0758: DUP2
0759: JUMP
075a: JUMPDEST
075b: DUP1
075c: PUSH8 0x0de0b6b3a7640000
0765: DUP2
0766: ISZERO
0767: ISZERO
0768: PUSH2 0x076d
076b: JUMPI
076c: INVALID
076d: JUMPDEST
076e: DIV
076f: PUSH1 0x05
0771: SSTORE
0772: POP
0773: JUMP
0774: JUMPDEST
0775: PUSH1 0x01
0777: SLOAD
0778: PUSH1 0x01
077a: PUSH1 0xa0
077c: PUSH1 0x02
077e: EXP
077f: SUB
0780: AND
0781: DUP2
0782: JUMP
0783: JUMPDEST
0784: PUSH1 0x05
0786: SLOAD
0787: DUP2
0788: JUMP
0789: JUMPDEST
078a: PUSH1 0x09
078c: SLOAD
078d: PUSH2 0x0100
RANGE (256, 580)
0100: OP_ef
0101: EQ
0102: PUSH2 0x0416
0105: JUMPI
0106: JUMPDEST
0107: PUSH1 0x09
0109: SLOAD
010a: PUSH1 0x00
010c: SWAP1
010d: PUSH2 0x0100
0110: SWAP1
0111: DIV
0112: PUSH1 0xff
0114: AND
0115: ISZERO
0116: PUSH2 0x011e
0119: JUMPI
011a: PUSH1 0x00
011c: DUP1
011d: REVERT
011e: JUMPDEST
011f: PUSH1 0x07
0121: SLOAD
0122: CALLVALUE
0123: LT
0124: ISZERO
0125: PUSH2 0x012d
0128: JUMPI
0129: PUSH1 0x00
012b: DUP1
012c: REVERT
012d: JUMPDEST
012e: POP
012f: CALLER
0130: PUSH1 0x00
0132: DUP2
0133: DUP2
0134: MSTORE
0135: PUSH1 0x08
0137: PUSH1 0x20
0139: MSTORE
013a: PUSH1 0x40
013c: SWAP1
013d: SHA3
013e: DUP1
013f: SLOAD
0140: CALLVALUE
0141: SWAP1
0142: DUP2
0143: ADD
0144: SWAP1
0145: SWAP2
0146: SSTORE
0147: PUSH1 0x03
0149: DUP1
014a: SLOAD
014b: DUP3
014c: ADD
014d: SWAP1
014e: SSTORE
014f: PUSH1 0x06
0151: SLOAD
0152: PUSH1 0x05
0154: SLOAD
0155: SWAP2
0156: SWAP3
0157: PUSH2 0x0100
015a: DUP3
015b: DIV
015c: PUSH1 0x01
015e: PUSH1 0xa0
0160: PUSH1 0x02
0162: EXP
0163: SUB
0164: AND
0165: SWAP3
0166: PUSH4 0xa9059cbb
016b: SWAP3
016c: PUSH1 0xff
016e: AND
016f: PUSH1 0x0a
0171: EXP
0172: DUP6
0173: MUL
0174: DUP2
0175: ISZERO
0176: ISZERO
0177: PUSH2 0x017c
017a: JUMPI
017b: INVALID
017c: JUMPDEST
017d: DIV
017e: PUSH1 0x40
0180: MLOAD
0181: DUP4
0182: PUSH4 0xffffffff
0187: AND
0188: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
01a6: MUL
01a7: DUP2
01a8: MSTORE
01a9: PUSH1 0x04
01ab: ADD
01ac: DUP1
01ad: DUP4
01ae: PUSH1 0x01
01b0: PUSH1 0xa0
01b2: PUSH1 0x02
01b4: EXP
01b5: SUB
01b6: AND
01b7: PUSH1 0x01
01b9: PUSH1 0xa0
01bb: PUSH1 0x02
01bd: EXP
01be: SUB
01bf: AND
01c0: DUP2
01c1: MSTORE
01c2: PUSH1 0x20
01c4: ADD
01c5: DUP3
01c6: DUP2
01c7: MSTORE
01c8: PUSH1 0x20
01ca: ADD
01cb: SWAP3
01cc: POP
01cd: POP
01ce: POP
01cf: PUSH1 0x00
01d1: PUSH1 0x40
01d3: MLOAD
01d4: DUP1
01d5: DUP4
01d6: SUB
01d7: DUP2
01d8: PUSH1 0x00
01da: DUP8
01db: DUP1
01dc: EXTCODESIZE
01dd: ISZERO
01de: DUP1
01df: ISZERO
01e0: PUSH2 0x01e8
01e3: JUMPI
01e4: PUSH1 0x00
01e6: DUP1
01e7: REVERT
01e8: JUMPDEST
01e9: POP
01ea: GAS
01eb: CALL
01ec: ISZERO
01ed: DUP1
01ee: ISZERO
01ef: PUSH2 0x01fc
01f2: JUMPI
01f3: RETURNDATASIZE
01f4: PUSH1 0x00
01f6: DUP1
01f7: RETURNDATACOPY
01f8: RETURNDATASIZE
01f9: PUSH1 0x00
01fb: REVERT
01fc: JUMPDEST
01fd: POP
01fe: POP
01ff: PUSH1 0x40
0201: DUP1
0202: MLOAD
0203: CALLER
0204: DUP2
0205: MSTORE
0206: PUSH1 0x20
0208: DUP2
0209: ADD
020a: DUP6
020b: SWAP1
020c: MSTORE
020d: PUSH1 0x01
020f: DUP2
0210: DUP4
0211: ADD
0212: MSTORE
0213: SWAP1
0214: MLOAD
0215: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6
0236: SWAP4
0237: POP
0238: SWAP1
0239: DUP2
023a: SWAP1
023b: SUB
023c: PUSH1 0x60
023e: ADD
023f: SWAP2
0240: POP
0241: LOG1
0242: POP
0243: STOP
0244: JUMPDEST
exec
/bin/bash -lc "python - <<'PY'
code=bytes.fromhex('6080604052600436106101065763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631f6c7506811461024457806329dcb0cf1461025b5780632bc75d9b14610282578063313ce5671461029757806331fb1266146102c257806338af3eed146102d75780635205b80f146103085780635515cbf01461031d5780636e66f6e91461033257806370a082311461034757806375013a221461036857806376f468471461037d578063787a14ad146103925780637a3a0e84146103aa5780637b3e5e7b146103bf5780638a98deca146103d45780639d76ea58146103ec578063a035b1fe14610401578063ccb07cef14610416575b600954600090610100900460ff161561011e57600080fd5b60075434101561012d57600080fd5b50336000818152600860205260409020805434908101909155600380548201905560065460055491926101008204600160a060020a03169263a9059cbb9260ff16600a0a850281151561017c57fe5b046040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050600060405180830381600087803b1580156101e857600080fd5b505af11580156101fc573d6000803e3d6000fd5b5050604080513381526020810185905260018183015290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69350908190036060019150a150005b34801561025057600080fd5b5061025961043f565b005b34801561026757600080fd5b5061027061044c565b60408051918252519081900360200190f35b34801561028e57600080fd5b50610259610452565b3480156102a357600080fd5b506102ac610463565b6040805160ff9092168252519081900360200190f35b3480156102ce57600080fd5b5061027061046c565b3480156102e357600080fd5b506102ec610472565b60408051600160a060020a039092168252519081900360200190f35b34801561031457600080fd5b50610270610481565b34801561032957600080fd5b5061025961051c565b34801561033e57600080fd5b506102ec610681565b34801561035357600080fd5b50610270600160a060020a0360043516610695565b34801561037457600080fd5b506102ec6106a7565b34801561038957600080fd5b506102596106ab565b34801561039e57600080fd5b5061025960043561073f565b3480156103b657600080fd5b5061027061074e565b3480156103cb57600080fd5b50610270610754565b3480156103e057600080fd5b5061025960043561075a565b3480156103f857600080fd5b506102ec610774565b34801561040d57600080fd5b50610270610783565b34801561042257600080fd5b5061042b610789565b604080519115158252519081900360200190f35b6009805461ff0019169055565b60045481565b6009805461ff001916610100179055565b60065460ff1681565b60075481565b600054600160a060020a031681565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000926101009004600160a060020a0316916370a0823191602480830192602092919082900301818787803b1580156104eb57600080fd5b505af11580156104ff573d6000803e3d6000fd5b505050506040513d602081101561051557600080fd5b5051905090565b600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928392610100909104600160a060020a0316916370a082319160248082019260209290919082900301818787803b15801561058a57600080fd5b505af115801561059e573d6000803e3d6000fd5b505050506040513d60208110156105b457600080fd5b5051600654600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018590529051939550309450610100909204169163a9059cbb9160448082019260009290919082900301818387803b15801561063157600080fd5b505af1158015610645573d6000803e3d6000fd5b50506040805185815290517fbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b9350908190036020019150a15050565b6006546101009004600160a060020a031681565b60086020526000908152604090205481565b3090565b60008054600354604051600160a060020a039092169281156108fc029290818181858888f193505050501561073d576000805460035460408051600160a060020a03909316835260208301919091528181019290925290517fe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf69181900360600190a16009805460ff1916905560006003555b565b670de0b6b3a764000002600755565b60025481565b60035481565b80670de0b6b3a764000081151561076d57fe5b0460055550565b600154600160a060020a031681565b60055481565b600954610100900460ff16815600a165627a7a723058207949b8ffe90e63939d3f11054d7d8d8516380bfaa9a2bcb84d9312beac4dbed40029')
ops={0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x20:'SHA3',0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'}
for i in range(1,33): ops[0x5f+i]=f'PUSH{i}'
for i in range(1,17): ops[0x7f+i]=f'DUP{i}'
for i in range(1,17): ops[0x8f+i]=f'SWAP{i}'
for i in range(0,5): ops[0xa0+i]=f'LOG{i}'
pc=0x789
while pc<0x7a0:
op=ops.get(code[pc], f'OP_{code[pc]:02x}')
if op.startswith('PUSH'):
n=int(op[4:]); data=code[pc+1:pc+1+n]
print(f'{pc:04x}: {op:<7} 0x{data.hex()}')
pc+=1+n
else:
print(f'{pc:04x}: {op}')
pc+=1
PY" in /tmp/codex-aouz498k
succeeded in 0ms:
0789: JUMPDEST
078a: PUSH1 0x09
078c: SLOAD
078d: PUSH2 0x0100
0790: SWAP1
0791: DIV
0792: PUSH1 0xff
0794: AND
0795: DUP2
0796: JUMP
0797: STOP
0798: LOG1
0799: PUSH6 0x627a7a723058
codex
{"no_findings":false,"summary":"The bytecode appears to implement a crowdsale-like contract: a payable fallback sells an ERC20-like token using storage-configured pricing, and several public selectors mutate sale state or move funds/tokens. Based on bytecode only, the strongest issues are missing access control on admin-style functions and unchecked ERC20 `transfer` return data; selector names are best-effort inferences.","findings":[{"severity":"high","category":"access_control","title":"Admin-style sale controls are publicly callable","exploit_scenario":"Any external account can change sale-critical parameters and pause state, then immediately trade against the modified settings. In particular, selector `0x8a98deca` writes slot `0x5` (used by the fallback purchase path to compute token amount), so an attacker can set an arbitrary pricing divisor and then buy tokens via the payable fallback at a manipulated rate. The same lack of gating lets anyone pause/unpause the sale or change the per-call value limit in slot `0x7`, causing either economic abuse or denial of service.","recommendation":"Restrict all configuration and pause/unpause entrypoints with an explicit admin check (for example, `onlyOwner`/RBAC) enforced before any `SSTORE`. If this contract is already deployed and immutable, treat these functions as compromised control surfaces and avoid relying on them for privileged behavior.","evidence":"No caller/role check is visible before privileged storage writes. Selector `0x1f6c7506` reaches `pc 0x043f` and clears bits in slot `0x9`; selector `0x2bc75d9b` reaches `pc 0x0452` and sets the same pause byte; selector `0x7a3a0e84` reaches `pc 0x073f` and writes slot `0x7`; selector `0x8a98deca` reaches `pc 0x075a` and writes slot `0x5`. The payable fallback starting near `pc 0x0107` reads slot `0x7` for a value check and slot `0x5` for token pricing before transferring tokens at `pc 0x01eb`. The artifact's auth heuristic also found no guards.","locations":["selector:0x1f6c7506","pc:0x43f","selector:0x2bc75d9b","pc:0x452","selector:0x7a3a0e84","pc:0x73f","selector:0x8a98deca","pc:0x75a","pc:0x107","pc:0x1eb"]},{"severity":"medium","category":"access_control","title":"Anyone can force treasury/token sweep flows","exploit_scenario":"Any account can trigger the ETH-forwarding routine and the token-sweep routine even though both behave like privileged lifecycle actions. An attacker cannot redirect assets to themselves from the observed bytecode, because recipients come from fixed storage slots, but they can force premature sale finalization behavior: push accumulated ETH to the beneficiary wallet, zero out the accounting slot, and/or move the contract's token inventory to the fixed recipient, disrupting the intended sale schedule or user expectations.","recommendation":"Gate these entrypoints with an admin check and, if they are intended as finalize functions, add explicit lifecycle conditions so they cannot be called prematurely.","evidence":"Selector `0x76f46847` reaches `pc 0x06ab`, loads slot `0x0` as the recipient and slot `0x3` as the ETH amount, performs a value-bearing `CALL` at `pc 0x06d0`, then clears slot `0x3` at `pc 0x073c`. Selector `0x5515cbf0` reaches `pc 0x051c`, reads the contract token balance with `balanceOf`, then calls token `transfer` to the slot `0x1` recipient at `pc 0x0634`. Neither path shows any caller authentication before execution.","locations":["selector:0x76f46847","pc:0x6ab","pc:0x6d0","pc:0x73c","selector:0x5515cbf0","pc:0x51c","pc:0x634"]},{"severity":"low","category":"other","title":"Low-level ERC20 transfer calls do not validate boolean return values","exploit_scenario":"If the configured token returns `false` on `transfer` failure instead of reverting, this contract will treat the call as successful. In the payable purchase path, ETH accounting is updated before the token call, so buyers could be recorded as having purchased while receiving no tokens. This depends on the actual token implementation, which is not available in the bytecode bundle, so the impact is uncertain but real for false-returning tokens.","recommendation":"After low-level ERC20 calls, validate returndata: accept empty returndata for non-standard tokens only if that is intentional, otherwise require a decoded boolean `true`. Using a vetted safe-transfer helper avoids this class of issue.","evidence":"The fallback token transfer uses a low-level `CALL` at `pc 0x01eb`; the code checks only the call success flag (`pc 0x01ec` through `pc 0x01fc`) and then continues without decoding returndata. The sweep path does the same at `pc 0x0634` through `pc 0x0645`. By contrast, the `balanceOf` calls at `pc 0x04ee` and `pc 0x058d` explicitly check returndata length and load the returned word, showing that returndata decoding is omitted specifically for `transfer`.","locations":["pc:0x1eb","pc:0x1ec","pc:0x1fc","pc:0x634","pc:0x645","pc:0x4ee","pc:0x58d"]}]}
tokens used
94,176
{
"codex": {
"ran_at": "2026-03-31T18:27:38.345446+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 3976,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "The bytecode appears to implement a crowdsale-like contract: a payable fallback sells an ERC20-like token using storage-configured pricing, and several public selectors mutate sale state or move funds/tokens. Based on bytecode only, the strongest issues are missing access control on admin-style functions and unchecked ERC20 `transfer` return data; selector names are best-effort inferences.",
"raw_final": {
"summary": "The bytecode appears to implement a crowdsale-like contract: a payable fallback sells an ERC20-like token using storage-configured pricing, and several public selectors mutate sale state or move funds/tokens. Based on bytecode only, the strongest issues are missing access control on admin-style functions and unchecked ERC20 `transfer` return data; selector names are best-effort inferences.",
"findings": [
{
"title": "Admin-style sale controls are publicly callable",
"category": "access_control",
"evidence": "No caller/role check is visible before privileged storage writes. Selector `0x1f6c7506` reaches `pc 0x043f` and clears bits in slot `0x9`; selector `0x2bc75d9b` reaches `pc 0x0452` and sets the same pause byte; selector `0x7a3a0e84` reaches `pc 0x073f` and writes slot `0x7`; selector `0x8a98deca` reaches `pc 0x075a` and writes slot `0x5`. The payable fallback starting near `pc 0x0107` reads slot `0x7` for a value check and slot `0x5` for token pricing before transferring tokens at `pc 0x01eb`. The artifact's auth heuristic also found no guards.",
"severity": "high",
"locations": [
"selector:0x1f6c7506",
"pc:0x43f",
"selector:0x2bc75d9b",
"pc:0x452",
"selector:0x7a3a0e84",
"pc:0x73f",
"selector:0x8a98deca",
"pc:0x75a",
"pc:0x107",
"pc:0x1eb"
],
"recommendation": "Restrict all configuration and pause/unpause entrypoints with an explicit admin check (for example, `onlyOwner`/RBAC) enforced before any `SSTORE`. If this contract is already deployed and immutable, treat these functions as compromised control surfaces and avoid relying on them for privileged behavior.",
"exploit_scenario": "Any external account can change sale-critical parameters and pause state, then immediately trade against the modified settings. In particular, selector `0x8a98deca` writes slot `0x5` (used by the fallback purchase path to compute token amount), so an attacker can set an arbitrary pricing divisor and then buy tokens via the payable fallback at a manipulated rate. The same lack of gating lets anyone pause/unpause the sale or change the per-call value limit in slot `0x7`, causing either economic abuse or denial of service."
},
{
"title": "Anyone can force treasury/token sweep flows",
"category": "access_control",
"evidence": "Selector `0x76f46847` reaches `pc 0x06ab`, loads slot `0x0` as the recipient and slot `0x3` as the ETH amount, performs a value-bearing `CALL` at `pc 0x06d0`, then clears slot `0x3` at `pc 0x073c`. Selector `0x5515cbf0` reaches `pc 0x051c`, reads the contract token balance with `balanceOf`, then calls token `transfer` to the slot `0x1` recipient at `pc 0x0634`. Neither path shows any caller authentication before execution.",
"severity": "medium",
"locations": [
"selector:0x76f46847",
"pc:0x6ab",
"pc:0x6d0",
"pc:0x73c",
"selector:0x5515cbf0",
"pc:0x51c",
"pc:0x634"
],
"recommendation": "Gate these entrypoints with an admin check and, if they are intended as finalize functions, add explicit lifecycle conditions so they cannot be called prematurely.",
"exploit_scenario": "Any account can trigger the ETH-forwarding routine and the token-sweep routine even though both behave like privileged lifecycle actions. An attacker cannot redirect assets to themselves from the observed bytecode, because recipients come from fixed storage slots, but they can force premature sale finalization behavior: push accumulated ETH to the beneficiary wallet, zero out the accounting slot, and/or move the contract's token inventory to the fixed recipient, disrupting the intended sale schedule or user expectations."
},
{
"title": "Low-level ERC20 transfer calls do not validate boolean return values",
"category": "other",
"evidence": "The fallback token transfer uses a low-level `CALL` at `pc 0x01eb`; the code checks only the call success flag (`pc 0x01ec` through `pc 0x01fc`) and then continues without decoding returndata. The sweep path does the same at `pc 0x0634` through `pc 0x0645`. By contrast, the `balanceOf` calls at `pc 0x04ee` and `pc 0x058d` explicitly check returndata length and load the returned word, showing that returndata decoding is omitted specifically for `transfer`.",
"severity": "low",
"locations": [
"pc:0x1eb",
"pc:0x1ec",
"pc:0x1fc",
"pc:0x634",
"pc:0x645",
"pc:0x4ee",
"pc:0x58d"
],
"recommendation": "After low-level ERC20 calls, validate returndata: accept empty returndata for non-standard tokens only if that is intentional, otherwise require a decoded boolean `true`. Using a vetted safe-transfer helper avoids this class of issue.",
"exploit_scenario": "If the configured token returns `false` on `transfer` failure instead of reverting, this contract will treat the call as successful. In the payable purchase path, ETH accounting is updated before the token call, so buyers could be recorded as having purchased while receiving no tokens. This depends on the actual token implementation, which is not available in the bytecode bundle, so the impact is uncertain but real for false-returning tokens."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0106 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x1f6c7506 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0244 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x29dcb0cf 00000046: EQ 00000047: PUSH2 0x025b 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x2bc75d9b 00000051: EQ 00000052: PUSH2 0x0282 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x313ce567 0000005c: EQ 0000005d: PUSH2 0x0297 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x31fb1266 00000067: EQ 00000068: PUSH2 0x02c2 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x38af3eed 00000072: EQ 00000073: PUSH2 0x02d7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5205b80f 0000007d: EQ 0000007e: PUSH2 0x0308 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x5515cbf0 00000088: EQ 00000089: PUSH2 0x031d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6e66f6e9 00000093: EQ 00000094: PUSH2 0x0332 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x0347 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x75013a22 000000a9: EQ 000000aa: PUSH2 0x0368 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x76f46847 000000b4: EQ 000000b5: PUSH2 0x037d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x787a14ad 000000bf: EQ 000000c0: PUSH2 0x0392 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x7a3a0e84 000000ca: EQ 000000cb: PUSH2 0x03aa 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x7b3e5e7b 000000d5: EQ 000000d6: PUSH2 0x03bf 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8a98deca 000000e0: EQ 000000e1: PUSH2 0x03d4 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x9d76ea58 000000eb: EQ 000000ec: PUSH2 0x03ec 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xa035b1fe 000000f6: EQ 000000f7: PUSH2 0x0401 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xccb07cef 00000101: EQ 00000102: PUSH2 0x0416 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH1 0x09 00000109: SLOAD 0000010a: PUSH1 0x00 0000010c: SWAP1 0000010d: PUSH2 0x0100 00000110: SWAP1 00000111: DIV 00000112: PUSH1 0xff 00000114: AND 00000115: ISZERO 00000116: PUSH2 0x011e 00000119: JUMPI 0000011a: PUSH1 0x00 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: PUSH1 0x07 00000121: SLOAD 00000122: CALLVALUE 00000123: LT 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: POP 0000012f: CALLER 00000130: PUSH1 0x00 00000132: DUP2 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x08 00000137: PUSH1 0x20 00000139: MSTORE 0000013a: PUSH1 0x40 0000013c: SWAP1 0000013d: KECCAK256 0000013e: DUP1 0000013f: SLOAD 00000140: CALLVALUE 00000141: SWAP1 00000142: DUP2 00000143: ADD 00000144: SWAP1 00000145: SWAP2 00000146: SSTORE 00000147: PUSH1 0x03 00000149: DUP1 0000014a: SLOAD 0000014b: DUP3 0000014c: ADD 0000014d: SWAP1 0000014e: SSTORE 0000014f: PUSH1 0x06 00000151: SLOAD 00000152: PUSH1 0x05 00000154: SLOAD 00000155: SWAP2 00000156: SWAP3 00000157: PUSH2 0x0100 0000015a: DUP3 0000015b: DIV 0000015c: PUSH1 0x01 0000015e: PUSH1 0xa0 00000160: PUSH1 0x02 00000162: EXP 00000163: SUB 00000164: AND 00000165: SWAP3 00000166: PUSH4 0xa9059cbb 0000016b: SWAP3 0000016c: PUSH1 0xff 0000016e: AND 0000016f: PUSH1 0x0a 00000171: EXP 00000172: DUP6 00000173: MUL 00000174: DUP2 00000175: ISZERO 00000176: ISZERO 00000177: PUSH2 0x017c 0000017a: JUMPI 0000017b: INVALID 0000017c: JUMPDEST 0000017d: DIV 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: DUP4 00000182: PUSH4 0xffffffff 00000187: AND 00000188: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000001a6: MUL 000001a7: DUP2 000001a8: MSTORE 000001a9: PUSH1 0x04 000001ab: ADD 000001ac: DUP1 000001ad: DUP4 000001ae: PUSH1 0x01 000001b0: PUSH1 0xa0 000001b2: PUSH1 0x02 000001b4: EXP 000001b5: SUB 000001b6: AND 000001b7: PUSH1 0x01 000001b9: PUSH1 0xa0 000001bb: PUSH1 0x02 000001bd: EXP 000001be: SUB 000001bf: AND 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: DUP3 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: SWAP3 000001cc: POP 000001cd: POP 000001ce: POP 000001cf: PUSH1 0x00 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: DUP4 000001d6: SUB 000001d7: DUP2 000001d8: PUSH1 0x00 000001da: DUP8 000001db: DUP1 000001dc: EXTCODESIZE 000001dd: ISZERO 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: POP 000001ea: GAS 000001eb: CALL 000001ec: ISZERO 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01fc 000001f2: JUMPI 000001f3: RETURNDATASIZE 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: RETURNDATACOPY 000001f8: RETURNDATASIZE 000001f9: PUSH1 0x00 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: POP 000001ff: PUSH1 0x40 00000201: DUP1 00000202: MLOAD 00000203: CALLER 00000204: DUP2 00000205: MSTORE 00000206: PUSH1 0x20 00000208: DUP2 00000209: ADD 0000020a: DUP6 0000020b: SWAP1 0000020c: MSTORE 0000020d: PUSH1 0x01 0000020f: DUP2 00000210: DUP4 00000211: ADD 00000212: MSTORE 00000213: SWAP1 00000214: MLOAD 00000215: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 00000236: SWAP4 00000237: POP 00000238: SWAP1 00000239: DUP2 0000023a: SWAP1 0000023b: SUB 0000023c: PUSH1 0x60 0000023e: ADD 0000023f: SWAP2 00000240: POP 00000241: LOG1 00000242: POP 00000243: STOP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x0259 00000255: PUSH2 0x043f 00000258: JUMP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0270 0000026c: PUSH2 0x044c 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH1 0x40 00000273: DUP1 00000274: MLOAD 00000275: SWAP2 00000276: DUP3 00000277: MSTORE 00000278: MLOAD 00000279: SWAP1 0000027a: DUP2 0000027b: SWAP1 0000027c: SUB 0000027d: PUSH1 0x20 0000027f: ADD 00000280: SWAP1 00000281: RETURN 00000282: JUMPDEST 00000283: CALLVALUE 00000284: DUP1 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH2 0x0259 00000293: PUSH2 0x0452 00000296: JUMP 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH2 0x02ac 000002a8: PUSH2 0x0463 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x40 000002af: DUP1 000002b0: MLOAD 000002b1: PUSH1 0xff 000002b3: SWAP1 000002b4: SWAP3 000002b5: AND 000002b6: DUP3 000002b7: MSTORE 000002b8: MLOAD 000002b9: SWAP1 000002ba: DUP2 000002bb: SWAP1 000002bc: SUB 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x0270 000002d3: PUSH2 0x046c 000002d6: JUMP 000002d7: JUMPDEST 000002d8: CALLVALUE 000002d9: DUP1 000002da: ISZERO 000002db: PUSH2 0x02e3 000002de: JUMPI 000002df: PUSH1 0x00 000002e1: DUP1 000002e2: REVERT 000002e3: JUMPDEST 000002e4: POP 000002e5: PUSH2 0x02ec 000002e8: PUSH2 0x0472 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH1 0x40 000002ef: DUP1 000002f0: MLOAD 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa0 000002f5: PUSH1 0x02 000002f7: EXP 000002f8: SUB 000002f9: SWAP1 000002fa: SWAP3 000002fb: AND 000002fc: DUP3 000002fd: MSTORE 000002fe: MLOAD 000002ff: SWAP1 00000300: DUP2 00000301: SWAP1 00000302: SUB 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: RETURN 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x0270 00000319: PUSH2 0x0481 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0259 0000032e: PUSH2 0x051c 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: POP 00000340: PUSH2 0x02ec 00000343: PUSH2 0x0681 00000346: JUMP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH2 0x0270 00000358: PUSH1 0x01 0000035a: PUSH1 0xa0 0000035c: PUSH1 0x02 0000035e: EXP 0000035f: SUB 00000360: PUSH1 0x04 00000362: CALLDATALOAD 00000363: AND 00000364: PUSH2 0x0695 00000367: JUMP 00000368: JUMPDEST 00000369: CALLVALUE 0000036a: DUP1 0000036b: ISZERO 0000036c: PUSH2 0x0374 0000036f: JUMPI 00000370: PUSH1 0x00 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: PUSH2 0x02ec 00000379: PUSH2 0x06a7 0000037c: JUMP 0000037d: JUMPDEST 0000037e: CALLVALUE 0000037f: DUP1 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH2 0x0259 0000038e: PUSH2 0x06ab 00000391: JUMP 00000392: JUMPDEST 00000393: CALLVALUE 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x0259 000003a3: PUSH1 0x04 000003a5: CALLDATALOAD 000003a6: PUSH2 0x073f 000003a9: JUMP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x0270 000003bb: PUSH2 0x074e 000003be: JUMP 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: DUP1 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: POP 000003cd: PUSH2 0x0270 000003d0: PUSH2 0x0754 000003d3: JUMP 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x0259 000003e5: PUSH1 0x04 000003e7: CALLDATALOAD 000003e8: PUSH2 0x075a 000003eb: JUMP 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03f8 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: REVERT 000003f8: JUMPDEST 000003f9: POP 000003fa: PUSH2 0x02ec 000003fd: PUSH2 0x0774 00000400: JUMP 00000401: JUMPDEST 00000402: CALLVALUE 00000403: DUP1 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH2 0x0270 00000412: PUSH2 0x0783 00000415: JUMP 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x042b 00000427: PUSH2 0x0789 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: DUP1 0000042f: MLOAD 00000430: SWAP2 00000431: ISZERO 00000432: ISZERO 00000433: DUP3 00000434: MSTORE 00000435: MLOAD 00000436: SWAP1 00000437: DUP2 00000438: SWAP1 00000439: SUB 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: SWAP1 0000043e: RETURN 0000043f: JUMPDEST 00000440: PUSH1 0x09 00000442: DUP1 00000443: SLOAD 00000444: PUSH2 0xff00 00000447: NOT 00000448: AND 00000449: SWAP1 0000044a: SSTORE 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x04 0000044f: SLOAD 00000450: DUP2 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x09 00000455: DUP1 00000456: SLOAD 00000457: PUSH2 0xff00 0000045a: NOT 0000045b: AND 0000045c: PUSH2 0x0100 0000045f: OR 00000460: SWAP1 00000461: SSTORE 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x06 00000466: SLOAD 00000467: PUSH1 0xff 00000469: AND 0000046a: DUP2 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x07 0000046f: SLOAD 00000470: DUP2 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH1 0x00 00000475: SLOAD 00000476: PUSH1 0x01 00000478: PUSH1 0xa0 0000047a: PUSH1 0x02 0000047c: EXP 0000047d: SUB 0000047e: AND 0000047f: DUP2 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH1 0x06 00000484: SLOAD 00000485: PUSH1 0x40 00000487: DUP1 00000488: MLOAD 00000489: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000004aa: DUP2 000004ab: MSTORE 000004ac: ADDRESS 000004ad: PUSH1 0x04 000004af: DUP3 000004b0: ADD 000004b1: MSTORE 000004b2: SWAP1 000004b3: MLOAD 000004b4: PUSH1 0x00 000004b6: SWAP3 000004b7: PUSH2 0x0100 000004ba: SWAP1 000004bb: DIV 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: PUSH1 0x02 000004c2: EXP 000004c3: SUB 000004c4: AND 000004c5: SWAP2 000004c6: PUSH4 0x70a08231 000004cb: SWAP2 000004cc: PUSH1 0x24 000004ce: DUP1 000004cf: DUP4 000004d0: ADD 000004d1: SWAP3 000004d2: PUSH1 0x20 000004d4: SWAP3 000004d5: SWAP2 000004d6: SWAP1 000004d7: DUP3 000004d8: SWAP1 000004d9: SUB 000004da: ADD 000004db: DUP2 000004dc: DUP8 000004dd: DUP8 000004de: DUP1 000004df: EXTCODESIZE 000004e0: ISZERO 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: POP 000004ed: GAS 000004ee: CALL 000004ef: ISZERO 000004f0: DUP1 000004f1: ISZERO 000004f2: PUSH2 0x04ff 000004f5: JUMPI 000004f6: RETURNDATASIZE 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: RETURNDATACOPY 000004fb: RETURNDATASIZE 000004fc: PUSH1 0x00 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: POP 00000502: POP 00000503: POP 00000504: PUSH1 0x40 00000506: MLOAD 00000507: RETURNDATASIZE 00000508: PUSH1 0x20 0000050a: DUP2 0000050b: LT 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: MLOAD 00000518: SWAP1 00000519: POP 0000051a: SWAP1 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH1 0x06 0000051f: SLOAD 00000520: PUSH1 0x40 00000522: DUP1 00000523: MLOAD 00000524: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000545: DUP2 00000546: MSTORE 00000547: ADDRESS 00000548: PUSH1 0x04 0000054a: DUP3 0000054b: ADD 0000054c: MSTORE 0000054d: SWAP1 0000054e: MLOAD 0000054f: PUSH1 0x00 00000551: SWAP3 00000552: DUP4 00000553: SWAP3 00000554: PUSH2 0x0100 00000557: SWAP1 00000558: SWAP2 00000559: DIV 0000055a: PUSH1 0x01 0000055c: PUSH1 0xa0 0000055e: PUSH1 0x02 00000560: EXP 00000561: SUB 00000562: AND 00000563: SWAP2 00000564: PUSH4 0x70a08231 00000569: SWAP2 0000056a: PUSH1 0x24 0000056c: DUP1 0000056d: DUP3 0000056e: ADD 0000056f: SWAP3 00000570: PUSH1 0x20 00000572: SWAP3 00000573: SWAP1 00000574: SWAP2 00000575: SWAP1 00000576: DUP3 00000577: SWAP1 00000578: SUB 00000579: ADD 0000057a: DUP2 0000057b: DUP8 0000057c: DUP8 0000057d: DUP1 0000057e: EXTCODESIZE 0000057f: ISZERO 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH1 0x00 00000588: DUP1 00000589: REVERT 0000058a: JUMPDEST 0000058b: POP 0000058c: GAS 0000058d: CALL 0000058e: ISZERO 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x059e 00000594: JUMPI 00000595: RETURNDATASIZE 00000596: PUSH1 0x00 00000598: DUP1 00000599: RETURNDATACOPY 0000059a: RETURNDATASIZE 0000059b: PUSH1 0x00 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: RETURNDATASIZE 000005a7: PUSH1 0x20 000005a9: DUP2 000005aa: LT 000005ab: ISZERO 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: POP 000005b6: MLOAD 000005b7: PUSH1 0x06 000005b9: SLOAD 000005ba: PUSH1 0x01 000005bc: SLOAD 000005bd: PUSH1 0x40 000005bf: DUP1 000005c0: MLOAD 000005c1: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000005e2: DUP2 000005e3: MSTORE 000005e4: PUSH1 0x01 000005e6: PUSH1 0xa0 000005e8: PUSH1 0x02 000005ea: EXP 000005eb: SUB 000005ec: SWAP3 000005ed: DUP4 000005ee: AND 000005ef: PUSH1 0x04 000005f1: DUP3 000005f2: ADD 000005f3: MSTORE 000005f4: PUSH1 0x24 000005f6: DUP2 000005f7: ADD 000005f8: DUP6 000005f9: SWAP1 000005fa: MSTORE 000005fb: SWAP1 000005fc: MLOAD 000005fd: SWAP4 000005fe: SWAP6 000005ff: POP 00000600: ADDRESS 00000601: SWAP5 00000602: POP 00000603: PUSH2 0x0100 00000606: SWAP1 00000607: SWAP3 00000608: DIV 00000609: AND 0000060a: SWAP2 0000060b: PUSH4 0xa9059cbb 00000610: SWAP2 00000611: PUSH1 0x44 00000613: DUP1 00000614: DUP3 00000615: ADD 00000616: SWAP3 00000617: PUSH1 0x00 00000619: SWAP3 0000061a: SWAP1 0000061b: SWAP2 0000061c: SWAP1 0000061d: DUP3 0000061e: SWAP1 0000061f: SUB 00000620: ADD 00000621: DUP2 00000622: DUP4 00000623: DUP8 00000624: DUP1 00000625: EXTCODESIZE 00000626: ISZERO 00000627: DUP1 00000628: ISZERO 00000629: PUSH2 0x0631 0000062c: JUMPI 0000062d: PUSH1 0x00 0000062f: DUP1 00000630: REVERT 00000631: JUMPDEST 00000632: POP 00000633: GAS 00000634: CALL 00000635: ISZERO 00000636: DUP1 00000637: ISZERO 00000638: PUSH2 0x0645 0000063b: JUMPI 0000063c: RETURNDATASIZE 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: RETURNDATACOPY 00000641: RETURNDATASIZE 00000642: PUSH1 0x00 00000644: REVERT 00000645: JUMPDEST 00000646: POP 00000647: POP 00000648: PUSH1 0x40 0000064a: DUP1 0000064b: MLOAD 0000064c: DUP6 0000064d: DUP2 0000064e: MSTORE 0000064f: SWAP1 00000650: MLOAD 00000651: PUSH32 0xbce3cc672456937708767d1642a17cacb1962753bd5cff46c8dbd377906a6b4b 00000672: SWAP4 00000673: POP 00000674: SWAP1 00000675: DUP2 00000676: SWAP1 00000677: SUB 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP2 0000067c: POP 0000067d: LOG1 0000067e: POP 0000067f: POP 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x06 00000684: SLOAD 00000685: PUSH2 0x0100 00000688: SWAP1 00000689: DIV 0000068a: PUSH1 0x01 0000068c: PUSH1 0xa0 0000068e: PUSH1 0x02 00000690: EXP 00000691: SUB 00000692: AND 00000693: DUP2 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x08 00000698: PUSH1 0x20 0000069a: MSTORE 0000069b: PUSH1 0x00 0000069d: SWAP1 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x40 000006a2: SWAP1 000006a3: KECCAK256 000006a4: SLOAD 000006a5: DUP2 000006a6: JUMP 000006a7: JUMPDEST 000006a8: ADDRESS 000006a9: SWAP1 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: SLOAD 000006b0: PUSH1 0x03 000006b2: SLOAD 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: PUSH1 0x01 000006b8: PUSH1 0xa0 000006ba: PUSH1 0x02 000006bc: EXP 000006bd: SUB 000006be: SWAP1 000006bf: SWAP3 000006c0: AND 000006c1: SWAP3 000006c2: DUP2 000006c3: ISZERO 000006c4: PUSH2 0x08fc 000006c7: MUL 000006c8: SWAP3 000006c9: SWAP1 000006ca: DUP2 000006cb: DUP2 000006cc: DUP2 000006cd: DUP6 000006ce: DUP9 000006cf: DUP9 000006d0: CALL 000006d1: SWAP4 000006d2: POP 000006d3: POP 000006d4: POP 000006d5: POP 000006d6: ISZERO 000006d7: PUSH2 0x073d 000006da: JUMPI 000006db: PUSH1 0x00 000006dd: DUP1 000006de: SLOAD 000006df: PUSH1 0x03 000006e1: SLOAD 000006e2: PUSH1 0x40 000006e4: DUP1 000006e5: MLOAD 000006e6: PUSH1 0x01 000006e8: PUSH1 0xa0 000006ea: PUSH1 0x02 000006ec: EXP 000006ed: SUB 000006ee: SWAP1 000006ef: SWAP4 000006f0: AND 000006f1: DUP4 000006f2: MSTORE 000006f3: PUSH1 0x20 000006f5: DUP4 000006f6: ADD 000006f7: SWAP2 000006f8: SWAP1 000006f9: SWAP2 000006fa: MSTORE 000006fb: DUP2 000006fc: DUP2 000006fd: ADD 000006fe: SWAP3 000006ff: SWAP1 00000700: SWAP3 00000701: MSTORE 00000702: SWAP1 00000703: MLOAD 00000704: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 00000725: SWAP2 00000726: DUP2 00000727: SWAP1 00000728: SUB 00000729: PUSH1 0x60 0000072b: ADD 0000072c: SWAP1 0000072d: LOG1 0000072e: PUSH1 0x09 00000730: DUP1 00000731: SLOAD 00000732: PUSH1 0xff 00000734: NOT 00000735: AND 00000736: SWAP1 00000737: SSTORE 00000738: PUSH1 0x00 0000073a: PUSH1 0x03 0000073c: SSTORE 0000073d: JUMPDEST 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH8 0x0de0b6b3a7640000 00000749: MUL 0000074a: PUSH1 0x07 0000074c: SSTORE 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH1 0x02 00000751: SLOAD 00000752: DUP2 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH1 0x03 00000757: SLOAD 00000758: DUP2 00000759: JUMP 0000075a: JUMPDEST 0000075b: DUP1 0000075c: PUSH8 0x0de0b6b3a7640000 00000765: DUP2 00000766: ISZERO 00000767: ISZERO 00000768: PUSH2 0x076d 0000076b: JUMPI 0000076c: INVALID 0000076d: JUMPDEST 0000076e: DIV 0000076f: PUSH1 0x05 00000771: SSTORE 00000772: POP 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH1 0x01 00000777: SLOAD 00000778: PUSH1 0x01 0000077a: PUSH1 0xa0 0000077c: PUSH1 0x02 0000077e: EXP 0000077f: SUB 00000780: AND 00000781: DUP2 00000782: JUMP 00000783: JUMPDEST 00000784: PUSH1 0x05 00000786: SLOAD 00000787: DUP2 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH1 0x09 0000078c: SLOAD 0000078d: PUSH2 0x0100 00000790: SWAP1 00000791: DIV 00000792: PUSH1 0xff 00000794: AND 00000795: DUP2 00000796: JUMP 00000797: STOP 00000798: LOG1 00000799: PUSH6 0x627a7a723058 000007a0: KECCAK256 000007a1: PUSH26 0x49b8ffe90e63939d3f11054d7d8d8516380bfaa9a2bcb84d9312 000007bc: UNKNOWN(0xBE) 000007bd: UNKNOWN(0xAC) 000007be: UNKNOWN(0x4D) 000007bf: UNKNOWN(0xBE) 000007c0: UNKNOWN(0xD4) 000007c1: STOP 000007c2: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d
call_targets:
0xe8741a1e198d90cf125389062fdbb686d9d9ca3b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe8741a1e198d90cf125389062fdbb686d9d9ca3b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x1f6c7506",
"selector": "0x1f6c7506",
"calldata_variants": [
"0x1f6c7506",
"0x1f6c75060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bc75d9b",
"selector": "0x2bc75d9b",
"calldata_variants": [
"0x2bc75d9b",
"0x2bc75d9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31fb1266",
"selector": "0x31fb1266",
"calldata_variants": [
"0x31fb1266",
"0x31fb12660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5205b80f",
"selector": "0x5205b80f",
"calldata_variants": [
"0x5205b80f",
"0x5205b80f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5515cbf0",
"selector": "0x5515cbf0",
"calldata_variants": [
"0x5515cbf0",
"0x5515cbf00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d
call_targets:
0xe8741a1e198d90cf125389062fdbb686d9d9ca3b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd52c624f67382cc26320b0fb72fa4269802613de59a1aad880240473b422c00d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe8741a1e198d90cf125389062fdbb686d9d9ca3b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x1f6c7506",
"selector": "0x1f6c7506",
"calldata_variants": [
"0x1f6c7506",
"0x1f6c75060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bc75d9b",
"selector": "0x2bc75d9b",
"calldata_variants": [
"0x2bc75d9b",
"0x2bc75d9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31fb1266",
"selector": "0x31fb1266",
"calldata_variants": [
"0x31fb1266",
"0x31fb12660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5205b80f",
"selector": "0x5205b80f",
"calldata_variants": [
"0x5205b80f",
"0x5205b80f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5515cbf0",
"selector": "0x5515cbf0",
"calldata_variants": [
"0x5515cbf0",
"0x5515cbf00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1262,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | access_control | codex | Admin-style sale controls are publicly callable | 85 | no | — |
viewevidence_json{
"evidence": "No caller/role check is visible before privileged storage writes. Selector `0x1f6c7506` reaches `pc 0x043f` and clears bits in slot `0x9`; selector `0x2bc75d9b` reaches `pc 0x0452` and sets the same pause byte; selector `0x7a3a0e84` reaches `pc 0x073f` and writes slot `0x7`; selector `0x8a98deca` reaches `pc 0x075a` and writes slot `0x5`. The payable fallback starting near `pc 0x0107` reads slot `0x7` for a value check and slot `0x5` for token pricing before transferring tokens at `pc 0x01eb`. The artifact's auth heuristic also found no guards.",
"locations": [
"selector:0x1f6c7506",
"pc:0x43f",
"selector:0x2bc75d9b",
"pc:0x452",
"selector:0x7a3a0e84",
"pc:0x73f",
"selector:0x8a98deca",
"pc:0x75a",
"pc:0x107",
"pc:0x1eb"
],
"recommendation": "Restrict all configuration and pause/unpause entrypoints with an explicit admin check (for example, `onlyOwner`/RBAC) enforced before any `SSTORE`. If this contract is already deployed and immutable, treat these functions as compromised control surfaces and avoid relying on them for privileged behavior.",
"exploit_scenario": "Any external account can change sale-critical parameters and pause state, then immediately trade against the modified settings. In particular, selector `0x8a98deca` writes slot `0x5` (used by the fallback purchase path to compute token amount), so an attacker can set an arbitrary pricing divisor and then buy tokens via the payable fallback at a manipulated rate. The same lack of gating lets anyone pause/unpause the sale or change the per-call value limit in slot `0x7`, causing either economic abuse or denial of service."
}
|
| medium | access_control | codex | Anyone can force treasury/token sweep flows | 75 | no | — |
viewevidence_json{
"evidence": "Selector `0x76f46847` reaches `pc 0x06ab`, loads slot `0x0` as the recipient and slot `0x3` as the ETH amount, performs a value-bearing `CALL` at `pc 0x06d0`, then clears slot `0x3` at `pc 0x073c`. Selector `0x5515cbf0` reaches `pc 0x051c`, reads the contract token balance with `balanceOf`, then calls token `transfer` to the slot `0x1` recipient at `pc 0x0634`. Neither path shows any caller authentication before execution.",
"locations": [
"selector:0x76f46847",
"pc:0x6ab",
"pc:0x6d0",
"pc:0x73c",
"selector:0x5515cbf0",
"pc:0x51c",
"pc:0x634"
],
"recommendation": "Gate these entrypoints with an admin check and, if they are intended as finalize functions, add explicit lifecycle conditions so they cannot be called prematurely.",
"exploit_scenario": "Any account can trigger the ETH-forwarding routine and the token-sweep routine even though both behave like privileged lifecycle actions. An attacker cannot redirect assets to themselves from the observed bytecode, because recipients come from fixed storage slots, but they can force premature sale finalization behavior: push accumulated ETH to the beneficiary wallet, zero out the accounting slot, and/or move the contract's token inventory to the fixed recipient, disrupting the intended sale schedule or user expectations."
}
|
| low | other | codex | Low-level ERC20 transfer calls do not validate boolean return values | 65 | no | — |
viewevidence_json{
"evidence": "The fallback token transfer uses a low-level `CALL` at `pc 0x01eb`; the code checks only the call success flag (`pc 0x01ec` through `pc 0x01fc`) and then continues without decoding returndata. The sweep path does the same at `pc 0x0634` through `pc 0x0645`. By contrast, the `balanceOf` calls at `pc 0x04ee` and `pc 0x058d` explicitly check returndata length and load the returned word, showing that returndata decoding is omitted specifically for `transfer`.",
"locations": [
"pc:0x1eb",
"pc:0x1ec",
"pc:0x1fc",
"pc:0x634",
"pc:0x645",
"pc:0x4ee",
"pc:0x58d"
],
"recommendation": "After low-level ERC20 calls, validate returndata: accept empty returndata for non-standard tokens only if that is intentional, otherwise require a decoded boolean `true`. Using a vetted safe-transfer helper avoids this class of issue.",
"exploit_scenario": "If the configured token returns `false` on `transfer` failure instead of reverting, this contract will treat the call as successful. In the payable purchase path, ETH accounting is updated before the token call, so buyers could be recorded as having purchased while receiving no tokens. This depends on the actual token implementation, which is not available in the bytecode bundle, so the impact is uncertain but real for false-returning tokens."
}
|