019b3836-3447-7312-aaa5-39b079e8086c
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 |
|---|---|---|---|---|
| 3235 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3236 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 46996 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 46997 | capability.graph | complete | 1 / 3 | 1 week ago |
| 46998 | detector.run | complete | 1 / 3 | 1 week ago |
| 46999 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113275 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode-only review found a critical ownership-takeover path and two payout-flow issues around raw CALL usage. Conclusions are based on runtime bytecode and the supplied analysis bundle; selector names and storage roles are inferred heuristically.","findings":[{"severity":"critical","category":"access_control","title":"Anyone can seize the privileged owner slot","exploit_scenario":"Selector 0x67f809e9 writes CALLER directly into storage slot 0x5 with no preceding authorization check. Multiple other selectors gate sensitive behavior by comparing CALLER against that same masked slot, including a path that appears to transfer contract funds to the privileged address. An attacker can first call 0x67f809e9 to become the privileged account, then invoke the owner-only withdrawal/configuration functions to drain funds or rewrite fee/multiplier parameters.","recommendation":"Remove the public owner-write path or convert it into a two-step ownership transfer that can only be completed by a previously authorized pending owner set by the current owner. Re-audit every function gated by slot 0x5 after fixing this path.","evidence":"At pc 0x1b7 the contract enters selector 0x67f809e9 and immediately loads slot 0x5, masks in CALLER, and SSTOREs it at pc 0x1cc without any guard. Elsewhere, selectors 0x4229616d, 0x686f2c90, 0xa6f9dae1, 0xb4022950, 0xced92670, and 0xfae14192 all compare CALLER against the masked contents of slot 0x5 before proceeding. The 0x686f2c90 path reaches pc 0x4ef, where slot 0x5 is used as the CALL target for an ETH transfer.","locations":["selector:0x67f809e9","pc:0x1b7","pc:0x1cc","selector:0x686f2c90","pc:0x4ef"]},{"severity":"high","category":"reentrancy","title":"Payout call to user-controlled recipient happens before payout state is cleared","exploit_scenario":"The fallback/deposit flow stores each participant as an address plus owed amount, then later pays the current participant with a raw CALL at pc 0x704. The recipient address comes from participant storage, so it is user-controlled. The contract only clears the owed amount and advances the queue after the external call returns. A malicious participant contract can receive a payout, reenter the payable entrypoint while its queue entry is still intact, and trigger the payout logic again against the same unpaid entry, potentially extracting repeated payouts or corrupting queue/accounting state.","recommendation":"Apply checks-effects-interactions: clear or reduce the recipient's owed amount and advance queue pointers before the external transfer, or use a pull-payment pattern where recipients withdraw separately. Add an explicit reentrancy guard around all payout paths.","evidence":"The deposit path beginning at pc 0x475 appends CALLER plus a computed owed amount into a keccak-derived storage structure. The payout loop at pc 0x642 reads the current queue entry, loads the recipient address from storage, and performs CALL at pc 0x704. The participant amount is only updated afterward at pc 0x73d and the queue index is only incremented at pc 0x749. The artifact's auth heuristics report no guards, and this sink was validated as a varying CALL target/value path.","locations":["pc:0x475","pc:0x642","pc:0x704","pc:0x73d","pc:0x749"]},{"severity":"medium","category":"other","title":"ETH transfer results are ignored while bookkeeping still changes","exploit_scenario":"Several ETH-bearing CALL sites pop the success flag and continue mutating storage. If a recipient is a contract that rejects ETH, runs out of gas, or otherwise makes CALL return false, the contract can still mark balances as reduced, zero out queue debt, or advance payout pointers even though no payment occurred. This can permanently skip claims or desynchronize internal accounting from actual ETH held.","recommendation":"Check the boolean result of every external CALL that is expected to transfer value, and revert or preserve state when the transfer fails. For queue payouts, do not zero debt or advance the pointer unless the payment succeeded.","evidence":"At pc 0x549 and pc 0x586 the contract performs raw CALLs to the privileged address and then subtracts from storage afterward, with the CALL return value discarded via POP. At pc 0x704 the participant payout CALL is likewise unchecked; the code subsequently updates the participant's owed slot at pc 0x73d and increments the queue pointer at pc 0x749. The analysis bundle explicitly marks returndata checking as unknown/null for these CALLs.","locations":["pc:0x549","pc:0x554","pc:0x586","pc:0x591","pc:0x704","pc:0x73d","pc:0x749"]}]}
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1353,
"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": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"trace_mode": "callTracer"
}
},
{
"confidence": 55,
"evidence_json": {
"eth_value_calls": 5,
"examples": [
{
"opcode": "CALL",
"pc": 1046,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1296,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1353,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": []
},
"normalized_json": {
"sink": "CALL",
"value": "nonzero"
},
"severity": "high",
"title": "ETH value transfer possible",
"validated": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"trace_mode": "callTracer"
}
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json | {dispatcher_type, selectors, callsites, storage, is_proxy, auth, summary: .global_summary?}' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"dispatcher_type": "selector_jump_table",
"selectors": [
"0x09dfdc71",
"0x253459e3",
"0x4229616d",
"0x57d4021b",
"0x67f809e9",
"0x686f2c90",
"0x6fbaaa1e",
"0x8a5fb3ca",
"0x9dbc4f9b",
"0xa26dbf26",
"0xa6f9dae1",
"0xb4022950",
"0xced92670",
"0xd11f13df",
"0xfae14192"
],
"callsites": [
{
"opcode": "CALL",
"pc": 1046,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1296,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1353,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1414,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1796,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"storage": {
"keccak_count": 14,
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
},
"is_proxy": null,
"auth": {
"guards": []
},
"summary": null
}
exec
/bin/bash -lc "jq '.capability_graph | keys' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
"address",
"block_number",
"chain_id",
"codehash",
"created_at",
"graph_hash",
"graph_json",
"id",
"updated_at",
"version"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
"auth",
"basic_blocks",
"callsites",
"cfg_edges",
"cfg_hash",
"dispatcher_type",
"function_entries",
"functions",
"selectors",
"sinks",
"storage",
"version"
]
exec
/bin/bash -lc "jq '.capability_graph.graph_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
"edges",
"nodes",
"version"
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.functions[] | {selector, start_pc, end_pc, sinks, auth, storage}' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"selector": "0x09dfdc71",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x253459e3",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x4229616d",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x57d4021b",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x67f809e9",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x686f2c90",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x6fbaaa1e",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x8a5fb3ca",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0x9dbc4f9b",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xa26dbf26",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xa6f9dae1",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xb4022950",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xced92670",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xd11f13df",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
{
"selector": "0xfae14192",
"start_pc": null,
"end_pc": null,
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"auth": {
"guards": []
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 529,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 581,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 617,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 632,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 752,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 766,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 791,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 817,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 841,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 879,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 929,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 932,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 948,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1145,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
},
{
"op": "SLOAD",
"pc": 1179,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1190,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1266,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1269,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1308,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1324,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1359,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1374,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1377,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 1420,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1482,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
},
{
"op": "SLOAD",
"pc": 1525,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1538,
"slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
},
{
"op": "SLOAD",
"pc": 1550,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SSTORE",
"pc": 1563,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
},
{
"op": "SLOAD",
"pc": 1568,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1590,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 1604,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1608,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1669,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
},
{
"op": "SLOAD",
"pc": 1678,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1682,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
},
{
"op": "SLOAD",
"pc": 1715,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1813,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 1860,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
}
],
"writes": 19
}
}
exec
/bin/bash -lc "jq '.capability_graph.graph_json.nodes[:50]' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
{
"end_pc": 10,
"hash": "0xde7c09ec5c6a787330be3474c14e6af1d95d255c64d4de8caa7d39b964000ee7",
"id": "bb:0",
"start_pc": 0,
"type": "basic_block"
},
{
"end_pc": 30,
"hash": "0xaaa5a36347cb520ecde4b20eb37ad29b8abf744470e466cc86afa0a7a46fab61",
"id": "bb:11",
"start_pc": 11,
"type": "basic_block"
},
{
"end_pc": 41,
"hash": "0x5968a04b4ba7dea1ab28740ab6a93c8a4aae1326d44588236987408d17928151",
"id": "bb:31",
"start_pc": 31,
"type": "basic_block"
},
{
"end_pc": 52,
"hash": "0x0e3beb4ee8d66e443babfdbcdf97749f6d0534f5a9fa32544d224330d6baca50",
"id": "bb:42",
"start_pc": 42,
"type": "basic_block"
},
{
"end_pc": 63,
"hash": "0xb9f160262ee4d851a8792d95f186e3f4467f1e6d9f273662b3493ba711f59cf5",
"id": "bb:53",
"start_pc": 53,
"type": "basic_block"
},
{
"end_pc": 74,
"hash": "0xb38cf3e1c3d0b807687abbcb45360b2d47f7ae1ad01991e0c9478f00681ae028",
"id": "bb:64",
"start_pc": 64,
"type": "basic_block"
},
{
"end_pc": 85,
"hash": "0x83aca10945778e23c662171a729827093d27ba31ce087a9303072157102d3b18",
"id": "bb:75",
"start_pc": 75,
"type": "basic_block"
},
{
"end_pc": 96,
"hash": "0xbc3bf931865c6b1d3419a7d6c5266831ef9fb1a0df952249eb229729d50dab27",
"id": "bb:86",
"start_pc": 86,
"type": "basic_block"
},
{
"end_pc": 107,
"hash": "0x64d906e05bfbcfe11cabe448a2b3bf9d0bbb35e7ef6ccd3b1e1c635def1199df",
"id": "bb:97",
"start_pc": 97,
"type": "basic_block"
},
{
"end_pc": 118,
"hash": "0xa4bb1f8f08f645446b8e54f67316e466399b54ea848dc1927217edec7a074d01",
"id": "bb:108",
"start_pc": 108,
"type": "basic_block"
},
{
"end_pc": 129,
"hash": "0xf2533a19d5e9d9c92d146cf44fdf8aa623988b2203988aed7b6f7ec2810e554b",
"id": "bb:119",
"start_pc": 119,
"type": "basic_block"
},
{
"end_pc": 140,
"hash": "0x1da841fa1b6ed78de8bb73eabad0ae7c64c4b5fc61beb0f01a389d60be344320",
"id": "bb:130",
"start_pc": 130,
"type": "basic_block"
},
{
"end_pc": 151,
"hash": "0x231f5dbd864f6f398abbd1ac76c633ce432c82569adc2496358367c20c0c3d41",
"id": "bb:141",
"start_pc": 141,
"type": "basic_block"
},
{
"end_pc": 162,
"hash": "0xae91ed29649e0067cacebd1d66ef33d87a6c387339c12abb4da818d4e9ae7b12",
"id": "bb:152",
"start_pc": 152,
"type": "basic_block"
},
{
"end_pc": 173,
"hash": "0x0f3dafab91bee6b0f6cd10e09095c5e0f0fa9d1b305d230d4fa229e07a60a1a4",
"id": "bb:163",
"start_pc": 163,
"type": "basic_block"
},
{
"end_pc": 184,
"hash": "0x7c5da75b8b8347dd7c4d546ed70b5e7725cc834b8bc5656a872667294ee1a467",
"id": "bb:174",
"start_pc": 174,
"type": "basic_block"
},
{
"end_pc": 209,
"hash": "0xa456aa4818cf79d477f59d880b7d568382fcd71ce6239bd0b8c0a5af794c9c6e",
"id": "bb:185",
"start_pc": 185,
"type": "basic_block"
},
{
"end_pc": 217,
"hash": "0x43d4174bc2f49f0b3df4199da8a8191e298b4863c708255ba0aec957fbd1889f",
"id": "bb:210",
"start_pc": 210,
"type": "basic_block"
},
{
"end_pc": 220,
"hash": "0x10a1e5df4a13c9268a3556e8d067717241c3c995ba05dc8cff1afa2f018a0459",
"id": "bb:218",
"start_pc": 218,
"type": "basic_block"
},
{
"end_pc": 283,
"hash": "0x7f584e7aab2bc87bbf49fff5f1464ef780d3ca80c0502557a342e9fcf045b1d5",
"id": "bb:221",
"start_pc": 221,
"type": "basic_block"
},
{
"end_pc": 298,
"hash": "0xc9fb2048d104b48770595de5d5251b159392d1470087741e5999436f093145d2",
"id": "bb:284",
"start_pc": 284,
"type": "basic_block"
},
{
"end_pc": 316,
"hash": "0x11f327c7a784a344f6364691b5460a8a7c89db231ed8c3008d0ef69a711ff05b",
"id": "bb:299",
"start_pc": 299,
"type": "basic_block"
},
{
"end_pc": 350,
"hash": "0xb4cfadd3f415783fa77f5967e30183b02f4843d56b5e2f009d3f55a5439493f8",
"id": "bb:317",
"start_pc": 317,
"type": "basic_block"
},
{
"end_pc": 360,
"hash": "0x0c4cb2cb3bb56756549a81f44e2bdbf6ca79dc2b74cf541119c89afdfbebf766",
"id": "bb:351",
"start_pc": 351,
"type": "basic_block"
},
{
"end_pc": 365,
"hash": "0xd558f5d2204da2bdd24836862aeac121fffb75b80110f7534b247194817c0f66",
"id": "bb:361",
"start_pc": 361,
"type": "basic_block"
},
{
"end_pc": 371,
"hash": "0xea6b77da8570c14f3f7c6f23a053900c8257eb0c85bb3947b2bea89f1c67a4b4",
"id": "bb:366",
"start_pc": 366,
"type": "basic_block"
},
{
"end_pc": 375,
"hash": "0x282954d8360ff63fc6c6964bf85aa21a9276515c7803395923d630ec02554aaf",
"id": "bb:372",
"start_pc": 372,
"type": "basic_block"
},
{
"end_pc": 410,
"hash": "0x1f36ea453ccb51b482bd84af80396c7eecf7f52936305fe1aa938901e4386f4c",
"id": "bb:376",
"start_pc": 376,
"type": "basic_block"
},
{
"end_pc": 438,
"hash": "0xccb37969bfdb6b94fe887794002b5abb0b300883a606742e88436c8729946482",
"id": "bb:411",
"start_pc": 411,
"type": "basic_block"
},
{
"end_pc": 461,
"hash": "0x778e7df8299eae3e66467ed2af30c6a6f1595d0ea5deb9604d879ffeffb336c9",
"id": "bb:439",
"start_pc": 439,
"type": "basic_block"
},
{
"end_pc": 463,
"hash": "0x2c28af64ed62b9975adf152bc63716e6b75c9b9050a65e044f02d04a0be507eb",
"id": "bb:462",
"start_pc": 462,
"type": "basic_block"
},
{
"end_pc": 490,
"hash": "0xefa6210b05c0acb888ecd403892f84603ed1f21d0d0b1e994a2d6086efa805d7",
"id": "bb:466",
"start_pc": 466,
"type": "basic_block"
},
{
"end_pc": 501,
"hash": "0xa784f965cc180dbb8b2adef4ee40a06465230a1ab605743a2f456b87f701fe6c",
"id": "bb:491",
"start_pc": 491,
"type": "basic_block"
},
{
"end_pc": 505,
"hash": "0xb95410d8cb43f9c91569842278b17c09c84f38c214a82ce54b91f6196d86244e",
"id": "bb:502",
"start_pc": 502,
"type": "basic_block"
},
{
"end_pc": 557,
"hash": "0xbed4cd72fd29ca1aacad77c7521b09f6ffd184a1d8bb4a62205b8b101d32434c",
"id": "bb:506",
"start_pc": 506,
"type": "basic_block"
},
{
"end_pc": 607,
"hash": "0xa557e8d3deeae2a48791423f5d02a052acbfb20f68eada43ea5ed70988f1e64a",
"id": "bb:558",
"start_pc": 558,
"type": "basic_block"
},
{
"end_pc": 628,
"hash": "0x5b550a49cee0266d88e010f5c0435c57c00194113e35852068eabe91a15c628d",
"id": "bb:608",
"start_pc": 608,
"type": "basic_block"
},
{
"end_pc": 641,
"hash": "0x84170cfe2f457741ab6a5462307dff2aaffcc4dccbb0160fac91a76d4d0bbde3",
"id": "bb:629",
"start_pc": 629,
"type": "basic_block"
},
{
"end_pc": 717,
"hash": "0x318c5d16db1499f2deb20f657c2b8a08f32c284f82f27202d9d25c81d3b45e0d",
"id": "bb:642",
"start_pc": 642,
"type": "basic_block"
},
{
"end_pc": 743,
"hash": "0xe91807083025b44c4aad37e2a5206ab192dd2ae38c63a17a2fc6ce29165e8b0d",
"id": "bb:718",
"start_pc": 718,
"type": "basic_block"
},
{
"end_pc": 748,
"hash": "0x30de8a4dc5df063700a1580bc2365022b76e5d735de4995cfd8c9d094b7bc043",
"id": "bb:744",
"start_pc": 744,
"type": "basic_block"
},
{
"end_pc": 756,
"hash": "0x15abb46ed8cec54e3035be79074268bfbc1177286ae948385d4082e96d99935e",
"id": "bb:749",
"start_pc": 749,
"type": "basic_block"
},
{
"end_pc": 787,
"hash": "0x793999fd003c2780d8d3c91974f9ff11cd0d26634e8330d4c002a6dd04e48db1",
"id": "bb:757",
"start_pc": 757,
"type": "basic_block"
},
{
"end_pc": 807,
"hash": "0x334c22d12dbb15ed4325dd7d4f47698ff31a59a27f9525697bd1a31d406e2fe9",
"id": "bb:788",
"start_pc": 788,
"type": "basic_block"
},
{
"end_pc": 838,
"hash": "0x06be923e61d6becbb7f59373da10bfbe2f8a880992d1c76938dd619674100c6f",
"id": "bb:808",
"start_pc": 808,
"type": "basic_block"
},
{
"end_pc": 862,
"hash": "0x21c301db94a00a23a56e87108229f7a631ac0768304da216ceda431bf096eb4f",
"id": "bb:839",
"start_pc": 839,
"type": "basic_block"
},
{
"end_pc": 869,
"hash": "0xc4b2e8782c13d1b17334e2bf11c38d64cc2cdccc11f9210f3e66d4e2d470ff37",
"id": "bb:863",
"start_pc": 863,
"type": "basic_block"
},
{
"end_pc": 900,
"hash": "0x19793a5a8da0fe20c53cc083bc317fa4297b0921c89ff648d2c6110fdddeebbd",
"id": "bb:870",
"start_pc": 870,
"type": "basic_block"
},
{
"end_pc": 910,
"hash": "0x1b1c84b5c424e4c976134f31c8368ffb8aecedc8deda60565f8783c1bfa0938e",
"id": "bb:901",
"start_pc": 901,
"type": "basic_block"
},
{
"end_pc": 915,
"hash": "0xaf6497f5453e51e09cdc210ce7625e632c5a328c123eca54d9af2f3ed4c8aa39",
"id": "bb:911",
"start_pc": 911,
"type": "basic_block"
}
]
exec
/bin/bash -lc "jq '.capability_graph.graph_json.edges[:200]' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
{
"from": "bb:0",
"to": "bb:185",
"type": "control_flow"
},
{
"from": "bb:0",
"to": "bb:11",
"type": "control_flow_fallthrough"
},
{
"from": "bb:11",
"to": "bb:221",
"type": "control_flow"
},
{
"from": "bb:11",
"to": "bb:31",
"type": "control_flow_fallthrough"
},
{
"from": "bb:31",
"to": "bb:284",
"type": "control_flow"
},
{
"from": "bb:31",
"to": "bb:42",
"type": "control_flow_fallthrough"
},
{
"from": "bb:42",
"to": "bb:317",
"type": "control_flow"
},
{
"from": "bb:42",
"to": "bb:53",
"type": "control_flow_fallthrough"
},
{
"from": "bb:53",
"to": "bb:376",
"type": "control_flow"
},
{
"from": "bb:53",
"to": "bb:64",
"type": "control_flow_fallthrough"
},
{
"from": "bb:64",
"to": "bb:439",
"type": "control_flow"
},
{
"from": "bb:64",
"to": "bb:75",
"type": "control_flow_fallthrough"
},
{
"from": "bb:75",
"to": "bb:462",
"type": "control_flow"
},
{
"from": "bb:75",
"to": "bb:86",
"type": "control_flow_fallthrough"
},
{
"from": "bb:86",
"to": "bb:506",
"type": "control_flow"
},
{
"from": "bb:86",
"to": "bb:97",
"type": "control_flow_fallthrough"
},
{
"from": "bb:97",
"to": "bb:558",
"type": "control_flow"
},
{
"from": "bb:97",
"to": "bb:108",
"type": "control_flow_fallthrough"
},
{
"from": "bb:108",
"to": "bb:608",
"type": "control_flow"
},
{
"from": "bb:108",
"to": "bb:119",
"type": "control_flow_fallthrough"
},
{
"from": "bb:119",
"to": "bb:749",
"type": "control_flow"
},
{
"from": "bb:119",
"to": "bb:130",
"type": "control_flow_fallthrough"
},
{
"from": "bb:130",
"to": "bb:757",
"type": "control_flow"
},
{
"from": "bb:130",
"to": "bb:141",
"type": "control_flow_fallthrough"
},
{
"from": "bb:141",
"to": "bb:808",
"type": "control_flow"
},
{
"from": "bb:141",
"to": "bb:152",
"type": "control_flow_fallthrough"
},
{
"from": "bb:152",
"to": "bb:870",
"type": "control_flow"
},
{
"from": "bb:152",
"to": "bb:163",
"type": "control_flow_fallthrough"
},
{
"from": "bb:163",
"to": "bb:926",
"type": "control_flow"
},
{
"from": "bb:163",
"to": "bb:174",
"type": "control_flow_fallthrough"
},
{
"from": "bb:174",
"to": "bb:939",
"type": "control_flow"
},
{
"from": "bb:174",
"to": "bb:185",
"type": "control_flow_fallthrough"
},
{
"from": "bb:185",
"to": "bb:1141",
"type": "control_flow"
},
{
"from": "bb:185",
"to": "bb:210",
"type": "control_flow_fallthrough"
},
{
"from": "bb:210",
"to": "bb:218",
"type": "control_flow_fallthrough"
},
{
"from": "bb:284",
"to": "bb:299",
"type": "control_flow_fallthrough"
},
{
"from": "bb:317",
"to": "bb:1429",
"type": "control_flow"
},
{
"from": "bb:317",
"to": "bb:351",
"type": "control_flow_fallthrough"
},
{
"from": "bb:351",
"to": "bb:366",
"type": "control_flow"
},
{
"from": "bb:351",
"to": "bb:361",
"type": "control_flow_fallthrough"
},
{
"from": "bb:361",
"to": "bb:366",
"type": "control_flow_fallthrough"
},
{
"from": "bb:366",
"to": "bb:1370",
"type": "control_flow"
},
{
"from": "bb:366",
"to": "bb:372",
"type": "control_flow_fallthrough"
},
{
"from": "bb:376",
"to": "bb:411",
"type": "control_flow_fallthrough"
},
{
"from": "bb:462",
"to": "bb:466",
"type": "control_flow_fallthrough"
},
{
"from": "bb:466",
"to": "bb:984",
"type": "control_flow"
},
{
"from": "bb:466",
"to": "bb:491",
"type": "control_flow_fallthrough"
},
{
"from": "bb:491",
"to": "bb:1263",
"type": "control_flow"
},
{
"from": "bb:491",
"to": "bb:502",
"type": "control_flow_fallthrough"
},
{
"from": "bb:608",
"to": "bb:744",
"type": "control_flow"
},
{
"from": "bb:608",
"to": "bb:629",
"type": "control_flow_fallthrough"
},
{
"from": "bb:629",
"to": "bb:642",
"type": "control_flow_fallthrough"
},
{
"from": "bb:642",
"to": "bb:718",
"type": "control_flow_fallthrough"
},
{
"from": "bb:718",
"to": "bb:744",
"type": "control_flow_fallthrough"
},
{
"from": "bb:749",
"to": "bb:299",
"type": "control_flow"
},
{
"from": "bb:757",
"to": "bb:218",
"type": "control_flow"
},
{
"from": "bb:757",
"to": "bb:788",
"type": "control_flow_fallthrough"
},
{
"from": "bb:808",
"to": "bb:218",
"type": "control_flow"
},
{
"from": "bb:808",
"to": "bb:839",
"type": "control_flow_fallthrough"
},
{
"from": "bb:839",
"to": "bb:1305",
"type": "control_flow"
},
{
"from": "bb:839",
"to": "bb:863",
"type": "control_flow_fallthrough"
},
{
"from": "bb:863",
"to": "bb:466",
"type": "control_flow"
},
{
"from": "bb:870",
"to": "bb:218",
"type": "control_flow"
},
{
"from": "bb:870",
"to": "bb:901",
"type": "control_flow_fallthrough"
},
{
"from": "bb:901",
"to": "bb:916",
"type": "control_flow"
},
{
"from": "bb:901",
"to": "bb:911",
"type": "control_flow_fallthrough"
},
{
"from": "bb:911",
"to": "bb:916",
"type": "control_flow_fallthrough"
},
{
"from": "bb:916",
"to": "bb:1433",
"type": "control_flow"
},
{
"from": "bb:916",
"to": "bb:922",
"type": "control_flow_fallthrough"
},
{
"from": "bb:926",
"to": "bb:299",
"type": "control_flow"
},
{
"from": "bb:939",
"to": "bb:218",
"type": "control_flow"
},
{
"from": "bb:939",
"to": "bb:969",
"type": "control_flow_fallthrough"
},
{
"from": "bb:969",
"to": "bb:1438",
"type": "control_flow"
},
{
"from": "bb:969",
"to": "bb:978",
"type": "control_flow_fallthrough"
},
{
"from": "bb:986",
"to": "bb:1088",
"type": "control_flow"
},
{
"from": "bb:986",
"to": "bb:1063",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1063",
"to": "bb:1088",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1141",
"to": "bb:1166",
"type": "control_flow"
},
{
"from": "bb:1141",
"to": "bb:1162",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1162",
"to": "bb:1166",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1166",
"to": "bb:1443",
"type": "control_flow"
},
{
"from": "bb:1166",
"to": "bb:1199",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1199",
"to": "bb:1225",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1225",
"to": "bb:1543",
"type": "control_flow"
},
{
"from": "bb:1225",
"to": "bb:1234",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1234",
"to": "bb:1225",
"type": "control_flow"
},
{
"from": "bb:1305",
"to": "bb:1321",
"type": "control_flow"
},
{
"from": "bb:1305",
"to": "bb:1317",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1370",
"to": "bb:1429",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1443",
"to": "bb:1547",
"type": "control_flow"
},
{
"from": "bb:1443",
"to": "bb:1534",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1534",
"to": "bb:1564",
"type": "control_flow"
},
{
"from": "bb:1547",
"to": "bb:1564",
"type": "control_flow"
},
{
"from": "bb:1547",
"to": "bb:1559",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1559",
"to": "bb:1564",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1564",
"to": "bb:1601",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1601",
"to": "bb:1619",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1619",
"to": "bb:1429",
"type": "control_flow"
},
{
"from": "bb:1619",
"to": "bb:1676",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1676",
"to": "bb:1693",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1693",
"to": "bb:1729",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1729",
"to": "bb:1823",
"type": "control_flow_fallthrough"
},
{
"from": "bb:1823",
"to": "bb:1601",
"type": "control_flow"
},
{
"from": "fn:0x253459e3",
"to": "bb:1110008173",
"type": "entry"
},
{
"from": "fn:0x4229616d",
"to": "bb:1473511963",
"type": "entry"
},
{
"from": "fn:0x57d4021b",
"to": "bb:1744308713",
"type": "entry"
},
{
"from": "fn:0x67f809e9",
"to": "bb:1752116368",
"type": "entry"
},
{
"from": "fn:0x686f2c90",
"to": "bb:1874504222",
"type": "entry"
},
{
"from": "fn:0x6fbaaa1e",
"to": "bb:2321527754",
"type": "entry"
},
{
"from": "fn:0x8a5fb3ca",
"to": "bb:2646364059",
"type": "entry"
},
{
"from": "fn:0x9dbc4f9b",
"to": "bb:2725101350",
"type": "entry"
},
{
"from": "fn:0xa26dbf26",
"to": "bb:2801392353",
"type": "entry"
},
{
"from": "fn:0xa6f9dae1",
"to": "bb:3020040528",
"type": "entry"
},
{
"from": "fn:0xb4022950",
"to": "bb:3470337648",
"type": "entry"
},
{
"from": "fn:0xced92670",
"to": "bb:3508474847",
"type": "entry"
},
{
"from": "fn:0xd11f13df",
"to": "bb:4209066386",
"type": "entry"
},
{
"from": "fn:0xfae14192",
"to": "bb:982",
"type": "entry"
},
{
"from": "bb:986",
"to": "call:1046",
"type": "contains"
},
{
"from": "call:1046",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1263",
"to": "call:1296",
"type": "contains"
},
{
"from": "call:1296",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1321",
"to": "call:1353",
"type": "contains"
},
{
"from": "call:1353",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1370",
"to": "call:1414",
"type": "contains"
},
{
"from": "call:1414",
"to": "sink:call",
"type": "capability"
},
{
"from": "bb:1729",
"to": "call:1796",
"type": "contains"
},
{
"from": "call:1796",
"to": "sink:call",
"type": "capability"
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.function_entries' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
{
"entry_pc": null,
"selector": "0x09dfdc71"
},
{
"entry_pc": 1110008173,
"selector": "0x253459e3"
},
{
"entry_pc": 1473511963,
"selector": "0x4229616d"
},
{
"entry_pc": 1744308713,
"selector": "0x57d4021b"
},
{
"entry_pc": 1752116368,
"selector": "0x67f809e9"
},
{
"entry_pc": 1874504222,
"selector": "0x686f2c90"
},
{
"entry_pc": 2321527754,
"selector": "0x6fbaaa1e"
},
{
"entry_pc": 2646364059,
"selector": "0x8a5fb3ca"
},
{
"entry_pc": 2725101350,
"selector": "0x9dbc4f9b"
},
{
"entry_pc": 2801392353,
"selector": "0xa26dbf26"
},
{
"entry_pc": 3020040528,
"selector": "0xa6f9dae1"
},
{
"entry_pc": 3470337648,
"selector": "0xb4022950"
},
{
"entry_pc": 3508474847,
"selector": "0xced92670"
},
{
"entry_pc": 4209066386,
"selector": "0xd11f13df"
},
{
"entry_pc": 982,
"selector": "0xfae14192"
}
]
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.basic_blocks[] | select(.start_pc>=960 and .start_pc<=1100)' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"end_pc": 977,
"hash": "0x35740ee16e5d5a9559de7cbc0374dd49e94860852c261278a718ecd30ac83103",
"opcodes": [
"PUSH1",
"OP_81",
"GT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 969
}
{
"end_pc": 981,
"hash": "0x3eda025ef4821855b3442549ab5b97407433e09e4279297d14b7dce447a52d61",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 978
}
{
"end_pc": 983,
"hash": "0x668e18e606089355b9b2cbc394f66f35530bac7107795d26215d2b825b8c5cf0",
"opcodes": [
"JUMPDEST",
"STOP"
],
"start_pc": 982
}
{
"end_pc": 985,
"hash": "0x281cbe1300a95b90a96917f8637e8d6f1f33f93a4a65279aa77ae8e5f6c348b7",
"opcodes": [
"JUMPDEST",
"JUMP"
],
"start_pc": 984
}
{
"end_pc": 1062,
"hash": "0xe3f60981dea75f7fb56b4dc3cc1dd4d0d13a980b665f082a7ed0024590693fd8",
"opcodes": [
"JUMPDEST",
"PUSH1",
"MLOAD",
"OP_80",
"OP_83",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_80",
"PUSH1",
"ADD",
"OP_82",
"OP_81",
"SUB",
"OP_82",
"MSTORE",
"OP_83",
"OP_81",
"OP_81",
"MLOAD",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_91",
"POP",
"OP_80",
"MLOAD",
"OP_90",
"PUSH1",
"ADD",
"OP_90",
"OP_80",
"OP_83",
"OP_83",
"OP_82",
"OP_90",
"PUSH1",
"PUSH1",
"PUSH1",
"OP_84",
"PUSH1",
"ADD",
"DIV",
"PUSH1",
"MUL",
"PUSH1",
"ADD",
"CALL",
"POP",
"OP_90",
"POP",
"OP_90",
"OP_81",
"ADD",
"OP_90",
"PUSH1",
"AND",
"OP_80",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 986
}
{
"end_pc": 1087,
"hash": "0x590640f6025f41f43186f0c5c1df4b87709d63cdbd4db9bc22e0c9c85e50158c",
"opcodes": [
"OP_80",
"OP_82",
"SUB",
"OP_80",
"MLOAD",
"PUSH1",
"OP_83",
"PUSH1",
"SUB",
"PUSH2",
"EXP",
"SUB",
"NOT",
"AND",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_91",
"POP"
],
"start_pc": 1063
}
{
"end_pc": 1102,
"hash": "0x4741f613c940b7f0800c16584b2f14d7b9306d4475db7f6abfeb69a639031bce",
"opcodes": [
"JUMPDEST",
"POP",
"OP_93",
"POP",
"POP",
"POP",
"POP",
"PUSH1",
"MLOAD",
"OP_80",
"OP_91",
"SUB",
"OP_90",
"RETURN"
],
"start_pc": 1088
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.basic_blocks[] | select(.start_pc>=1240 and .start_pc<=1445)' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"end_pc": 1304,
"hash": "0x9cd21be9e0f30b82bef3a36f1a8ecee483b94526e0960928719bfa68b2d7f92a",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"MLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_91",
"OP_90",
"OP_91",
"AND",
"OP_91",
"PUSH1",
"OP_91",
"OP_82",
"OP_81",
"OP_81",
"OP_81",
"OP_85",
"OP_88",
"OP_83",
"CALL",
"POP",
"POP",
"POP",
"PUSH1",
"SSTORE",
"POP",
"JUMP"
],
"start_pc": 1263
}
{
"end_pc": 1316,
"hash": "0x77016ec91e27be8dc71a01169661ddc694f82c5bae5ed30c0d0287b1190ae030",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1305
}
{
"end_pc": 1320,
"hash": "0xe76781f7cf9775c26836fd62f5bdaaedb5e2d07047a002f0778f802c054c7505",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 1317
}
{
"end_pc": 1369,
"hash": "0x57529e82fdeb3d8b017b4016dfb7e560dcd130ad67e3c4e4f9a8811b063dfefc",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"MLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_91",
"OP_90",
"OP_91",
"AND",
"OP_90",
"PUSH1",
"OP_90",
"OP_83",
"OP_90",
"OP_82",
"OP_81",
"OP_81",
"OP_81",
"OP_85",
"OP_88",
"OP_83",
"CALL",
"POP",
"POP",
"PUSH1",
"OP_80",
"SLOAD",
"OP_91",
"OP_90",
"OP_91",
"SUB",
"OP_90",
"SSTORE",
"POP",
"POP",
"POP",
"JUMP"
],
"start_pc": 1321
}
{
"end_pc": 1428,
"hash": "0xdffb60be490b4933b6646191b2fee4be966308f4aa85c6034cd089542e646e3b",
"opcodes": [
"JUMPDEST",
"POP",
"PUSH1",
"SLOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"MLOAD",
"PUSH1",
"OP_90",
"OP_92",
"DIV",
"OP_83",
"MUL",
"OP_91",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_91",
"OP_90",
"OP_91",
"AND",
"OP_90",
"PUSH1",
"OP_90",
"OP_83",
"OP_90",
"OP_82",
"OP_81",
"OP_81",
"OP_81",
"OP_85",
"OP_88",
"OP_83",
"CALL",
"POP",
"POP",
"PUSH1",
"OP_80",
"SLOAD",
"OP_91",
"OP_90",
"OP_91",
"SUB",
"OP_90",
"SSTORE",
"POP",
"POP"
],
"start_pc": 1370
}
{
"end_pc": 1432,
"hash": "0xeaafc9e0f8a492af225f16f69449cc76fb5719a488d7f7a8b1fe800dd54e8e50",
"opcodes": [
"JUMPDEST",
"POP",
"POP",
"JUMP"
],
"start_pc": 1429
}
{
"end_pc": 1437,
"hash": "0x2400b5307674f49fe2a58109293c6f03c3a6595ac279acb9479610fc4c267cc5",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SSTORE",
"JUMP"
],
"start_pc": 1433
}
{
"end_pc": 1442,
"hash": "0xe7d43d72c3a9cfaa684e10fe109d00d78dbab1b8f157c0b0d6babf70b1bb9d2d",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SSTORE",
"JUMP"
],
"start_pc": 1438
}
{
"end_pc": 1533,
"hash": "0xf92da0a5c9c45ce879dc420f634c559a7a0e9f1462d958765e2fd33b83bb5583",
"opcodes": [
"JUMPDEST",
"POP",
"POP",
"POP",
"OP_91",
"OP_90",
"OP_90",
"PUSH1",
"MSTORE",
"PUSH1",
"PUSH1",
"SHA3",
"OP_90",
"PUSH1",
"MUL",
"ADD",
"PUSH1",
"POP",
"PUSH1",
"OP_80",
"MLOAD",
"OP_80",
"OP_82",
"ADD",
"OP_90",
"OP_91",
"MSTORE",
"CALLER",
"OP_80",
"OP_82",
"MSTORE",
"PUSH1",
"SLOAD",
"PUSH1",
"CALLVALUE",
"OP_91",
"OP_90",
"OP_91",
"MUL",
"DIV",
"PUSH1",
"OP_92",
"OP_90",
"OP_92",
"ADD",
"OP_82",
"OP_90",
"MSTORE",
"OP_82",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"NOT",
"AND",
"OR",
"OP_82",
"SSTORE",
"PUSH1",
"OP_91",
"OP_90",
"OP_91",
"ADD",
"SSTORE",
"POP",
"PUSH1",
"SLOAD",
"PUSH1",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1443
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.basic_blocks[] | select(.start_pc>=1700 and .start_pc<=1810)' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"end_pc": 1822,
"hash": "0x52b222694e21cebb50f23674eb8220c0358e9be12872302412a34cc34268f932",
"opcodes": [
"PUSH1",
"MUL",
"PUSH32",
"ADD",
"SLOAD",
"PUSH1",
"MLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_91",
"OP_90",
"OP_91",
"AND",
"OP_91",
"POP",
"PUSH1",
"OP_90",
"OP_83",
"OP_90",
"OP_82",
"OP_81",
"OP_81",
"OP_81",
"OP_85",
"OP_88",
"OP_83",
"CALL",
"OP_93",
"POP",
"POP",
"POP",
"POP",
"POP",
"PUSH1",
"PUSH1",
"POP",
"PUSH1",
"PUSH1",
"POP",
"SLOAD",
"OP_81",
"SLOAD",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1729
}
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.basic_blocks[] | select(.start_pc>=1600 and .start_pc<=1865)' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"end_pc": 1618,
"hash": "0xd19e6fa1f17d719593d79091bcfcce0816ab9d573c8c2cebeb490a20cb981ff6",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"OP_80",
"SLOAD",
"OP_90",
"OP_91",
"OP_90",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1601
}
{
"end_pc": 1675,
"hash": "0xcc722d3cd23c786e65ad36f779f869c2108ff89fc8f6cb9881699f4b88784735",
"opcodes": [
"PUSH1",
"OP_91",
"OP_82",
"MSTORE",
"PUSH1",
"MUL",
"PUSH32",
"ADD",
"OP_90",
"POP",
"PUSH1",
"ADD",
"SLOAD",
"PUSH1",
"SLOAD",
"GT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1619
}
{
"end_pc": 1692,
"hash": "0x98a59be685da8ae14396a9dd61ce96f955dc93f6cba5c99af5b67435aa3d8733",
"opcodes": [
"PUSH1",
"SLOAD",
"PUSH1",
"OP_80",
"SLOAD",
"OP_90",
"OP_91",
"OP_90",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1676
}
{
"end_pc": 1728,
"hash": "0xe7492c0066c7423497d99e4035aca549b108bbfa78d0d2ffae47e6e13970c4e3",
"opcodes": [
"PUSH1",
"MUL",
"PUSH1",
"OP_80",
"MLOAD",
"PUSH1",
"PUSH2",
"OP_83",
"CODECOPY",
"OP_81",
"MLOAD",
"OP_91",
"MSTORE",
"ADD",
"SLOAD",
"PUSH1",
"SLOAD",
"OP_82",
"SLOAD",
"OP_91",
"OP_93",
"POP",
"OP_90",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1693
}
{
"end_pc": 1822,
"hash": "0x52b222694e21cebb50f23674eb8220c0358e9be12872302412a34cc34268f932",
"opcodes": [
"PUSH1",
"MUL",
"PUSH32",
"ADD",
"SLOAD",
"PUSH1",
"MLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_91",
"OP_90",
"OP_91",
"AND",
"OP_91",
"POP",
"PUSH1",
"OP_90",
"OP_83",
"OP_90",
"OP_82",
"OP_81",
"OP_81",
"OP_81",
"OP_85",
"OP_88",
"OP_83",
"CALL",
"OP_93",
"POP",
"POP",
"POP",
"POP",
"POP",
"PUSH1",
"PUSH1",
"POP",
"PUSH1",
"PUSH1",
"POP",
"SLOAD",
"OP_81",
"SLOAD",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1729
}
{
"end_pc": 1869,
"hash": "0x726e84c2db46062948e8ee7de1fb9dc82c91a9074f2b104030d464ac84f51a88",
"opcodes": [
"PUSH1",
"OP_91",
"OP_82",
"MSTORE",
"OP_81",
"SLOAD",
"PUSH1",
"OP_91",
"OP_90",
"OP_91",
"MUL",
"PUSH1",
"OP_80",
"MLOAD",
"PUSH1",
"PUSH2",
"OP_83",
"CODECOPY",
"OP_81",
"MLOAD",
"OP_91",
"MSTORE",
"ADD",
"SLOAD",
"OP_90",
"SUB",
"OP_90",
"SSTORE",
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"ADD",
"OP_90",
"SSTORE",
"PUSH2",
"JUMP"
],
"start_pc": 1823
}
exec
/bin/bash -lc "sed -n '8040,8325p' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
"hash": "0x98a59be685da8ae14396a9dd61ce96f955dc93f6cba5c99af5b67435aa3d8733",
"id": "bb:1676",
"start_pc": 1676,
"type": "basic_block"
},
{
"end_pc": 1728,
"hash": "0xe7492c0066c7423497d99e4035aca549b108bbfa78d0d2ffae47e6e13970c4e3",
"id": "bb:1693",
"start_pc": 1693,
"type": "basic_block"
},
{
"end_pc": 1822,
"hash": "0x52b222694e21cebb50f23674eb8220c0358e9be12872302412a34cc34268f932",
"id": "bb:1729",
"start_pc": 1729,
"type": "basic_block"
},
{
"end_pc": 1869,
"hash": "0x726e84c2db46062948e8ee7de1fb9dc82c91a9074f2b104030d464ac84f51a88",
"id": "bb:1823",
"start_pc": 1823,
"type": "basic_block"
},
{
"end_pc": 2515,
"hash": "0x593797cf1708712e478437c8fe2e774e2292bdf3c2b042d3931fec80be8197c7",
"id": "bb:1870",
"start_pc": 1870,
"type": "basic_block"
},
{
"id": "call:1046",
"opcode": "CALL",
"pc": 1046,
"type": "callsite"
},
{
"id": "call:1296",
"opcode": "CALL",
"pc": 1296,
"type": "callsite"
},
{
"id": "call:1353",
"opcode": "CALL",
"pc": 1353,
"type": "callsite"
},
{
"id": "call:1414",
"opcode": "CALL",
"pc": 1414,
"type": "callsite"
},
{
"id": "call:1796",
"opcode": "CALL",
"pc": 1796,
"type": "callsite"
},
{
"id": "sink:call",
"type": "sink"
},
{
"entry_pc": null,
"id": "fn:0x09dfdc71",
"selector": "0x09dfdc71",
"type": "function"
},
{
"entry_pc": 1110008173,
"id": "fn:0x253459e3",
"selector": "0x253459e3",
"type": "function"
},
{
"entry_pc": 1473511963,
"id": "fn:0x4229616d",
"selector": "0x4229616d",
"type": "function"
},
{
"entry_pc": 1744308713,
"id": "fn:0x57d4021b",
"selector": "0x57d4021b",
"type": "function"
},
{
"entry_pc": 1752116368,
"id": "fn:0x67f809e9",
"selector": "0x67f809e9",
"type": "function"
},
{
"entry_pc": 1874504222,
"id": "fn:0x686f2c90",
"selector": "0x686f2c90",
"type": "function"
},
{
"entry_pc": 2321527754,
"id": "fn:0x6fbaaa1e",
"selector": "0x6fbaaa1e",
"type": "function"
},
{
"entry_pc": 2646364059,
"id": "fn:0x8a5fb3ca",
"selector": "0x8a5fb3ca",
"type": "function"
},
{
"entry_pc": 2725101350,
"id": "fn:0x9dbc4f9b",
"selector": "0x9dbc4f9b",
"type": "function"
},
{
"entry_pc": 2801392353,
"id": "fn:0xa26dbf26",
"selector": "0xa26dbf26",
"type": "function"
},
{
"entry_pc": 3020040528,
"id": "fn:0xa6f9dae1",
"selector": "0xa6f9dae1",
"type": "function"
},
{
"entry_pc": 3470337648,
"id": "fn:0xb4022950",
"selector": "0xb4022950",
"type": "function"
},
{
"entry_pc": 3508474847,
"id": "fn:0xced92670",
"selector": "0xced92670",
"type": "function"
},
{
"entry_pc": 4209066386,
"id": "fn:0xd11f13df",
"selector": "0xd11f13df",
"type": "function"
},
{
"entry_pc": 982,
"id": "fn:0xfae14192",
"selector": "0xfae14192",
"type": "function"
}
],
"version": "capability_graph_v1"
},
"id": 2406,
"updated_at": "2026-04-04T22:31:16.000000Z",
"version": "capability_graph_v1"
},
"detector_findings": [
{
"confidence": 60,
"evidence_json": {
"call_count": 5,
"examples": [
{
"opcode": "CALL",
"pc": 1046,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1296,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1353,
"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": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"trace_mode": "callTracer"
}
},
{
"confidence": 55,
"evidence_json": {
"eth_value_calls": 5,
"examples": [
{
"opcode": "CALL",
"pc": 1046,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1296,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
},
{
"opcode": "CALL",
"pc": 1353,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": []
},
"normalized_json": {
"sink": "CALL",
"value": "nonzero"
},
"severity": "high",
"title": "ETH value transfer possible",
"validated": true,
"validation_json": {
"attempts": 1,
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"trace_mode": "callTracer"
}
}
],
"heuristics_summary": {
"create2_count": 0,
"delegatecall_count": 0,
"flags": [],
"selfdestruct_count": 0
}
}
exec
/bin/bash -lc "sed -n '2538,2665p' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
"type": "control_flow"
}
],
"cfg_hash": "0x706a363aa3848bc519146cb5fe30c1098be6679109c16f0baf57d31ec885b89b",
"dispatcher_type": "selector_jump_table",
"function_entries": [
{
"entry_pc": null,
"selector": "0x09dfdc71"
},
{
"entry_pc": 1110008173,
"selector": "0x253459e3"
},
{
"entry_pc": 1473511963,
"selector": "0x4229616d"
},
{
"entry_pc": 1744308713,
"selector": "0x57d4021b"
},
{
"entry_pc": 1752116368,
"selector": "0x67f809e9"
},
{
"entry_pc": 1874504222,
"selector": "0x686f2c90"
},
{
"entry_pc": 2321527754,
"selector": "0x6fbaaa1e"
},
{
"entry_pc": 2646364059,
"selector": "0x8a5fb3ca"
},
{
"entry_pc": 2725101350,
"selector": "0x9dbc4f9b"
},
{
"entry_pc": 2801392353,
"selector": "0xa26dbf26"
},
{
"entry_pc": 3020040528,
"selector": "0xa6f9dae1"
},
{
"entry_pc": 3470337648,
"selector": "0xb4022950"
},
{
"entry_pc": 3508474847,
"selector": "0xced92670"
},
{
"entry_pc": 4209066386,
"selector": "0xd11f13df"
},
{
"entry_pc": 982,
"selector": "0xfae14192"
}
],
"functions": [
{
"auth": {
"guards": []
},
"entry_pc": null,
"selector": "0x09dfdc71",
"sinks": {
"call": 5,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0
},
"storage": {
"reads": 60,
"slots": [
{
"op": "SLOAD",
"pc": 213,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 287,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 326,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 353,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
{
"op": "SLOAD",
"pc": 401,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
},
{
"op": "SLOAD",
"pc": 446,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SSTORE",
"pc": 460,
"slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
},
{
"op": "SLOAD",
"pc": 469,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
},
{
"op": "SLOAD",
"pc": 493,
"slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
},
exec
/bin/bash -lc "jq '.artifact | keys' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
"codehash",
"compiler_json",
"implementation_address",
"is_proxy",
"runtime_bytecode",
"verified_source"
]
exec
/bin/bash -lc "jq '.analysis_run | keys' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
[
"address",
"block_number",
"chain_id",
"child_links",
"created_at",
"id",
"parent_links",
"status",
"updated_at"
]
exec
/bin/bash -lc 'command -v evm || command -v cast || command -v forge || command -v hevm || command -v python3' in /tmp/codex-j_94wub7
succeeded in 0ms:
/home/noahkuhn/.foundry/bin/cast
exec
/bin/bash -lc "jq '.artifact.compiler_json, .artifact.is_proxy, .artifact.implementation_address, (.artifact.runtime_bytecode|length)' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"etherscan": {
"skipped": true
}
}
false
null
5
exec
/bin/bash -lc "jq '.artifact.runtime_bytecode' BYTECODE_BUNDLE.json" in /tmp/codex-j_94wub7
succeeded in 0ms:
{
"full": "0x606060405236156100b95760e060020a600035046309dfdc7181146100dd578063253459e31461011c5780634229616d1461013d57806357d4021b1461017857806367f809e9146101b7578063686f2c90146101ce5780636fbaaa1e146101fa5780638a5fb3ca1461022e5780639dbc4f9b14610260578063a26dbf26146102ed578063a6f9dae1146102f5578063b402295014610328578063ced9267014610366578063d11f13df1461039e578063fae14192146103ab575b6103d66103d86000670de0b6b3a76400003410156104755760018054340190555b50565b6040805160208181018352600080835283519054610100820190945260ca8082526103da94670de0b6b3a7640000900493926107d29083013990509091565b600154670de0b6b3a764000090045b60408051918252519081900360200190f35b6103d6600435600554600090600160a060020a039081163390911614156105955760015481148061016e5750606482115b1561055a57610002565b61012b6000670de0b6b3a7640000600660005060046000505481548110156100025792526002919091026000805160206109bb83398151915201540490565b6103d660058054600160a060020a03191633179055565b6103d65b600554600160a060020a039081163390911614156103d857600154600014156104ef57610002565b6103da6040805160208181018352600082528251600354610140820190945261011f808252909161089c9083013990509091565b6103da604080516020818101835260008252825160025460c082019094526084808252909161074e9083013990509091565b61044f600435600654600090819083116102e85760068054849081101561000257508054818352600285027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0154600160a060020a03169350670de0b6b3a764000091908590811015610002575050600284026000805160206109bb83398151915201540490505b915091565b60065461012b565b6103d6600435600554600160a060020a039081163390911614156100da5760058054600160a060020a0319168217905550565b6103d6600435600554600160a060020a039081163390911614156100da57600154670de0b6b3a76400009190910290811115610519576105196101d2565b6103d6600435600554600160a060020a039081163390911614156100da5761012c8111806103945750607881105b1561059957610002565b600654600454900361012b565b6103d660043560055433600160a060020a03908116911614156100da57600a81111561059e57610002565b005b565b60405180838152602001806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156104405780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b6040518083600160a060020a031681526020018281526020019250505060405180910390f35b506002546802b5e3af16b1880000341061048e57600290045b6100da816000600660005080548060010182818154818355818115116105a3576002028160020283600052602060002091820191016105a391905b80821115610607578054600160a060020a031916815560006001919091019081556104c9565b600154600554604051600160a060020a03919091169160009182818181858883f150505060015550565b6001546000141561052957610002565b600554604051600160a060020a039190911690600090839082818181858883f1505060018054919091039055505050565b506001546005546040516064909204830291600160a060020a039190911690600090839082818181858883f150506001805491909103905550505b5050565b600355565b600255565b50505091909060005260206000209060020201600050604080518082019091523380825260035460643491909102046020929092018290528254600160a060020a0319161782556001919091015550600654600a141561060b5760c860035561061c565b5090565b6006546019141561061c5760966003555b6000805460648481033490810282900490920190925560018054918502929092040190555b600454600680549091908110156100025760009182526002027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0190506001015460005411156105955760045460068054909190811015610002576002026000805160206109bb8339815191520154600454825491935090811015610002576002027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0154604051600160a060020a03919091169150600090839082818181858883f19350505050506006600050600460005054815481101561000257600091825281546002919091026000805160206109bb8339815191520154900390556004805460010190556106415653686f776e20696e202520666f726d2e204665652069732068616c766564283530252920666f7220616d6f756e747320657175616c206f722067726561746572207468616e203530206574686572732e2028466565206d6179206368616e67652c206275742069732063617070656420746f2061206d6178696d756d206f662031302529416c6c2062616c616e63652076616c75657320617265206d6561737572656420696e204574686572732c206e6f746520746861742064756520746f206e6f20646563696d616c20706c6163696e672c2074686573652076616c7565732073686f7720757020617320696e746567657273206f6e6c792c2077697468696e2074686520636f6e747261637420697473656c6620796f752077696c6c206765742074686520657861637420646563696d616c2076616c756520796f752061726520737570706f73656420746f54686973206d756c7469706c696572206170706c69657320746f20796f7520617320736f6f6e206173207472616e73616374696f6e2069732072656365697665642c206d6179206265206c6f776572656420746f2068617374656e207061796f757473206f7220696e63726561736564206966207061796f75747320617265206661737420656e6f7567682e2044756520746f206e6f20666c6f6174206f7220646563696d616c732c206d756c7469706c696572206973207831303020666f722061206672616374696f6e616c206d756c7469706c69657220652e672e203235302069732061637475616c6c79206120322e3578206d756c7469706c6965722e20436170706564206174203378206d617820616e6420312e3278206d696e2ef652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d40",
"head": null,
"length": 5048,
"tail": null,
"truncated": false
}
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1,260p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00b9
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x09dfdc71
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00dd
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x253459e3
00000025: EQ
00000026: PUSH2 0x011c
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x4229616d
00000030: EQ
00000031: PUSH2 0x013d
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x57d4021b
0000003b: EQ
0000003c: PUSH2 0x0178
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x67f809e9
00000046: EQ
00000047: PUSH2 0x01b7
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x686f2c90
00000051: EQ
00000052: PUSH2 0x01ce
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x6fbaaa1e
0000005c: EQ
0000005d: PUSH2 0x01fa
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x8a5fb3ca
00000067: EQ
00000068: PUSH2 0x022e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x9dbc4f9b
00000072: EQ
00000073: PUSH2 0x0260
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xa26dbf26
0000007d: EQ
0000007e: PUSH2 0x02ed
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xa6f9dae1
00000088: EQ
00000089: PUSH2 0x02f5
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb4022950
00000093: EQ
00000094: PUSH2 0x0328
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xced92670
0000009e: EQ
0000009f: PUSH2 0x0366
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xd11f13df
000000a9: EQ
000000aa: PUSH2 0x039e
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xfae14192
000000b4: EQ
000000b5: PUSH2 0x03ab
000000b8: JUMPI
000000b9: JUMPDEST
000000ba: PUSH2 0x03d6
000000bd: PUSH2 0x03d8
000000c0: PUSH1 0x00
000000c2: PUSH8 0x0de0b6b3a7640000
000000cb: CALLVALUE
000000cc: LT
000000cd: ISZERO
000000ce: PUSH2 0x0475
000000d1: JUMPI
000000d2: PUSH1 0x01
000000d4: DUP1
000000d5: SLOAD
000000d6: CALLVALUE
000000d7: ADD
000000d8: SWAP1
000000d9: SSTORE
000000da: JUMPDEST
000000db: POP
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH1 0x40
000000e0: DUP1
000000e1: MLOAD
000000e2: PUSH1 0x20
000000e4: DUP2
000000e5: DUP2
000000e6: ADD
000000e7: DUP4
000000e8: MSTORE
000000e9: PUSH1 0x00
000000eb: DUP1
000000ec: DUP4
000000ed: MSTORE
000000ee: DUP4
000000ef: MLOAD
000000f0: SWAP1
000000f1: SLOAD
000000f2: PUSH2 0x0100
000000f5: DUP3
000000f6: ADD
000000f7: SWAP1
000000f8: SWAP5
000000f9: MSTORE
000000fa: PUSH1 0xca
000000fc: DUP1
000000fd: DUP3
000000fe: MSTORE
000000ff: PUSH2 0x03da
00000102: SWAP5
00000103: PUSH8 0x0de0b6b3a7640000
0000010c: SWAP1
0000010d: DIV
0000010e: SWAP4
0000010f: SWAP3
00000110: PUSH2 0x07d2
00000113: SWAP1
00000114: DUP4
00000115: ADD
00000116: CODECOPY
00000117: SWAP1
00000118: POP
00000119: SWAP1
0000011a: SWAP2
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH1 0x01
0000011f: SLOAD
00000120: PUSH8 0x0de0b6b3a7640000
00000129: SWAP1
0000012a: DIV
0000012b: JUMPDEST
0000012c: PUSH1 0x40
0000012e: DUP1
0000012f: MLOAD
00000130: SWAP2
00000131: DUP3
00000132: MSTORE
00000133: MLOAD
00000134: SWAP1
00000135: DUP2
00000136: SWAP1
00000137: SUB
00000138: PUSH1 0x20
0000013a: ADD
0000013b: SWAP1
0000013c: RETURN
0000013d: JUMPDEST
0000013e: PUSH2 0x03d6
00000141: PUSH1 0x04
00000143: CALLDATALOAD
00000144: PUSH1 0x05
00000146: SLOAD
00000147: PUSH1 0x00
00000149: SWAP1
0000014a: PUSH1 0x01
0000014c: PUSH1 0xa0
0000014e: PUSH1 0x02
00000150: EXP
00000151: SUB
00000152: SWAP1
00000153: DUP2
00000154: AND
00000155: CALLER
00000156: SWAP1
00000157: SWAP2
00000158: AND
00000159: EQ
0000015a: ISZERO
0000015b: PUSH2 0x0595
0000015e: JUMPI
0000015f: PUSH1 0x01
00000161: SLOAD
00000162: DUP2
00000163: EQ
00000164: DUP1
00000165: PUSH2 0x016e
00000168: JUMPI
00000169: POP
0000016a: PUSH1 0x64
0000016c: DUP3
0000016d: GT
0000016e: JUMPDEST
0000016f: ISZERO
00000170: PUSH2 0x055a
00000173: JUMPI
00000174: PUSH2 0x0002
00000177: JUMP
00000178: JUMPDEST
00000179: PUSH2 0x012b
0000017c: PUSH1 0x00
0000017e: PUSH8 0x0de0b6b3a7640000
00000187: PUSH1 0x06
00000189: PUSH1 0x00
0000018b: POP
0000018c: PUSH1 0x04
0000018e: PUSH1 0x00
00000190: POP
00000191: SLOAD
00000192: DUP2
00000193: SLOAD
00000194: DUP2
00000195: LT
00000196: ISZERO
00000197: PUSH2 0x0002
0000019a: JUMPI
0000019b: SWAP3
0000019c: MSTORE
0000019d: PUSH1 0x02
0000019f: SWAP2
000001a0: SWAP1
000001a1: SWAP2
000001a2: MUL
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: MLOAD
000001a7: PUSH1 0x20
000001a9: PUSH2 0x09bb
000001ac: DUP4
000001ad: CODECOPY
000001ae: DUP2
000001af: MLOAD
000001b0: SWAP2
000001b1: MSTORE
000001b2: ADD
000001b3: SLOAD
000001b4: DIV
000001b5: SWAP1
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH2 0x03d6
000001bb: PUSH1 0x05
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '261,520p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
000001bd: DUP1
000001be: SLOAD
000001bf: PUSH1 0x01
000001c1: PUSH1 0xa0
000001c3: PUSH1 0x02
000001c5: EXP
000001c6: SUB
000001c7: NOT
000001c8: AND
000001c9: CALLER
000001ca: OR
000001cb: SWAP1
000001cc: SSTORE
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH2 0x03d6
000001d2: JUMPDEST
000001d3: PUSH1 0x05
000001d5: SLOAD
000001d6: PUSH1 0x01
000001d8: PUSH1 0xa0
000001da: PUSH1 0x02
000001dc: EXP
000001dd: SUB
000001de: SWAP1
000001df: DUP2
000001e0: AND
000001e1: CALLER
000001e2: SWAP1
000001e3: SWAP2
000001e4: AND
000001e5: EQ
000001e6: ISZERO
000001e7: PUSH2 0x03d8
000001ea: JUMPI
000001eb: PUSH1 0x01
000001ed: SLOAD
000001ee: PUSH1 0x00
000001f0: EQ
000001f1: ISZERO
000001f2: PUSH2 0x04ef
000001f5: JUMPI
000001f6: PUSH2 0x0002
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH2 0x03da
000001fe: PUSH1 0x40
00000200: DUP1
00000201: MLOAD
00000202: PUSH1 0x20
00000204: DUP2
00000205: DUP2
00000206: ADD
00000207: DUP4
00000208: MSTORE
00000209: PUSH1 0x00
0000020b: DUP3
0000020c: MSTORE
0000020d: DUP3
0000020e: MLOAD
0000020f: PUSH1 0x03
00000211: SLOAD
00000212: PUSH2 0x0140
00000215: DUP3
00000216: ADD
00000217: SWAP1
00000218: SWAP5
00000219: MSTORE
0000021a: PUSH2 0x011f
0000021d: DUP1
0000021e: DUP3
0000021f: MSTORE
00000220: SWAP1
00000221: SWAP2
00000222: PUSH2 0x089c
00000225: SWAP1
00000226: DUP4
00000227: ADD
00000228: CODECOPY
00000229: SWAP1
0000022a: POP
0000022b: SWAP1
0000022c: SWAP2
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x03da
00000232: PUSH1 0x40
00000234: DUP1
00000235: MLOAD
00000236: PUSH1 0x20
00000238: DUP2
00000239: DUP2
0000023a: ADD
0000023b: DUP4
0000023c: MSTORE
0000023d: PUSH1 0x00
0000023f: DUP3
00000240: MSTORE
00000241: DUP3
00000242: MLOAD
00000243: PUSH1 0x02
00000245: SLOAD
00000246: PUSH1 0xc0
00000248: DUP3
00000249: ADD
0000024a: SWAP1
0000024b: SWAP5
0000024c: MSTORE
0000024d: PUSH1 0x84
0000024f: DUP1
00000250: DUP3
00000251: MSTORE
00000252: SWAP1
00000253: SWAP2
00000254: PUSH2 0x074e
00000257: SWAP1
00000258: DUP4
00000259: ADD
0000025a: CODECOPY
0000025b: SWAP1
0000025c: POP
0000025d: SWAP1
0000025e: SWAP2
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x044f
00000264: PUSH1 0x04
00000266: CALLDATALOAD
00000267: PUSH1 0x06
00000269: SLOAD
0000026a: PUSH1 0x00
0000026c: SWAP1
0000026d: DUP2
0000026e: SWAP1
0000026f: DUP4
00000270: GT
00000271: PUSH2 0x02e8
00000274: JUMPI
00000275: PUSH1 0x06
00000277: DUP1
00000278: SLOAD
00000279: DUP5
0000027a: SWAP1
0000027b: DUP2
0000027c: LT
0000027d: ISZERO
0000027e: PUSH2 0x0002
00000281: JUMPI
00000282: POP
00000283: DUP1
00000284: SLOAD
00000285: DUP2
00000286: DUP4
00000287: MSTORE
00000288: PUSH1 0x02
0000028a: DUP6
0000028b: MUL
0000028c: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
000002ad: ADD
000002ae: SLOAD
000002af: PUSH1 0x01
000002b1: PUSH1 0xa0
000002b3: PUSH1 0x02
000002b5: EXP
000002b6: SUB
000002b7: AND
000002b8: SWAP4
000002b9: POP
000002ba: PUSH8 0x0de0b6b3a7640000
000002c3: SWAP2
000002c4: SWAP1
000002c5: DUP6
000002c6: SWAP1
000002c7: DUP2
000002c8: LT
000002c9: ISZERO
000002ca: PUSH2 0x0002
000002cd: JUMPI
000002ce: POP
000002cf: POP
000002d0: PUSH1 0x02
000002d2: DUP5
000002d3: MUL
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: MLOAD
000002d8: PUSH1 0x20
000002da: PUSH2 0x09bb
000002dd: DUP4
000002de: CODECOPY
000002df: DUP2
000002e0: MLOAD
000002e1: SWAP2
000002e2: MSTORE
000002e3: ADD
000002e4: SLOAD
000002e5: DIV
000002e6: SWAP1
000002e7: POP
000002e8: JUMPDEST
000002e9: SWAP2
000002ea: POP
000002eb: SWAP2
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x06
000002f0: SLOAD
000002f1: PUSH2 0x012b
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x03d6
000002f9: PUSH1 0x04
000002fb: CALLDATALOAD
000002fc: PUSH1 0x05
000002fe: SLOAD
000002ff: PUSH1 0x01
00000301: PUSH1 0xa0
00000303: PUSH1 0x02
00000305: EXP
00000306: SUB
00000307: SWAP1
00000308: DUP2
00000309: AND
0000030a: CALLER
0000030b: SWAP1
0000030c: SWAP2
0000030d: AND
0000030e: EQ
0000030f: ISZERO
00000310: PUSH2 0x00da
00000313: JUMPI
00000314: PUSH1 0x05
00000316: DUP1
00000317: SLOAD
00000318: PUSH1 0x01
0000031a: PUSH1 0xa0
0000031c: PUSH1 0x02
0000031e: EXP
0000031f: SUB
00000320: NOT
00000321: AND
00000322: DUP3
00000323: OR
00000324: SWAP1
00000325: SSTORE
00000326: POP
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x03d6
0000032c: PUSH1 0x04
0000032e: CALLDATALOAD
0000032f: PUSH1 0x05
00000331: SLOAD
00000332: PUSH1 0x01
00000334: PUSH1 0xa0
00000336: PUSH1 0x02
00000338: EXP
00000339: SUB
0000033a: SWAP1
0000033b: DUP2
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '521,780p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
0000033c: AND
0000033d: CALLER
0000033e: SWAP1
0000033f: SWAP2
00000340: AND
00000341: EQ
00000342: ISZERO
00000343: PUSH2 0x00da
00000346: JUMPI
00000347: PUSH1 0x01
00000349: SLOAD
0000034a: PUSH8 0x0de0b6b3a7640000
00000353: SWAP2
00000354: SWAP1
00000355: SWAP2
00000356: MUL
00000357: SWAP1
00000358: DUP2
00000359: GT
0000035a: ISZERO
0000035b: PUSH2 0x0519
0000035e: JUMPI
0000035f: PUSH2 0x0519
00000362: PUSH2 0x01d2
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH2 0x03d6
0000036a: PUSH1 0x04
0000036c: CALLDATALOAD
0000036d: PUSH1 0x05
0000036f: SLOAD
00000370: PUSH1 0x01
00000372: PUSH1 0xa0
00000374: PUSH1 0x02
00000376: EXP
00000377: SUB
00000378: SWAP1
00000379: DUP2
0000037a: AND
0000037b: CALLER
0000037c: SWAP1
0000037d: SWAP2
0000037e: AND
0000037f: EQ
00000380: ISZERO
00000381: PUSH2 0x00da
00000384: JUMPI
00000385: PUSH2 0x012c
00000388: DUP2
00000389: GT
0000038a: DUP1
0000038b: PUSH2 0x0394
0000038e: JUMPI
0000038f: POP
00000390: PUSH1 0x78
00000392: DUP2
00000393: LT
00000394: JUMPDEST
00000395: ISZERO
00000396: PUSH2 0x0599
00000399: JUMPI
0000039a: PUSH2 0x0002
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x06
000003a1: SLOAD
000003a2: PUSH1 0x04
000003a4: SLOAD
000003a5: SWAP1
000003a6: SUB
000003a7: PUSH2 0x012b
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x03d6
000003af: PUSH1 0x04
000003b1: CALLDATALOAD
000003b2: PUSH1 0x05
000003b4: SLOAD
000003b5: CALLER
000003b6: PUSH1 0x01
000003b8: PUSH1 0xa0
000003ba: PUSH1 0x02
000003bc: EXP
000003bd: SUB
000003be: SWAP1
000003bf: DUP2
000003c0: AND
000003c1: SWAP2
000003c2: AND
000003c3: EQ
000003c4: ISZERO
000003c5: PUSH2 0x00da
000003c8: JUMPI
000003c9: PUSH1 0x0a
000003cb: DUP2
000003cc: GT
000003cd: ISZERO
000003ce: PUSH2 0x059e
000003d1: JUMPI
000003d2: PUSH2 0x0002
000003d5: JUMP
000003d6: JUMPDEST
000003d7: STOP
000003d8: JUMPDEST
000003d9: JUMP
000003da: JUMPDEST
000003db: PUSH1 0x40
000003dd: MLOAD
000003de: DUP1
000003df: DUP4
000003e0: DUP2
000003e1: MSTORE
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: DUP1
000003e6: PUSH1 0x20
000003e8: ADD
000003e9: DUP3
000003ea: DUP2
000003eb: SUB
000003ec: DUP3
000003ed: MSTORE
000003ee: DUP4
000003ef: DUP2
000003f0: DUP2
000003f1: MLOAD
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x20
000003f6: ADD
000003f7: SWAP2
000003f8: POP
000003f9: DUP1
000003fa: MLOAD
000003fb: SWAP1
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: SWAP1
00000400: DUP1
00000401: DUP4
00000402: DUP4
00000403: DUP3
00000404: SWAP1
00000405: PUSH1 0x00
00000407: PUSH1 0x04
00000409: PUSH1 0x20
0000040b: DUP5
0000040c: PUSH1 0x1f
0000040e: ADD
0000040f: DIV
00000410: PUSH1 0x0f
00000412: MUL
00000413: PUSH1 0x03
00000415: ADD
00000416: CALL
00000417: POP
00000418: SWAP1
00000419: POP
0000041a: SWAP1
0000041b: DUP2
0000041c: ADD
0000041d: SWAP1
0000041e: PUSH1 0x1f
00000420: AND
00000421: DUP1
00000422: ISZERO
00000423: PUSH2 0x0440
00000426: JUMPI
00000427: DUP1
00000428: DUP3
00000429: SUB
0000042a: DUP1
0000042b: MLOAD
0000042c: PUSH1 0x01
0000042e: DUP4
0000042f: PUSH1 0x20
00000431: SUB
00000432: PUSH2 0x0100
00000435: EXP
00000436: SUB
00000437: NOT
00000438: AND
00000439: DUP2
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP2
0000043f: POP
00000440: JUMPDEST
00000441: POP
00000442: SWAP4
00000443: POP
00000444: POP
00000445: POP
00000446: POP
00000447: PUSH1 0x40
00000449: MLOAD
0000044a: DUP1
0000044b: SWAP2
0000044c: SUB
0000044d: SWAP1
0000044e: RETURN
0000044f: JUMPDEST
00000450: PUSH1 0x40
00000452: MLOAD
00000453: DUP1
00000454: DUP4
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: SUB
0000045d: AND
0000045e: DUP2
0000045f: MSTORE
00000460: PUSH1 0x20
00000462: ADD
00000463: DUP3
00000464: DUP2
00000465: MSTORE
00000466: PUSH1 0x20
00000468: ADD
00000469: SWAP3
0000046a: POP
0000046b: POP
0000046c: POP
0000046d: PUSH1 0x40
0000046f: MLOAD
00000470: DUP1
00000471: SWAP2
00000472: SUB
00000473: SWAP1
00000474: RETURN
00000475: JUMPDEST
00000476: POP
00000477: PUSH1 0x02
00000479: SLOAD
0000047a: PUSH9 0x02b5e3af16b1880000
00000484: CALLVALUE
00000485: LT
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x02
0000048c: SWAP1
0000048d: DIV
0000048e: JUMPDEST
0000048f: PUSH2 0x00da
00000492: DUP2
00000493: PUSH1 0x00
00000495: PUSH1 0x06
00000497: PUSH1 0x00
00000499: POP
0000049a: DUP1
0000049b: SLOAD
0000049c: DUP1
0000049d: PUSH1 0x01
0000049f: ADD
000004a0: DUP3
000004a1: DUP2
000004a2: DUP2
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '781,1040p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
000004a3: SLOAD
000004a4: DUP2
000004a5: DUP4
000004a6: SSTORE
000004a7: DUP2
000004a8: DUP2
000004a9: ISZERO
000004aa: GT
000004ab: PUSH2 0x05a3
000004ae: JUMPI
000004af: PUSH1 0x02
000004b1: MUL
000004b2: DUP2
000004b3: PUSH1 0x02
000004b5: MUL
000004b6: DUP4
000004b7: PUSH1 0x00
000004b9: MSTORE
000004ba: PUSH1 0x20
000004bc: PUSH1 0x00
000004be: KECCAK256
000004bf: SWAP2
000004c0: DUP3
000004c1: ADD
000004c2: SWAP2
000004c3: ADD
000004c4: PUSH2 0x05a3
000004c7: SWAP2
000004c8: SWAP1
000004c9: JUMPDEST
000004ca: DUP1
000004cb: DUP3
000004cc: GT
000004cd: ISZERO
000004ce: PUSH2 0x0607
000004d1: JUMPI
000004d2: DUP1
000004d3: SLOAD
000004d4: PUSH1 0x01
000004d6: PUSH1 0xa0
000004d8: PUSH1 0x02
000004da: EXP
000004db: SUB
000004dc: NOT
000004dd: AND
000004de: DUP2
000004df: SSTORE
000004e0: PUSH1 0x00
000004e2: PUSH1 0x01
000004e4: SWAP2
000004e5: SWAP1
000004e6: SWAP2
000004e7: ADD
000004e8: SWAP1
000004e9: DUP2
000004ea: SSTORE
000004eb: PUSH2 0x04c9
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH1 0x01
000004f2: SLOAD
000004f3: PUSH1 0x05
000004f5: SLOAD
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: PUSH1 0x01
000004fb: PUSH1 0xa0
000004fd: PUSH1 0x02
000004ff: EXP
00000500: SUB
00000501: SWAP2
00000502: SWAP1
00000503: SWAP2
00000504: AND
00000505: SWAP2
00000506: PUSH1 0x00
00000508: SWAP2
00000509: DUP3
0000050a: DUP2
0000050b: DUP2
0000050c: DUP2
0000050d: DUP6
0000050e: DUP9
0000050f: DUP4
00000510: CALL
00000511: POP
00000512: POP
00000513: POP
00000514: PUSH1 0x01
00000516: SSTORE
00000517: POP
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x01
0000051c: SLOAD
0000051d: PUSH1 0x00
0000051f: EQ
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH2 0x0002
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH1 0x05
0000052c: SLOAD
0000052d: PUSH1 0x40
0000052f: MLOAD
00000530: PUSH1 0x01
00000532: PUSH1 0xa0
00000534: PUSH1 0x02
00000536: EXP
00000537: SUB
00000538: SWAP2
00000539: SWAP1
0000053a: SWAP2
0000053b: AND
0000053c: SWAP1
0000053d: PUSH1 0x00
0000053f: SWAP1
00000540: DUP4
00000541: SWAP1
00000542: DUP3
00000543: DUP2
00000544: DUP2
00000545: DUP2
00000546: DUP6
00000547: DUP9
00000548: DUP4
00000549: CALL
0000054a: POP
0000054b: POP
0000054c: PUSH1 0x01
0000054e: DUP1
0000054f: SLOAD
00000550: SWAP2
00000551: SWAP1
00000552: SWAP2
00000553: SUB
00000554: SWAP1
00000555: SSTORE
00000556: POP
00000557: POP
00000558: POP
00000559: JUMP
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH1 0x01
0000055e: SLOAD
0000055f: PUSH1 0x05
00000561: SLOAD
00000562: PUSH1 0x40
00000564: MLOAD
00000565: PUSH1 0x64
00000567: SWAP1
00000568: SWAP3
00000569: DIV
0000056a: DUP4
0000056b: MUL
0000056c: SWAP2
0000056d: PUSH1 0x01
0000056f: PUSH1 0xa0
00000571: PUSH1 0x02
00000573: EXP
00000574: SUB
00000575: SWAP2
00000576: SWAP1
00000577: SWAP2
00000578: AND
00000579: SWAP1
0000057a: PUSH1 0x00
0000057c: SWAP1
0000057d: DUP4
0000057e: SWAP1
0000057f: DUP3
00000580: DUP2
00000581: DUP2
00000582: DUP2
00000583: DUP6
00000584: DUP9
00000585: DUP4
00000586: CALL
00000587: POP
00000588: POP
00000589: PUSH1 0x01
0000058b: DUP1
0000058c: SLOAD
0000058d: SWAP2
0000058e: SWAP1
0000058f: SWAP2
00000590: SUB
00000591: SWAP1
00000592: SSTORE
00000593: POP
00000594: POP
00000595: JUMPDEST
00000596: POP
00000597: POP
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH1 0x03
0000059c: SSTORE
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x02
000005a1: SSTORE
000005a2: JUMP
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: SWAP2
000005a8: SWAP1
000005a9: SWAP1
000005aa: PUSH1 0x00
000005ac: MSTORE
000005ad: PUSH1 0x20
000005af: PUSH1 0x00
000005b1: KECCAK256
000005b2: SWAP1
000005b3: PUSH1 0x02
000005b5: MUL
000005b6: ADD
000005b7: PUSH1 0x00
000005b9: POP
000005ba: PUSH1 0x40
000005bc: DUP1
000005bd: MLOAD
000005be: DUP1
000005bf: DUP3
000005c0: ADD
000005c1: SWAP1
000005c2: SWAP2
000005c3: MSTORE
000005c4: CALLER
000005c5: DUP1
000005c6: DUP3
000005c7: MSTORE
000005c8: PUSH1 0x03
000005ca: SLOAD
000005cb: PUSH1 0x64
000005cd: CALLVALUE
000005ce: SWAP2
000005cf: SWAP1
000005d0: SWAP2
000005d1: MUL
000005d2: DIV
000005d3: PUSH1 0x20
000005d5: SWAP3
000005d6: SWAP1
000005d7: SWAP3
000005d8: ADD
000005d9: DUP3
000005da: SWAP1
000005db: MSTORE
000005dc: DUP3
000005dd: SLOAD
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: PUSH1 0x02
000005e4: EXP
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1041,1300p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
000005e5: SUB
000005e6: NOT
000005e7: AND
000005e8: OR
000005e9: DUP3
000005ea: SSTORE
000005eb: PUSH1 0x01
000005ed: SWAP2
000005ee: SWAP1
000005ef: SWAP2
000005f0: ADD
000005f1: SSTORE
000005f2: POP
000005f3: PUSH1 0x06
000005f5: SLOAD
000005f6: PUSH1 0x0a
000005f8: EQ
000005f9: ISZERO
000005fa: PUSH2 0x060b
000005fd: JUMPI
000005fe: PUSH1 0xc8
00000600: PUSH1 0x03
00000602: SSTORE
00000603: PUSH2 0x061c
00000606: JUMP
00000607: JUMPDEST
00000608: POP
00000609: SWAP1
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH1 0x06
0000060e: SLOAD
0000060f: PUSH1 0x19
00000611: EQ
00000612: ISZERO
00000613: PUSH2 0x061c
00000616: JUMPI
00000617: PUSH1 0x96
00000619: PUSH1 0x03
0000061b: SSTORE
0000061c: JUMPDEST
0000061d: PUSH1 0x00
0000061f: DUP1
00000620: SLOAD
00000621: PUSH1 0x64
00000623: DUP5
00000624: DUP2
00000625: SUB
00000626: CALLVALUE
00000627: SWAP1
00000628: DUP2
00000629: MUL
0000062a: DUP3
0000062b: SWAP1
0000062c: DIV
0000062d: SWAP1
0000062e: SWAP3
0000062f: ADD
00000630: SWAP1
00000631: SWAP3
00000632: SSTORE
00000633: PUSH1 0x01
00000635: DUP1
00000636: SLOAD
00000637: SWAP2
00000638: DUP6
00000639: MUL
0000063a: SWAP3
0000063b: SWAP1
0000063c: SWAP3
0000063d: DIV
0000063e: ADD
0000063f: SWAP1
00000640: SSTORE
00000641: JUMPDEST
00000642: PUSH1 0x04
00000644: SLOAD
00000645: PUSH1 0x06
00000647: DUP1
00000648: SLOAD
00000649: SWAP1
0000064a: SWAP2
0000064b: SWAP1
0000064c: DUP2
0000064d: LT
0000064e: ISZERO
0000064f: PUSH2 0x0002
00000652: JUMPI
00000653: PUSH1 0x00
00000655: SWAP2
00000656: DUP3
00000657: MSTORE
00000658: PUSH1 0x02
0000065a: MUL
0000065b: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
0000067c: ADD
0000067d: SWAP1
0000067e: POP
0000067f: PUSH1 0x01
00000681: ADD
00000682: SLOAD
00000683: PUSH1 0x00
00000685: SLOAD
00000686: GT
00000687: ISZERO
00000688: PUSH2 0x0595
0000068b: JUMPI
0000068c: PUSH1 0x04
0000068e: SLOAD
0000068f: PUSH1 0x06
00000691: DUP1
00000692: SLOAD
00000693: SWAP1
00000694: SWAP2
00000695: SWAP1
00000696: DUP2
00000697: LT
00000698: ISZERO
00000699: PUSH2 0x0002
0000069c: JUMPI
0000069d: PUSH1 0x02
0000069f: MUL
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: MLOAD
000006a4: PUSH1 0x20
000006a6: PUSH2 0x09bb
000006a9: DUP4
000006aa: CODECOPY
000006ab: DUP2
000006ac: MLOAD
000006ad: SWAP2
000006ae: MSTORE
000006af: ADD
000006b0: SLOAD
000006b1: PUSH1 0x04
000006b3: SLOAD
000006b4: DUP3
000006b5: SLOAD
000006b6: SWAP2
000006b7: SWAP4
000006b8: POP
000006b9: SWAP1
000006ba: DUP2
000006bb: LT
000006bc: ISZERO
000006bd: PUSH2 0x0002
000006c0: JUMPI
000006c1: PUSH1 0x02
000006c3: MUL
000006c4: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
000006e5: ADD
000006e6: SLOAD
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: PUSH1 0x01
000006ec: PUSH1 0xa0
000006ee: PUSH1 0x02
000006f0: EXP
000006f1: SUB
000006f2: SWAP2
000006f3: SWAP1
000006f4: SWAP2
000006f5: AND
000006f6: SWAP2
000006f7: POP
000006f8: PUSH1 0x00
000006fa: SWAP1
000006fb: DUP4
000006fc: SWAP1
000006fd: DUP3
000006fe: DUP2
000006ff: DUP2
00000700: DUP2
00000701: DUP6
00000702: DUP9
00000703: DUP4
00000704: CALL
00000705: SWAP4
00000706: POP
00000707: POP
00000708: POP
00000709: POP
0000070a: POP
0000070b: PUSH1 0x06
0000070d: PUSH1 0x00
0000070f: POP
00000710: PUSH1 0x04
00000712: PUSH1 0x00
00000714: POP
00000715: SLOAD
00000716: DUP2
00000717: SLOAD
00000718: DUP2
00000719: LT
0000071a: ISZERO
0000071b: PUSH2 0x0002
0000071e: JUMPI
0000071f: PUSH1 0x00
00000721: SWAP2
00000722: DUP3
00000723: MSTORE
00000724: DUP2
00000725: SLOAD
00000726: PUSH1 0x02
00000728: SWAP2
00000729: SWAP1
0000072a: SWAP2
0000072b: MUL
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: MLOAD
00000730: PUSH1 0x20
00000732: PUSH2 0x09bb
00000735: DUP4
00000736: CODECOPY
00000737: DUP2
00000738: MLOAD
00000739: SWAP2
0000073a: MSTORE
0000073b: ADD
0000073c: SLOAD
0000073d: SWAP1
0000073e: SUB
0000073f: SWAP1
00000740: SSTORE
00000741: PUSH1 0x04
00000743: DUP1
00000744: SLOAD
00000745: PUSH1 0x01
00000747: ADD
00000748: SWAP1
00000749: SSTORE
0000074a: PUSH2 0x0641
0000074d: JUMP
0000074e: MSTORE8
0000074f: PUSH9 0x6f776e20696e202520
00000759: PUSH7 0x6f726d2e204665
00000761: PUSH6 0x206973206861
00000768: PUSH13 0x766564283530252920666f7220
00000776: PUSH2 0x6d6f
00000779: PUSH22 0x6e747320657175616c206f7220677265617465722074
00000790: PUSH9 0x616e20353020657468
0000079a: PUSH6 0x72732e202846
000007a1: PUSH6 0x65206d617920
000007a8: PUSH4 0x68616e67
000007ad: PUSH6 0x2c2062757420
000007b4: PUSH10 0x73206361707065642074
000007bf: PUSH16 0x2061206d6178696d756d206f66203130
000007d0: UNKNOWN(0x25)
000007d1: UNKNOWN(0x29)
000007d2: COINBASE
000007d3: PUSH13 0x6c2062616c616e63652076616c
000007e1: PUSH22 0x657320617265206d6561737572656420696e20457468
000007f8: PUSH6 0x72732c206e6f
000007ff: PUSH21 0x6520746861742064756520746f206e6f2064656369
00000815: PUSH14 0x616c20706c6163696e672c207468
00000824: PUSH6 0x73652076616c
0000082b: PUSH22 0x65732073686f7720757020617320696e746567657273
00000842: KECCAK256
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1301,1460p'" in /tmp/codex-j_94wub7
succeeded in 0ms:
00000843: PUSH16 0x6e6c792c2077697468696e2074686520
00000854: PUSH4 0x6f6e7472
00000859: PUSH2 0x6374
0000085c: KECCAK256
0000085d: PUSH10 0x7473656c6620796f7520
00000868: PUSH24 0x696c6c206765742074686520657861637420646563696d61
00000881: PUSH13 0x2076616c756520796f75206172
0000088f: PUSH6 0x20737570706f
00000896: PUSH20 0x656420746f54686973206d756c7469706c696572
000008ab: KECCAK256
000008ac: PUSH2 0x7070
000008af: PUSH13 0x69657320746f20796f75206173
000008bd: KECCAK256
000008be: PUSH20 0x6f6f6e206173207472616e73616374696f6e2069
000008d3: PUSH20 0x2072656365697665642c206d6179206265206c6f
000008e8: PUSH24 0x6572656420746f2068617374656e207061796f757473206f
00000901: PUSH19 0x20696e63726561736564206966207061796f75
00000915: PUSH21 0x7320617265206661737420656e6f7567682e204475
0000092b: PUSH6 0x20746f206e6f
00000932: KECCAK256
00000933: PUSH7 0x6c6f6174206f72
0000093b: KECCAK256
0000093c: PUSH5 0x6563696d61
00000942: PUSH13 0x732c206d756c7469706c696572
00000950: KECCAK256
00000951: PUSH10 0x73207831303020666f72
0000095c: KECCAK256
0000095d: PUSH2 0x2066
00000960: PUSH19 0x616374696f6e616c206d756c7469706c696572
00000974: KECCAK256
00000975: PUSH6 0x2e672e203235
0000097c: ADDRESS
0000097d: KECCAK256
0000097e: PUSH10 0x732061637475616c6c79
00000989: KECCAK256
0000098a: PUSH2 0x2032
0000098d: UNKNOWN(0x2E)
0000098e: CALLDATALOAD
0000098f: PUSH25 0x206d756c7469706c6965722e20436170706564206174203378
000009a9: KECCAK256
000009aa: PUSH14 0x617820616e6420312e3278206d69
000009b9: PUSH15 0x2ef652222313e28459528d920b6511
000009c9: TLOAD
000009ca: AND
000009cb: UNKNOWN(0xC0)
000009cc: UNKNOWN(0x4F)
000009cd: RETURNDATACOPY
000009ce: UNKNOWN(0xFC)
000009cf: DUP3
000009d0: UNKNOWN(0xAA)
000009d1: UNKNOWN(0xED)
000009d2: UNKNOWN(0xC9)
000009d3: PUSH28
codex
{"no_findings":false,"summary":"Bytecode-only review found a critical ownership-takeover path and two payout-flow issues around raw CALL usage. Conclusions are based on runtime bytecode and the supplied analysis bundle; selector names and storage roles are inferred heuristically.","findings":[{"severity":"critical","category":"access_control","title":"Anyone can seize the privileged owner slot","exploit_scenario":"Selector 0x67f809e9 writes CALLER directly into storage slot 0x5 with no preceding authorization check. Multiple other selectors gate sensitive behavior by comparing CALLER against that same masked slot, including a path that appears to transfer contract funds to the privileged address. An attacker can first call 0x67f809e9 to become the privileged account, then invoke the owner-only withdrawal/configuration functions to drain funds or rewrite fee/multiplier parameters.","recommendation":"Remove the public owner-write path or convert it into a two-step ownership transfer that can only be completed by a previously authorized pending owner set by the current owner. Re-audit every function gated by slot 0x5 after fixing this path.","evidence":"At pc 0x1b7 the contract enters selector 0x67f809e9 and immediately loads slot 0x5, masks in CALLER, and SSTOREs it at pc 0x1cc without any guard. Elsewhere, selectors 0x4229616d, 0x686f2c90, 0xa6f9dae1, 0xb4022950, 0xced92670, and 0xfae14192 all compare CALLER against the masked contents of slot 0x5 before proceeding. The 0x686f2c90 path reaches pc 0x4ef, where slot 0x5 is used as the CALL target for an ETH transfer.","locations":["selector:0x67f809e9","pc:0x1b7","pc:0x1cc","selector:0x686f2c90","pc:0x4ef"]},{"severity":"high","category":"reentrancy","title":"Payout call to user-controlled recipient happens before payout state is cleared","exploit_scenario":"The fallback/deposit flow stores each participant as an address plus owed amount, then later pays the current participant with a raw CALL at pc 0x704. The recipient address comes from participant storage, so it is user-controlled. The contract only clears the owed amount and advances the queue after the external call returns. A malicious participant contract can receive a payout, reenter the payable entrypoint while its queue entry is still intact, and trigger the payout logic again against the same unpaid entry, potentially extracting repeated payouts or corrupting queue/accounting state.","recommendation":"Apply checks-effects-interactions: clear or reduce the recipient's owed amount and advance queue pointers before the external transfer, or use a pull-payment pattern where recipients withdraw separately. Add an explicit reentrancy guard around all payout paths.","evidence":"The deposit path beginning at pc 0x475 appends CALLER plus a computed owed amount into a keccak-derived storage structure. The payout loop at pc 0x642 reads the current queue entry, loads the recipient address from storage, and performs CALL at pc 0x704. The participant amount is only updated afterward at pc 0x73d and the queue index is only incremented at pc 0x749. The artifact's auth heuristics report no guards, and this sink was validated as a varying CALL target/value path.","locations":["pc:0x475","pc:0x642","pc:0x704","pc:0x73d","pc:0x749"]},{"severity":"medium","category":"other","title":"ETH transfer results are ignored while bookkeeping still changes","exploit_scenario":"Several ETH-bearing CALL sites pop the success flag and continue mutating storage. If a recipient is a contract that rejects ETH, runs out of gas, or otherwise makes CALL return false, the contract can still mark balances as reduced, zero out queue debt, or advance payout pointers even though no payment occurred. This can permanently skip claims or desynchronize internal accounting from actual ETH held.","recommendation":"Check the boolean result of every external CALL that is expected to transfer value, and revert or preserve state when the transfer fails. For queue payouts, do not zero debt or advance the pointer unless the payment succeeded.","evidence":"At pc 0x549 and pc 0x586 the contract performs raw CALLs to the privileged address and then subtracts from storage afterward, with the CALL return value discarded via POP. At pc 0x704 the participant payout CALL is likewise unchecked; the code subsequently updates the participant's owed slot at pc 0x73d and increments the queue pointer at pc 0x749. The analysis bundle explicitly marks returndata checking as unknown/null for these CALLs.","locations":["pc:0x549","pc:0x554","pc:0x586","pc:0x591","pc:0x704","pc:0x73d","pc:0x749"]}]}
tokens used
94,930
{
"codex": {
"ran_at": "2026-04-05T04:51:45.170387+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 5048,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode-only review found a critical ownership-takeover path and two payout-flow issues around raw CALL usage. Conclusions are based on runtime bytecode and the supplied analysis bundle; selector names and storage roles are inferred heuristically.",
"raw_final": {
"summary": "Bytecode-only review found a critical ownership-takeover path and two payout-flow issues around raw CALL usage. Conclusions are based on runtime bytecode and the supplied analysis bundle; selector names and storage roles are inferred heuristically.",
"findings": [
{
"title": "Anyone can seize the privileged owner slot",
"category": "access_control",
"evidence": "At pc 0x1b7 the contract enters selector 0x67f809e9 and immediately loads slot 0x5, masks in CALLER, and SSTOREs it at pc 0x1cc without any guard. Elsewhere, selectors 0x4229616d, 0x686f2c90, 0xa6f9dae1, 0xb4022950, 0xced92670, and 0xfae14192 all compare CALLER against the masked contents of slot 0x5 before proceeding. The 0x686f2c90 path reaches pc 0x4ef, where slot 0x5 is used as the CALL target for an ETH transfer.",
"severity": "critical",
"locations": [
"selector:0x67f809e9",
"pc:0x1b7",
"pc:0x1cc",
"selector:0x686f2c90",
"pc:0x4ef"
],
"recommendation": "Remove the public owner-write path or convert it into a two-step ownership transfer that can only be completed by a previously authorized pending owner set by the current owner. Re-audit every function gated by slot 0x5 after fixing this path.",
"exploit_scenario": "Selector 0x67f809e9 writes CALLER directly into storage slot 0x5 with no preceding authorization check. Multiple other selectors gate sensitive behavior by comparing CALLER against that same masked slot, including a path that appears to transfer contract funds to the privileged address. An attacker can first call 0x67f809e9 to become the privileged account, then invoke the owner-only withdrawal/configuration functions to drain funds or rewrite fee/multiplier parameters."
},
{
"title": "Payout call to user-controlled recipient happens before payout state is cleared",
"category": "reentrancy",
"evidence": "The deposit path beginning at pc 0x475 appends CALLER plus a computed owed amount into a keccak-derived storage structure. The payout loop at pc 0x642 reads the current queue entry, loads the recipient address from storage, and performs CALL at pc 0x704. The participant amount is only updated afterward at pc 0x73d and the queue index is only incremented at pc 0x749. The artifact's auth heuristics report no guards, and this sink was validated as a varying CALL target/value path.",
"severity": "high",
"locations": [
"pc:0x475",
"pc:0x642",
"pc:0x704",
"pc:0x73d",
"pc:0x749"
],
"recommendation": "Apply checks-effects-interactions: clear or reduce the recipient's owed amount and advance queue pointers before the external transfer, or use a pull-payment pattern where recipients withdraw separately. Add an explicit reentrancy guard around all payout paths.",
"exploit_scenario": "The fallback/deposit flow stores each participant as an address plus owed amount, then later pays the current participant with a raw CALL at pc 0x704. The recipient address comes from participant storage, so it is user-controlled. The contract only clears the owed amount and advances the queue after the external call returns. A malicious participant contract can receive a payout, reenter the payable entrypoint while its queue entry is still intact, and trigger the payout logic again against the same unpaid entry, potentially extracting repeated payouts or corrupting queue/accounting state."
},
{
"title": "ETH transfer results are ignored while bookkeeping still changes",
"category": "other",
"evidence": "At pc 0x549 and pc 0x586 the contract performs raw CALLs to the privileged address and then subtracts from storage afterward, with the CALL return value discarded via POP. At pc 0x704 the participant payout CALL is likewise unchecked; the code subsequently updates the participant's owed slot at pc 0x73d and increments the queue pointer at pc 0x749. The analysis bundle explicitly marks returndata checking as unknown/null for these CALLs.",
"severity": "medium",
"locations": [
"pc:0x549",
"pc:0x554",
"pc:0x586",
"pc:0x591",
"pc:0x704",
"pc:0x73d",
"pc:0x749"
],
"recommendation": "Check the boolean result of every external CALL that is expected to transfer value, and revert or preserve state when the transfer fails. For queue payouts, do not zero debt or advance the pointer unless the payment succeeded.",
"exploit_scenario": "Several ETH-bearing CALL sites pop the success flag and continue mutating storage. If a recipient is a contract that rejects ETH, runs out of gas, or otherwise makes CALL return false, the contract can still mark balances as reduced, zero out queue debt, or advance payout pointers even though no payment occurred. This can permanently skip claims or desynchronize internal accounting from actual ETH held."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x09dfdc71 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00dd 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x253459e3 00000025: EQ 00000026: PUSH2 0x011c 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x4229616d 00000030: EQ 00000031: PUSH2 0x013d 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x57d4021b 0000003b: EQ 0000003c: PUSH2 0x0178 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x67f809e9 00000046: EQ 00000047: PUSH2 0x01b7 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x686f2c90 00000051: EQ 00000052: PUSH2 0x01ce 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x6fbaaa1e 0000005c: EQ 0000005d: PUSH2 0x01fa 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8a5fb3ca 00000067: EQ 00000068: PUSH2 0x022e 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x9dbc4f9b 00000072: EQ 00000073: PUSH2 0x0260 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xa26dbf26 0000007d: EQ 0000007e: PUSH2 0x02ed 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa6f9dae1 00000088: EQ 00000089: PUSH2 0x02f5 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xb4022950 00000093: EQ 00000094: PUSH2 0x0328 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xced92670 0000009e: EQ 0000009f: PUSH2 0x0366 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd11f13df 000000a9: EQ 000000aa: PUSH2 0x039e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xfae14192 000000b4: EQ 000000b5: PUSH2 0x03ab 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH2 0x03d6 000000bd: PUSH2 0x03d8 000000c0: PUSH1 0x00 000000c2: PUSH8 0x0de0b6b3a7640000 000000cb: CALLVALUE 000000cc: LT 000000cd: ISZERO 000000ce: PUSH2 0x0475 000000d1: JUMPI 000000d2: PUSH1 0x01 000000d4: DUP1 000000d5: SLOAD 000000d6: CALLVALUE 000000d7: ADD 000000d8: SWAP1 000000d9: SSTORE 000000da: JUMPDEST 000000db: POP 000000dc: JUMP 000000dd: JUMPDEST 000000de: PUSH1 0x40 000000e0: DUP1 000000e1: MLOAD 000000e2: PUSH1 0x20 000000e4: DUP2 000000e5: DUP2 000000e6: ADD 000000e7: DUP4 000000e8: MSTORE 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: DUP4 000000ed: MSTORE 000000ee: DUP4 000000ef: MLOAD 000000f0: SWAP1 000000f1: SLOAD 000000f2: PUSH2 0x0100 000000f5: DUP3 000000f6: ADD 000000f7: SWAP1 000000f8: SWAP5 000000f9: MSTORE 000000fa: PUSH1 0xca 000000fc: DUP1 000000fd: DUP3 000000fe: MSTORE 000000ff: PUSH2 0x03da 00000102: SWAP5 00000103: PUSH8 0x0de0b6b3a7640000 0000010c: SWAP1 0000010d: DIV 0000010e: SWAP4 0000010f: SWAP3 00000110: PUSH2 0x07d2 00000113: SWAP1 00000114: DUP4 00000115: ADD 00000116: CODECOPY 00000117: SWAP1 00000118: POP 00000119: SWAP1 0000011a: SWAP2 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH1 0x01 0000011f: SLOAD 00000120: PUSH8 0x0de0b6b3a7640000 00000129: SWAP1 0000012a: DIV 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: DUP1 0000012f: MLOAD 00000130: SWAP2 00000131: DUP3 00000132: MSTORE 00000133: MLOAD 00000134: SWAP1 00000135: DUP2 00000136: SWAP1 00000137: SUB 00000138: PUSH1 0x20 0000013a: ADD 0000013b: SWAP1 0000013c: RETURN 0000013d: JUMPDEST 0000013e: PUSH2 0x03d6 00000141: PUSH1 0x04 00000143: CALLDATALOAD 00000144: PUSH1 0x05 00000146: SLOAD 00000147: PUSH1 0x00 00000149: SWAP1 0000014a: PUSH1 0x01 0000014c: PUSH1 0xa0 0000014e: PUSH1 0x02 00000150: EXP 00000151: SUB 00000152: SWAP1 00000153: DUP2 00000154: AND 00000155: CALLER 00000156: SWAP1 00000157: SWAP2 00000158: AND 00000159: EQ 0000015a: ISZERO 0000015b: PUSH2 0x0595 0000015e: JUMPI 0000015f: PUSH1 0x01 00000161: SLOAD 00000162: DUP2 00000163: EQ 00000164: DUP1 00000165: PUSH2 0x016e 00000168: JUMPI 00000169: POP 0000016a: PUSH1 0x64 0000016c: DUP3 0000016d: GT 0000016e: JUMPDEST 0000016f: ISZERO 00000170: PUSH2 0x055a 00000173: JUMPI 00000174: PUSH2 0x0002 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH2 0x012b 0000017c: PUSH1 0x00 0000017e: PUSH8 0x0de0b6b3a7640000 00000187: PUSH1 0x06 00000189: PUSH1 0x00 0000018b: POP 0000018c: PUSH1 0x04 0000018e: PUSH1 0x00 00000190: POP 00000191: SLOAD 00000192: DUP2 00000193: SLOAD 00000194: DUP2 00000195: LT 00000196: ISZERO 00000197: PUSH2 0x0002 0000019a: JUMPI 0000019b: SWAP3 0000019c: MSTORE 0000019d: PUSH1 0x02 0000019f: SWAP2 000001a0: SWAP1 000001a1: SWAP2 000001a2: MUL 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: MLOAD 000001a7: PUSH1 0x20 000001a9: PUSH2 0x09bb 000001ac: DUP4 000001ad: CODECOPY 000001ae: DUP2 000001af: MLOAD 000001b0: SWAP2 000001b1: MSTORE 000001b2: ADD 000001b3: SLOAD 000001b4: DIV 000001b5: SWAP1 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH2 0x03d6 000001bb: PUSH1 0x05 000001bd: DUP1 000001be: SLOAD 000001bf: PUSH1 0x01 000001c1: PUSH1 0xa0 000001c3: PUSH1 0x02 000001c5: EXP 000001c6: SUB 000001c7: NOT 000001c8: AND 000001c9: CALLER 000001ca: OR 000001cb: SWAP1 000001cc: SSTORE 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x03d6 000001d2: JUMPDEST 000001d3: PUSH1 0x05 000001d5: SLOAD 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: PUSH1 0x02 000001dc: EXP 000001dd: SUB 000001de: SWAP1 000001df: DUP2 000001e0: AND 000001e1: CALLER 000001e2: SWAP1 000001e3: SWAP2 000001e4: AND 000001e5: EQ 000001e6: ISZERO 000001e7: PUSH2 0x03d8 000001ea: JUMPI 000001eb: PUSH1 0x01 000001ed: SLOAD 000001ee: PUSH1 0x00 000001f0: EQ 000001f1: ISZERO 000001f2: PUSH2 0x04ef 000001f5: JUMPI 000001f6: PUSH2 0x0002 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x03da 000001fe: PUSH1 0x40 00000200: DUP1 00000201: MLOAD 00000202: PUSH1 0x20 00000204: DUP2 00000205: DUP2 00000206: ADD 00000207: DUP4 00000208: MSTORE 00000209: PUSH1 0x00 0000020b: DUP3 0000020c: MSTORE 0000020d: DUP3 0000020e: MLOAD 0000020f: PUSH1 0x03 00000211: SLOAD 00000212: PUSH2 0x0140 00000215: DUP3 00000216: ADD 00000217: SWAP1 00000218: SWAP5 00000219: MSTORE 0000021a: PUSH2 0x011f 0000021d: DUP1 0000021e: DUP3 0000021f: MSTORE 00000220: SWAP1 00000221: SWAP2 00000222: PUSH2 0x089c 00000225: SWAP1 00000226: DUP4 00000227: ADD 00000228: CODECOPY 00000229: SWAP1 0000022a: POP 0000022b: SWAP1 0000022c: SWAP2 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH2 0x03da 00000232: PUSH1 0x40 00000234: DUP1 00000235: MLOAD 00000236: PUSH1 0x20 00000238: DUP2 00000239: DUP2 0000023a: ADD 0000023b: DUP4 0000023c: MSTORE 0000023d: PUSH1 0x00 0000023f: DUP3 00000240: MSTORE 00000241: DUP3 00000242: MLOAD 00000243: PUSH1 0x02 00000245: SLOAD 00000246: PUSH1 0xc0 00000248: DUP3 00000249: ADD 0000024a: SWAP1 0000024b: SWAP5 0000024c: MSTORE 0000024d: PUSH1 0x84 0000024f: DUP1 00000250: DUP3 00000251: MSTORE 00000252: SWAP1 00000253: SWAP2 00000254: PUSH2 0x074e 00000257: SWAP1 00000258: DUP4 00000259: ADD 0000025a: CODECOPY 0000025b: SWAP1 0000025c: POP 0000025d: SWAP1 0000025e: SWAP2 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x044f 00000264: PUSH1 0x04 00000266: CALLDATALOAD 00000267: PUSH1 0x06 00000269: SLOAD 0000026a: PUSH1 0x00 0000026c: SWAP1 0000026d: DUP2 0000026e: SWAP1 0000026f: DUP4 00000270: GT 00000271: PUSH2 0x02e8 00000274: JUMPI 00000275: PUSH1 0x06 00000277: DUP1 00000278: SLOAD 00000279: DUP5 0000027a: SWAP1 0000027b: DUP2 0000027c: LT 0000027d: ISZERO 0000027e: PUSH2 0x0002 00000281: JUMPI 00000282: POP 00000283: DUP1 00000284: SLOAD 00000285: DUP2 00000286: DUP4 00000287: MSTORE 00000288: PUSH1 0x02 0000028a: DUP6 0000028b: MUL 0000028c: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 000002ad: ADD 000002ae: SLOAD 000002af: PUSH1 0x01 000002b1: PUSH1 0xa0 000002b3: PUSH1 0x02 000002b5: EXP 000002b6: SUB 000002b7: AND 000002b8: SWAP4 000002b9: POP 000002ba: PUSH8 0x0de0b6b3a7640000 000002c3: SWAP2 000002c4: SWAP1 000002c5: DUP6 000002c6: SWAP1 000002c7: DUP2 000002c8: LT 000002c9: ISZERO 000002ca: PUSH2 0x0002 000002cd: JUMPI 000002ce: POP 000002cf: POP 000002d0: PUSH1 0x02 000002d2: DUP5 000002d3: MUL 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: MLOAD 000002d8: PUSH1 0x20 000002da: PUSH2 0x09bb 000002dd: DUP4 000002de: CODECOPY 000002df: DUP2 000002e0: MLOAD 000002e1: SWAP2 000002e2: MSTORE 000002e3: ADD 000002e4: SLOAD 000002e5: DIV 000002e6: SWAP1 000002e7: POP 000002e8: JUMPDEST 000002e9: SWAP2 000002ea: POP 000002eb: SWAP2 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x06 000002f0: SLOAD 000002f1: PUSH2 0x012b 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x03d6 000002f9: PUSH1 0x04 000002fb: CALLDATALOAD 000002fc: PUSH1 0x05 000002fe: SLOAD 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: SWAP1 00000308: DUP2 00000309: AND 0000030a: CALLER 0000030b: SWAP1 0000030c: SWAP2 0000030d: AND 0000030e: EQ 0000030f: ISZERO 00000310: PUSH2 0x00da 00000313: JUMPI 00000314: PUSH1 0x05 00000316: DUP1 00000317: SLOAD 00000318: PUSH1 0x01 0000031a: PUSH1 0xa0 0000031c: PUSH1 0x02 0000031e: EXP 0000031f: SUB 00000320: NOT 00000321: AND 00000322: DUP3 00000323: OR 00000324: SWAP1 00000325: SSTORE 00000326: POP 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH2 0x03d6 0000032c: PUSH1 0x04 0000032e: CALLDATALOAD 0000032f: PUSH1 0x05 00000331: SLOAD 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: PUSH1 0x02 00000338: EXP 00000339: SUB 0000033a: SWAP1 0000033b: DUP2 0000033c: AND 0000033d: CALLER 0000033e: SWAP1 0000033f: SWAP2 00000340: AND 00000341: EQ 00000342: ISZERO 00000343: PUSH2 0x00da 00000346: JUMPI 00000347: PUSH1 0x01 00000349: SLOAD 0000034a: PUSH8 0x0de0b6b3a7640000 00000353: SWAP2 00000354: SWAP1 00000355: SWAP2 00000356: MUL 00000357: SWAP1 00000358: DUP2 00000359: GT 0000035a: ISZERO 0000035b: PUSH2 0x0519 0000035e: JUMPI 0000035f: PUSH2 0x0519 00000362: PUSH2 0x01d2 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH2 0x03d6 0000036a: PUSH1 0x04 0000036c: CALLDATALOAD 0000036d: PUSH1 0x05 0000036f: SLOAD 00000370: PUSH1 0x01 00000372: PUSH1 0xa0 00000374: PUSH1 0x02 00000376: EXP 00000377: SUB 00000378: SWAP1 00000379: DUP2 0000037a: AND 0000037b: CALLER 0000037c: SWAP1 0000037d: SWAP2 0000037e: AND 0000037f: EQ 00000380: ISZERO 00000381: PUSH2 0x00da 00000384: JUMPI 00000385: PUSH2 0x012c 00000388: DUP2 00000389: GT 0000038a: DUP1 0000038b: PUSH2 0x0394 0000038e: JUMPI 0000038f: POP 00000390: PUSH1 0x78 00000392: DUP2 00000393: LT 00000394: JUMPDEST 00000395: ISZERO 00000396: PUSH2 0x0599 00000399: JUMPI 0000039a: PUSH2 0x0002 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH1 0x06 000003a1: SLOAD 000003a2: PUSH1 0x04 000003a4: SLOAD 000003a5: SWAP1 000003a6: SUB 000003a7: PUSH2 0x012b 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH2 0x03d6 000003af: PUSH1 0x04 000003b1: CALLDATALOAD 000003b2: PUSH1 0x05 000003b4: SLOAD 000003b5: CALLER 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: PUSH1 0x02 000003bc: EXP 000003bd: SUB 000003be: SWAP1 000003bf: DUP2 000003c0: AND 000003c1: SWAP2 000003c2: AND 000003c3: EQ 000003c4: ISZERO 000003c5: PUSH2 0x00da 000003c8: JUMPI 000003c9: PUSH1 0x0a 000003cb: DUP2 000003cc: GT 000003cd: ISZERO 000003ce: PUSH2 0x059e 000003d1: JUMPI 000003d2: PUSH2 0x0002 000003d5: JUMP 000003d6: JUMPDEST 000003d7: STOP 000003d8: JUMPDEST 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: DUP4 000003e0: DUP2 000003e1: MSTORE 000003e2: PUSH1 0x20 000003e4: ADD 000003e5: DUP1 000003e6: PUSH1 0x20 000003e8: ADD 000003e9: DUP3 000003ea: DUP2 000003eb: SUB 000003ec: DUP3 000003ed: MSTORE 000003ee: DUP4 000003ef: DUP2 000003f0: DUP2 000003f1: MLOAD 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x20 000003f6: ADD 000003f7: SWAP2 000003f8: POP 000003f9: DUP1 000003fa: MLOAD 000003fb: SWAP1 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: SWAP1 00000400: DUP1 00000401: DUP4 00000402: DUP4 00000403: DUP3 00000404: SWAP1 00000405: PUSH1 0x00 00000407: PUSH1 0x04 00000409: PUSH1 0x20 0000040b: DUP5 0000040c: PUSH1 0x1f 0000040e: ADD 0000040f: DIV 00000410: PUSH1 0x0f 00000412: MUL 00000413: PUSH1 0x03 00000415: ADD 00000416: CALL 00000417: POP 00000418: SWAP1 00000419: POP 0000041a: SWAP1 0000041b: DUP2 0000041c: ADD 0000041d: SWAP1 0000041e: PUSH1 0x1f 00000420: AND 00000421: DUP1 00000422: ISZERO 00000423: PUSH2 0x0440 00000426: JUMPI 00000427: DUP1 00000428: DUP3 00000429: SUB 0000042a: DUP1 0000042b: MLOAD 0000042c: PUSH1 0x01 0000042e: DUP4 0000042f: PUSH1 0x20 00000431: SUB 00000432: PUSH2 0x0100 00000435: EXP 00000436: SUB 00000437: NOT 00000438: AND 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: SWAP2 0000043f: POP 00000440: JUMPDEST 00000441: POP 00000442: SWAP4 00000443: POP 00000444: POP 00000445: POP 00000446: POP 00000447: PUSH1 0x40 00000449: MLOAD 0000044a: DUP1 0000044b: SWAP2 0000044c: SUB 0000044d: SWAP1 0000044e: RETURN 0000044f: JUMPDEST 00000450: PUSH1 0x40 00000452: MLOAD 00000453: DUP1 00000454: DUP4 00000455: PUSH1 0x01 00000457: PUSH1 0xa0 00000459: PUSH1 0x02 0000045b: EXP 0000045c: SUB 0000045d: AND 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: DUP3 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP3 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: DUP1 00000471: SWAP2 00000472: SUB 00000473: SWAP1 00000474: RETURN 00000475: JUMPDEST 00000476: POP 00000477: PUSH1 0x02 00000479: SLOAD 0000047a: PUSH9 0x02b5e3af16b1880000 00000484: CALLVALUE 00000485: LT 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x02 0000048c: SWAP1 0000048d: DIV 0000048e: JUMPDEST 0000048f: PUSH2 0x00da 00000492: DUP2 00000493: PUSH1 0x00 00000495: PUSH1 0x06 00000497: PUSH1 0x00 00000499: POP 0000049a: DUP1 0000049b: SLOAD 0000049c: DUP1 0000049d: PUSH1 0x01 0000049f: ADD 000004a0: DUP3 000004a1: DUP2 000004a2: DUP2 000004a3: SLOAD 000004a4: DUP2 000004a5: DUP4 000004a6: SSTORE 000004a7: DUP2 000004a8: DUP2 000004a9: ISZERO 000004aa: GT 000004ab: PUSH2 0x05a3 000004ae: JUMPI 000004af: PUSH1 0x02 000004b1: MUL 000004b2: DUP2 000004b3: PUSH1 0x02 000004b5: MUL 000004b6: DUP4 000004b7: PUSH1 0x00 000004b9: MSTORE 000004ba: PUSH1 0x20 000004bc: PUSH1 0x00 000004be: KECCAK256 000004bf: SWAP2 000004c0: DUP3 000004c1: ADD 000004c2: SWAP2 000004c3: ADD 000004c4: PUSH2 0x05a3 000004c7: SWAP2 000004c8: SWAP1 000004c9: JUMPDEST 000004ca: DUP1 000004cb: DUP3 000004cc: GT 000004cd: ISZERO 000004ce: PUSH2 0x0607 000004d1: JUMPI 000004d2: DUP1 000004d3: SLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: NOT 000004dd: AND 000004de: DUP2 000004df: SSTORE 000004e0: PUSH1 0x00 000004e2: PUSH1 0x01 000004e4: SWAP2 000004e5: SWAP1 000004e6: SWAP2 000004e7: ADD 000004e8: SWAP1 000004e9: DUP2 000004ea: SSTORE 000004eb: PUSH2 0x04c9 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH1 0x01 000004f2: SLOAD 000004f3: PUSH1 0x05 000004f5: SLOAD 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: PUSH1 0x02 000004ff: EXP 00000500: SUB 00000501: SWAP2 00000502: SWAP1 00000503: SWAP2 00000504: AND 00000505: SWAP2 00000506: PUSH1 0x00 00000508: SWAP2 00000509: DUP3 0000050a: DUP2 0000050b: DUP2 0000050c: DUP2 0000050d: DUP6 0000050e: DUP9 0000050f: DUP4 00000510: CALL 00000511: POP 00000512: POP 00000513: POP 00000514: PUSH1 0x01 00000516: SSTORE 00000517: POP 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x01 0000051c: SLOAD 0000051d: PUSH1 0x00 0000051f: EQ 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH2 0x0002 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x05 0000052c: SLOAD 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: PUSH1 0x02 00000536: EXP 00000537: SUB 00000538: SWAP2 00000539: SWAP1 0000053a: SWAP2 0000053b: AND 0000053c: SWAP1 0000053d: PUSH1 0x00 0000053f: SWAP1 00000540: DUP4 00000541: SWAP1 00000542: DUP3 00000543: DUP2 00000544: DUP2 00000545: DUP2 00000546: DUP6 00000547: DUP9 00000548: DUP4 00000549: CALL 0000054a: POP 0000054b: POP 0000054c: PUSH1 0x01 0000054e: DUP1 0000054f: SLOAD 00000550: SWAP2 00000551: SWAP1 00000552: SWAP2 00000553: SUB 00000554: SWAP1 00000555: SSTORE 00000556: POP 00000557: POP 00000558: POP 00000559: JUMP 0000055a: JUMPDEST 0000055b: POP 0000055c: PUSH1 0x01 0000055e: SLOAD 0000055f: PUSH1 0x05 00000561: SLOAD 00000562: PUSH1 0x40 00000564: MLOAD 00000565: PUSH1 0x64 00000567: SWAP1 00000568: SWAP3 00000569: DIV 0000056a: DUP4 0000056b: MUL 0000056c: SWAP2 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa0 00000571: PUSH1 0x02 00000573: EXP 00000574: SUB 00000575: SWAP2 00000576: SWAP1 00000577: SWAP2 00000578: AND 00000579: SWAP1 0000057a: PUSH1 0x00 0000057c: SWAP1 0000057d: DUP4 0000057e: SWAP1 0000057f: DUP3 00000580: DUP2 00000581: DUP2 00000582: DUP2 00000583: DUP6 00000584: DUP9 00000585: DUP4 00000586: CALL 00000587: POP 00000588: POP 00000589: PUSH1 0x01 0000058b: DUP1 0000058c: SLOAD 0000058d: SWAP2 0000058e: SWAP1 0000058f: SWAP2 00000590: SUB 00000591: SWAP1 00000592: SSTORE 00000593: POP 00000594: POP 00000595: JUMPDEST 00000596: POP 00000597: POP 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x03 0000059c: SSTORE 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH1 0x02 000005a1: SSTORE 000005a2: JUMP 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: SWAP2 000005a8: SWAP1 000005a9: SWAP1 000005aa: PUSH1 0x00 000005ac: MSTORE 000005ad: PUSH1 0x20 000005af: PUSH1 0x00 000005b1: KECCAK256 000005b2: SWAP1 000005b3: PUSH1 0x02 000005b5: MUL 000005b6: ADD 000005b7: PUSH1 0x00 000005b9: POP 000005ba: PUSH1 0x40 000005bc: DUP1 000005bd: MLOAD 000005be: DUP1 000005bf: DUP3 000005c0: ADD 000005c1: SWAP1 000005c2: SWAP2 000005c3: MSTORE 000005c4: CALLER 000005c5: DUP1 000005c6: DUP3 000005c7: MSTORE 000005c8: PUSH1 0x03 000005ca: SLOAD 000005cb: PUSH1 0x64 000005cd: CALLVALUE 000005ce: SWAP2 000005cf: SWAP1 000005d0: SWAP2 000005d1: MUL 000005d2: DIV 000005d3: PUSH1 0x20 000005d5: SWAP3 000005d6: SWAP1 000005d7: SWAP3 000005d8: ADD 000005d9: DUP3 000005da: SWAP1 000005db: MSTORE 000005dc: DUP3 000005dd: SLOAD 000005de: PUSH1 0x01 000005e0: PUSH1 0xa0 000005e2: PUSH1 0x02 000005e4: EXP 000005e5: SUB 000005e6: NOT 000005e7: AND 000005e8: OR 000005e9: DUP3 000005ea: SSTORE 000005eb: PUSH1 0x01 000005ed: SWAP2 000005ee: SWAP1 000005ef: SWAP2 000005f0: ADD 000005f1: SSTORE 000005f2: POP 000005f3: PUSH1 0x06 000005f5: SLOAD 000005f6: PUSH1 0x0a 000005f8: EQ 000005f9: ISZERO 000005fa: PUSH2 0x060b 000005fd: JUMPI 000005fe: PUSH1 0xc8 00000600: PUSH1 0x03 00000602: SSTORE 00000603: PUSH2 0x061c 00000606: JUMP 00000607: JUMPDEST 00000608: POP 00000609: SWAP1 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH1 0x06 0000060e: SLOAD 0000060f: PUSH1 0x19 00000611: EQ 00000612: ISZERO 00000613: PUSH2 0x061c 00000616: JUMPI 00000617: PUSH1 0x96 00000619: PUSH1 0x03 0000061b: SSTORE 0000061c: JUMPDEST 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: SLOAD 00000621: PUSH1 0x64 00000623: DUP5 00000624: DUP2 00000625: SUB 00000626: CALLVALUE 00000627: SWAP1 00000628: DUP2 00000629: MUL 0000062a: DUP3 0000062b: SWAP1 0000062c: DIV 0000062d: SWAP1 0000062e: SWAP3 0000062f: ADD 00000630: SWAP1 00000631: SWAP3 00000632: SSTORE 00000633: PUSH1 0x01 00000635: DUP1 00000636: SLOAD 00000637: SWAP2 00000638: DUP6 00000639: MUL 0000063a: SWAP3 0000063b: SWAP1 0000063c: SWAP3 0000063d: DIV 0000063e: ADD 0000063f: SWAP1 00000640: SSTORE 00000641: JUMPDEST 00000642: PUSH1 0x04 00000644: SLOAD 00000645: PUSH1 0x06 00000647: DUP1 00000648: SLOAD 00000649: SWAP1 0000064a: SWAP2 0000064b: SWAP1 0000064c: DUP2 0000064d: LT 0000064e: ISZERO 0000064f: PUSH2 0x0002 00000652: JUMPI 00000653: PUSH1 0x00 00000655: SWAP2 00000656: DUP3 00000657: MSTORE 00000658: PUSH1 0x02 0000065a: MUL 0000065b: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 0000067c: ADD 0000067d: SWAP1 0000067e: POP 0000067f: PUSH1 0x01 00000681: ADD 00000682: SLOAD 00000683: PUSH1 0x00 00000685: SLOAD 00000686: GT 00000687: ISZERO 00000688: PUSH2 0x0595 0000068b: JUMPI 0000068c: PUSH1 0x04 0000068e: SLOAD 0000068f: PUSH1 0x06 00000691: DUP1 00000692: SLOAD 00000693: SWAP1 00000694: SWAP2 00000695: SWAP1 00000696: DUP2 00000697: LT 00000698: ISZERO 00000699: PUSH2 0x0002 0000069c: JUMPI 0000069d: PUSH1 0x02 0000069f: MUL 000006a0: PUSH1 0x00 000006a2: DUP1 000006a3: MLOAD 000006a4: PUSH1 0x20 000006a6: PUSH2 0x09bb 000006a9: DUP4 000006aa: CODECOPY 000006ab: DUP2 000006ac: MLOAD 000006ad: SWAP2 000006ae: MSTORE 000006af: ADD 000006b0: SLOAD 000006b1: PUSH1 0x04 000006b3: SLOAD 000006b4: DUP3 000006b5: SLOAD 000006b6: SWAP2 000006b7: SWAP4 000006b8: POP 000006b9: SWAP1 000006ba: DUP2 000006bb: LT 000006bc: ISZERO 000006bd: PUSH2 0x0002 000006c0: JUMPI 000006c1: PUSH1 0x02 000006c3: MUL 000006c4: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 000006e5: ADD 000006e6: SLOAD 000006e7: PUSH1 0x40 000006e9: MLOAD 000006ea: PUSH1 0x01 000006ec: PUSH1 0xa0 000006ee: PUSH1 0x02 000006f0: EXP 000006f1: SUB 000006f2: SWAP2 000006f3: SWAP1 000006f4: SWAP2 000006f5: AND 000006f6: SWAP2 000006f7: POP 000006f8: PUSH1 0x00 000006fa: SWAP1 000006fb: DUP4 000006fc: SWAP1 000006fd: DUP3 000006fe: DUP2 000006ff: DUP2 00000700: DUP2 00000701: DUP6 00000702: DUP9 00000703: DUP4 00000704: CALL 00000705: SWAP4 00000706: POP 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: PUSH1 0x06 0000070d: PUSH1 0x00 0000070f: POP 00000710: PUSH1 0x04 00000712: PUSH1 0x00 00000714: POP 00000715: SLOAD 00000716: DUP2 00000717: SLOAD 00000718: DUP2 00000719: LT 0000071a: ISZERO 0000071b: PUSH2 0x0002 0000071e: JUMPI 0000071f: PUSH1 0x00 00000721: SWAP2 00000722: DUP3 00000723: MSTORE 00000724: DUP2 00000725: SLOAD 00000726: PUSH1 0x02 00000728: SWAP2 00000729: SWAP1 0000072a: SWAP2 0000072b: MUL 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: MLOAD 00000730: PUSH1 0x20 00000732: PUSH2 0x09bb 00000735: DUP4 00000736: CODECOPY 00000737: DUP2 00000738: MLOAD 00000739: SWAP2 0000073a: MSTORE 0000073b: ADD 0000073c: SLOAD 0000073d: SWAP1 0000073e: SUB 0000073f: SWAP1 00000740: SSTORE 00000741: PUSH1 0x04 00000743: DUP1 00000744: SLOAD 00000745: PUSH1 0x01 00000747: ADD 00000748: SWAP1 00000749: SSTORE 0000074a: PUSH2 0x0641 0000074d: JUMP 0000074e: MSTORE8 0000074f: PUSH9 0x6f776e20696e202520 00000759: PUSH7 0x6f726d2e204665 00000761: PUSH6 0x206973206861 00000768: PUSH13 0x766564283530252920666f7220 00000776: PUSH2 0x6d6f 00000779: PUSH22 0x6e747320657175616c206f7220677265617465722074 00000790: PUSH9 0x616e20353020657468 0000079a: PUSH6 0x72732e202846 000007a1: PUSH6 0x65206d617920 000007a8: PUSH4 0x68616e67 000007ad: PUSH6 0x2c2062757420 000007b4: PUSH10 0x73206361707065642074 000007bf: PUSH16 0x2061206d6178696d756d206f66203130 000007d0: UNKNOWN(0x25) 000007d1: UNKNOWN(0x29) 000007d2: COINBASE 000007d3: PUSH13 0x6c2062616c616e63652076616c 000007e1: PUSH22 0x657320617265206d6561737572656420696e20457468 000007f8: PUSH6 0x72732c206e6f 000007ff: PUSH21 0x6520746861742064756520746f206e6f2064656369 00000815: PUSH14 0x616c20706c6163696e672c207468 00000824: PUSH6 0x73652076616c 0000082b: PUSH22 0x65732073686f7720757020617320696e746567657273 00000842: KECCAK256 00000843: PUSH16 0x6e6c792c2077697468696e2074686520 00000854: PUSH4 0x6f6e7472 00000859: PUSH2 0x6374 0000085c: KECCAK256 0000085d: PUSH10 0x7473656c6620796f7520 00000868: PUSH24 0x696c6c206765742074686520657861637420646563696d61 00000881: PUSH13 0x2076616c756520796f75206172 0000088f: PUSH6 0x20737570706f 00000896: PUSH20 0x656420746f54686973206d756c7469706c696572 000008ab: KECCAK256 000008ac: PUSH2 0x7070 000008af: PUSH13 0x69657320746f20796f75206173 000008bd: KECCAK256 000008be: PUSH20 0x6f6f6e206173207472616e73616374696f6e2069 000008d3: PUSH20 0x2072656365697665642c206d6179206265206c6f 000008e8: PUSH24 0x6572656420746f2068617374656e207061796f757473206f 00000901: PUSH19 0x20696e63726561736564206966207061796f75 00000915: PUSH21 0x7320617265206661737420656e6f7567682e204475 0000092b: PUSH6 0x20746f206e6f 00000932: KECCAK256 00000933: PUSH7 0x6c6f6174206f72 0000093b: KECCAK256 0000093c: PUSH5 0x6563696d61 00000942: PUSH13 0x732c206d756c7469706c696572 00000950: KECCAK256 00000951: PUSH10 0x73207831303020666f72 0000095c: KECCAK256 0000095d: PUSH2 0x2066 00000960: PUSH19 0x616374696f6e616c206d756c7469706c696572 00000974: KECCAK256 00000975: PUSH6 0x2e672e203235 0000097c: ADDRESS 0000097d: KECCAK256 0000097e: PUSH10 0x732061637475616c6c79 00000989: KECCAK256 0000098a: PUSH2 0x2032 0000098d: UNKNOWN(0x2E) 0000098e: CALLDATALOAD 0000098f: PUSH25 0x206d756c7469706c6965722e20436170706564206174203378 000009a9: KECCAK256 000009aa: PUSH14 0x617820616e6420312e3278206d69 000009b9: PUSH15 0x2ef652222313e28459528d920b6511 000009c9: TLOAD 000009ca: AND 000009cb: UNKNOWN(0xC0) 000009cc: UNKNOWN(0x4F) 000009cd: RETURNDATACOPY 000009ce: UNKNOWN(0xFC) 000009cf: DUP3 000009d0: UNKNOWN(0xAA) 000009d1: UNKNOWN(0xED) 000009d2: UNKNOWN(0xC9) 000009d3: PUSH28
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | access_control | codex | Anyone can seize the privileged owner slot | 90 | no | — |
viewevidence_json{
"evidence": "At pc 0x1b7 the contract enters selector 0x67f809e9 and immediately loads slot 0x5, masks in CALLER, and SSTOREs it at pc 0x1cc without any guard. Elsewhere, selectors 0x4229616d, 0x686f2c90, 0xa6f9dae1, 0xb4022950, 0xced92670, and 0xfae14192 all compare CALLER against the masked contents of slot 0x5 before proceeding. The 0x686f2c90 path reaches pc 0x4ef, where slot 0x5 is used as the CALL target for an ETH transfer.",
"locations": [
"selector:0x67f809e9",
"pc:0x1b7",
"pc:0x1cc",
"selector:0x686f2c90",
"pc:0x4ef"
],
"recommendation": "Remove the public owner-write path or convert it into a two-step ownership transfer that can only be completed by a previously authorized pending owner set by the current owner. Re-audit every function gated by slot 0x5 after fixing this path.",
"exploit_scenario": "Selector 0x67f809e9 writes CALLER directly into storage slot 0x5 with no preceding authorization check. Multiple other selectors gate sensitive behavior by comparing CALLER against that same masked slot, including a path that appears to transfer contract funds to the privileged address. An attacker can first call 0x67f809e9 to become the privileged account, then invoke the owner-only withdrawal/configuration functions to drain funds or rewrite fee/multiplier parameters."
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd
call_targets:
0x0000000000000000000000000000000000000004, 0xe82719202e5965cf5d9b6673b7503a3b92de20be
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x09dfdc71",
"selector": "0x09dfdc71",
"calldata_variants": [
"0x09dfdc71",
"0x09dfdc710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x253459e3",
"selector": "0x253459e3",
"calldata_variants": [
"0x253459e3",
"0x253459e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4229616d",
"selector": "0x4229616d",
"calldata_variants": [
"0x4229616d",
"0x4229616d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57d4021b",
"selector": "0x57d4021b",
"calldata_variants": [
"0x57d4021b",
"0x57d4021b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67f809e9",
"selector": "0x67f809e9",
"calldata_variants": [
"0x67f809e9",
"0x67f809e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x686f2c90",
"selector": "0x686f2c90",
"calldata_variants": [
"0x686f2c90",
"0x686f2c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fbaaa1e",
"selector": "0x6fbaaa1e",
"calldata_variants": [
"0x6fbaaa1e",
"0x6fbaaa1e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a5fb3ca",
"selector": "0x8a5fb3ca",
"calldata_variants": [
"0x8a5fb3ca",
"0x8a5fb3ca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1296,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1353,
"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 | yes | yes |
viewtrace_id: 0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd
call_targets:
0x0000000000000000000000000000000000000004, 0xe82719202e5965cf5d9b6673b7503a3b92de20be
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xbefe7c29314ee34ce1c3f6a3d9024dd465427dad7624cab430249770d3e123fd",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe82719202e5965cf5d9b6673b7503a3b92de20be"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x09dfdc71",
"selector": "0x09dfdc71",
"calldata_variants": [
"0x09dfdc71",
"0x09dfdc710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x253459e3",
"selector": "0x253459e3",
"calldata_variants": [
"0x253459e3",
"0x253459e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4229616d",
"selector": "0x4229616d",
"calldata_variants": [
"0x4229616d",
"0x4229616d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57d4021b",
"selector": "0x57d4021b",
"calldata_variants": [
"0x57d4021b",
"0x57d4021b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67f809e9",
"selector": "0x67f809e9",
"calldata_variants": [
"0x67f809e9",
"0x67f809e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x686f2c90",
"selector": "0x686f2c90",
"calldata_variants": [
"0x686f2c90",
"0x686f2c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fbaaa1e",
"selector": "0x6fbaaa1e",
"calldata_variants": [
"0x6fbaaa1e",
"0x6fbaaa1e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a5fb3ca",
"selector": "0x8a5fb3ca",
"calldata_variants": [
"0x8a5fb3ca",
"0x8a5fb3ca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1296,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1353,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | reentrancy | codex | Payout call to user-controlled recipient happens before payout state is cleared | 85 | no | — |
viewevidence_json{
"evidence": "The deposit path beginning at pc 0x475 appends CALLER plus a computed owed amount into a keccak-derived storage structure. The payout loop at pc 0x642 reads the current queue entry, loads the recipient address from storage, and performs CALL at pc 0x704. The participant amount is only updated afterward at pc 0x73d and the queue index is only incremented at pc 0x749. The artifact's auth heuristics report no guards, and this sink was validated as a varying CALL target/value path.",
"locations": [
"pc:0x475",
"pc:0x642",
"pc:0x704",
"pc:0x73d",
"pc:0x749"
],
"recommendation": "Apply checks-effects-interactions: clear or reduce the recipient's owed amount and advance queue pointers before the external transfer, or use a pull-payment pattern where recipients withdraw separately. Add an explicit reentrancy guard around all payout paths.",
"exploit_scenario": "The fallback/deposit flow stores each participant as an address plus owed amount, then later pays the current participant with a raw CALL at pc 0x704. The recipient address comes from participant storage, so it is user-controlled. The contract only clears the owed amount and advances the queue after the external call returns. A malicious participant contract can receive a payout, reenter the payable entrypoint while its queue entry is still intact, and trigger the payout logic again against the same unpaid entry, potentially extracting repeated payouts or corrupting queue/accounting state."
}
|
| medium | other | codex | ETH transfer results are ignored while bookkeeping still changes | 75 | no | — |
viewevidence_json{
"evidence": "At pc 0x549 and pc 0x586 the contract performs raw CALLs to the privileged address and then subtracts from storage afterward, with the CALL return value discarded via POP. At pc 0x704 the participant payout CALL is likewise unchecked; the code subsequently updates the participant's owed slot at pc 0x73d and increments the queue pointer at pc 0x749. The analysis bundle explicitly marks returndata checking as unknown/null for these CALLs.",
"locations": [
"pc:0x549",
"pc:0x554",
"pc:0x586",
"pc:0x591",
"pc:0x704",
"pc:0x73d",
"pc:0x749"
],
"recommendation": "Check the boolean result of every external CALL that is expected to transfer value, and revert or preserve state when the transfer fails. For queue payouts, do not zero debt or advance the pointer unless the payment succeeded.",
"exploit_scenario": "Several ETH-bearing CALL sites pop the success flag and continue mutating storage. If a recipient is a contract that rejects ETH, runs out of gas, or otherwise makes CALL return false, the contract can still mark balances as reduced, zero out queue debt, or advance payout pointers even though no payment occurred. This can permanently skip claims or desynchronize internal accounting from actual ETH held."
}
|