Setup SVF in CLion

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-16.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_16.0.0 path.

• For C compiler, choose the executable file.(LLVM/bin/clang-16)
• 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-16.0.0.obj (should change to your LLVM pre-binaries downloaded or built directory).
• Set CMake options debug mode -DCMAKE_BUILD_TYPE=Debug (optional).
• Build directory to current path. (You may also change directory to 'Debug-build' or 'Release-build')
• 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.