svf-tools 1.0.633 → 1.0.635

package/CMakeLists.txt

@@ -2,109 +2,130 @@ cmake_minimum_required(VERSION 3.13.4)
 
 project("SVF")
 
-configure_file(${CMAKE_SOURCE_DIR}/.config.in ${CMAKE_BINARY_DIR}/include/Util/config.h)
+configure_file(${CMAKE_SOURCE_DIR}/.config.in
+               ${CMAKE_BINARY_DIR}/include/Util/config.h)
 
-# To support both in- and out-of-source builds,
-# we check for the presence of the add_llvm_loadable_module command.
-# - if this command is not present, we are building out-of-source
+# To support both in- and out-of-source builds, we check for the presence of the
+# add_llvm_loadable_module command. - if this command is not present, we are
+# building out-of-source
 if(NOT COMMAND add_llvm_library)
-        # We need to match the build environment for LLVM:
-        # In particular, we need C++14 and the -fno-rtti flag
-        set(CMAKE_CXX_STANDARD 14)
-        set(CMAKE_CXX_STANDARD_REQUIRED ON)
-        # add -std=gnu++14
-        set(CMAKE_CXX_EXTENSIONS ON)
-
-        # Treat compiler warnings as errors
-        add_compile_options("-Werror" "-Wall")
-
-        # Keep assertions enabled if requested
-        option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
-        if(SVF_ENABLE_ASSERTIONS)
-          add_compile_options("-UNDEBUG")
-        endif()
-
-        find_package(LLVM REQUIRED CONFIG HINTS "${LLVM_DIR}")
-
-        message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
-        message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
-
-        if (NOT LLVM_ENABLE_RTTI)
-          add_compile_options("-fno-rtti")
-          message(STATUS "Disable RTTI")
-        endif()
-
-        if (NOT LLVM_ENABLE_EH)
-          add_compile_options("-fno-exceptions")
-          message(STATUS "Disable exceptions")
-        endif()
-
-        option(SVF_COVERAGE "Create coverage build")
-        if (SVF_COVERAGE OR DEFINED ENV{SVF_COVERAGE})
-          add_compile_options("-fprofile-arcs" "-ftest-coverage")
-          add_link_options("-fprofile-arcs" "-ftest-coverage")
-          message(STATUS "Enable coverage")
-        endif()
-
-        set(SVF_SANITIZE "" CACHE STRING "Create sanitizer build (address)")
-        if (SVF_SANITIZE STREQUAL "address")
-          add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
-          add_link_options("-fsanitize=address")
-          message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
-        elseif(SVF_SANITIZE STREQUAL "thread")
-          add_compile_options("-fsanitize=thread")
-          add_link_options("-fsanitize=thread")
-          message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
-        elseif(NOT SVF_SANITIZE STREQUAL "")
-          message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
-        endif()
-
-        list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
-        include(AddLLVM)
-
-        add_definitions(${LLVM_DEFINITIONS})
-        #include_directories(SYSTEM ${LLVM_INCLUDE_DIRS})
-
-        if (LLVM_LINK_LLVM_DYLIB)
-            set(llvm_libs LLVM)
-        else()
-            llvm_map_components_to_libnames(llvm_libs bitwriter core ipo irreader instcombine instrumentation target linker analysis scalaropts support transformutils)
-        endif()
+  # We need to match the build environment for LLVM: In particular, we need
+  # C++14 and the -fno-rtti flag
+  set(CMAKE_CXX_STANDARD 14)
+  set(CMAKE_CXX_STANDARD_REQUIRED ON)
+  # add -std=gnu++14
+  set(CMAKE_CXX_EXTENSIONS ON)
+
+  # Treat compiler warnings as errors
+  add_compile_options("-Werror" "-Wall")
+
+  # Keep assertions enabled if requested
+  option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
+  if(SVF_ENABLE_ASSERTIONS)
+    add_compile_options("-UNDEBUG")
+  endif()
+
+  find_package(LLVM REQUIRED CONFIG HINTS "${LLVM_DIR}")
+
+  message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
+  message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
+
+  if(NOT LLVM_ENABLE_RTTI)
+    add_compile_options("-fno-rtti")
+    message(STATUS "Disable RTTI")
+  endif()
+
+  if(NOT LLVM_ENABLE_EH)
+    add_compile_options("-fno-exceptions")
+    message(STATUS "Disable exceptions")
+  endif()
+
+  option(SVF_COVERAGE "Create coverage build")
+  if(SVF_COVERAGE OR DEFINED ENV{SVF_COVERAGE})
+    add_compile_options("-fprofile-arcs" "-ftest-coverage")
+    add_link_options("-fprofile-arcs" "-ftest-coverage")
+    message(STATUS "Enable coverage")
+  endif()
+
+  set(SVF_SANITIZE
+      ""
+      CACHE STRING "Create sanitizer build (address)")
+  if(SVF_SANITIZE STREQUAL "address")
+    add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
+    add_link_options("-fsanitize=address")
+    message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
+  elseif(SVF_SANITIZE STREQUAL "thread")
+    add_compile_options("-fsanitize=thread")
+    add_link_options("-fsanitize=thread")
+    message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
+  elseif(NOT SVF_SANITIZE STREQUAL "")
+    message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
+  endif()
+
+  list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
+  include(AddLLVM)
+
+  add_definitions(${LLVM_DEFINITIONS})
+  # include_directories(SYSTEM ${LLVM_INCLUDE_DIRS})
+
+  if(LLVM_LINK_LLVM_DYLIB)
+    set(llvm_libs LLVM)
+  else()
+    llvm_map_components_to_libnames(
+      llvm_libs
+      analysis
+      bitwriter
+      core
+      instcombine
+      instrumentation
+      ipo
+      irreader
+      linker
+      scalaropts
+      support
+      target
+      transformutils)
+  endif()
 else()
