2017年3月30日

静态程序分析工具Infer
摘要： Infer 是一个静态程序分析工具,可以对 Java、C 和 Objective-C 程序进行分析，此工具是用 OCaml写成的。Infer 最早部署在 Facebook 内部，用于发布移动应用之前对每一行代码进行分析，目前 Facebook 使用此工具分析所开发的 Android、iOS 应用,包 阅读全文
posted @ 2017-03-30 10:57 Herooic 阅读(397) 评论(0) 推荐(0)

导航