|
Static Value-Flow Analysis
|
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 |
| add_subdirectory | ( | SABER | ) |
Definition at line 1 of file CMakeLists.txt.
| PRIVATE GR else | ( | ) |
Definition at line 28 of file CMakeLists.txt.
| PRIVATE Xlinker endif | ( | ) |
Definition at line 30 of file CMakeLists.txt.
| PRIVATE SvfCore SvfLLVM if | ( | NOT | LLVM_ENABLE_RTTI | ) |
Definition at line 25 of file CMakeLists.txt.
| PRIVATE Xlinker STACK |
Definition at line 39 of file CMakeLists.txt.
| PRIVATE Xlinker stack |
Definition at line 46 of file CMakeLists.txt.