本文介绍了多种用于C/C++的静态代码分析工具，包括Astrée、BLAST、Cppcheck、Clang等，这些工具能检测运行时错误、证明功能断言、检查STL使用、风格指南合规性，以及进行抽象解释、模型检查、源代码模式匹配和转换，以提升代码质量和安全性。
链接：
- Astrée – finds all potential runtime errors by abstract interpretation, can prove the absence of runtime errors and can prove functional assertions; tailored towards safety-critical C code (e.g. avionics).
- BLAST – (Berkeley Lazy Abstraction Software verification Tool) – An open-source software model checker for C programs based on lazy abstraction.
- Cppcheck – Open-source tool that checks for several types of errors, including use of
最低0.47元/天 解锁文章
6574
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
