Commit 0dd0aa25 authored by Dr. Michael Petter's avatar Dr. Michael Petter
Browse files


parent daa80424
......@@ -8,7 +8,7 @@ Implementing an LLVM analysis framework based upon the Seidl Program Optimizatio
Install the LLVM packages from your distro's package manager, e.g. Ubuntu 20.04:
# install the necessary LLVM packages
sudo apt install cmake clang libclang-12-dev llvm-12-dev
sudo apt install cmake clang-12 libclang-12-dev llvm-12-dev
# now continue by building the project
git clone
cd llvm-abstractinterpretation
......@@ -36,7 +36,7 @@ Get the LLVM source code from [here]( T
mkdir llvm_build
cd llvm_build
# important: Don't forget to restrict to X86, otherwise prepare for a day of compiling
cmake ../llvm-13.0.0-src -DLLVM_TARGETS_TO_BUILD=X86
cmake ../llvm-13.0.0.src -DLLVM_TARGETS_TO_BUILD=X86
# 4x parallelized make, which will probably fail due to RAM consumption
make -j4
# make -j1 in order to catch up, where the parallel make aborted
......@@ -50,7 +50,7 @@ If there are errors regarding missing header files, you probably need to rebuild
After successfull compilation, you can run your particular analysis on some example target, e.g.:
$LLVM_BUILD/bin/opt -load build/ -painpass -S -o /dev/null output/if-then-else-2.ll
$LLVM_BUILD/bin/opt -enable-new-pm=0-load build/ -painpass -S -o /dev/null output/if-then-else-2.ll
# Visualization of Results
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment