sosy-lab/cpachecker

GitHub: sosy-lab/cpachecker

一款用于 C 程序形式化验证的可配置分析平台，支持多种验证策略自动发现程序缺陷或证明其安全性。

Stars: 252 | Forks: 92