SVF now supports llvm-4.0.0
cd $PATH_TO_SVF
mkdir Release-build
cd Release-build
export LLVM_DIR=$PATH_TO_LLVM
export PATH=$LLVM_DIR/bin:$PATH
cmake ../
make -j4
cd Release-build/bin
dma -o /path/to/output/file -[Point-to-scheme] /path/to/bitcode/file
e.g., dma -o test.test -fspta ~/test_bc/sefuzz-zlib/sefuzz-minigzip.bc
new. dma_wrapper.py -ander -savior-label-only -o tcpdump.reach -edge tcpdump.edge muse-tcpdump.bc
Point-to-scheme
-nander - use Standard inclusion-based pointer to analysis
-lander - use Lazy cycle detection inclusion-based pointer to analysis
-wander - use Wave propagation inclusion-based pointer to analysis
-ander - use Diff wave propagation inclusion-based pointer to analysis
-fspta - use Sparse flow sensitive pointer to analysis