-        set(IN_SOURCE_BUILD 1)
+  set(IN_SOURCE_BUILD 1)
 endif()
 
-find_library(Z3_LIBRARIES NAMES z3
-                          HINTS ${Z3_DIR} ENV Z3_DIR
-                          PATH_SUFFIXES bin lib)
-find_path(Z3_INCLUDES NAMES z3++.h
-                      HINTS ${Z3_DIR} ENV Z3_DIR
-                      PATH_SUFFIXES include z3)
+find_library(
+  Z3_LIBRARIES
+  NAMES z3
+  HINTS ${Z3_DIR} ENV Z3_DIR
+  PATH_SUFFIXES bin lib)
+find_path(
+  Z3_INCLUDES
+  NAMES z3++.h
+  HINTS ${Z3_DIR} ENV Z3_DIR
+  PATH_SUFFIXES include z3)
 if(NOT Z3_LIBRARIES OR NOT Z3_INCLUDES)
-    message(FATAL_ERROR "Z3 not found!")
+  message(FATAL_ERROR "Z3 not found!")
 endif()
 message(STATUS "Found Z3: ${Z3_LIBRARIES}")
 message(STATUS "Z3 include dir: ${Z3_INCLUDES}")
 
-include_directories(${CMAKE_CURRENT_SOURCE_DIR}/include
-                    ${CMAKE_BINARY_DIR}/include
-                    ${Z3_INCLUDES})
+include_directories(${CMAKE_CURRENT_SOURCE_DIR}/svf/include
+                    ${CMAKE_BINARY_DIR}/include ${Z3_INCLUDES})
 
