Static Code Analysis

Jump to bottom Edit New page

Paran Lee edited this page Sep 7, 2022 · 6 revisions

Infer

 sudo apt -y install build-essential opam default-jdk ocaml sqlite3 libsqlite3-dev cmake ninja-build

 git clone https://github.com/facebook/infer
 cd infer
 ./build-infer.sh clang
 ## clang compile -> y
 sudo make install

 cd ~/uftrace
 # infer run --force-integration make
 # infer run -- make -j8
 infer run -- make ASAN=1 -j8

sparse

# sudo apt -y install sparse
 sudo apt -y install clang llvm
 git clone https://git.kernel.org/pub/scm/devel/sparse/sparse.git
 cd sparse
 make
 sudo make install

 cd ~/uftrace
 make C=1

Shell Check

https://www.shellcheck.net/