静态代码分析工具 Infer

码农软件 · 软件分类 · 代码管理分析/审查/优化 · 2019-12-05 06:42:14

授权协议: BSD
开发语言: Python
操作系统: Linux
软件首页: http://fbinfer.com/
软件文档: http://fbinfer.com/docs/
官方下载: https://github.com/facebook/infer

软件介绍

温馨提示：该项目除了使用 BSD 协议授权外，还需遵守附加的专利授权。

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

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

fbinfer

本文地址：https://codercto.com/soft/d/20455.html

码农书籍

数据结构与算法分析

张琨、张宏、朱保平 / 人民邮电出版社 / 2016-2-1 / 45

本书共分10章，主要包括第1章绪论，第2章线性表，第3章栈和队列，第4章串，第5章数组和广义表，第6章树和二叉树，第7章图，第8章查找，第9章内部排序，第10章算法分析。其内容模块涵盖了课堂教学、习题课教学、实验教学、自学辅导、综合训练等。立体化教材的使用在提高教学效率、增强教学效果、加大教学信息量、培养学生的应用与实践能力。作者简介一起来看看《数据结构与算法分析》这本书的介绍吧!

码农工具

MD5 加密

MD5 加密工具

HEX CMYK 转换工具

HEX CMYK 互转工具