-# checks if the test-suite is present, if it is then build bc files and add testing to cmake build
+# checks if the test-suite is present, if it is then build bc files and add
+# testing to cmake build
 if(EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/Test-Suite")
-    include_directories(${CMAKE_CURRENT_SOURCE_DIR}/Test-Suite)
-    enable_testing()
-    add_subdirectory(Test-Suite)
-    include(CTest)
+  include_directories(${CMAKE_CURRENT_SOURCE_DIR}/Test-Suite)
+  enable_testing()
+  add_subdirectory(Test-Suite)
+  include(CTest)
 endif()
 
-add_subdirectory(lib)
+add_subdirectory(svf)
+add_subdirectory(svf-llvm)
 add_subdirectory(tools)
 
-INSTALL(
-    DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/include/
-    COMPONENT devel
-    DESTINATION include/svf
-    FILES_MATCHING
-    PATTERN "**/*.h"
-    )
+install(
+  DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/svf/include/
+            ${CMAKE_CURRENT_SOURCE_DIR}/svf-llvm/include/
+  COMPONENT devel
+  DESTINATION include/svf
+  FILES_MATCHING
+  PATTERN "**/*.h")

package/SVF-doxygen/html/html/CFL_2CMakeLists_8txt.html

@@ -0,0 +1,102 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/tools/CFL/CMakeLists.txt File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">/home/runner/work/SVF/SVF/tools/CFL/CMakeLists.txt File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:a54d13ee9b2d71352e44062df3e531b71"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFL_2CMakeLists_8txt.html#a54d13ee9b2d71352e44062df3e531b71">if</a> (DEFINED IN_SOURCE_BUILD) <a class="el" href="WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986">set</a>(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support SvfLLVM) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl SvfLLVM $</td></tr>
+<tr class="separator:a54d13ee9b2d71352e44062df3e531b71"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<h2 class="groupheader">Function Documentation</h2>
+<a id="a54d13ee9b2d71352e44062df3e531b71"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a54d13ee9b2d71352e44062df3e531b71">&#9670;&nbsp;</a></span>if()</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">if </td>
+          <td>(</td>
+          <td class="paramtype">DEFINED&#160;</td>
+          <td class="paramname"><em>IN_SOURCE_BUILD</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFL_2CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="CFL_2CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
+<div class="fragment"><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                                       {llvm_libs})</div></div><!-- fragment -->
+</div>
+</div>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/CMakeLists_8txt.html

@@ -0,0 +1,73 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/tools/CMakeLists.txt File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">/home/runner/work/SVF/SVF/tools/CMakeLists.txt File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/DDA_2CMakeLists_8txt.html

@@ -0,0 +1,102 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/tools/DDA/CMakeLists.txt File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">/home/runner/work/SVF/SVF/tools/DDA/CMakeLists.txt File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:ae33353debdadf4e4deb3a5937e2e9913"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="DDA_2CMakeLists_8txt.html#ae33353debdadf4e4deb3a5937e2e9913">if</a> (DEFINED IN_SOURCE_BUILD) <a class="el" href="WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986">set</a>(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support SvfLLVM) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf SvfLLVM $</td></tr>
+<tr class="separator:ae33353debdadf4e4deb3a5937e2e9913"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<h2 class="groupheader">Function Documentation</h2>
+<a id="ae33353debdadf4e4deb3a5937e2e9913"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae33353debdadf4e4deb3a5937e2e9913">&#9670;&nbsp;</a></span>if()</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">if </td>
+          <td>(</td>
+          <td class="paramtype">DEFINED&#160;</td>
+          <td class="paramname"><em>IN_SOURCE_BUILD</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="DDA_2CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="DDA_2CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
+<div class="fragment"><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                                       {llvm_libs})</div></div><!-- fragment -->
+</div>
+</div>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/Example_2CMakeLists_8txt.html

@@ -0,0 +1,102 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/tools/Example/CMakeLists.txt File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">/home/runner/work/SVF/SVF/tools/Example/CMakeLists.txt File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:a87f006cf0df92577a47f43b3d8a58de0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="Example_2CMakeLists_8txt.html#a87f006cf0df92577a47f43b3d8a58de0">if</a> (DEFINED IN_SOURCE_BUILD) <a class="el" href="WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986">set</a>(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support SvfLLVM) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex SvfLLVM $</td></tr>
+<tr class="separator:a87f006cf0df92577a47f43b3d8a58de0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<h2 class="groupheader">Function Documentation</h2>
+<a id="a87f006cf0df92577a47f43b3d8a58de0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a87f006cf0df92577a47f43b3d8a58de0">&#9670;&nbsp;</a></span>if()</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">if </td>
+          <td>(</td>
+          <td class="paramtype">DEFINED&#160;</td>
+          <td class="paramname"><em>IN_SOURCE_BUILD</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Example_2CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="Example_2CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
+<div class="fragment"><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                                          {llvm_libs})</div></div><!-- fragment -->
+</div>
+</div>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/LockResultValidator_8cpp.html

@@ -69,11 +69,11 @@ $(function() {
 <div class="title">LockResultValidator.cpp File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
+<div class="textblock"><code>#include &quot;Util/Options.h&quot;</code><br />
 <code>#include &lt;string&gt;</code><br />
 <code>#include &lt;sstream&gt;</code><br />
 <code>#include &quot;<a class="el" href="LockResultValidator_8h_source.html">LockResultValidator.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="tools_2MTA_2MTAResultValidator_8h_source.html">MTAResultValidator.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="MTAResultValidator_8h_source.html">MTAResultValidator.h</a>&quot;</code><br />
 </div>
 <p><a href="LockResultValidator_8cpp_source.html">Go to the source code of this file.</a></p>
 <table class="memberdecls">
@@ -85,7 +85,6 @@ Classes</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
 Namespaces</h2></td></tr>
 <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
-<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 </div><!-- contents -->