Implementation of the work list algorithm for abstract interpretation, combining clang and apron libraries
Install the clang and apron libraries. In 'Makefile', Change the variables LLVM_PATH and APRON_PATH to your installation directories of llvm and apron. Then, run ./build.sh.