Setup SVF in CLion

Jump to bottom Edit New page

guanqin-123 edited this page Apr 25, 2021 · 17 revisions

1.Prepare for the env.

1.1 Pull SVF in your machine: `git clone https://github.com/SVF-tools/SVF.git`.

1.2 Briefly install and use pre-built binaries LLVM-10.0.0.

2. Install CLion and import SVF in CLion

2.1 Install CLion from JetBrains.

2.2 Import SVF and open it in CLion.

3. Setup for the Toolchain and Cmake ENV

3.1 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++)

3.2 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 12 depends on your own computer cores.

4.Finish and test

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

4.2 Set Run/Debug Configurations

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

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