这是名为 Infer 的 Linux 应用程序，其最新版本可以作为 Inferversionv1.1.0.zip 下载。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
免费下载并在线运行这个名为 Infer with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
INTERF
商品描述
Infer 是一个静态分析工具——如果你给 Infer 一些 Java 或 C/C++/Objective-C 代码，它会生成一个潜在错误列表。 任何人都可以使用 Infer 在将关键错误发送给用户之前拦截它们，并帮助防止崩溃或性能下降。 Infer 检查 Android 和 Java 代码中的空指针异常、资源泄漏、注释可达性、缺少锁保护和并发竞争条件。 Infer 检查空指针取消引用、内存泄漏、编码约定和不可用的 API。 从入门指南和我们的其他文档开始下载并尝试自己推断。 Infer 仍在不断发展，我们希望继续在公开场合开发它。 我们希望它对其他项目有用，所以请尝试或贡献它，加入社区并给我们反馈！
特性
- Infer 部署在 Facebook 中，它持续运行以验证每个代码修改的选择属性
- 它也可以用于其他代码：Infer 也可以分析 C 代码，以及非 Android 的 Java 代码
- Infer 正在跟踪由空指针取消引用以及资源和内存泄漏引起的问题
- Infer 于 2013 年通过收购验证初创公司 Monoidics 来到 Facebook
- 在分析 C 文件时，Infer 捕获 gcc 命令并运行 clang 来解析它们
- 此外，我们有 Infer linters 用于描述浅句法分析，使用 AL 语言
程式语言
C + +中
分类
这是一个也可以从 https://sourceforge.net/projects/infer.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
