Analysis Run

019bab3b-aa99-712b-b6d8-a515ff29cb58

complete

Chain ID

1

Address

0xfc7538648da123972bde4491a7cab5b8063d0358

Block Number

—

Created

Sun, Jan 11, 2026 4:06 AM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted DELEGATECALL target reachable

crit 0 high 0 proxy context implementation known

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
38352	artifact.fetch	complete	1 / 3	3 months ago
38353	proxy.resolve	complete	1 / 3	3 months ago
38354	tool.cast_disasm	complete	1 / 3	3 months ago
38355	analysis.bundle	complete	1 / 3	3 months ago
38356	capability.graph	complete	1 / 3	3 months ago
38357	detector.run	complete	1 / 3	3 months ago
38358	validation.fork	complete	1 / 3	3 months ago
38971	report.consolidate	complete	1 / 6	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: yes onchain_only

Implementation:

0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730 target (child run)

Verified Source: no

Proxy evidence

{
    "method": "minimal_proxy",
    "status": "onchain_only",
    "implementation": "0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730",
    "onchain_method": "minimal_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

yes

Summary

No concrete vulnerabilities were confirmed in the implementation bytecode. The analysis shows CALLs with success checks, no DELEGATECALL or upgrade-slot writes, and the only tx.origin usage appears inside the CREATE2-heavy block without evidence of authorization logic; detector hits for untrusted calls/tx.origin were not validated.

View stdout

{"no_findings":true,"summary":"No concrete vulnerabilities were confirmed in the implementation bytecode. The analysis shows CALLs with success checks, no DELEGATECALL or upgrade-slot writes, and the only tx.origin usage appears inside the CREATE2-heavy block without evidence of authorization logic; detector hits for untrusted calls/tx.origin were not validated.","findings":[]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-9pfjd6t8
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bab6b-1866-7651-86d7-9e330ce99d16
--------
user
Context: The user requested the proxy at 0xfc7538648da123972bde4491a7cab5b8063d0358.
Audit the implementation at 0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730.
Findings should refer to the implementation unless explicitly about proxy mechanics.

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.
mcp startup: no servers

thinking
**Preparing to read BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-9pfjd6t8 succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-9pfjd6t8 succeeded in 8ms:
{
  "analysis_artifact": {
    "address": "0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730",
    "artifact_hash": "0xc73524ecb85ae6c9eebee467f37af381374499c3b2b99ab3693c29b193351918",
    "artifact_json": {
      "auth": {
        "guards": [
          {
            "pc": 1872,
            "type": "msg_sender_eq_const",
            "value": 2.8389620141085504e+47
          },
          {
            "pc": 2541,
            "type": "msg_sender_eq_const",
            "value": 2.8389620141085504e+47
          },
          {
            "pc": 6336,
            "type": "tx_origin_used"

thinking
**Searching for storage and slots keywords**
exec
/bin/bash -lc 'rg -n "storage|slot|slots|callsite|CALL|DELEGATECALL|CREATE|tx_origin|origin|auth" BYTECODE_BUNDLE.json' in /tmp/codex-9pfjd6t8 succeeded in 9ms:
6:      "auth": {
20:            "type": "tx_origin_used"
24:            "type": "tx_origin_used"
36:            "CALLVALUE",
61:            "CALLDATASIZE",
73:            "CALLDATALOAD",
373:            "CALLDATASIZE",
400:            "CALLDATALOAD",
589:            "CALLDATASIZE",
622:            "CALLDATALOAD",
640:            "CALLDATASIZE",
667:            "CALLDATALOAD",
706:            "CALLDATASIZE",
739:            "CALLDATALOAD",
746:            "CALLDATALOAD",
754:            "CALLDATALOAD",
758:            "CALLDATALOAD",
772:            "CALLDATASIZE",
799:            "CALLDATALOAD",
839:            "CALLDATASIZE",

thinking
**Extracting key JSON analysis sections**
exec
/bin/bash -lc "python - <<'PY'
import json, textwrap
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print(data.keys())
print('detector_findings', len(data.get('detector_findings',[])))
print('heuristics_summary', data.get('heuristics_summary'))
PY" in /tmp/codex-9pfjd6t8 succeeded in 38ms:
dict_keys(['analysis_artifact', 'analysis_run', 'artifact', 'capability_graph', 'detector_findings', 'heuristics_summary'])
detector_findings 4
heuristics_summary {'create2_count': 1, 'delegatecall_count': 0, 'flags': ['create_opcodes_present', 'heavy_ext_balance_usage'], 'selfdestruct_count': 0}

thinking
**Inspecting artifact for capability graph**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print('analysis_artifact keys', data['analysis_artifact'].keys())
print('artifact_json keys', data['analysis_artifact']['artifact_json'].keys())
print('capability_graph keys', data['capability_graph'].keys())
PY" in /tmp/codex-9pfjd6t8 succeeded in 28ms:
analysis_artifact keys dict_keys(['address', 'artifact_hash', 'artifact_json', 'block_number', 'chain_id', 'codehash', 'created_at', 'id', 'updated_at', 'version'])
artifact_json keys dict_keys(['auth', 'basic_blocks', 'callsites', 'cfg_edges', 'cfg_hash', 'dispatcher_type', 'function_entries', 'functions', 'selectors', 'sinks', 'storage', 'version'])
capability_graph keys dict_keys(['address', 'block_number', 'chain_id', 'codehash', 'created_at', 'graph_hash', 'graph_json', 'id', 'updated_at', 'version'])

thinking
**Inspecting capability graph and selectors**
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import OrderedDict
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
funcs=data['analysis_artifact']['artifact_json'].get('functions',[])
print('functions count', len(funcs))
print('first 20 selectors')
for fn in funcs[:20]:
    print(fn)
PY" in /tmp/codex-9pfjd6t8 succeeded in 29ms:
functions count 18
first 20 selectors
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 3219178110, 'selector': '0xbfe0c27e', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 3847843339, 'selector': '0xcb915663', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 4063316422, 'selector': '0xe5596e0b', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 4262541313, 'selector': '0xf23149c6', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': None, 'selector': '0xfe113801', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 2726422885, 'selector': '0x85a336c5', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 2878133356, 'selector': '0xa281e965', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 2990410401, 'selector': '0xab8cd46c', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': None, 'selector': '0xb23e0aa1', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 773487949, 'selector': '0x2e1a7d4d', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 1878509902, 'selector': '0x61985506', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 1983641564, 'selector': '0x6ff7c94e', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 2103558041, 'selector': '0x763bf7dc', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': None, 'selector': '0x7d61bf99', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 201899912, 'selector': '0x0707a945', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 219406753, 'selector': '0x0c08bf88', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 271260045, 'selector': '0x0d13e1a1', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}
{'auth': {'guards': [{'pc': 1872, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 2541, 'type': 'msg_sender_eq_const', 'value': 2.8389620141085504e+47}, {'pc': 6336, 'type': 'tx_origin_used'}, {'pc': 6343, 'type': 'tx_origin_used'}]}, 'entry_pc': 0, 'selector': '0x102b198d', 'sinks': {'call': 4, 'delegatecall': 0, 'selfdestruct': 0, 'staticcall': 4}, 'storage': {'reads': 28, 'slots': [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}, {'op': 'SLOAD', 'pc': 1275, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000006'}, {'op': 'SLOAD', 'pc': 1285, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000008'}, {'op': 'SLOAD', 'pc': 1310, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1341, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1408, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1427, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1498, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1538, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1555, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1753, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 2613, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SLOAD', 'pc': 2657, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 3018, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3063, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 3611, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000003'}, {'op': 'SSTORE', 'pc': 3802, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4116, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 4171, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}], 'writes': 10}}

thinking
**Analyzing contract call patterns and auth risks**
exec
/bin/bash -lc "python - <<'PY'
val=2.8389620141085504e+47
# this is float, convert to int
ival=int(val)
print(hex(ival))
PY" in /tmp/codex-9pfjd6t8 succeeded in 19ms:
0x31ba589072278e00000000000000000000000000

thinking
**Investigating callsites and validation details**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print(data['capability_graph']['graph_json'].keys())
PY" in /tmp/codex-9pfjd6t8 succeeded in 34ms:
dict_keys(['edges', 'nodes', 'version'])

thinking
**Searching for callsite nodes**
exec
/bin/bash -lc "python - <<'PY'
import json
from collections import Counter
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
node_types=Counter(n.get('type') for n in data['capability_graph']['graph_json']['nodes'])
print(node_types)
PY" in /tmp/codex-9pfjd6t8 succeeded in 88ms:
Counter({'basic_block': 323, 'function': 18, 'callsite': 8, 'sink': 2})

thinking
**Listing callsite nodes**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
call_nodes=[n for n in data['capability_graph']['graph_json']['nodes'] if n.get('type')=='callsite']
for n in call_nodes:
    print(n)
PY" in /tmp/codex-9pfjd6t8 succeeded in 70ms:
{'id': 'call:2363', 'opcode': 'STATICCALL', 'pc': 2363, 'type': 'callsite'}
{'id': 'call:3380', 'opcode': 'CALL', 'pc': 3380, 'type': 'callsite'}
{'id': 'call:3504', 'opcode': 'CALL', 'pc': 3504, 'type': 'callsite'}
{'id': 'call:3744', 'opcode': 'STATICCALL', 'pc': 3744, 'type': 'callsite'}
{'id': 'call:4626', 'opcode': 'CALL', 'pc': 4626, 'type': 'callsite'}
{'id': 'call:4847', 'opcode': 'STATICCALL', 'pc': 4847, 'type': 'callsite'}
{'id': 'call:5325', 'opcode': 'STATICCALL', 'pc': 5325, 'type': 'callsite'}
{'id': 'call:5897', 'opcode': 'CALL', 'pc': 5897, 'type': 'callsite'}

thinking
**Investigating tx.origin usage in basic blocks**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
origin_blocks=[b for b in blocks if 'ORIGIN' in b.get('opcodes',[])]
print('origin blocks', len(origin_blocks))
for b in origin_blocks:
    print(b['start_pc'], b['end_pc'], b['opcodes'])
PY" in /tmp/codex-9pfjd6t8 succeeded in 43ms:
origin blocks 1
6094 6444 ['NUMBER', 'PUSH19', 'SHA3', 'PUSH3', 'PUSH18', 'CHAINID', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH2', 'PUSH6', 'SHA3', 'PUSH3', 'PUSH14', 'PUSH19', 'PUSH16', 'PUSH26', 'PUSH10', 'PUSH16', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH16', 'PUSH6', 'PUSH6', 'OP_3A', 'SHA3', 'MSTORE', 'PUSH6', 'PUSH2', 'PUSH22', 'NUMBER', 'ORIGIN', 'ADDRESS', 'OP_3A', 'SHA3', 'GASLIMIT', 'MSTORE', 'NUMBER', 'ORIGIN', 'ADDRESS', 'SHA3', 'PUSH16', 'SHA3', 'PUSH20', 'PUSH19', 'PUSH16', 'PUSH15', 'OP_C7', 'CREATE2', 'OP_D0', 'OP_AB', 'OP_C1', 'OP_B6', 'REVERT']

thinking
**Analyzing CREATE2 and ORIGIN usage**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 'CREATE2' in b.get('opcodes',[]):
        print('CREATE2 block', b['start_pc'], b['end_pc'])
        print(b['opcodes'])
        break
PY" in /tmp/codex-9pfjd6t8 succeeded in 29ms:
CREATE2 block 6094 6444
['NUMBER', 'PUSH19', 'SHA3', 'PUSH3', 'PUSH18', 'CHAINID', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH2', 'PUSH6', 'SHA3', 'PUSH3', 'PUSH14', 'PUSH19', 'PUSH16', 'PUSH26', 'PUSH10', 'PUSH16', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH16', 'PUSH6', 'PUSH6', 'OP_3A', 'SHA3', 'MSTORE', 'PUSH6', 'PUSH2', 'PUSH22', 'NUMBER', 'ORIGIN', 'ADDRESS', 'OP_3A', 'SHA3', 'GASLIMIT', 'MSTORE', 'NUMBER', 'ORIGIN', 'ADDRESS', 'SHA3', 'PUSH16', 'SHA3', 'PUSH20', 'PUSH19', 'PUSH16', 'PUSH15', 'OP_C7', 'CREATE2', 'OP_D0', 'OP_AB', 'OP_C1', 'OP_B6', 'REVERT']

thinking
**Examining block near PC 6151**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if b['start_pc'] <= 6151 <= b['end_pc']:
        print(b)
        break
PY" in /tmp/codex-9pfjd6t8 succeeded in 82ms:
{'end_pc': 6444, 'hash': '0x96d820816f6f7fc3a4277423200d5f5ecdb2b5fd94c012f0691830454ec19230', 'opcodes': ['NUMBER', 'PUSH19', 'SHA3', 'PUSH3', 'PUSH18', 'CHAINID', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH2', 'PUSH6', 'SHA3', 'PUSH3', 'PUSH14', 'PUSH19', 'PUSH16', 'PUSH26', 'PUSH10', 'PUSH16', 'OP_3A', 'SHA3', 'NUMBER', 'PUSH16', 'PUSH6', 'PUSH6', 'OP_3A', 'SHA3', 'MSTORE', 'PUSH6', 'PUSH2', 'PUSH22', 'NUMBER', 'ORIGIN', 'ADDRESS', 'OP_3A', 'SHA3', 'GASLIMIT', 'MSTORE', 'NUMBER', 'ORIGIN', 'ADDRESS', 'SHA3', 'PUSH16', 'SHA3', 'PUSH20', 'PUSH19', 'PUSH16', 'PUSH15', 'OP_C7', 'CREATE2', 'OP_D0', 'OP_AB', 'OP_C1', 'OP_B6', 'REVERT'], 'start_pc': 6094}

thinking
**Investigating CALLDATACOPY presence**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
selectors=data['analysis_artifact']['artifact_json'].get('selectors',[])
print('selectors count', len(selectors))
print(selectors[:30])
PY" in /tmp/codex-9pfjd6t8 succeeded in 35ms:
selectors count 18
['0xbfe0c27e', '0xcb915663', '0xe5596e0b', '0xf23149c6', '0xfe113801', '0x85a336c5', '0xa281e965', '0xab8cd46c', '0xb23e0aa1', '0x2e1a7d4d', '0x61985506', '0x6ff7c94e', '0x763bf7dc', '0x7d61bf99', '0x0707a945', '0x0c08bf88', '0x0d13e1a1', '0x102b198d']

thinking
**Investigating selectors and artifact storage**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
storage=data['analysis_artifact']['artifact_json'].get('storage')
print(storage.keys())
print('upgrade_slot_write_suspected', storage.get('upgrade_slot_write_suspected'))
print('slots count', len(storage.get('slots',[])))
print('first slots', storage.get('slots',[])[:5])
PY" in /tmp/codex-9pfjd6t8 succeeded in 46ms:
dict_keys(['keccak_count', 'reads', 'slots', 'writes'])
upgrade_slot_write_suspected None
slots count 23
first slots [{'op': 'SLOAD', 'pc': 969, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1125, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1210, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000000'}, {'op': 'SLOAD', 'pc': 1262, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000002'}, {'op': 'SLOAD', 'pc': 1267, 'slot': '0x0000000000000000000000000000000000000000000000000000000000000004'}]

thinking
**Analyzing potential reentrancy and tx.origin risks**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print(data['artifact'].keys())
print('artifact bytecode length', len(data['artifact'].get('bytecode','')))
print('artifact codehash', data['artifact'].get('codehash'))
PY" in /tmp/codex-9pfjd6t8 succeeded in 27ms:
dict_keys(['codehash', 'compiler_json', 'implementation_address', 'is_proxy', 'runtime_bytecode', 'verified_source'])
artifact bytecode length 0
artifact codehash 0x501f72160599c78ad3c2203f7726ab082a19661bf69788b29dcaa2d23e3681fe

thinking
**Inspecting runtime bytecode length**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
rb=data['artifact'].get('runtime_bytecode')
print('runtime bytecode len', len(rb) if rb else None)
print('is_proxy', data['artifact'].get('is_proxy'))
print('implementation_address', data['artifact'].get('implementation_address'))
PY" in /tmp/codex-9pfjd6t8 succeeded in 47ms:
runtime bytecode len 5
is_proxy False
implementation_address None

thinking
**Evaluating potential tx.origin concerns**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print(data['analysis_run'].keys())
for k in data['analysis_run']:
    if 'bytecode' in k:
        print(k, len(data['analysis_run'][k]) if data['analysis_run'][k] else None)
PY" in /tmp/codex-9pfjd6t8 succeeded in 29ms:
dict_keys(['address', 'block_number', 'chain_id', 'child_links', 'created_at', 'id', 'parent_links', 'status', 'updated_at'])

thinking
**Checking compiler_json for disassembly**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
compiler=data['artifact'].get('compiler_json')
print(compiler)
PY" in /tmp/codex-9pfjd6t8 succeeded in 29ms:
{'compiler_version': None, 'etherscan': {'contract_name': None, 'implementation': None, 'license': 'Unknown', 'proxy': '0', 'swarm_source': None}, 'optimizer_enabled': False, 'optimizer_runs': 0, 'proxy_evidence': {'status': 'not_proxy'}}

thinking
**Evaluating contract upgradeability and callsites**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 'CALL' in b.get('opcodes',[]):
        print(b['start_pc'], b['end_pc'], b['opcodes'])
PY" in /tmp/codex-9pfjd6t8 succeeded in 60ms:
3377 3387 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
3501 3511 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
4623 4633 ['JUMPDEST', 'POP', 'GAS', 'CALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI']
5847 5911 ['JUMPDEST', 'PUSH1', 'OP_83', 'PUSH1', 'SUB', 'PUSH2', 'EXP', 'SUB', 'OP_80', 'NOT', 'OP_82', 'MLOAD', 'AND', 'OP_81', 'OP_84', 'MLOAD', 'AND', 'OP_80', 'OP_82', 'OR', 'OP_85', 'MSTORE', 'POP', 'POP', 'POP', 'POP', 'POP', 'POP', 'OP_90', 'POP', 'ADD', 'OP_91', 'POP', 'POP', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'OP_85', 'OP_87', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'RETURNDATASIZE', 'OP_80', 'PUSH1', 'OP_81', 'EQ', 'PUSH2', 'JUMPI']

thinking
**Analyzing call success checks and authorization guards**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 'CALLER' in b.get('opcodes',[]) and 'EQ' in b.get('opcodes',[]):
        print(b['start_pc'], b['end_pc'], b['opcodes'])
PY" in /tmp/codex-9pfjd6t8 succeeded in 74ms:
966 990 ['JUMPDEST', 'PUSH1', 'SLOAD', 'PUSH3', 'OP_90', 'DIV', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
1551 1576 ['JUMPDEST', 'PUSH1', 'OP_80', 'SLOAD', 'PUSH3', 'OP_90', 'DIV', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
1847 1876 ['JUMPDEST', 'PUSH1', 'PUSH20', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
2518 2545 ['JUMPDEST', 'PUSH20', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']
3060 3084 ['JUMPDEST', 'PUSH1', 'SLOAD', 'PUSH3', 'OP_90', 'DIV', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'CALLER', 'EQ', 'PUSH2', 'JUMPI']

thinking
**Analyzing authorization checks in bytecode**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
for b in blocks:
    if 'ORIGIN' in b.get('opcodes',[]) and 'EQ' in b.get('opcodes',[]):
        print(b['start_pc'], b['end_pc'], b['opcodes'])
PY" in /tmp/codex-9pfjd6t8 succeeded in 47ms:


thinking
**Evaluating CALL and CREATE2 usage risks**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
edges=data['analysis_artifact']['artifact_json'].get('cfg_edges',[])
# edges likely list of dicts with src/dst
# find edges involving bb:6094? There are basic block ids maybe? let's inspect first edge
print(edges[:5])
# find edges that reference pc 6094 or block hash? We'll search for 6094 in edges
matches=[e for e in edges if '6094' in str(e)]
print('matches', len(matches))
print(matches[:5])
PY" in /tmp/codex-9pfjd6t8 succeeded in 80ms:
[{'from': 'bb:0', 'to': 'bb:16', 'type': 'control_flow'}, {'from': 'bb:0', 'to': 'bb:12', 'type': 'control_flow_fallthrough'}, {'from': 'bb:16', 'to': 'bb:278', 'type': 'control_flow'}, {'from': 'bb:16', 'to': 'bb:26', 'type': 'control_flow_fallthrough'}, {'from': 'bb:26', 'to': 'bb:162', 'type': 'control_flow'}]
matches 0
[]

thinking
**Searching for block ID in nodes**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=[n for n in data['capability_graph']['graph_json']['nodes'] if n.get('type')=='basic_block']
# find block id containing 6094
candidates=[b for b in blocks if b.get('start_pc')==6094 or b.get('id')=='bb:6094']
print(candidates[:5])
PY" in /tmp/codex-9pfjd6t8 succeeded in 76ms:
[{'end_pc': 6444, 'hash': '0x96d820816f6f7fc3a4277423200d5f5ecdb2b5fd94c012f0691830454ec19230', 'id': 'bb:6094', 'start_pc': 6094, 'type': 'basic_block'}]

thinking
**Searching for edges referencing bb:6094**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
edges=data['analysis_artifact']['artifact_json'].get('cfg_edges',[])
# find edges to/from bb:6094
matches=[e for e in edges if e.get('from')=='bb:6094' or e.get('to')=='bb:6094']
print('edges', len(matches))
print(matches[:10])
PY" in /tmp/codex-9pfjd6t8 succeeded in 34ms:
edges 0
[]

thinking
**Evaluating potential security flags**
exec
/bin/bash -lc "python - <<'PY'
print(hex(6336), hex(6343), hex(6094), hex(6225))
PY" in /tmp/codex-9pfjd6t8 succeeded in 23ms:
0x18c0 0x18c7 0x17ce 0x1851

thinking
**Evaluating potential tx.origin and CREATE2 concerns**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
print('dispatcher', data['analysis_artifact']['artifact_json'].get('dispatcher_type'))
PY" in /tmp/codex-9pfjd6t8 succeeded in 28ms:
dispatcher selector_jump_table

thinking
**Evaluating vulnerability findings and summary wording**
codex
{"no_findings":true,"summary":"No concrete vulnerabilities were confirmed in the implementation bytecode. The analysis shows CALLs with success checks, no DELEGATECALL or upgrade-slot writes, and the only tx.origin usage appears inside the CREATE2-heavy block without evidence of authorization logic; detector hits for untrusted calls/tx.origin were not validated.","findings":[]}
tokens used
69,226

Metadata

{
    "codex": {
        "ran_at": "2026-01-11T05:01:27.840977+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 12958,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "No concrete vulnerabilities were confirmed in the implementation bytecode. The analysis shows CALLs with success checks, no DELEGATECALL or upgrade-slot writes, and the only tx.origin usage appears inside the CREATE2-heavy block without evidence of authorization logic; detector hits for untrusted calls/tx.origin were not validated.",
    "raw_final": {
        "summary": "No concrete vulnerabilities were confirmed in the implementation bytecode. The analysis shows CALLs with success checks, no DELEGATECALL or upgrade-slot writes, and the only tx.origin usage appears inside the CREATE2-heavy block without evidence of authorization logic; detector hits for untrusted calls/tx.origin were not validated.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "proxy_context": {
        "proxy_run_id": "019bab3b-aa99-712b-b6d8-a515ff29cb58",
        "proxy_address": "0xfc7538648da123972bde4491a7cab5b8063d0358",
        "implementation_run_id": "019bab3c-509f-7157-9791-77edf365d19b",
        "implementation_address": "0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730"
    },
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

0

EXT*/BALANCE

0

Total opcodes

24

Flags

delegatecall_present

View cast disassembly output

00000000: CALLDATASIZE
00000001: RETURNDATASIZE
00000002: RETURNDATASIZE
00000003: CALLDATACOPY
00000004: RETURNDATASIZE
00000005: RETURNDATASIZE
00000006: RETURNDATASIZE
00000007: CALLDATASIZE
00000008: RETURNDATASIZE
00000009: PUSH20 0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730
0000001e: GAS
0000001f: DELEGATECALL
00000020: RETURNDATASIZE
00000021: DUP3
00000022: DUP1
00000023: RETURNDATACOPY
00000024: SWAP1
00000025: RETURNDATASIZE
00000026: SWAP2
00000027: PUSH1 0x2b
00000029: JUMPI
0000002a: REVERT
0000002b: JUMPDEST
0000002c: RETURN

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x9d935236e7820afd5f879de2ea689be0a0ccb41a60f9c75a0b8e40d7dc3b3e02 call_targets: 0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730 target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9d935236e7820afd5f879de2ea689be0a0ccb41a60f9c75a0b8e40d7dc3b3e02", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4b14ddc1b1b4bb3a89d574c2708c609d4e192730" ], "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": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "examples": [ { "pc": 31, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 1 }

Severity