Facebook Infer (fbInfer) 快速上手

安装

官方文档 写的比较清楚了，提供 binary 和 docker image，仅支持 linux。

官方给了个在线的 playground，不过不知道为啥我跑不起来一点，可能是网的问题。

运行 demo

把 playground 里的 mini project 粘到本地用 javac *.java 编译运行。发现主函数就是简单 print 一下 Hello Infer World。

需要注意的是 jdk22 之后才能用 enhanced source code launcher 运行多文件（通过 java *.java 自动从 main 函数开始，发现当前目录的其他类）。笔者用的 jdk17 还是要编译的。不论哪种方法，直接跑源码都不需要写 import，把所有类在 cmdlline 丢进去就行。

这个 case 里包含 NPE(Null Pointer Exception), LeakResource 两种 case。使用命令 infer run --javac *.java 检查。

文档

文档的最后几节有列举支持扫描的 scanner 和 issue types。

Infer 被睿评不如 codeql 了