Static Value-Flow Analysis
Functions
/home/runner/work/SVF/SVF/svf-llvm/tools/SABER/CMakeLists.txt File Reference

Functions

 add_llvm_executable (saber saber.cpp) target_link_libraries(saber PUBLIC $
 

Function Documentation

◆ add_llvm_executable()

add_llvm_executable ( saber saber.  cpp)

Definition at line 1 of file CMakeLists.txt.

2  {llvm_libs}