静态程序分析工具
静态程序分析（Static program analysis）是指在不运行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序运行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程序理解或代码审查。 — 维基百科
信息参考来源：
1. https://support.huaweicloud.com/usermanual-codecheck/codeartscheck_01_7013.html 2. https :// www.jianshu.com/p/7a452a13b339 3. http ://www.silktools.cn/| 检查引擎 | 支持的语言 | |
| cppcheck | C++ | 数组的边界检查；异常内存使用，释放检查；内存泄漏检查，主要是通过内存引用指针；操作系统资源释放检查，中断，文件描述符等 |
| wordstool | C++/python/… | 这个工具用于分析文本文件中所有的英语单词；并且通过内置字典数据库工具对这些单词进行解析；可以生成表格形式 并且支持导出到excel文件中；用于学习单词 |
| clangtidy | C++ | include头文件顺序错误 命名风格 const override |
| cmetrics | C++/python/… | 统计代码行数、圈复杂度等代码质量属性 |
| fixbotengine-cxx | C++ | |
| codemars | C++/python/… | 是一个代码静态检查工具，用于检测代码中的错误、漏洞和不符合规范。它使用规则集来扫描代码并检测潜在问题。这些规则可以是预定义的规则，也可以是自定义规则。 |
| secbrella | C++/python/… | |
| oat | C++/python/… | OAT（OSS Audit Tool）是OpenHarmony社区的自动化开源审视工具，用于帮助开发人员基于自定义的规则自动扫描开源仓代码，识别不符合预定规则的代码并输出扫描报告。 |
| dupf | C++/python/… | |
| FossScan | C++/python/… | |
| pylint | python | 寻找程序错误, 有助于执行编码标准以及嗅探代码异味. 此外它还包括pyreverse (UML图表生成器)以及symilar (一个类似的检测工具). 以及可选的扩展 |
| flake8 | python | Python官方发布的一款辅助检测Python代码是否规范的工具，相对于目前热度比较高的Pylint来说，Flake8检查规则灵活，支持集成额外插件，扩展性强。 |
| sonarqube | python/… | 检测出项目中重复代码， 潜在bug， 代码规范，安全性漏洞等问题， 并通过SonarQube web UI展示出来 |
| flawfinder | C++ | 寻找可能存在的安全漏洞 |
| FlintPlusPlus | C++ | Facebook开发和使用的C++静态分析工具 |
| oclint | C++ | 扫描代码中的分支错误、未使用的代码、太复杂的代码、冗余代码、坏味道、坏实践等 |
| vera++ | C++ | –Vera++是一个可用于验证，分析以及变换C++源代码的可编程工具 |
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！