静态代码分析工具 Infer
- 授权协议: BSD
- 开发语言: Python
- 操作系统: Linux
- 软件首页: http://fbinfer.com/
- 软件文档: http://fbinfer.com/docs/
- 官方下载: https://github.com/facebook/infer
软件介绍
Infer 是 Facebook 最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 Android 、iOS、Facebook Messenger 和 Instagram 等等。
Facebook 称该工具帮助其每个月检查出数百个应用中潜在的 Bug，例如一些空指针访问、资源和内存泄漏等等。支持 Android 的 Java 和 iOS 的 C 和 Objective-C 代码。
Compilers
Alfred V. Aho、Monica S. Lam、Ravi Sethi、Jeffrey D. Ullman / Addison Wesley / 2006-9-10 / USD 186.80
This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised ......一起来看看 《Compilers》 这本书的介绍吧!
