7bf716f0-e6fc-4a45-97d9-c023a95edad6
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 |
|---|---|---|---|---|
| 30241 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73630 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 73631 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 73632 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73633 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73634 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73635 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:533909] OpenAI Codex v0.77.0 (research preview)
[codex:533909] --------
[codex:533909] workdir: /tmp/codex-multi-mm06ibqr
[codex:533909] model: gpt-5.2-codex
[codex:533909] provider: openai
[codex:533909] approval: never
[codex:533909] sandbox: read-only
[codex:533909] reasoning effort: xhigh
[codex:533909] reasoning summaries: auto
[codex:533909] session id: 019b622a-7a55-7d80-8b03-11a290d3ce5f
[codex:533909] --------
[codex:533909] user
[codex:533909] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:533909] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:533909] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:533909]
[codex:533909] Scope rules:
[codex:533909] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:533909] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:533909]
[codex:533909] Output MUST be valid JSON matching the provided schema.
[codex:533909] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:533909] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:533909]
[codex:533909] Output constraints (IMPORTANT):
[codex:533909] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:533909] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:533909] mcp startup: no servers
[codex:533909]
[codex:533909] thinking
[codex:533909] **Preparing to read AUDIT_BUNDLE.txt**
[codex:533909] exec
[codex:533909] /bin/bash -lc ls in /tmp/codex-multi-mm06ibqr succeeded in 5ms:
[codex:533909] AUDIT_BUNDLE.txt
[codex:533909] codex-output-schema.json
[codex:533909] contracts
[codex:533909]
[codex:533909] thinking
[codex:533909] **Reading AUDIT_BUNDLE file**
[codex:533909] exec
[codex:533909] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-mm06ibqr succeeded in 5ms:
[codex:533909] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:533909]
[codex:533909] ================================================================================
[codex:533909] FILE: contracts/Contract.sol
[codex:533909] ================================================================================
[codex:533909] /// AdvancedTokenAdapters.sol
[codex:533909]
[codex:533909] // Copyright (C) 2018 Rain <rainbreak@riseup.net>
[codex:533909] //
[codex:533909] // This program is free software: you can redistribute it and/or modify
[codex:533909] // it under the terms of the GNU Affero General Public License as published by
[codex:533909] // the Free Software Foundation, either version 3 of the License, or
[codex:533909] // (at your option) any later version.
[codex:533909] //
[codex:533909] // This program is distributed in the hope that it will be useful,
[codex:533909] // but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:533909] // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
[codex:533909] // GNU Affero General Public License for more details.
[codex:533909] //
[codex:533909] // You should have received a copy of the GNU Affero General Public License
[codex:533909]
[codex:533909]
[codex:533909]
[codex:533909] thinking
[codex:533909] **Analyzing contract for reentrancy and accounting risks**
[codex:533909]
[codex:533909] I'm carefully auditing the single contract's external calls, especially the sequence of state updates and token transfers, to spot reentrancy vulnerabilities or accounting mismatches—like issues with malicious or fee-on-transfer tokens that could break collateral accounting or allow unexpected collateral crediting.
[codex:533909] thinking
[codex:533909] **Summarizing risk analysis and final audit outcome**
[codex:533909]
[codex:533909] I'm wrapping up the detailed review, concluding no exploitable findings in the contract itself while noting some residual risks like assumptions on token standards and trusted external contracts that could affect overall safety.
[codex:533909] thinking
[codex:533909] **Preparing final audit JSON summary**
[codex:533909] codex
[codex:533909] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party Solidity code. Residual risk: this adapter assumes a trusted SAFEEngine and a well-behaved ERC20 collateral (no fee-on-transfer/rebasing/reentrancy quirks), and tests were not reviewed.","findings":[]}
[codex:533909] tokens used
[codex:533909] 13,369
[codex:533909] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party Solidity code. Residual risk: this adapter assumes a trusted SAFEEngine and a well-behaved ERC20 collateral (no fee-on-transfer/rebasing/reentrancy quirks), and tests were not reviewed.","findings":[]}
{
"codex": {
"ran_at": "2025-12-27T23:37:35.628390+00:00",
"returncode": 0
},
"summary": "No exploitable vulnerabilities found in the first-party Solidity code. Residual risk: this adapter assumes a trusted SAFEEngine and a well-behaved ERC20 collateral (no fee-on-transfer/rebasing/reentrancy quirks), and tests were not reviewed.",
"raw_final": {
"summary": "No exploitable vulnerabilities found in the first-party Solidity code. Residual risk: this adapter assumes a trusted SAFEEngine and a well-behaved ERC20 collateral (no fee-on-transfer/rebasing/reentrancy quirks), and tests were not reviewed.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00a9 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x67aea313 00000026: GT 00000027: PUSH2 0x0071 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x67aea313 00000031: EQ 00000032: PUSH2 0x014a 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x894ba833 0000003c: EQ 0000003d: PUSH2 0x016e 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x94f3f81d 00000047: EQ 00000048: PUSH2 0x0176 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd8dfeb45 00000052: EQ 00000053: PUSH2 0x019c 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xe824600f 0000005d: EQ 0000005e: PUSH2 0x01a4 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xef693bed 00000068: EQ 00000069: PUSH2 0x01ac 0000006c: JUMPI 0000006d: PUSH2 0x00a9 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x24ba5884 00000078: EQ 00000079: PUSH2 0x00ae 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x313ce567 00000083: EQ 00000084: PUSH2 0x00e6 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x35b28153 0000008e: EQ 0000008f: PUSH2 0x00ee 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x3b4da69f 00000099: EQ 0000009a: PUSH2 0x0116 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x41b3a0d9 000000a4: EQ 000000a5: PUSH2 0x0142 000000a8: JUMPI 000000a9: JUMPDEST 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: REVERT 000000ae: JUMPDEST 000000af: PUSH2 0x00d4 000000b2: PUSH1 0x04 000000b4: DUP1 000000b5: CALLDATASIZE 000000b6: SUB 000000b7: PUSH1 0x20 000000b9: DUP2 000000ba: LT 000000bb: ISZERO 000000bc: PUSH2 0x00c4 000000bf: JUMPI 000000c0: PUSH1 0x00 000000c2: DUP1 000000c3: REVERT 000000c4: JUMPDEST 000000c5: POP 000000c6: CALLDATALOAD 000000c7: PUSH1 0x01 000000c9: PUSH1 0x01 000000cb: PUSH1 0xa0 000000cd: SHL 000000ce: SUB 000000cf: AND 000000d0: PUSH2 0x01d8 000000d3: JUMP 000000d4: JUMPDEST 000000d5: PUSH1 0x40 000000d7: DUP1 000000d8: MLOAD 000000d9: SWAP2 000000da: DUP3 000000db: MSTORE 000000dc: MLOAD 000000dd: SWAP1 000000de: DUP2 000000df: SWAP1 000000e0: SUB 000000e1: PUSH1 0x20 000000e3: ADD 000000e4: SWAP1 000000e5: RETURN 000000e6: JUMPDEST 000000e7: PUSH2 0x00d4 000000ea: PUSH2 0x01ea 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH2 0x0114 000000f2: PUSH1 0x04 000000f4: DUP1 000000f5: CALLDATASIZE 000000f6: SUB 000000f7: PUSH1 0x20 000000f9: DUP2 000000fa: LT 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: CALLDATALOAD 00000107: PUSH1 0x01 00000109: PUSH1 0x01 0000010b: PUSH1 0xa0 0000010d: SHL 0000010e: SUB 0000010f: AND 00000110: PUSH2 0x01f0 00000113: JUMP 00000114: JUMPDEST 00000115: STOP 00000116: JUMPDEST 00000117: PUSH2 0x0114 0000011a: PUSH1 0x04 0000011c: DUP1 0000011d: CALLDATASIZE 0000011e: SUB 0000011f: PUSH1 0x40 00000121: DUP2 00000122: LT 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: POP 0000012e: PUSH1 0x01 00000130: PUSH1 0x01 00000132: PUSH1 0xa0 00000134: SHL 00000135: SUB 00000136: DUP2 00000137: CALLDATALOAD 00000138: AND 00000139: SWAP1 0000013a: PUSH1 0x20 0000013c: ADD 0000013d: CALLDATALOAD 0000013e: PUSH2 0x0290 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH2 0x00d4 00000146: PUSH2 0x04bc 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x04c2 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: DUP1 00000156: MLOAD 00000157: PUSH1 0x01 00000159: PUSH1 0x01 0000015b: PUSH1 0xa0 0000015d: SHL 0000015e: SUB 0000015f: SWAP1 00000160: SWAP3 00000161: AND 00000162: DUP3 00000163: MSTORE 00000164: MLOAD 00000165: SWAP1 00000166: DUP2 00000167: SWAP1 00000168: SUB 00000169: PUSH1 0x20 0000016b: ADD 0000016c: SWAP1 0000016d: RETURN 0000016e: JUMPDEST 0000016f: PUSH2 0x0114 00000172: PUSH2 0x04d1 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH2 0x0114 0000017a: PUSH1 0x04 0000017c: DUP1 0000017d: CALLDATASIZE 0000017e: SUB 0000017f: PUSH1 0x20 00000181: DUP2 00000182: LT 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: CALLDATALOAD 0000018f: PUSH1 0x01 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: SHL 00000196: SUB 00000197: AND 00000198: PUSH2 0x054f 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x0152 000001a0: PUSH2 0x05ee 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH2 0x00d4 000001a8: PUSH2 0x05fd 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH2 0x0114 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: CALLDATASIZE 000001b4: SUB 000001b5: PUSH1 0x40 000001b7: DUP2 000001b8: LT 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH1 0x01 000001c6: PUSH1 0x01 000001c8: PUSH1 0xa0 000001ca: SHL 000001cb: SUB 000001cc: DUP2 000001cd: CALLDATALOAD 000001ce: AND 000001cf: SWAP1 000001d0: PUSH1 0x20 000001d2: ADD 000001d3: CALLDATALOAD 000001d4: PUSH2 0x0603 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x00 000001db: PUSH1 0x20 000001dd: DUP2 000001de: SWAP1 000001df: MSTORE 000001e0: SWAP1 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x40 000001e5: SWAP1 000001e6: KECCAK256 000001e7: SLOAD 000001e8: DUP2 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH1 0x04 000001ed: SLOAD 000001ee: DUP2 000001ef: JUMP 000001f0: JUMPDEST 000001f1: CALLER 000001f2: PUSH1 0x00 000001f4: SWAP1 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: DUP2 000001fa: SWAP1 000001fb: MSTORE 000001fc: PUSH1 0x40 000001fe: SWAP1 000001ff: KECCAK256 00000200: SLOAD 00000201: PUSH1 0x01 00000203: EQ 00000204: PUSH2 0x023e 00000207: JUMPI 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: PUSH3 0x461bcd 0000020f: PUSH1 0xe5 00000211: SHL 00000212: DUP2 00000213: MSTORE 00000214: PUSH1 0x04 00000216: ADD 00000217: DUP1 00000218: DUP1 00000219: PUSH1 0x20 0000021b: ADD 0000021c: DUP3 0000021d: DUP2 0000021e: SUB 0000021f: DUP3 00000220: MSTORE 00000221: PUSH1 0x26 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: DUP1 00000229: PUSH2 0x07ec 0000022c: PUSH1 0x26 0000022e: SWAP2 0000022f: CODECOPY 00000230: PUSH1 0x40 00000232: ADD 00000233: SWAP2 00000234: POP 00000235: POP 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: SWAP2 0000023b: SUB 0000023c: SWAP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: PUSH1 0x01 00000241: PUSH1 0x01 00000243: PUSH1 0xa0 00000245: SHL 00000246: SUB 00000247: DUP2 00000248: AND 00000249: PUSH1 0x00 0000024b: DUP2 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: DUP2 00000251: DUP2 00000252: MSTORE 00000253: PUSH1 0x40 00000255: SWAP2 00000256: DUP3 00000257: SWAP1 00000258: KECCAK256 00000259: PUSH1 0x01 0000025b: SWAP1 0000025c: SSTORE 0000025d: DUP2 0000025e: MLOAD 0000025f: SWAP3 00000260: DUP4 00000261: MSTORE 00000262: SWAP1 00000263: MLOAD 00000264: PUSH32 0x599a298163e1678bb1c676052a8930bf0b8a1261ed6e01b8a2391e55f7000102 00000285: SWAP3 00000286: DUP2 00000287: SWAP1 00000288: SUB 00000289: SWAP1 0000028a: SWAP2 0000028b: ADD 0000028c: SWAP1 0000028d: LOG1 0000028e: POP 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH1 0x05 00000293: SLOAD 00000294: PUSH1 0x01 00000296: EQ 00000297: PUSH2 0x02d1 0000029a: JUMPI 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: PUSH3 0x461bcd 000002a2: PUSH1 0xe5 000002a4: SHL 000002a5: DUP2 000002a6: MSTORE 000002a7: PUSH1 0x04 000002a9: ADD 000002aa: DUP1 000002ab: DUP1 000002ac: PUSH1 0x20 000002ae: ADD 000002af: DUP3 000002b0: DUP2 000002b1: SUB 000002b2: DUP3 000002b3: MSTORE 000002b4: PUSH1 0x23 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x20 000002ba: ADD 000002bb: DUP1 000002bc: PUSH2 0x0812 000002bf: PUSH1 0x23 000002c1: SWAP2 000002c2: CODECOPY 000002c3: PUSH1 0x40 000002c5: ADD 000002c6: SWAP2 000002c7: POP 000002c8: POP 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: SWAP2 000002ce: SUB 000002cf: SWAP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: PUSH1 0x00 000002d4: DUP2 000002d5: SLT 000002d6: ISZERO 000002d7: PUSH2 0x0322 000002da: JUMPI 000002db: PUSH1 0x40 000002dd: DUP1 000002de: MLOAD 000002df: PUSH3 0x461bcd 000002e3: PUSH1 0xe5 000002e5: SHL 000002e6: DUP2 000002e7: MSTORE 000002e8: PUSH1 0x20 000002ea: PUSH1 0x04 000002ec: DUP3 000002ed: ADD 000002ee: MSTORE 000002ef: PUSH1 0x18 000002f1: PUSH1 0x24 000002f3: DUP3 000002f4: ADD 000002f5: MSTORE 000002f6: PUSH24 0x436f6c6c61746572616c4a6f696e312f6f766572666c6f77 0000030f: PUSH1 0x40 00000311: SHL 00000312: PUSH1 0x44 00000314: DUP3 00000315: ADD 00000316: MSTORE 00000317: SWAP1 00000318: MLOAD 00000319: SWAP1 0000031a: DUP2 0000031b: SWAP1 0000031c: SUB 0000031d: PUSH1 0x64 0000031f: ADD 00000320: SWAP1 00000321: REVERT 00000322: JUMPDEST 00000323: PUSH1 0x01 00000325: SLOAD 00000326: PUSH1 0x02 00000328: SLOAD 00000329: PUSH1 0x40 0000032b: DUP1 0000032c: MLOAD 0000032d: PUSH4 0x2508c12f 00000332: PUSH1 0xe1 00000334: SHL 00000335: DUP2 00000336: MSTORE 00000337: PUSH1 0x04 00000339: DUP2 0000033a: ADD 0000033b: SWAP3 0000033c: SWAP1 0000033d: SWAP3 0000033e: MSTORE 0000033f: PUSH1 0x01 00000341: PUSH1 0x01 00000343: PUSH1 0xa0 00000345: SHL 00000346: SUB 00000347: DUP6 00000348: DUP2 00000349: AND 0000034a: PUSH1 0x24 0000034c: DUP5 0000034d: ADD 0000034e: MSTORE 0000034f: PUSH1 0x44 00000351: DUP4 00000352: ADD 00000353: DUP6 00000354: SWAP1 00000355: MSTORE 00000356: SWAP1 00000357: MLOAD 00000358: SWAP3 00000359: AND 0000035a: SWAP2 0000035b: PUSH4 0x4a11825e 00000360: SWAP2 00000361: PUSH1 0x64 00000363: DUP1 00000364: DUP3 00000365: ADD 00000366: SWAP3 00000367: PUSH1 0x00 00000369: SWAP3 0000036a: SWAP1 0000036b: SWAP2 0000036c: SWAP1 0000036d: DUP3 0000036e: SWAP1 0000036f: SUB 00000370: ADD 00000371: DUP2 00000372: DUP4 00000373: DUP8 00000374: DUP1 00000375: EXTCODESIZE 00000376: ISZERO 00000377: DUP1 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: GAS 00000384: CALL 00000385: ISZERO 00000386: DUP1 00000387: ISZERO 00000388: PUSH2 0x0395 0000038b: JUMPI 0000038c: RETURNDATASIZE 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: RETURNDATACOPY 00000391: RETURNDATASIZE 00000392: PUSH1 0x00 00000394: REVERT 00000395: JUMPDEST 00000396: POP 00000397: POP 00000398: PUSH1 0x03 0000039a: SLOAD 0000039b: PUSH1 0x40 0000039d: DUP1 0000039e: MLOAD 0000039f: PUSH4 0x23b872dd 000003a4: PUSH1 0xe0 000003a6: SHL 000003a7: DUP2 000003a8: MSTORE 000003a9: CALLER 000003aa: PUSH1 0x04 000003ac: DUP3 000003ad: ADD 000003ae: MSTORE 000003af: ADDRESS 000003b0: PUSH1 0x24 000003b2: DUP3 000003b3: ADD 000003b4: MSTORE 000003b5: PUSH1 0x44 000003b7: DUP2 000003b8: ADD 000003b9: DUP7 000003ba: SWAP1 000003bb: MSTORE 000003bc: SWAP1 000003bd: MLOAD 000003be: PUSH1 0x01 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: SHL 000003c5: SUB 000003c6: SWAP1 000003c7: SWAP3 000003c8: AND 000003c9: SWAP4 000003ca: POP 000003cb: PUSH4 0x23b872dd 000003d0: SWAP3 000003d1: POP 000003d2: PUSH1 0x64 000003d4: DUP1 000003d5: DUP3 000003d6: ADD 000003d7: SWAP3 000003d8: PUSH1 0x20 000003da: SWAP3 000003db: SWAP1 000003dc: SWAP2 000003dd: SWAP1 000003de: DUP3 000003df: SWAP1 000003e0: SUB 000003e1: ADD 000003e2: DUP2 000003e3: PUSH1 0x00 000003e5: DUP8 000003e6: DUP1 000003e7: EXTCODESIZE 000003e8: ISZERO 000003e9: DUP1 000003ea: ISZERO 000003eb: PUSH2 0x03f3 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: POP 000003f5: GAS 000003f6: CALL 000003f7: ISZERO 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0407 000003fd: JUMPI 000003fe: RETURNDATASIZE 000003ff: PUSH1 0x00 00000401: DUP1 00000402: RETURNDATACOPY 00000403: RETURNDATASIZE 00000404: PUSH1 0x00 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: POP 0000040a: POP 0000040b: POP 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: RETURNDATASIZE 00000410: PUSH1 0x20 00000412: DUP2 00000413: LT 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: MLOAD 00000420: PUSH2 0x0470 00000423: JUMPI 00000424: PUSH1 0x40 00000426: DUP1 00000427: MLOAD 00000428: PUSH3 0x461bcd 0000042c: PUSH1 0xe5 0000042e: SHL 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x20 00000433: PUSH1 0x04 00000435: DUP3 00000436: ADD 00000437: MSTORE 00000438: PUSH1 0x1f 0000043a: PUSH1 0x24 0000043c: DUP3 0000043d: ADD 0000043e: MSTORE 0000043f: PUSH32 0x436f6c6c61746572616c4a6f696e312f6661696c65642d7472616e7366657200 00000460: PUSH1 0x44 00000462: DUP3 00000463: ADD 00000464: MSTORE 00000465: SWAP1 00000466: MLOAD 00000467: SWAP1 00000468: DUP2 00000469: SWAP1 0000046a: SUB 0000046b: PUSH1 0x64 0000046d: ADD 0000046e: SWAP1 0000046f: REVERT 00000470: JUMPDEST 00000471: PUSH1 0x40 00000473: DUP1 00000474: MLOAD 00000475: CALLER 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x01 0000047a: PUSH1 0x01 0000047c: PUSH1 0xa0 0000047e: SHL 0000047f: SUB 00000480: DUP5 00000481: AND 00000482: PUSH1 0x20 00000484: DUP3 00000485: ADD 00000486: MSTORE 00000487: DUP1 00000488: DUP3 00000489: ADD 0000048a: DUP4 0000048b: SWAP1 0000048c: MSTORE 0000048d: SWAP1 0000048e: MLOAD 0000048f: PUSH32 0x0e64978d073561c3dfd4d4e3e4dce066cde2ab246a44f990fabb0a21a4a3bd95 000004b0: SWAP2 000004b1: DUP2 000004b2: SWAP1 000004b3: SUB 000004b4: PUSH1 0x60 000004b6: ADD 000004b7: SWAP1 000004b8: LOG1 000004b9: POP 000004ba: POP 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH1 0x05 000004bf: SLOAD 000004c0: DUP2 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x01 000004c5: SLOAD 000004c6: PUSH1 0x01 000004c8: PUSH1 0x01 000004ca: PUSH1 0xa0 000004cc: SHL 000004cd: SUB 000004ce: AND 000004cf: DUP2 000004d0: JUMP 000004d1: JUMPDEST 000004d2: CALLER 000004d3: PUSH1 0x00 000004d5: SWAP1 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x20 000004da: DUP2 000004db: SWAP1 000004dc: MSTORE 000004dd: PUSH1 0x40 000004df: SWAP1 000004e0: KECCAK256 000004e1: SLOAD 000004e2: PUSH1 0x01 000004e4: EQ 000004e5: PUSH2 0x051f 000004e8: JUMPI 000004e9: PUSH1 0x40 000004eb: MLOAD 000004ec: PUSH3 0x461bcd 000004f0: PUSH1 0xe5 000004f2: SHL 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x04 000004f7: ADD 000004f8: DUP1 000004f9: DUP1 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: DUP3 000004fe: DUP2 000004ff: SUB 00000500: DUP3 00000501: MSTORE 00000502: PUSH1 0x26 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: DUP1 0000050a: PUSH2 0x07ec 0000050d: PUSH1 0x26 0000050f: SWAP2 00000510: CODECOPY 00000511: PUSH1 0x40 00000513: ADD 00000514: SWAP2 00000515: POP 00000516: POP 00000517: PUSH1 0x40 00000519: MLOAD 0000051a: DUP1 0000051b: SWAP2 0000051c: SUB 0000051d: SWAP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: PUSH1 0x05 00000524: DUP2 00000525: SWAP1 00000526: SSTORE 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: PUSH32 0x2d4b4ecff7bd7503135271925520a2f6c0d98c9473ffc1a1e72c92502f51b25e 0000054b: SWAP2 0000054c: SWAP1 0000054d: LOG1 0000054e: JUMP 0000054f: JUMPDEST 00000550: CALLER 00000551: PUSH1 0x00 00000553: SWAP1 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: DUP2 00000559: SWAP1 0000055a: MSTORE 0000055b: PUSH1 0x40 0000055d: SWAP1 0000055e: KECCAK256 0000055f: SLOAD 00000560: PUSH1 0x01 00000562: EQ 00000563: PUSH2 0x059d 00000566: JUMPI 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: PUSH3 0x461bcd 0000056e: PUSH1 0xe5 00000570: SHL 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x04 00000575: ADD 00000576: DUP1 00000577: DUP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: DUP3 0000057c: DUP2 0000057d: SUB 0000057e: DUP3 0000057f: MSTORE 00000580: PUSH1 0x26 00000582: DUP2 00000583: MSTORE 00000584: PUSH1 0x20 00000586: ADD 00000587: DUP1 00000588: PUSH2 0x07ec 0000058b: PUSH1 0x26 0000058d: SWAP2 0000058e: CODECOPY 0000058f: PUSH1 0x40 00000591: ADD 00000592: SWAP2 00000593: POP 00000594: POP 00000595: PUSH1 0x40 00000597: MLOAD 00000598: DUP1 00000599: SWAP2 0000059a: SUB 0000059b: SWAP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: PUSH1 0x01 000005a0: PUSH1 0x01 000005a2: PUSH1 0xa0 000005a4: SHL 000005a5: SUB 000005a6: DUP2 000005a7: AND 000005a8: PUSH1 0x00 000005aa: DUP2 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x20 000005af: DUP2 000005b0: DUP2 000005b1: MSTORE 000005b2: PUSH1 0x40 000005b4: DUP1 000005b5: DUP4 000005b6: KECCAK256 000005b7: SWAP3 000005b8: SWAP1 000005b9: SWAP3 000005ba: SSTORE 000005bb: DUP2 000005bc: MLOAD 000005bd: SWAP3 000005be: DUP4 000005bf: MSTORE 000005c0: SWAP1 000005c1: MLOAD 000005c2: PUSH32 0x8834a87e641e9716be4f34527af5d23e11624f1ddeefede6ad75a9acfc31b903 000005e3: SWAP3 000005e4: DUP2 000005e5: SWAP1 000005e6: SUB 000005e7: SWAP1 000005e8: SWAP2 000005e9: ADD 000005ea: SWAP1 000005eb: LOG1 000005ec: POP 000005ed: JUMP 000005ee: JUMPDEST 000005ef: PUSH1 0x03 000005f1: SLOAD 000005f2: PUSH1 0x01 000005f4: PUSH1 0x01 000005f6: PUSH1 0xa0 000005f8: SHL 000005f9: SUB 000005fa: AND 000005fb: DUP2 000005fc: JUMP 000005fd: JUMPDEST 000005fe: PUSH1 0x02 00000600: SLOAD 00000601: DUP2 00000602: JUMP 00000603: JUMPDEST 00000604: PUSH1 0x01 00000606: PUSH1 0xff 00000608: SHL 00000609: DUP2 0000060a: GT 0000060b: ISZERO 0000060c: PUSH2 0x0657 0000060f: JUMPI 00000610: PUSH1 0x40 00000612: DUP1 00000613: MLOAD 00000614: PUSH3 0x461bcd 00000618: PUSH1 0xe5 0000061a: SHL 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x20 0000061f: PUSH1 0x04 00000621: DUP3 00000622: ADD 00000623: MSTORE 00000624: PUSH1 0x18 00000626: PUSH1 0x24 00000628: DUP3 00000629: ADD 0000062a: MSTORE 0000062b: PUSH24 0x436f6c6c61746572616c4a6f696e312f6f766572666c6f77 00000644: PUSH1 0x40 00000646: SHL 00000647: PUSH1 0x44 00000649: DUP3 0000064a: ADD 0000064b: MSTORE 0000064c: SWAP1 0000064d: MLOAD 0000064e: SWAP1 0000064f: DUP2 00000650: SWAP1 00000651: SUB 00000652: PUSH1 0x64 00000654: ADD 00000655: SWAP1 00000656: REVERT 00000657: JUMPDEST 00000658: PUSH1 0x01 0000065a: SLOAD 0000065b: PUSH1 0x02 0000065d: SLOAD 0000065e: PUSH1 0x40 00000660: DUP1 00000661: MLOAD 00000662: PUSH4 0x2508c12f 00000667: PUSH1 0xe1 00000669: SHL 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x04 0000066e: DUP2 0000066f: ADD 00000670: SWAP3 00000671: SWAP1 00000672: SWAP3 00000673: MSTORE 00000674: CALLER 00000675: PUSH1 0x24 00000677: DUP4 00000678: ADD 00000679: MSTORE 0000067a: PUSH1 0x00 0000067c: DUP5 0000067d: DUP2 0000067e: SUB 0000067f: PUSH1 0x44 00000681: DUP5 00000682: ADD 00000683: MSTORE 00000684: SWAP1 00000685: MLOAD 00000686: PUSH1 0x01 00000688: PUSH1 0x01 0000068a: PUSH1 0xa0 0000068c: SHL 0000068d: SUB 0000068e: SWAP1 0000068f: SWAP4 00000690: AND 00000691: SWAP3 00000692: PUSH4 0x4a11825e 00000697: SWAP3 00000698: PUSH1 0x64 0000069a: DUP1 0000069b: DUP3 0000069c: ADD 0000069d: SWAP4 0000069e: SWAP3 0000069f: SWAP2 000006a0: DUP3 000006a1: SWAP1 000006a2: SUB 000006a3: ADD 000006a4: DUP2 000006a5: DUP4 000006a6: DUP8 000006a7: DUP1 000006a8: EXTCODESIZE 000006a9: ISZERO 000006aa: DUP1 000006ab: ISZERO 000006ac: PUSH2 0x06b4 000006af: JUMPI 000006b0: PUSH1 0x00 000006b2: DUP1 000006b3: REVERT 000006b4: JUMPDEST 000006b5: POP 000006b6: GAS 000006b7: CALL 000006b8: ISZERO 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c8 000006be: JUMPI 000006bf: RETURNDATASIZE 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: RETURNDATACOPY 000006c4: RETURNDATASIZE 000006c5: PUSH1 0x00 000006c7: REVERT 000006c8: JUMPDEST 000006c9: POP 000006ca: POP 000006cb: PUSH1 0x03 000006cd: SLOAD 000006ce: PUSH1 0x40 000006d0: DUP1 000006d1: MLOAD 000006d2: PUSH4 0xa9059cbb 000006d7: PUSH1 0xe0 000006d9: SHL 000006da: DUP2 000006db: MSTORE 000006dc: PUSH1 0x01 000006de: PUSH1 0x01 000006e0: PUSH1 0xa0 000006e2: SHL 000006e3: SUB 000006e4: DUP8 000006e5: DUP2 000006e6: AND 000006e7: PUSH1 0x04 000006e9: DUP4 000006ea: ADD 000006eb: MSTORE 000006ec: PUSH1 0x24 000006ee: DUP3 000006ef: ADD 000006f0: DUP8 000006f1: SWAP1 000006f2: MSTORE 000006f3: SWAP2 000006f4: MLOAD 000006f5: SWAP2 000006f6: SWAP1 000006f7: SWAP3 000006f8: AND 000006f9: SWAP4 000006fa: POP 000006fb: PUSH4 0xa9059cbb 00000700: SWAP3 00000701: POP 00000702: PUSH1 0x44 00000704: DUP1 00000705: DUP4 00000706: ADD 00000707: SWAP3 00000708: PUSH1 0x20 0000070a: SWAP3 0000070b: SWAP2 0000070c: SWAP1 0000070d: DUP3 0000070e: SWAP1 0000070f: SUB 00000710: ADD 00000711: DUP2 00000712: PUSH1 0x00 00000714: DUP8 00000715: DUP1 00000716: EXTCODESIZE 00000717: ISZERO 00000718: DUP1 00000719: ISZERO 0000071a: PUSH2 0x0722 0000071d: JUMPI 0000071e: PUSH1 0x00 00000720: DUP1 00000721: REVERT 00000722: JUMPDEST 00000723: POP 00000724: GAS 00000725: CALL 00000726: ISZERO 00000727: DUP1 00000728: ISZERO 00000729: PUSH2 0x0736 0000072c: JUMPI 0000072d: RETURNDATASIZE 0000072e: PUSH1 0x00 00000730: DUP1 00000731: RETURNDATACOPY 00000732: RETURNDATASIZE 00000733: PUSH1 0x00 00000735: REVERT 00000736: JUMPDEST 00000737: POP 00000738: POP 00000739: POP 0000073a: POP 0000073b: PUSH1 0x40 0000073d: MLOAD 0000073e: RETURNDATASIZE 0000073f: PUSH1 0x20 00000741: DUP2 00000742: LT 00000743: ISZERO 00000744: PUSH2 0x074c 00000747: JUMPI 00000748: PUSH1 0x00 0000074a: DUP1 0000074b: REVERT 0000074c: JUMPDEST 0000074d: POP 0000074e: MLOAD 0000074f: PUSH2 0x079f 00000752: JUMPI 00000753: PUSH1 0x40 00000755: DUP1 00000756: MLOAD 00000757: PUSH3 0x461bcd 0000075b: PUSH1 0xe5 0000075d: SHL 0000075e: DUP2 0000075f: MSTORE 00000760: PUSH1 0x20 00000762: PUSH1 0x04 00000764: DUP3 00000765: ADD 00000766: MSTORE 00000767: PUSH1 0x1f 00000769: PUSH1 0x24 0000076b: DUP3 0000076c: ADD 0000076d: MSTORE 0000076e: PUSH32 0x436f6c6c61746572616c4a6f696e312f6661696c65642d7472616e7366657200 0000078f: PUSH1 0x44 00000791: DUP3 00000792: ADD 00000793: MSTORE 00000794: SWAP1 00000795: MLOAD 00000796: SWAP1 00000797: DUP2 00000798: SWAP1 00000799: SUB 0000079a: PUSH1 0x64 0000079c: ADD 0000079d: SWAP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: PUSH1 0x40 000007a2: DUP1 000007a3: MLOAD 000007a4: CALLER 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x01 000007a9: PUSH1 0x01 000007ab: PUSH1 0xa0 000007ad: SHL 000007ae: SUB 000007af: DUP5 000007b0: AND 000007b1: PUSH1 0x20 000007b3: DUP3 000007b4: ADD 000007b5: MSTORE 000007b6: DUP1 000007b7: DUP3 000007b8: ADD 000007b9: DUP4 000007ba: SWAP1 000007bb: MSTORE 000007bc: SWAP1 000007bd: MLOAD 000007be: PUSH32 0xbc2a67d422c268da6fe45f3e7d194e1d98906d221f1cfad62a5c80f2cd209f4c 000007df: SWAP2 000007e0: DUP2 000007e1: SWAP1 000007e2: SUB 000007e3: PUSH1 0x60 000007e5: ADD 000007e6: SWAP1 000007e7: LOG1 000007e8: POP 000007e9: POP 000007ea: JUMP 000007eb: INVALID 000007ec: NUMBER 000007ed: PUSH16 0x6c6c61746572616c4a6f696e312f6163 000007fe: PUSH4 0x6f756e74 00000803: UNKNOWN(0x2D) 00000804: PUSH15 0x6f742d617574686f72697a6564436f 00000814: PUSH13 0x6c61746572616c4a6f696e312f 00000822: PUSH15 0x6f742d636f6e7472616374456e6162 00000832: PUSH13 0x6564a26469706673582212206e 00000840: PUSH28 0x805da2badefc70b8b3e3260ec0e7fc48f46a9edb1f97c12206ef8f58 0000085d: EXP 0000085e: SSTORE 0000085f: PUSH5 0x736f6c6343 00000865: STOP 00000866: MOD 00000867: SMOD 00000868: STOP 00000869: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc048139e29a60d2284c9d9f6e1973163dfec5f78ae637248bccde6db6b4c705c
call_targets:
0x2d3cd7b81c93f188f3cb8ad87c8acc73d6226e3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc048139e29a60d2284c9d9f6e1973163dfec5f78ae637248bccde6db6b4c705c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d3cd7b81c93f188f3cb8ad87c8acc73d6226e3a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x67aea313",
"selector": "0x67aea313",
"calldata_variants": [
"0x67aea313",
"0x67aea3130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x894ba833",
"selector": "0x894ba833",
"calldata_variants": [
"0x894ba833",
"0x894ba8330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94f3f81d",
"selector": "0x94f3f81d",
"calldata_variants": [
"0x94f3f81d",
"0x94f3f81d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8dfeb45",
"selector": "0xd8dfeb45",
"calldata_variants": [
"0xd8dfeb45",
"0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe824600f",
"selector": "0xe824600f",
"calldata_variants": [
"0xe824600f",
"0xe824600f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef693bed",
"selector": "0xef693bed",
"calldata_variants": [
"0xef693bed",
"0xef693bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24ba5884",
"selector": "0x24ba5884",
"calldata_variants": [
"0x24ba5884",
"0x24ba58840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 900,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1014,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc048139e29a60d2284c9d9f6e1973163dfec5f78ae637248bccde6db6b4c705c
call_targets:
0x2d3cd7b81c93f188f3cb8ad87c8acc73d6226e3a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc048139e29a60d2284c9d9f6e1973163dfec5f78ae637248bccde6db6b4c705c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d3cd7b81c93f188f3cb8ad87c8acc73d6226e3a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x67aea313",
"selector": "0x67aea313",
"calldata_variants": [
"0x67aea313",
"0x67aea3130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x894ba833",
"selector": "0x894ba833",
"calldata_variants": [
"0x894ba833",
"0x894ba8330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94f3f81d",
"selector": "0x94f3f81d",
"calldata_variants": [
"0x94f3f81d",
"0x94f3f81d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8dfeb45",
"selector": "0xd8dfeb45",
"calldata_variants": [
"0xd8dfeb45",
"0xd8dfeb450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe824600f",
"selector": "0xe824600f",
"calldata_variants": [
"0xe824600f",
"0xe824600f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef693bed",
"selector": "0xef693bed",
"calldata_variants": [
"0xef693bed",
"0xef693bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24ba5884",
"selector": "0x24ba5884",
"calldata_variants": [
"0x24ba5884",
"0x24ba58840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 900,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1014,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|