Infer

Infer

Facebook Infer是一个静态分析工具-如果您为Infer提供一些Objective-C,Java或C代码,它将产生一系列潜在的错误。
Facebook Infer是一个静态分析工具-如果您为Infer提供一些Objective-C,Java或C代码,它将产生一系列潜在的错误。
infer

分类目录

Linux版Infer的替代品

Cppcheck

Cppcheck

Cppcheck是用于C / C ++代码的静态分析工具。与C / C ++编译器和许多其他分析工具不同,它不检测代码中的语法错误。
PVS-Studio

PVS-Studio

PVS-Studio是一种静态分析器,可检测C,C ++和C#应用程序的源代码中的错误。
Coverity Scan

Coverity Scan

Coverity Scan Static Analysis允许免费查找和修复Java,C / C ++或C#开源项目中的缺陷。
Flawfinder

Flawfinder

Flawfinder检查源代码并报告按风险级别排序的可能的安全漏洞(``缺陷'')。
Splint

Splint

Splint是用于静态检查C程序是否存在安全漏洞和编码错误的工具。用最少的力气,夹板可以用作更好的皮棉。