Skip to content

Instantly share code, notes, and snippets.

@ercoppa

ercoppa/build-KLEE-uclib.sh

Last active February 21, 2018 14:03
Show Gist options
  • Save ercoppa/3a81e39c8c58e850cb9cce4841b55dad to your computer and use it in GitHub Desktop.
Save ercoppa/3a81e39c8c58e850cb9cce4841b55dad to your computer and use it in GitHub Desktop.
Download ZIP
LLVM 3.4
Raw
build-KLEE-uclib.sh
```
export PATH=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin:$PATH
./configure --make-llvm-lib
make
```
Raw
build-KLEE.md 
-DENABLE_SOLVER_Z3=ON
-DENABLE_UNIT_TESTS=OFF
-DENABLE_SYSTEM_TESTS=OFF
-DENABLE_POSIX_RUNTIME=OFF
-DENABLE_KLEE_UCLIBC=OFF
-DLLVM_CONFIG_BINARY=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin/llvm-config
-DLLVM_TOOLS_BINARY_DIR=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin/
-DCMAKE_PREFIX_PATH=/home/ercoppa/Desktop/code/llvm-3.4-cmake/
Raw
install-llvm-3.4-for-KLEE-with-cmake.md
  1. Get LLVM 3.4, clang 3.4, compiler-rt 3.4, clang-tools. Put clang in llvm/tools, rt in llvm/projects, clang-tools in llvm/tools/clang/tools
  2. Patch llvm-config to fix output: [PATCH] [Bug]
  3. unset LIBRARY_PATH CPATH C_INCLUDE_PATH PKG_CONFIG_PATH CPLUS_INCLUDE_PATH INCLUDE
  4. mkdir llvm-3.4-cmake; cd llvm-3.4-cmake; cmake -DCMAKE_BUILD_TYPE="Debug" ~/Downloads/llvm-3.4.2.src; make -j2
Raw
llvm-3.4-for-KLEE-with-autotools.md 
export REQUIRE_RTTI=1
~/Downloads/llvm-3.4.2.src/configure --disable-optimized REQUIRE_RTTI=1
make REQUIRE_RTTI=1 -j3
Raw
minisat and STP
git clone [email protected]:stp/minisat.git
cd minisat
mkdir build
cd build
cmake -DSTATIC_BINARIES=ON -DCMAKE_INSTALL_PREFIX=../build-install/ ../
git clone https://github.com/stp/stp.git
mkdir build
cd build
cmake -DBUILD_SHARED_LIBS:BOOL=OFF -DENABLE_PYTHON_INTERFACE:BOOL=OFF -DMINISAT_LIBRARY=/home/ercoppa/Desktop/code/minisat/build-install/lib/libminisat.a -DMINISAT_INCLUDE_DIR=/home/ercoppa/Desktop/code/minisat/build-install/include ..
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment