svf-tools 1.0.845 → 1.0.847

package/.config.cmake.in

@@ -0,0 +1,24 @@
+@PACKAGE_INIT@
+
+set_and_check(SVF_INSTALL_ROOT "@PACKAGE_SVF_INSTALL_ROOT@")
+set_and_check(SVF_INSTALL_BIN_DIR "@PACKAGE_SVF_INSTALL_BIN_DIR@")
+set_and_check(SVF_INSTALL_LIB_DIR "@PACKAGE_SVF_INSTALL_LIB_DIR@")
+set_and_check(SVF_INSTALL_INCLUDE_DIR "@PACKAGE_SVF_INSTALL_INCLUDE_DIR@")
+
+set_and_check(SVF_INSTALL_EXTAPI_DIR "@PACKAGE_SVF_INSTALL_EXTAPI_DIR@")
+set_and_check(SVF_INSTALL_EXTAPI_FILE "@PACKAGE_SVF_INSTALL_EXTAPI_FILE@")
+
+set(SVF_SANITIZE "@SVF_SANITIZE@")
+
+set(SVF_COVERAGE "@SVF_COVERAGE@")
+set(SVF_WARN_AS_ERROR "@SVF_WARN_AS_ERROR@")
+set(SVF_EXPORT_DYNAMIC "@SVF_EXPORT_DYNAMIC@")
+set(SVF_ENABLE_ASSERTIONS "@SVF_ENABLE_ASSERTIONS@")
+
+set(SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@")
+set(SVF_CXX_STANDARD "@CMAKE_CXX_STANDARD@")
+
+set(SVF_ENABLE_RTTI "@SVF_ENABLE_RTTI@")
+set(SVF_ENABLE_EXCEPTIONS "@SVF_ENABLE_EXCEPTIONS@")
+
+include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")

package/.config.in

@@ -0,0 +1,26 @@
+#ifndef CONFIG_H_IN
+#define CONFIG_H_IN
+
+// Directory structure of SVF build
+#define SVF_ROOT "@CMAKE_CURRENT_SOURCE_DIR@"
+#define SVF_BUILD_DIR "@CMAKE_CURRENT_BINARY_DIR@"
+#define SVF_INSTALL_DIR "@SVF_INSTALL_ROOT@"
+#define SVF_BIN_DIR "@SVF_INSTALL_BIN_DIR@"
+#define SVF_LIB_DIR "@SVF_INSTALL_LIB_DIR@"
+#define SVF_INCLUDE_DIR "@SVF_INSTALL_INCLUDE_DIR@"
+#define SVF_EXTAPI_DIR "@SVF_INSTALL_EXTAPI_DIR@"
+#define SVF_EXTAPI_BC "@SVF_INSTALL_EXTAPI_FILE@"
+
+// Build mode used to build SVF
+#define SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@"
+
+// Sanitiser mode used for building SVF
+#cmakedefine SVF_SANITIZE "@SVF_SANITIZE@"
+
+// Build options used when building SVF
+#cmakedefine SVF_COVERAGE
+#cmakedefine SVF_WARN_AS_ERROR
+#cmakedefine SVF_EXPORT_DYNAMIC
+#cmakedefine SVF_ENABLE_ASSERTIONS
+
+#endif // CONFIG_H_IN

package/.gitignore

@@ -9,6 +9,8 @@ autoconf/
 tests/result/
 doxygen/
 .*
+!.config.in
+!.config.cmake.in
 !.gitignore
 *~
 *.o

package/CMakeLists.txt

@@ -1,38 +1,95 @@
 cmake_minimum_required(VERSION 3.13.4)
 
-project("SVF")
+project(SVF
+  VERSION 2.7.1
+  DESCRIPTION "SVF is a static value-flow analysis tool for LLVM-based languages"
+  HOMEPAGE_URL "https://github.com/SVF-tools/SVF"
+  LANGUAGES C CXX
+)
+
+# Ensure installation directories like ${CMAKE_INSTALL_LIBDIR} are available
+include(GNUInstallDirs)
 
-message(STATUS "Using CMake with generator: ${CMAKE_GENERATOR}")
+# Configurable (string) options for building SVF
+set(SVF_SANITIZE "" CACHE STRING "Create sanitizer build (address)")
+
+# Configurable (boolean) options for building SVF
+option(SVF_COVERAGE "Create coverage build")
+option(SVF_WARN_AS_ERROR "Treat warnings as errors when building SVF (default: on)" ON)
+option(SVF_EXPORT_DYNAMIC "Export all (not only used) dynamic symbols to dynamic symbol table")
+option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
 
-configure_file(${PROJECT_SOURCE_DIR}/.config.in ${PROJECT_BINARY_DIR}/include/Util/config.h)
+# Configure top-level SVF variables (used by CMake for configuring installed SVF package)
+set(SVF_INSTALL_ROOT ${CMAKE_INSTALL_PREFIX})
+set(SVF_INSTALL_BIN_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_BINDIR})
+set(SVF_INSTALL_LIB_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR})
+set(SVF_INSTALL_INCLUDE_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_INCLUDEDIR}/svf)
+
+# Set where extapi.bc is exported to in the installed CMake package
+set(SVF_INSTALL_EXTAPI_DIR ${SVF_INSTALL_INCLUDE_DIR}/SVF-LLVM)
+set(SVF_INSTALL_EXTAPI_FILE ${SVF_INSTALL_EXTAPI_DIR}/extapi.bc)
+
+message(STATUS "Building ${PROJECT_NAME} with configuration:
+  SVF version:                                  ${SVF_VERSION}
+  SVF root directory:                           ${SVF_SOURCE_DIR}
+  SVF binary directory:                         ${SVF_BINARY_DIR}
+  SVF option - create sanitiser build (str):    ${SVF_SANITIZE}
+  SVF option - coverage build:                  ${SVF_COVERAGE}
+  SVF option - warnings as errors:              ${SVF_WARN_AS_ERROR}
+  SVF option - unused dynamic symbols:          ${SVF_EXPORT_DYNAMIC}
+  SVF option - enable build assertions:         ${SVF_ENABLE_ASSERTIONS}")
+
+message(STATUS "Using CMake build configuration:
+  CMake generator:                              ${CMAKE_GENERATOR}
+  CMake C compiler:                             ${CMAKE_C_COMPILER_ID}
+  CMake C++ compiler:                           ${CMAKE_CXX_COMPILER_ID}
+  CMake current list directory:                 ${CMAKE_CURRENT_LIST_DIR}
+  CMake current source directory:               ${CMAKE_CURRENT_SOURCE_DIR}
+  CMake current binary directory:               ${CMAKE_CURRENT_BINARY_DIR}")
+
+# Create config.h based on config.in
+configure_file(${SVF_SOURCE_DIR}/.config.in ${SVF_BINARY_DIR}/include/Util/config.h)
+
+# Include the directory where the configuration header is exported for all targets
+include_directories(${SVF_BINARY_DIR}/include)
 
-# Treat compiler warnings as errors
-add_compile_options("-Werror" "-Wall" "-Wno-deprecated-declarations")
+# Install generated configuration header (see `configure_file()`) to top-level include dir of SVF
+install(
+  FILES ${SVF_BINARY_DIR}/include/Util/config.h
+  DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/svf/Util
+)
 
 # Build SVF with C++ standard C++17
 set(CMAKE_CXX_STANDARD 17)
 set(CMAKE_CXX_EXTENSIONS ON)
 set(CMAKE_CXX_STANDARD_REQUIRED ON)
+set(CMAKE_POSITION_INDEPENDENT_CODE ON)
+set(CMAKE_INTERPROCEDURAL_OPTIMIZATION ON)
+
+# By default, build SVF and its targets treating all compiler warnings as errors (except deprecations)
+add_compile_options(
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Wall>"
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Werror>"
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Wno-deprecated-declarations>"
+)
 
 # Keep assertions enabled if requested
-option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
-if(SVF_ENABLE_ASSERTIONS)
-  add_compile_options("-UNDEBUG")
-endif()
+add_compile_options("$<$<BOOL:${SVF_ENABLE_ASSERTIONS}>:-UNDEBUG>")
 
-# Turn this on if you need symbols (e.g., use them for backtrace debugging)
-# add_link_options("-rdynamic")
+# Export dynamic symbols if requested (adds "-export-dynamic" to linkers that support it to enable backtraces)
+add_compile_options("$<$<BOOL:${SVF_EXPORT_DYNAMIC}>:-rdynamic>")
 
-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()
+# Configure whether a coverage build should be created for SVF (i.e. add runtime instrumentation)
+add_compile_options(
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-fprofile-arcs>"
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-ftest-coverage>"
+)
+add_link_options(
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-fprofile-arcs>"
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-ftest-coverage>"
+)
 
-set(SVF_SANITIZE
-    ""
-    CACHE STRING "Create sanitizer build (address)")
+# If building with sanitiser, load the given sanitiser mode
 if(SVF_SANITIZE STREQUAL "address")
   add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
   add_link_options("-fsanitize=address")
@@ -42,54 +99,88 @@ elseif(SVF_SANITIZE STREQUAL "thread")
   add_link_options("-fsanitize=thread")
   message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
 elseif(NOT SVF_SANITIZE STREQUAL "")
-  message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
+  message(FATAL_ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
 endif()
 
+# Check if the test-suite is present, if it is then build bc files and add testing to cmake build
+if(EXISTS "${PROJECT_SOURCE_DIR}/Test-Suite")
+  include_directories(${PROJECT_SOURCE_DIR}/Test-Suite)
+  enable_testing()
+  add_subdirectory(Test-Suite)
+  include(CTest)
+endif()
+
+# Find Z3 and its include directory from the top-level include file
 find_library(
   Z3_LIBRARIES
+  REQUIRED
   NAMES z3
   HINTS ${Z3_DIR} ENV Z3_DIR
   PATH_SUFFIXES bin lib)
 find_path(
   Z3_INCLUDES
+  REQUIRED
   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!")
-endif()
-message(STATUS "Found Z3: ${Z3_LIBRARIES}")
-message(STATUS "Z3 include dir: ${Z3_INCLUDES}")
+message(STATUS "Z3 STATUS:
+  Z3 library file:        ${Z3_LIBRARIES}
+  Z3 include directory:   ${Z3_INCLUDES}")
 
-include_directories(${PROJECT_SOURCE_DIR}/svf/include
-                    ${PROJECT_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
-if(EXISTS "${PROJECT_SOURCE_DIR}/Test-Suite")
-  include_directories(${PROJECT_SOURCE_DIR}/Test-Suite)
-  enable_testing()
-  add_subdirectory(Test-Suite)
-  include(CTest)
-endif()
+# Add the Z3 include directory and link the Z3 library to all targets of SVF
+link_libraries(${Z3_LIBRARIES})
+include_directories(SYSTEM ${Z3_INCLUDES})
 
+# Add the actual SVF and SVF-LLVM targets
 add_subdirectory(svf)
 add_subdirectory(svf-llvm)
 
 # Whether RTTI/Exceptions are enabled currently depends on whether the LLVM instance used to build
 # SVF had them enabled; since the LLVM instance is found in the "svf-llvm" subdirectory, it sets the
 # below variables in its parent directory (i.e. for this CMakeLists.txt) so check them here
-if(SVF_NO_RTTI)
-  add_compile_options("-fno-rtti")
-endif()
+add_compile_definitions(
+  $<IF:$<BOOL:${SVF_ENABLE_RTTI}>,,-fno-rtti>
+  $<IF:$<BOOL:${SVF_ENABLE_EXCEPTIONS}>,,-fno-exceptions>
+)
 
-if(SVF_NO_EH)
-  add_compile_options("-fno-exceptions")
-endif()
+# Export the SVF target for including SVF from CMake using find_package(SVF)
+include(CMakePackageConfigHelpers)
+
+# Generate SVFConfig.cmake
+configure_package_config_file(
+  .config.cmake.in
+  ${CMAKE_CURRENT_BINARY_DIR}/SVFConfig.cmake
+  INSTALL_DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
+  PATH_VARS
+    SVF_INSTALL_ROOT
+    SVF_INSTALL_BIN_DIR
+    SVF_INSTALL_LIB_DIR
+    SVF_INSTALL_INCLUDE_DIR
+    SVF_INSTALL_EXTAPI_DIR
+    SVF_INSTALL_EXTAPI_FILE
+)
 
-# Install generated configuration header (see `configure_file()`) to top-level include dir of SVF
-include(GNUInstallDirs)
+# Generate SVFConfigVersion.cmake
+write_basic_package_version_file(
+  "${CMAKE_CURRENT_BINARY_DIR}/SVFConfigVersion.cmake"
+  VERSION "${SVF_VERSION_MAJOR}.${SVF_VERSION_MINOR}"
+  COMPATIBILITY AnyNewerVersion
+)
+
+# Install above CMake files as part of installation
 install(
-  FILES ${PROJECT_BINARY_DIR}/include/Util/config.h
-  DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/svf/Util
+  FILES
+    ${CMAKE_CURRENT_BINARY_DIR}/SVFConfig.cmake
+    ${CMAKE_CURRENT_BINARY_DIR}/SVFConfigVersion.cmake
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
 )
+
+# Install CMake targets from different SVF subprojects so they can be found by find_package(SVF)
+install(
+  EXPORT SVFTargets
+  FILE SVFTargets.cmake
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
+)
+
+# Export targets added to SVFTargets (set by install() command)
+export(EXPORT SVFTargets FILE "${CMAKE_CURRENT_BINARY_DIR}/SVFTargets.cmake")

package/SVF-doxygen/html/CMakeLists_8txt.html

@@ -72,8 +72,6 @@ $(function() {
 Functions</h2></td></tr>
 <tr class="memitem:ab0c0fec5e777861a934894bc00fc585c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#ab0c0fec5e777861a934894bc00fc585c">add_subdirectory</a> (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) set_target_properties(cfl dvf svf-ex llvm2svf mta saber wpa PROPERTIES RUNTIME_OUTPUT_DIRECTORY $</td></tr>
 <tr class="separator:ab0c0fec5e777861a934894bc00fc585c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9f6d70f6197845162ae5fd12f33f094a"><td class="memItemLeft" align="right" valign="top">bin&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">include</a> (GNUInstallDirs) install(TARGETS cfl dvf svf-ex llvm2svf mta saber wpa RUNTIME DESTINATION $</td></tr>
-<tr class="separator:a9f6d70f6197845162ae5fd12f33f094a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Function Documentation</h2>
 <a id="ab0c0fec5e777861a934894bc00fc585c"></a>
@@ -93,28 +91,7 @@ Functions</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
-<div class="fragment"><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;                                  {CMAKE_BINARY_DIR}/bin</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a9f6d70f6197845162ae5fd12f33f094a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9f6d70f6197845162ae5fd12f33f094a">&#9670;&nbsp;</a></span>include()</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">bin include </td>
-          <td>(</td>
-          <td class="paramtype">GNUInstallDirs&#160;</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CMakeLists_8txt_source.html#l00016">16</a> of file <a class="el" href="CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
-<div class="fragment"><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                         {CMAKE_INSTALL_BINDIR}</div>
+<div class="fragment"><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;                                  {CMAKE_BINARY_DIR}/bin</div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/extapi_8c.html

@@ -117,8 +117,6 @@ Functions</h2></td></tr>
 <tr class="separator:a559e62edd847a597c92f3acd9b8b6ba4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adcb0d3ff88a32d766b60a847f84871ec"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec">__attribute__</a> ((annotate(&quot;MEMSET&quot;)))</td></tr>
 <tr class="separator:adcb0d3ff88a32d766b60a847f84871ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a09f0eaec0f51d66148f8b81ea44e9f2a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a">__attribute__</a> ((annotate(&quot;MEMSET&quot;), annotate(&quot;BUF_CHECK:Arg0, Arg2&quot;)))</td></tr>
-<tr class="separator:a09f0eaec0f51d66148f8b81ea44e9f2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac8de243be63b5a590e4921642fd4bf4e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e">__attribute__</a> ((annotate(&quot;STRCPY&quot;)))</td></tr>
 <tr class="separator:ac8de243be63b5a590e4921642fd4bf4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3510ee3eaec8acfcf3ae0f084bb098c3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3">__attribute__</a> ((annotate(&quot;STRCAT&quot;)))</td></tr>
@@ -361,7 +359,7 @@ Functions</h2></td></tr>
 </div>
 <h2 class="groupheader">Function Documentation</h2>
 <a id="acdc4a948c527401ff9433498a9757f03"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acdc4a948c527401ff9433498a9757f03">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[1/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#acdc4a948c527401ff9433498a9757f03">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[1/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -386,7 +384,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a1a9dbf9c1aae63329912afd2c7e2cf4c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1a9dbf9c1aae63329912afd2c7e2cf4c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[2/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a1a9dbf9c1aae63329912afd2c7e2cf4c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[2/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -411,7 +409,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a06951362ddd7447558e892464d726187"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a06951362ddd7447558e892464d726187">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[3/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a06951362ddd7447558e892464d726187">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[3/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -436,7 +434,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a4a246cca542ae318b758081d5e0b41fe"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4a246cca542ae318b758081d5e0b41fe">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[4/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a4a246cca542ae318b758081d5e0b41fe">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[4/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -461,7 +459,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a3a547ecc92598d2d029246dab1630428"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3a547ecc92598d2d029246dab1630428">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[5/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a3a547ecc92598d2d029246dab1630428">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[5/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -486,7 +484,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="afdab9dcd0a3e6185c17c11ab0d5fc968"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afdab9dcd0a3e6185c17c11ab0d5fc968">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[6/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#afdab9dcd0a3e6185c17c11ab0d5fc968">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[6/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -511,7 +509,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="afc1cad7cb40c599988237bf687c00929"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afc1cad7cb40c599988237bf687c00929">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[7/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#afc1cad7cb40c599988237bf687c00929">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[7/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -536,7 +534,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a0d2d52b60870b500c2b4844a0ee2c90d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0d2d52b60870b500c2b4844a0ee2c90d">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[8/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a0d2d52b60870b500c2b4844a0ee2c90d">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[8/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -561,7 +559,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a559e62edd847a597c92f3acd9b8b6ba4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a559e62edd847a597c92f3acd9b8b6ba4">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[9/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a559e62edd847a597c92f3acd9b8b6ba4">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[9/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -582,7 +580,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="adcb0d3ff88a32d766b60a847f84871ec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adcb0d3ff88a32d766b60a847f84871ec">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[10/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#adcb0d3ff88a32d766b60a847f84871ec">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[10/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -602,32 +600,8 @@ Functions</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a09f0eaec0f51d66148f8b81ea44e9f2a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a09f0eaec0f51d66148f8b81ea44e9f2a">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[11/17]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">__attribute__ </td>
-          <td>(</td>
-          <td class="paramtype">(annotate(&quot;MEMSET&quot;), annotate(&quot;BUF_CHECK:Arg0, Arg2&quot;))&#160;</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="extapi_8c_source.html#l00616">616</a> of file <a class="el" href="extapi_8c_source.html">extapi.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                                                      :Arg0, Arg2<span class="stringliteral">&quot;)))</span></div>
-<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;<span class="stringliteral">char *wmemset(wchar_t * dst, wchar_t elem, int sz, int flag) {</span></div>
-<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;<span class="stringliteral">    return NULL;</span></div>
-<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;<span class="stringliteral">}</span></div>
-</div><!-- fragment -->
-</div>
-</div>
 <a id="ad32a60532b1ae70c19221d180ade9b74"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad32a60532b1ae70c19221d180ade9b74">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[12/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#ad32a60532b1ae70c19221d180ade9b74">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[11/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -652,7 +626,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a1e7f01f19313d2c4c4f9b18a02574c93"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1e7f01f19313d2c4c4f9b18a02574c93">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[13/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a1e7f01f19313d2c4c4f9b18a02574c93">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[12/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -677,7 +651,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a2053c6691b7c7b2e199d342ac2cbdc54"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2053c6691b7c7b2e199d342ac2cbdc54">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[14/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a2053c6691b7c7b2e199d342ac2cbdc54">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[13/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -702,7 +676,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a71fa8bd2eab45f458251611d08c1db7c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a71fa8bd2eab45f458251611d08c1db7c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[15/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a71fa8bd2eab45f458251611d08c1db7c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[14/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -727,7 +701,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a3510ee3eaec8acfcf3ae0f084bb098c3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3510ee3eaec8acfcf3ae0f084bb098c3">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[16/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a3510ee3eaec8acfcf3ae0f084bb098c3">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[15/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -750,7 +724,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="ac8de243be63b5a590e4921642fd4bf4e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac8de243be63b5a590e4921642fd4bf4e">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[17/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#ac8de243be63b5a590e4921642fd4bf4e">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[16/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">

package/SVF-doxygen/html/extapi_8c_source.html

@@ -684,7 +684,7 @@ $(function() {
 <div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div>
 <div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;}</div>
 <div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160; </div>
-<div class="line"><a name="l00616"></a><span class="lineno"><a class="line" href="extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a">  616</a></span>&#160;<a class="code" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">__attribute__</a>((annotate(<span class="stringliteral">&quot;MEMSET&quot;</span>), annotate(<span class="stringliteral">&quot;BUF_CHECK:Arg0, Arg2&quot;</span>)))</div>
+<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;<a class="code" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">__attribute__</a>((annotate(<span class="stringliteral">&quot;MEMSET&quot;</span>)))</div>
 <div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;char *wmemset(<span class="keywordtype">wchar_t</span> * dst, <span class="keywordtype">wchar_t</span> elem, <span class="keywordtype">int</span> sz, <span class="keywordtype">int</span> flag) {</div>
 <div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div>
 <div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;}</div>

package/SVF-doxygen/html/globals.html

@@ -67,7 +67,7 @@ $(function() {
 <li>__attribute__()
 : <a class="el" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">extapi.c</a>
 , <a class="el" href="SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f">SVFValue.cpp</a>
-, <a class="el" href="extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c">extapi.c</a>
+, <a class="el" href="extapi_8c.html#acdc4a948c527401ff9433498a9757f03">extapi.c</a>
 </li>
 <li>__ctype_b_loc()
 : <a class="el" href="extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2">extapi.c</a>
@@ -88,8 +88,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a78579ef16de38e7c4d6b6c31662f7741">extapi.c</a>
 </li>
 <li>__pad0__
-: <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
-, <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
+: <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
+, <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__
 : <a class="el" href="PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464">PEGGrammar.txt</a>

package/SVF-doxygen/html/globals_func.html

@@ -67,7 +67,7 @@ $(function() {
 <li>__attribute__()
 : <a class="el" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">extapi.c</a>
 , <a class="el" href="SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f">SVFValue.cpp</a>
-, <a class="el" href="extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c">extapi.c</a>
+, <a class="el" href="extapi_8c.html#acdc4a948c527401ff9433498a9757f03">extapi.c</a>
 </li>
 <li>__ctype_b_loc()
 : <a class="el" href="extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2">extapi.c</a>

package/SVF-doxygen/html/globals_func_i.html

@@ -67,9 +67,6 @@ $(function() {
 <li>if()
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
 </li>
-<li>include()
-: <a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">CMakeLists.txt</a>
-</li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>

package/SVF-doxygen/html/globals_i.html

@@ -67,9 +67,6 @@ $(function() {
 <li>if()
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
 </li>
-<li>include()
-: <a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">CMakeLists.txt</a>
-</li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>
@@ -139,8 +136,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">extapi.c</a>
 </li>
 <li>item
-: <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/search/all_0.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a',1,'__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
+  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
   ['_5f_5fctype_5fb_5floc_1',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
   ['_5f_5fctype_5ftolower_5floc_2',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
   ['_5f_5fctype_5ftoupper_5floc_3',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],