【ubuntu18.04】自己安装infer的过程
#安装opam
add-apt-repository ppa:avsm/ppa
apt update
apt install opam
#安装
apt install pkg-config
#安装java
#直接输入java/javac,查看提示需要安装什么包
#安装jre8 和 jdk8对应的包,安装java11的话,infer装不上,具体原因没找到
apt install xxx
#安装autoconf 和 automake
apt install autoconf/automake
#构建中提示还需要安装的一些包,缺什么就装了在构建
# libgmp-dev libmpc-dev libmpfr-dev zlib1g-dev 等等
apt install xxx
#构建
git clone https://github.com/facebook/infer.git
cd infer
./build-infer.sh java
sudo make install
测试例子:https://fbinfer.com/docs/hello-world