Infer静态代码分析工具

联合创作 · 2023-10-02 03:08

温馨提示：

Infer 是 Facebook 开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 Android 、iOS、Facebook Messenger 和 Instagram 等等。

Facebook 称该工具帮助其每个月检查出数百个应用中潜在的 Bug，例如一些空指针访问、资源和内存泄漏等等。支持 Android 的 Java 和 iOS 的 C 和 Objective-C 代码。

浏览 7

点赞

收藏

分享

举报

评论

图片

表情

静态代码分析工具清单

Checkov静态代码分析工具

Checkov 是一款基础设施即代码的静态代码分析工具。用于扫描基础设施即代码 (IaC) 文件以查

Checkov静态代码分析工具

OCLint静态代码分析工具

OCLint是一种静态代码分析工具，用于通过检查C、C++和Objective-C代码来提高质量并减少缺陷。它寻找编译器看不到的潜在问题，例如：可能的错误-if/else/try/catch/fina

OCLint静态代码分析工具

Privado静态代码分析工具

Privado是一个开源静态代码分析工具，用于发现代码中的数据流。它检测正在处理的个人身份信息(PII)，并进一步将数据流从收集点映射到“sinks”，例如外部第三方、数据库、日志和内部API。Pri

Privado静态代码分析工具

OCLint静态代码分析工具

OCLint 是一种静态代码分析工具，用于通过检查 C、C++ 和 Objective-C 代码来提

OCLint静态代码分析工具

CodeSecure静态代码分析工具

CodeSecureV4是业界领先的静态代码分析工具，用于构建安全的应用程序。

CodeSecure静态代码分析工具

Smalisca静态代码分析工具

Smalisca是一款Smali文件中的静态代码分析工具。

Smalisca静态代码分析工具

Understand静态代码分析工具

Understand是一个静态代码分析工具，用来分析和阅读大规模项目代码非常方便，功能强大！可通过其PerlAPI来进行定制。支持的语言包括：Ada、C/C++、C#、Java、Fortran、Pas

Understand静态代码分析工具

Checkov静态代码分析工具

Checkov是一款基础设施即代码的静态代码分析工具。用于扫描基础设施即代码(IaC)文件以查找可能导致安全或合规性问题的错误配置。Checkov包含750多个预定义策略来检查常见的错误配置问题。Ch

Checkov静态代码分析工具

Understand静态代码分析工具

Understand 是一个静态代码分析工具，用来分析和阅读大规模项目代码非常方便，功能强大！可通过

Understand静态代码分析工具

点赞

收藏

分享

举报