Setup SVF in CLion

1.Prepare for the env.

• Pull SVF in your machine: git clone https://github.com/SVF-tools/SVF.git.
• Briefly install and use pre-built binaries LLVM-10.0.0.

2. Install CLion and import SVF in CLion

• Install CLion from JetBrains.
• Import SVF and open it in CLion.

3. Setup for the Toolchain and Cmake ENV

• Choose Settings / Preferences to set Build, Execution, Deployment toolchains c/c++ compiler with the just downloaded binaries LLVM_10.0.0 path.

  • For C compiler, choose the executable file.(LLVM/bin/clang-10)
  • For C++ compiler, choose the executable file.(LLVM/bin/clang++)

  

• Choose Settings / Preferences to set CMake.

  • Set cmake options with -DLLVM_DIR=/Users/charles/llvm-10.0.0.obj.
  • Set cmake options debug mode -DCMAKE_BUILD_TYPE:STRING=Debug (optional).
  • Build directory to current path. (You may also change to directory to 'build-outof-source')
  • Build options '-j 4' depends on your own computer cores.

  

4.Finish and test

• Click 'configuration' and Select what executable file you want debug.

  

• Set Run/Debug Configurations

  • Select CMake Applications from left (e.g. wpa).
  • Program Arguments accept the applications options and followed with code assembly file.

  

• Press build and debug. You will see all variable and functions in your dash board.