019b3836-39ba-7004-a435-a288b804611b
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 |
|---|---|---|---|---|
| 4133 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4134 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47800 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47801 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47802 | detector.run | complete | 1 / 3 | 1 week ago |
| 47803 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113282 | 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 a separate high-severity unchecked-call/accounting issue. Selector inference is best-effort, but the slot5 owner pattern and post-CALL state transitions are directly visible in the runtime bytecode. No proxy or DELEGATECALL behavior was evidenced in the bundle.","findings":[{"severity":"critical","category":"access_control","title":"Unprotected ownership assignment lets any caller seize privileged control","exploit_scenario":"An arbitrary EOA or contract calls selector 0x67f809e9 and becomes the slot5 privileged address. After that, the attacker can invoke owner-gated routines that compare CALLER against slot5, including ETH-moving/admin setters, to drain funds or rewrite operating parameters.","recommendation":"Require an explicit authorization check before writing the privileged address, or restrict initialization to a one-time constructor/init path with an irreversible initialized guard. Review every slot5-gated function as compromised until this is fixed.","evidence":"At pc 0x1b7 (selector 0x67f809e9 entry), the code loads slot5, clears the low 160 bits, ORs in CALLER, and SSTOREs back with no preceding caller check or one-time initialization check. Other selectors, such as the entries around pc 0x13d/0x1ce/0x2f5/0x328/0x366/0x3ab, explicitly gate on CALLER == masked(slot5), showing slot5 is the privileged authority.","locations":["selector:0x67f809e9","pc:0x1b7","pc:0x1c9","selector:0x686f2c90","selector:0xa6f9dae1","selector:0xb4022950","selector:0xced92670","selector:0xfae14192"]},{"severity":"high","category":"other","title":"Unchecked low-level ETH payouts can silently fail while accounting still advances","exploit_scenario":"A queued recipient can be a contract whose fallback reverts or otherwise causes the low-level CALL to fail. The bytecode then still clears/reduces the recipient's recorded amount and advances the payout index, so the recipient is skipped without receiving ETH. Similar unchecked owner-directed CALLs can also desynchronize internal balance tracking if they fail.","recommendation":"Check the CALL success flag and revert on failure, or switch to a pull-payment pattern where recipients withdraw explicitly. Apply checks-effects-interactions ordering so balances/queue state are only mutated after a confirmed transfer.","evidence":"The participant payout path executes CALL at pc 0x704, then immediately POPs the result and proceeds to update storage: it subtracts the recorded amount and increments the queue pointer at pcs 0x723-0x740 and 0x741-0x749, with no success branch or returndata validation. Owner-directed value transfers at pcs 0x510, 0x549, and 0x586 are likewise followed by POP-based success discards and subsequent SSTOREs. The bundle's callsite artifacts also mark returndata checking as unknown/null for these CALLs.","locations":["pc:0x704","pc:0x723","pc:0x740","pc:0x749","pc:0x510","pc:0x549","pc:0x586"]}]}
rt_pc": 221
},
{
"end_pc": 298,
"hash": "0xc9fb2048d104b48770595de5d5251b159392d1470087741e5999436f093145d2",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH8",
"OP_90",
"DIV"
],
"start_pc": 284
},
{
"end_pc": 316,
"hash": "0x11f327c7a784a344f6364691b5460a8a7c89db231ed8c3008d0ef69a711ff05b",
"opcodes": [
"JUMPDEST",
"PUSH1",
"OP_80",
"MLOAD",
"OP_91",
"OP_82",
"MSTORE",
"MLOAD",
"OP_90",
"OP_81",
"OP_90",
"SUB",
"PUSH1",
"ADD",
"OP_90",
"RETURN"
],
"start_pc": 299
},
{
"end_pc": 350,
"hash": "0xb4cfadd3f415783fa77f5967e30183b02f4843d56b5e2f009d3f55a5439493f8",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"OP_90",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"CALLER",
"OP_90",
"OP_91",
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 317
},
{
"end_pc": 360,
"hash": "0x0c4cb2cb3bb56756549a81f44e2bdbf6ca79dc2b74cf541119c89afdfbebf766",
"opcodes": [
"PUSH1",
"SLOAD",
"OP_81",
"EQ",
"OP_80",
"PUSH2",
"JUMPI"
],
"start_pc": 351
},
{
"end_pc": 365,
"hash": "0xd558f5d2204da2bdd24836862aeac121fffb75b80110f7534b247194817c0f66",
"opcodes": [
"POP",
"PUSH1",
"OP_82",
"GT"
],
"start_pc": 361
},
{
"end_pc": 371,
"hash": "0xea6b77da8570c14f3f7c6f23a053900c8257eb0c85bb3947b2bea89f1c67a4b4",
"opcodes": [
"JUMPDEST",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 366
},
{
"end_pc": 375,
"hash": "0x282954d8360ff63fc6c6964bf85aa21a9276515c7803395923d630ec02554aaf",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 372
},
{
"end_pc": 410,
"hash": "0x1f36ea453ccb51b482bd84af80396c7eecf7f52936305fe1aa938901e4386f4c",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"PUSH8",
"PUSH1",
"PUSH1",
"POP",
"PUSH1",
"PUSH1",
"POP",
"SLOAD",
"OP_81",
"SLOAD",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 376
},
{
"end_pc": 438,
"hash": "0xccb37969bfdb6b94fe887794002b5abb0b300883a606742e88436c8729946482",
"opcodes": [
"OP_92",
"MSTORE",
"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",
"DIV",
"OP_90",
"JUMP"
],
"start_pc": 411
},
{
"end_pc": 461,
"hash": "0x778e7df8299eae3e66467ed2af30c6a6f1595d0ea5deb9604d879ffeffb336c9",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"NOT",
"AND",
"CALLER",
"OR",
"OP_90",
"SSTORE",
"JUMP"
],
"start_pc": 439
},
{
"end_pc": 463,
"hash": "0x2c28af64ed62b9975adf152bc63716e6b75c9b9050a65e044f02d04a0be507eb",
"opcodes": [
"JUMPDEST",
"PUSH2"
],
"start_pc": 462
},
{
"end_pc": 490,
"hash": "0xefa6210b05c0acb888ecd403892f84603ed1f21d0d0b1e994a2d6086efa805d7",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"CALLER",
"OP_90",
"OP_91",
exec
/bin/bash -lc "sed -n '521,780p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 466
},
{
"end_pc": 501,
"hash": "0xa784f965cc180dbb8b2adef4ee40a06465230a1ab605743a2f456b87f701fe6c",
"opcodes": [
"PUSH1",
"SLOAD",
"PUSH1",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 491
},
{
"end_pc": 505,
"hash": "0xb95410d8cb43f9c91569842278b17c09c84f38c214a82ce54b91f6196d86244e",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 502
},
{
"end_pc": 557,
"hash": "0xbed4cd72fd29ca1aacad77c7521b09f6ffd184a1d8bb4a62205b8b101d32434c",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"OP_80",
"MLOAD",
"PUSH1",
"OP_81",
"OP_81",
"ADD",
"OP_83",
"MSTORE",
"PUSH1",
"OP_82",
"MSTORE",
"OP_82",
"MLOAD",
"PUSH1",
"SLOAD",
"PUSH2",
"OP_82",
"ADD",
"OP_90",
"OP_94",
"MSTORE",
"PUSH2",
"OP_80",
"OP_82",
"MSTORE",
"OP_90",
"OP_91",
"PUSH2",
"OP_90",
"OP_83",
"ADD",
"CODECOPY",
"OP_90",
"POP",
"OP_90",
"OP_91",
"JUMP"
],
"start_pc": 506
},
{
"end_pc": 607,
"hash": "0xa557e8d3deeae2a48791423f5d02a052acbfb20f68eada43ea5ed70988f1e64a",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"OP_80",
"MLOAD",
"PUSH1",
"OP_81",
"OP_81",
"ADD",
"OP_83",
"MSTORE",
"PUSH1",
"OP_82",
"MSTORE",
"OP_82",
"MLOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"OP_82",
"ADD",
"OP_90",
"OP_94",
"MSTORE",
"PUSH1",
"OP_80",
"OP_82",
"MSTORE",
"OP_90",
"OP_91",
"PUSH2",
"OP_90",
"OP_83",
"ADD",
"CODECOPY",
"OP_90",
"POP",
"OP_90",
"OP_91",
"JUMP"
],
"start_pc": 558
},
{
"end_pc": 628,
"hash": "0x5b550a49cee0266d88e010f5c0435c57c00194113e35852068eabe91a15c628d",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"OP_90",
"OP_81",
"OP_90",
"OP_83",
"GT",
"PUSH2",
"JUMPI"
],
"start_pc": 608
},
{
"end_pc": 641,
"hash": "0x84170cfe2f457741ab6a5462307dff2aaffcc4dccbb0160fac91a76d4d0bbde3",
"opcodes": [
"PUSH1",
"OP_80",
"SLOAD",
"OP_84",
"OP_90",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 629
},
{
"end_pc": 717,
"hash": "0x318c5d16db1499f2deb20f657c2b8a08f32c284f82f27202d9d25c81d3b45e0d",
"opcodes": [
"POP",
"OP_80",
"SLOAD",
"OP_81",
"OP_83",
"MSTORE",
"PUSH1",
"OP_85",
"MUL",
"PUSH32",
"ADD",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"OP_93",
"POP",
"PUSH8",
"OP_91",
"OP_90",
"OP_85",
"OP_90",
"OP_81",
"LT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 642
},
{
"end_pc": 743,
"hash": "0xe91807083025b44c4aad37e2a5206ab192dd2ae38c63a17a2fc6ce29165e8b0d",
"opcodes": [
"POP",
"POP",
"PUSH1",
"OP_84",
"MUL",
"PUSH1",
"OP_80",
"MLOAD",
"PUSH1",
"PUSH2",
"OP_83",
"CODECOPY",
"OP_81",
"MLOAD",
"OP_91",
"MSTORE",
"ADD",
"SLOAD",
"DIV",
"OP_90",
"POP"
],
"start_pc": 718
},
{
"end_pc": 748,
"hash": "0x30de8a4dc5df063700a1580bc2365022b76e5d735de4995cfd8c9d094b7bc043",
"opcodes": [
"JUMPDEST",
"OP_91",
"POP",
"OP_91",
"JUMP"
],
"start_pc": 744
},
{
"end_pc": 756,
"hash": "0x15abb46ed8cec54e3035be79074268bfbc1177286ae948385d4082e96d99935e",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH2",
"JUMP"
],
"start_pc": 749
},
{
"end_pc": 787,
"hash": "0x793999fd003c2780d8d3c91974f9ff11cd0d26634e8330d4c002a6dd04e48db1",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
exec
/bin/bash -lc "sed -n '781,1040p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"PUSH1",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"CALLER",
"OP_90",
"OP_91",
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 757
},
{
"end_pc": 807,
"hash": "0x334c22d12dbb15ed4325dd7d4f47698ff31a59a27f9525697bd1a31d406e2fe9",
"opcodes": [
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"NOT",
"AND",
"OP_82",
"OR",
"OP_90",
"SSTORE",
"POP",
"JUMP"
],
"start_pc": 788
},
{
"end_pc": 838,
"hash": "0x06be923e61d6becbb7f59373da10bfbe2f8a880992d1c76938dd619674100c6f",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"CALLER",
"OP_90",
"OP_91",
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 808
},
{
"end_pc": 862,
"hash": "0x21c301db94a00a23a56e87108229f7a631ac0768304da216ceda431bf096eb4f",
"opcodes": [
"PUSH1",
"SLOAD",
"PUSH8",
"OP_91",
"OP_90",
"OP_91",
"MUL",
"OP_90",
"OP_81",
"GT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 839
},
{
"end_pc": 869,
"hash": "0xc4b2e8782c13d1b17334e2bf11c38d64cc2cdccc11f9210f3e66d4e2d470ff37",
"opcodes": [
"PUSH2",
"PUSH2",
"JUMP"
],
"start_pc": 863
},
{
"end_pc": 900,
"hash": "0x19793a5a8da0fe20c53cc083bc317fa4297b0921c89ff648d2c6110fdddeebbd",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"SLOAD",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"CALLER",
"OP_90",
"OP_91",
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 870
},
{
"end_pc": 910,
"hash": "0x1b1c84b5c424e4c976134f31c8368ffb8aecedc8deda60565f8783c1bfa0938e",
"opcodes": [
"PUSH2",
"OP_81",
"GT",
"OP_80",
"PUSH2",
"JUMPI"
],
"start_pc": 901
},
{
"end_pc": 915,
"hash": "0xaf6497f5453e51e09cdc210ce7625e632c5a328c123eca54d9af2f3ed4c8aa39",
"opcodes": [
"POP",
"PUSH1",
"OP_81",
"LT"
],
"start_pc": 911
},
{
"end_pc": 921,
"hash": "0xc0913f601ad263fc119a3ae1b8717dc4bac13101046c8257e07aa9db5c925d4f",
"opcodes": [
"JUMPDEST",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 916
},
{
"end_pc": 925,
"hash": "0x40bb9597a00df165382a4657cc3e93b3a412a73b061d1bea8e51f58a7b0e5aba",
"opcodes": [
"PUSH2",
"JUMP"
],
"start_pc": 922
},
{
"end_pc": 938,
"hash": "0x0965a18efcba8e33c53ae2df6a517550b608adefc09a08db852a10d57d1be56a",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"SLOAD",
"OP_90",
"SUB",
"PUSH2",
"JUMP"
],
"start_pc": 926
},
{
"end_pc": 968,
"hash": "0x771b79fac167e756fd7e5a542f49216de8a728325168cfe718ef73f21505045c",
"opcodes": [
"JUMPDEST",
"PUSH2",
"PUSH1",
"CALLDATALOAD",
"PUSH1",
"SLOAD",
"CALLER",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"OP_90",
"OP_81",
"AND",
"OP_91",
"AND",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 939
},
{
"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
},
exec
/bin/bash -lc "sed -n '1041,1300p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
{
"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
},
{
"end_pc": 1140,
"hash": "0xb2f5a475a71c917e260445412740d027f720c2cbf1fe8c61d5d49a12fe01f32f",
"opcodes": [
"JUMPDEST",
"PUSH1",
"MLOAD",
"OP_80",
"OP_83",
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"AND",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_82",
"OP_81",
"MSTORE",
"PUSH1",
"ADD",
"OP_92",
"POP",
"POP",
"POP",
"PUSH1",
"MLOAD",
"OP_80",
"OP_91",
"SUB",
"OP_90",
"RETURN"
],
"start_pc": 1103
},
{
"end_pc": 1161,
"hash": "0x6fbf099c178090df4c33418d0664b8a801e4a6c1680bf18594362d02266b6235",
"opcodes": [
"JUMPDEST",
"POP",
"PUSH1",
"SLOAD",
"PUSH9",
"CALLVALUE",
"LT",
"PUSH2",
"JUMPI"
],
"start_pc": 1141
},
{
"end_pc": 1165,
"hash": "0xd191c3f462c1f42ade6db6cb1b3295b4c7cf93769c8e0049196b2c53be1ed8ce",
"opcodes": [
"PUSH1",
"OP_90",
"DIV"
],
"start_pc": 1162
},
{
"end_pc": 1198,
"hash": "0xc053863baa21c0e96bccb38d9829690f7c811fa69fa309d8387957a0948d17d5",
"opcodes": [
"JUMPDEST",
"PUSH2",
"OP_81",
"PUSH1",
"PUSH1",
"PUSH1",
"POP",
"OP_80",
"SLOAD",
"OP_80",
"PUSH1",
"ADD",
"OP_82",
"OP_81",
"OP_81",
"SLOAD",
"OP_81",
"OP_83",
"SSTORE",
"OP_81",
"OP_81",
"ISZERO",
"GT",
"PUSH2",
"JUMPI"
],
"start_pc": 1166
},
{
"end_pc": 1224,
"hash": "0x4d27fbccd2d16ad774899e2b1e793c321801139e4d34c254aaf56b76e0390110",
"opcodes": [
"PUSH1",
"MUL",
"OP_81",
"PUSH1",
"MUL",
"OP_83",
"PUSH1",
"MSTORE",
"PUSH1",
"PUSH1",
"SHA3",
"OP_91",
"OP_82",
"ADD",
"OP_91",
"ADD",
"PUSH2",
"OP_91",
"OP_90"
],
"start_pc": 1199
},
{
"end_pc": 1233,
"hash": "0x21b7d370b226f132a7f2f71df67017b07374f807ebb3cd5179f40b08a819ddb5",
"opcodes": [
"JUMPDEST",
"OP_80",
"OP_82",
"GT",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1225
},
{
"end_pc": 1262,
"hash": "0xadedb74ccb8481e406f4fb9b1c0f90c9be9353fc5b9ba75fda31abcf1e06c6f0",
"opcodes": [
"OP_80",
"SLOAD",
exec
/bin/bash -lc "sed -n '1301,1560p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"PUSH1",
"PUSH1",
"PUSH1",
"EXP",
"SUB",
"NOT",
"AND",
"OP_81",
"SSTORE",
"PUSH1",
"PUSH1",
"OP_91",
"OP_90",
"OP_91",
"ADD",
"OP_90",
"OP_81",
"SSTORE",
"PUSH2",
"JUMP"
],
"start_pc": 1234
},
{
"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",
exec
/bin/bash -lc "sed -n '1561,1820p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"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
},
{
"end_pc": 1542,
"hash": "0x3eb9584ae94c37153a0a1fd7f1c73d6813550ef8d38c41445b573d44fb788c36",
"opcodes": [
"PUSH1",
"PUSH1",
"SSTORE",
"PUSH2",
"JUMP"
],
"start_pc": 1534
},
{
"end_pc": 1546,
"hash": "0x2d7463b1bd971d1877e8a9b2ba443f8217d4b42e4dab956ca10bcb0ff980596d",
"opcodes": [
"JUMPDEST",
"POP",
"OP_90",
"JUMP"
],
"start_pc": 1543
},
{
"end_pc": 1558,
"hash": "0x230da1683b020f938375a4ddc7e51f8bee00ca09e6e2bc51821ea45dd76984fa",
"opcodes": [
"JUMPDEST",
"PUSH1",
"SLOAD",
"PUSH1",
"EQ",
"ISZERO",
"PUSH2",
"JUMPI"
],
"start_pc": 1547
},
{
"end_pc": 1563,
"hash": "0xea928549f2aa7b7142171bf07afdb6a90412f750b4ef70d9e00c09cc35f20156",
"opcodes": [
"PUSH1",
"PUSH1",
"SSTORE"
],
"start_pc": 1559
},
{
"end_pc": 1600,
"hash": "0x5a669a7fb362f6e8fdadeec7463f8ada14435f5f2927700d6f8940ed146c12e5",
"opcodes": [
"JUMPDEST",
"PUSH1",
"OP_80",
"SLOAD",
"PUSH1",
"OP_84",
"OP_81",
"SUB",
"CALLVALUE",
"OP_90",
"OP_81",
"MUL",
"OP_82",
"OP_90",
"DIV",
"OP_90",
"OP_92",
"ADD",
"OP_90",
"OP_92",
"SSTORE",
"PUSH1",
"OP_80",
"SLOAD",
"OP_91",
"OP_85",
"MUL",
"OP_92",
"OP_90",
"OP_92",
"DIV",
"ADD",
"OP_90",
"SSTORE"
],
"start_pc": 1564
},
{
"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",
exec
/bin/bash -lc "sed -n '1821,2080p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"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
},
{
"end_pc": 2515,
"hash": "0x593797cf1708712e478437c8fe2e774e2292bdf3c2b042d3931fec80be8197c7",
"opcodes": [
"MSTORE8",
"PUSH9",
"PUSH7",
"PUSH6",
"PUSH13",
"PUSH2",
"PUSH22",
"PUSH9",
"PUSH6",
"PUSH6",
"PUSH4",
"PUSH6",
"PUSH10",
"PUSH16",
"OP_25",
"OP_29",
"COINBASE",
"PUSH13",
"PUSH22",
"PUSH6",
"PUSH21",
"PUSH14",
"PUSH6",
"PUSH22",
"SHA3",
"PUSH16",
"PUSH4",
"PUSH2",
"SHA3",
"PUSH10",
"PUSH24",
"PUSH13",
"PUSH6",
"PUSH20",
"SHA3",
"PUSH2",
"PUSH13",
"SHA3",
"PUSH20",
"PUSH20",
"PUSH24",
"PUSH19",
"PUSH21",
"PUSH6",
"SHA3",
"PUSH7",
"SHA3",
"PUSH5",
"PUSH13",
"SHA3",
"PUSH10",
"SHA3",
"PUSH2",
"PUSH19",
"SHA3",
"PUSH6",
"ADDRESS",
"SHA3",
"PUSH10",
"SHA3",
"PUSH2",
"OP_2E",
"CALLDATALOAD",
"PUSH25",
"SHA3",
"PUSH14",
"PUSH15",
"OP_5C",
"AND",
"OP_C0",
"OP_4F",
"RETURNDATACOPY",
"OP_FC",
"OP_82",
"OP_AA",
"OP_ED",
"OP_C9",
"PUSH28"
],
"start_pc": 1870
}
],
"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"
}
],
"cfg_edges": [
{
"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"
},
{
exec
/bin/bash -lc "sed -n '2081,2340p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"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"
},
{
exec
/bin/bash -lc "sed -n '2341,2600p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"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"
}
],
"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"
},
{
exec
/bin/bash -lc "sed -n '2601,2860p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"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"
},
{
"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"
}
exec
/bin/bash -lc "sed -n '2861,3120p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
],
"writes": 19
}
},
{
"auth": {
"guards": []
},
"entry_pc": 1110008173,
"selector": "0x253459e3",
"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"
},
{
"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"
}
],
exec
/bin/bash -lc "rg -n 'detector|evidence|proxy|storage_slots|selectors|slot|callsite|findings' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
1987: "callsites": [
2620: "slots": [
2624: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2629: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2634: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2639: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2644: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2649: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2654: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
2659: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2664: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2669: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
2674: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
2679: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2684: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2689: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2694: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2699: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2704: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2709: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2714: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2719: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2724: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2729: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2734: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
2739: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2744: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
2749: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2754: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2759: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2764: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2769: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2774: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2779: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2784: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2789: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
2794: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2799: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
2804: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2809: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
2814: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
2819: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2824: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2829: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2834: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
2839: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2844: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2849: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2854: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2859: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2879: "slots": [
2883: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2888: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2893: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2898: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2903: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2908: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2913: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
2918: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2923: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2928: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
2933: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
2938: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2943: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2948: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2953: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2958: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2963: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2968: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
2973: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2978: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
2983: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
2988: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
2993: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
2998: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3003: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3008: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3013: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3018: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3023: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3028: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3033: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3038: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3043: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3048: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3053: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3058: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
3063: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3068: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
3073: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3078: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3083: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3088: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3093: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3098: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3103: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3108: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3113: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3118: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3138: "slots": [
3142: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3147: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3152: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3157: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3162: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3167: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3172: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
3177: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3182: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3187: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3192: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3197: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3202: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3207: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3212: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3217: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3222: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3227: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3232: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3237: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3242: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3247: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3252: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3257: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3262: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3267: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3272: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3277: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3282: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3287: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3292: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3297: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3302: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3307: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3312: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3317: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
3322: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3327: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
3332: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3337: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3342: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3347: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3352: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3357: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3362: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3367: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3372: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3377: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3397: "slots": [
3401: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3406: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3411: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3416: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3421: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3426: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3431: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
3436: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3441: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3446: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3451: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3456: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3461: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3466: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3471: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3476: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3481: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3486: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3491: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3496: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3501: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3506: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3511: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3516: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3521: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3526: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3531: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3536: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3541: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3546: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3551: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3556: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3561: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3566: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3571: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3576: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
3581: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3586: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
3591: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3596: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3601: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3606: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3611: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3616: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3621: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3626: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3631: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3636: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3656: "slots": [
3660: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3665: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3670: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3675: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3680: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3685: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3690: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
3695: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3700: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3705: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3710: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3715: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3720: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3725: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3730: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3735: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3740: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3745: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3750: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3755: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3760: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3765: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3770: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3775: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3780: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3785: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3790: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3795: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3800: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3805: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3810: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3815: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3820: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3825: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3830: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3835: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
3840: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3845: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
3850: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3855: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3860: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3865: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3870: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
3875: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3880: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3885: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3890: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3895: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3915: "slots": [
3919: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3924: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3929: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3934: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3939: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
3944: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3949: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
3954: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3959: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
3964: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
3969: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
3974: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3979: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3984: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
3989: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3994: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
3999: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4004: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4009: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4014: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4019: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4024: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4029: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4034: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4039: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4044: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4049: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4054: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4059: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4064: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4069: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4074: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4079: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4084: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4089: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4094: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
4099: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4104: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
4109: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4114: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4119: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4124: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4129: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4134: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4139: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4144: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4149: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4154: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4174: "slots": [
4178: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4183: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4188: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4193: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4198: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4203: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4208: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
4213: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4218: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4223: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4228: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4233: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4238: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4243: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4248: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4253: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4258: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4263: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4268: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4273: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4278: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4283: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4288: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4293: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4298: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4303: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4308: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4313: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4318: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4323: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4328: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4333: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4338: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4343: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4348: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4353: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
4358: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4363: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
4368: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4373: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4378: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4383: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4388: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4393: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4398: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4403: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4408: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4413: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4433: "slots": [
4437: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4442: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4447: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4452: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4457: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4462: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4467: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
4472: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4477: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4482: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4487: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4492: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4497: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4502: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4507: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4512: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4517: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4522: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4527: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4532: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4537: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4542: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4547: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4552: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4557: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4562: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4567: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4572: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4577: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4582: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4587: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4592: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4597: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4602: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4607: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4612: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
4617: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4622: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
4627: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4632: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4637: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4642: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4647: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4652: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4657: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4662: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4667: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4672: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4692: "slots": [
4696: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4701: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4706: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4711: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4716: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4721: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4726: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
4731: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4736: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4741: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4746: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4751: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4756: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4761: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4766: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4771: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4776: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4781: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4786: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4791: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4796: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4801: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4806: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
4811: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4816: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4821: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4826: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4831: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4836: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4841: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4846: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4851: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4856: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4861: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
4866: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4871: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
4876: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4881: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
4886: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4891: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4896: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4901: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4906: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
4911: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4916: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
4921: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4926: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4931: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4951: "slots": [
4955: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4960: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4965: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4970: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
4975: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
4980: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4985: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
4990: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
4995: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5000: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5005: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5010: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5015: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5020: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5025: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5030: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5035: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5040: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5045: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5050: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5055: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5060: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5065: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5070: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5075: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5080: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5085: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5090: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5095: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5100: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5105: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5110: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5115: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5120: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5125: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5130: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
5135: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5140: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
5145: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5150: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5155: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5160: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5165: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5170: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5175: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5180: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5185: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5190: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5210: "slots": [
5214: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5219: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5224: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5229: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5234: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5239: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5244: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
5249: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5254: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5259: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5264: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5269: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5274: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5279: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5284: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5289: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5294: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5299: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5304: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5309: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5314: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5319: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5324: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5329: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5334: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5339: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5344: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5349: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5354: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5359: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5364: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5369: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5374: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5379: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5384: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5389: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
5394: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5399: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
5404: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5409: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5414: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5419: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5424: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5429: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5434: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5439: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5444: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5449: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5469: "slots": [
5473: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5478: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5483: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5488: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5493: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5498: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5503: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
5508: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5513: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5518: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5523: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5528: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5533: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5538: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5543: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5548: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5553: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5558: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5563: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5568: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5573: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5578: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5583: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5588: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5593: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5598: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5603: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5608: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5613: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5618: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5623: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5628: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5633: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5638: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5643: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5648: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
5653: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5658: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
5663: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5668: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5673: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5678: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5683: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5688: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5693: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5698: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5703: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5708: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5728: "slots": [
5732: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5737: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5742: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5747: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5752: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5757: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5762: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
5767: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5772: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5777: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5782: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5787: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5792: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5797: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5802: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5807: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5812: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5817: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5822: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5827: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5832: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5837: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5842: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
5847: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5852: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5857: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5862: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5867: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5872: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5877: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5882: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5887: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
5892: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5897: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
5902: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5907: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
5912: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5917: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
5922: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5927: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5932: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5937: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5942: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
5947: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5952: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
5957: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5962: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5967: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
5987: "slots": [
5991: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
5996: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6001: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6006: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6011: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6016: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6021: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
6026: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6031: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6036: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6041: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6046: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6051: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6056: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6061: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6066: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6071: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6076: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6081: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6086: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6091: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6096: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6101: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6106: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6111: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6116: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6121: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6126: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6131: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6136: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6141: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6146: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6151: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6156: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6161: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6166: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
6171: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6176: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
6181: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6186: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6191: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6196: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6201: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6206: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6211: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6216: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6221: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6226: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6246: "slots": [
6250: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6255: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6260: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6265: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6270: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6275: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6280: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
6285: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6290: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6295: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6300: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6305: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6310: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6315: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6320: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6325: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6330: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6335: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6340: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6345: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6350: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6355: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6360: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6365: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6370: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6375: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6380: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6385: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6390: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6395: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6400: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6405: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6410: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6415: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6420: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6425: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
6430: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6435: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
6440: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6445: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6450: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6455: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6460: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6465: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6470: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6475: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6480: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6485: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6492: "selectors": [
6516: "upgrade_slot_write_suspected": false
6521: "slots": [
6525: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6530: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6535: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6540: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6545: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6550: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6555: "slot": "0x00000000000000000000000000000000000000000000000000000000000003d6"
6560: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6565: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6570: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6575: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6580: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6585: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6590: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6595: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6600: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6605: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6610: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6615: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6620: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6625: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6630: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6635: "slot": "0x0000000000000000000000000000000000000000000000000000000000000002"
6640: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6645: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6650: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6655: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6660: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6665: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6670: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6675: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6680: "slot": "0x0000000000000000000000000000000000000000000000000000000000000005"
6685: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6690: "slot": "0x0000000000000000000000000000000000000000000000000000000000000003"
6695: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6700: "slot": "0x00000000000000000000000000000000000000000000000000000000000000c8"
6705: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6710: "slot": "0x0000000000000000000000000000000000000000000000000000000000000096"
6715: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6720: "slot": "0x0000000000000000000000000000000000000000000000000000000000000001"
6725: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6730: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6735: "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
6740: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6745: "slot": "0x0000000000000000000000000000000000000000000000000000000000000006"
6750: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6755: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6760: "slot": "0x0000000000000000000000000000000000000000000000000000000000000004"
6794: "is_proxy": false,
8077: "type": "callsite"
8083: "type": "callsite"
8089: "type": "callsite"
8095: "type": "callsite"
8101: "type": "callsite"
8204: "detector_findings": [
8207: "evidence_json": {
8260: "evidence_json": {
exec
/bin/bash -lc "sed -n '1,240p' codex-output-schema.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
{"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
exec
/bin/bash -lc "sed -n '6488,6815p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"writes": 19
}
}
],
"selectors": [
"0x09dfdc71",
"0x253459e3",
"0x4229616d",
"0x57d4021b",
"0x67f809e9",
"0x686f2c90",
"0x6fbaaa1e",
"0x8a5fb3ca",
"0x9dbc4f9b",
"0xa26dbf26",
"0xa6f9dae1",
"0xb4022950",
"0xced92670",
"0xd11f13df",
"0xfae14192"
],
"sinks": {
"call": 5,
"create": 0,
"create2": 0,
"delegatecall": 0,
"selfdestruct": 0,
"staticcall": 0,
"upgrade_slot_write_suspected": false
},
"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
},
"version": "analysis_artifact_v1"
},
"block_number": null,
"chain_id": 1,
"codehash": "0x5d300a40efbe8176b85ea632a0d3da8988e0256d9c3a36e87e40cc8884a9862f",
"created_at": "2026-04-04T19:57:14.000000Z",
"id": 2452,
"updated_at": "2026-04-04T19:57:14.000000Z",
"version": "analysis_artifact_v1"
},
"analysis_run": {
"address": "0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22",
"block_number": null,
"chain_id": 1,
"child_links": [],
"created_at": "2025-12-19T20:03:56.000000Z",
"id": "019b3836-39ba-7004-a435-a288b804611b",
"parent_links": [],
"status": "running",
"updated_at": "2026-04-04T19:57:14.000000Z"
},
"artifact": {
"codehash": "0x5d300a40efbe8176b85ea632a0d3da8988e0256d9c3a36e87e40cc8884a9862f",
"compiler_json": {
"etherscan": {
"skipped": true
}
},
"implementation_address": null,
"is_proxy": false,
"runtime_bytecode": {
"full": "0x606060405236156100b95760e060020a600035046309dfdc7181146100dd578063253459e31461011c5780634229616d1461013d57806357d4021b1461017857806367f809e9146101b7578063686f2c90146101ce5780636fbaaa1e146101fa5780638a5fb3ca1461022e5780639dbc4f9b14610260578063a26dbf26146102ed578063a6f9dae1146102f5578063b402295014610328578063ced9267014610366578063d11f13df1461039e578063fae14192146103ab575b6103d66103d86000670de0b6b3a76400003410156104755760018054340190555b50565b6040805160208181018352600080835283519054610100820190945260ca8082526103da94670de0b6b3a7640000900493926107d29083013990509091565b600154670de0b6b3a764000090045b60408051918252519081900360200190f35b6103d6600435600554600090600160a060020a039081163390911614156105955760015481148061016e5750606482115b1561055a57610002565b61012b6000670de0b6b3a7640000600660005060046000505481548110156100025792526002919091026000805160206109bb83398151915201540490565b6103d660058054600160a060020a03191633179055565b6103d65b600554600160a060020a039081163390911614156103d857600154600014156104ef57610002565b6103da6040805160208181018352600082528251600354610140820190945261011f808252909161089c9083013990509091565b6103da604080516020818101835260008252825160025460c082019094526084808252909161074e9083013990509091565b61044f600435600654600090819083116102e85760068054849081101561000257508054818352600285027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0154600160a060020a03169350670de0b6b3a764000091908590811015610002575050600284026000805160206109bb83398151915201540490505b915091565b60065461012b565b6103d6600435600554600160a060020a039081163390911614156100da5760058054600160a060020a0319168217905550565b6103d6600435600554600160a060020a039081163390911614156100da57600154670de0b6b3a76400009190910290811115610519576105196101d2565b6103d6600435600554600160a060020a039081163390911614156100da5761012c8111806103945750607881105b1561059957610002565b600654600454900361012b565b6103d660043560055433600160a060020a03908116911614156100da57600a81111561059e57610002565b005b565b60405180838152602001806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156104405780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b6040518083600160a060020a031681526020018281526020019250505060405180910390f35b506002546802b5e3af16b1880000341061048e57600290045b6100da816000600660005080548060010182818154818355818115116105a3576002028160020283600052602060002091820191016105a391905b80821115610607578054600160a060020a031916815560006001919091019081556104c9565b600154600554604051600160a060020a03919091169160009182818181858883f150505060015550565b6001546000141561052957610002565b600554604051600160a060020a039190911690600090839082818181858883f1505060018054919091039055505050565b506001546005546040516064909204830291600160a060020a039190911690600090839082818181858883f150506001805491909103905550505b5050565b600355565b600255565b50505091909060005260206000209060020201600050604080518082019091523380825260035460643491909102046020929092018290528254600160a060020a0319161782556001919091015550600654600a141561060b5760c860035561061c565b5090565b6006546019141561061c5760966003555b6000805460648481033490810282900490920190925560018054918502929092040190555b600454600680549091908110156100025760009182526002027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0190506001015460005411156105955760045460068054909190811015610002576002026000805160206109bb8339815191520154600454825491935090811015610002576002027ff652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f0154604051600160a060020a03919091169150600090839082818181858883f19350505050506006600050600460005054815481101561000257600091825281546002919091026000805160206109bb8339815191520154900390556004805460010190556106415653686f776e20696e202520666f726d2e204665652069732068616c766564283530252920666f7220616d6f756e747320657175616c206f722067726561746572207468616e203530206574686572732e2028466565206d6179206368616e67652c206275742069732063617070656420746f2061206d6178696d756d206f662031302529416c6c2062616c616e63652076616c75657320617265206d6561737572656420696e204574686572732c206e6f746520746861742064756520746f206e6f20646563696d616c20706c6163696e672c2074686573652076616c7565732073686f7720757020617320696e746567657273206f6e6c792c2077697468696e2074686520636f6e747261637420697473656c6620796f752077696c6c206765742074686520657861637420646563696d616c2076616c756520796f752061726520737570706f73656420746f54686973206d756c7469706c696572206170706c69657320746f20796f7520617320736f6f6e206173207472616e73616374696f6e2069732072656365697665642c206d6179206265206c6f776572656420746f2068617374656e207061796f757473206f7220696e63726561736564206966207061796f75747320617265206661737420656e6f7567682e2044756520746f206e6f20666c6f6174206f7220646563696d616c732c206d756c7469706c696572206973207831303020666f722061206672616374696f6e616c206d756c7469706c69657220652e672e203235302069732061637475616c6c79206120322e3578206d756c7469706c6965722e20436170706564206174203378206d617820616e6420312e3278206d696e2ef652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d40",
"head": null,
"length": 5048,
"tail": null,
"truncated": false
},
"verified_source": false
},
"capability_graph": {
"address": "0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22",
"block_number": null,
"chain_id": 1,
"codehash": "0x5d300a40efbe8176b85ea632a0d3da8988e0256d9c3a36e87e40cc8884a9862f",
"created_at": "2026-04-04T19:57:14.000000Z",
"graph_hash": "0x998617268abf176039442c79268994bd2e8d73c738534f277099b44b7adb6654",
"graph_json": {
"edges": [
{
"from": "bb:0",
"to": "bb:185",
exec
/bin/bash -lc "sed -n '8030,8295p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
},
{
"end_pc": 1675,
"hash": "0xcc722d3cd23c786e65ad36f779f869c2108ff89fc8f6cb9881699f4b88784735",
"id": "bb:1619",
"start_pc": 1619,
"type": "basic_block"
},
{
"end_pc": 1692,
"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": 2451,
"updated_at": "2026-04-04T19:57:14.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",
"0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028",
"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,
exec
/bin/bash -lc "sed -n '8296,8405p' BYTECODE_BUNDLE.json" in /tmp/codex-8j4a4a87
succeeded in 0ms:
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22"
],
"classification": "target_varies",
"confirmed": true,
"errors": 0,
"matched_probe": null,
"sink": "CALL",
"status": "confirmed",
"target_varies": true,
"trace_id": "0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028",
"trace_mode": "callTracer"
}
}
],
"heuristics_summary": {
"create2_count": 0,
"delegatecall_count": 0,
"flags": [],
"selfdestruct_count": 0
}
}
exec
/bin/bash -lc 'which evm disasm || which cast || which python3 || which node' in /tmp/codex-8j4a4a87
succeeded in 0ms:
/home/noahkuhn/.foundry/bin/cast
exec
/bin/bash -lc 'cast disassemble $(jq -r '"'.artifact.runtime_bytecode.full' BYTECODE_BUNDLE.json) | sed -n '1,260p'" in /tmp/codex-8j4a4a87
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-8j4a4a87
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-8j4a4a87
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-8j4a4a87
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-8j4a4a87
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
codex
{"no_findings":false,"summary":"Bytecode-only review found a critical ownership-takeover path and a separate high-severity unchecked-call/accounting issue. Selector inference is best-effort, but the slot5 owner pattern and post-CALL state transitions are directly visible in the runtime bytecode. No proxy or DELEGATECALL behavior was evidenced in the bundle.","findings":[{"severity":"critical","category":"access_control","title":"Unprotected ownership assignment lets any caller seize privileged control","exploit_scenario":"An arbitrary EOA or contract calls selector 0x67f809e9 and becomes the slot5 privileged address. After that, the attacker can invoke owner-gated routines that compare CALLER against slot5, including ETH-moving/admin setters, to drain funds or rewrite operating parameters.","recommendation":"Require an explicit authorization check before writing the privileged address, or restrict initialization to a one-time constructor/init path with an irreversible initialized guard. Review every slot5-gated function as compromised until this is fixed.","evidence":"At pc 0x1b7 (selector 0x67f809e9 entry), the code loads slot5, clears the low 160 bits, ORs in CALLER, and SSTOREs back with no preceding caller check or one-time initialization check. Other selectors, such as the entries around pc 0x13d/0x1ce/0x2f5/0x328/0x366/0x3ab, explicitly gate on CALLER == masked(slot5), showing slot5 is the privileged authority.","locations":["selector:0x67f809e9","pc:0x1b7","pc:0x1c9","selector:0x686f2c90","selector:0xa6f9dae1","selector:0xb4022950","selector:0xced92670","selector:0xfae14192"]},{"severity":"high","category":"other","title":"Unchecked low-level ETH payouts can silently fail while accounting still advances","exploit_scenario":"A queued recipient can be a contract whose fallback reverts or otherwise causes the low-level CALL to fail. The bytecode then still clears/reduces the recipient's recorded amount and advances the payout index, so the recipient is skipped without receiving ETH. Similar unchecked owner-directed CALLs can also desynchronize internal balance tracking if they fail.","recommendation":"Check the CALL success flag and revert on failure, or switch to a pull-payment pattern where recipients withdraw explicitly. Apply checks-effects-interactions ordering so balances/queue state are only mutated after a confirmed transfer.","evidence":"The participant payout path executes CALL at pc 0x704, then immediately POPs the result and proceeds to update storage: it subtracts the recorded amount and increments the queue pointer at pcs 0x723-0x740 and 0x741-0x749, with no success branch or returndata validation. Owner-directed value transfers at pcs 0x510, 0x549, and 0x586 are likewise followed by POP-based success discards and subsequent SSTOREs. The bundle's callsite artifacts also mark returndata checking as unknown/null for these CALLs.","locations":["pc:0x704","pc:0x723","pc:0x740","pc:0x749","pc:0x510","pc:0x549","pc:0x586"]}]}
tokens used
90,899
{
"codex": {
"ran_at": "2026-04-05T05:20:14.895412+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 a separate high-severity unchecked-call/accounting issue. Selector inference is best-effort, but the slot5 owner pattern and post-CALL state transitions are directly visible in the runtime bytecode. No proxy or DELEGATECALL behavior was evidenced in the bundle.",
"raw_final": {
"summary": "Bytecode-only review found a critical ownership-takeover path and a separate high-severity unchecked-call/accounting issue. Selector inference is best-effort, but the slot5 owner pattern and post-CALL state transitions are directly visible in the runtime bytecode. No proxy or DELEGATECALL behavior was evidenced in the bundle.",
"findings": [
{
"title": "Unprotected ownership assignment lets any caller seize privileged control",
"category": "access_control",
"evidence": "At pc 0x1b7 (selector 0x67f809e9 entry), the code loads slot5, clears the low 160 bits, ORs in CALLER, and SSTOREs back with no preceding caller check or one-time initialization check. Other selectors, such as the entries around pc 0x13d/0x1ce/0x2f5/0x328/0x366/0x3ab, explicitly gate on CALLER == masked(slot5), showing slot5 is the privileged authority.",
"severity": "critical",
"locations": [
"selector:0x67f809e9",
"pc:0x1b7",
"pc:0x1c9",
"selector:0x686f2c90",
"selector:0xa6f9dae1",
"selector:0xb4022950",
"selector:0xced92670",
"selector:0xfae14192"
],
"recommendation": "Require an explicit authorization check before writing the privileged address, or restrict initialization to a one-time constructor/init path with an irreversible initialized guard. Review every slot5-gated function as compromised until this is fixed.",
"exploit_scenario": "An arbitrary EOA or contract calls selector 0x67f809e9 and becomes the slot5 privileged address. After that, the attacker can invoke owner-gated routines that compare CALLER against slot5, including ETH-moving/admin setters, to drain funds or rewrite operating parameters."
},
{
"title": "Unchecked low-level ETH payouts can silently fail while accounting still advances",
"category": "other",
"evidence": "The participant payout path executes CALL at pc 0x704, then immediately POPs the result and proceeds to update storage: it subtracts the recorded amount and increments the queue pointer at pcs 0x723-0x740 and 0x741-0x749, with no success branch or returndata validation. Owner-directed value transfers at pcs 0x510, 0x549, and 0x586 are likewise followed by POP-based success discards and subsequent SSTOREs. The bundle's callsite artifacts also mark returndata checking as unknown/null for these CALLs.",
"severity": "high",
"locations": [
"pc:0x704",
"pc:0x723",
"pc:0x740",
"pc:0x749",
"pc:0x510",
"pc:0x549",
"pc:0x586"
],
"recommendation": "Check the CALL success flag and revert on failure, or switch to a pull-payment pattern where recipients withdraw explicitly. Apply checks-effects-interactions ordering so balances/queue state are only mutated after a confirmed transfer.",
"exploit_scenario": "A queued recipient can be a contract whose fallback reverts or otherwise causes the low-level CALL to fail. The bytecode then still clears/reduces the recipient's recorded amount and advances the payout index, so the recipient is skipped without receiving ETH. Similar unchecked owner-directed CALLs can also desynchronize internal balance tracking if they fail."
}
],
"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 | Unprotected ownership assignment lets any caller seize privileged control | 90 | no | — |
viewevidence_json{
"evidence": "At pc 0x1b7 (selector 0x67f809e9 entry), the code loads slot5, clears the low 160 bits, ORs in CALLER, and SSTOREs back with no preceding caller check or one-time initialization check. Other selectors, such as the entries around pc 0x13d/0x1ce/0x2f5/0x328/0x366/0x3ab, explicitly gate on CALLER == masked(slot5), showing slot5 is the privileged authority.",
"locations": [
"selector:0x67f809e9",
"pc:0x1b7",
"pc:0x1c9",
"selector:0x686f2c90",
"selector:0xa6f9dae1",
"selector:0xb4022950",
"selector:0xced92670",
"selector:0xfae14192"
],
"recommendation": "Require an explicit authorization check before writing the privileged address, or restrict initialization to a one-time constructor/init path with an irreversible initialized guard. Review every slot5-gated function as compromised until this is fixed.",
"exploit_scenario": "An arbitrary EOA or contract calls selector 0x67f809e9 and becomes the slot5 privileged address. After that, the attacker can invoke owner-gated routines that compare CALLER against slot5, including ETH-moving/admin setters, to drain funds or rewrite operating parameters."
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028
call_targets:
0x0000000000000000000000000000000000000004, 0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22"
],
"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: 0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028
call_targets:
0x0000000000000000000000000000000000000004, 0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x553b7c7f7497bfaa197e298af5e13ff17e5a1896c687e481cea5ed317b262028",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xc07ec6b6e3783b6855d000e104e44b3f86bbfc22"
],
"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 | other | codex | Unchecked low-level ETH payouts can silently fail while accounting still advances | 85 | no | — |
viewevidence_json{
"evidence": "The participant payout path executes CALL at pc 0x704, then immediately POPs the result and proceeds to update storage: it subtracts the recorded amount and increments the queue pointer at pcs 0x723-0x740 and 0x741-0x749, with no success branch or returndata validation. Owner-directed value transfers at pcs 0x510, 0x549, and 0x586 are likewise followed by POP-based success discards and subsequent SSTOREs. The bundle's callsite artifacts also mark returndata checking as unknown/null for these CALLs.",
"locations": [
"pc:0x704",
"pc:0x723",
"pc:0x740",
"pc:0x749",
"pc:0x510",
"pc:0x549",
"pc:0x586"
],
"recommendation": "Check the CALL success flag and revert on failure, or switch to a pull-payment pattern where recipients withdraw explicitly. Apply checks-effects-interactions ordering so balances/queue state are only mutated after a confirmed transfer.",
"exploit_scenario": "A queued recipient can be a contract whose fallback reverts or otherwise causes the low-level CALL to fail. The bytecode then still clears/reduces the recipient's recorded amount and advances the payout index, so the recipient is skipped without receiving ETH. Similar unchecked owner-directed CALLs can also desynchronize internal balance tracking if they fail."
}
|