Solc version used (known-bug versions flagged)
Dolomite's assessment for RD-F-170 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Two compiler versions: (1) Core DolomiteMargin: Solidity v0.5.16+commit.9c3226ce (confirmed on Etherscan for 0x003Ca23Fd5F0ca87D01F6eC6CD14A8AE60c2b97D), optimizer 10,000 runs, Istanbul EVM. 0.5.16 is the final 0.5.x patched version — KeccakCaching bug fixed in 0.5.10, IncorrectByteInstructionOptimization fixed in 0.5.7. (2) Modules: Solidity 0.8.9 (hardhat-base-config.ts), optimizer 200 runs, yul=false. UserDefinedValueTypesBug (0.8.8) was fixed in 0.8.9 — 0.8.9 itself is clean. Both versions are old (0.5.16 is 2020, 0.8.9 is 2021) but no high/critical bugs directly applicable to these contract patterns found. Experimental ABIEncoderV2 in 0.5.16 core is a known area of interest — covered by OZ and Cyfrin audits.
Sources #
- GitHubDolomite Margin Modules hardhat-base-config.tshardhat-base-config.ts: solidity 0.8.9, optimizer enabled (200 runs), yul: falseretrieved 2026-05-16
- DolomiteMargin Ethereum — Etherscan Compiler Metadata0x003Ca23Fd5F0ca87D01F6eC6CD14A8AE60c2b97D: v0.5.16+commit.9c3226ce, optimization enabled (10000 runs), Istanbul EVMretrieved 2026-05-16
Methodology #
Identify the Solidity compiler version used for deployed bytecode and flag if it appears on the known-bug list (solc bugs.json or Vyper 0.2.15–0.3.0 range).
See the full factor methodology and distribution across all protocols →