Static Value-Flow Analysis
Loading...
Searching...
No Matches
/home/runner/work/SVF/SVF/svf-llvm/tools/CMakeLists.txt File Reference

Functions

 add_subdirectory (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) add_subdirectory(AE) set(ALL_TOOLS ae cfl dvf llvm2svf mta saber svf-ex wpa) foreach(_tool IN LISTS ALL_TOOLS) target_link_libraries($
PRIVATE SvfCore SvfLLVM if (NOT LLVM_ENABLE_RTTI) if(MSVC) target_compile_options($
PRIVATE GR else () target_compile_options($
PRIVATE fno rtti endif () endif() if(WIN32) if(MSVC OR CMAKE_CXX_SIMULATE_ID STREQUAL "MSVC") if(CMAKE_CXX_COMPILER_FRONTEND_VARIANT STREQUAL "GNU") target_link_options($

Variables

PRIVATE Xlinker STACK
PRIVATE Xlinker stack

Function Documentation

◆ add_subdirectory()

add_subdirectory ( SABER )

Definition at line 1 of file CMakeLists.txt.

23 {_tool} PRIVATE SvfCore SvfLLVM)

◆ else()

PRIVATE GR else ( )

Definition at line 28 of file CMakeLists.txt.

29 {_tool} PRIVATE -fno-rtti)

◆ endif()

PRIVATE Xlinker endif ( )

Definition at line 30 of file CMakeLists.txt.

39 {_tool} PRIVATE -Xlinker /STACK:268435456)
PRIVATE Xlinker STACK

◆ if()

PRIVATE SvfCore SvfLLVM if ( NOT LLVM_ENABLE_RTTI)

Definition at line 25 of file CMakeLists.txt.

27 {_tool} PRIVATE /GR-)

Variable Documentation

◆ STACK

PRIVATE Xlinker STACK

Definition at line 39 of file CMakeLists.txt.

◆ stack

PRIVATE Xlinker stack

Definition at line 46 of file CMakeLists.txt.