svf-lib 1.0.2321 → 1.0.2323

package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets.cmake

@@ -61,11 +61,11 @@ add_library(SVF::SvfFlags INTERFACE IMPORTED)
 set_target_properties(SVF::SvfFlags PROPERTIES
   INTERFACE_COMPILE_FEATURES "c_std_11;cxx_std_17"
   INTERFACE_COMPILE_OPTIONS "\$<\$<NOT:\$<BOOL:ON>>:-fno-rtti>"
-  INTERFACE_INCLUDE_DIRECTORIES "${_IMPORT_PREFIX}/include/SVF;${_IMPORT_PREFIX}/include"
+  INTERFACE_INCLUDE_DIRECTORIES "${_IMPORT_PREFIX}/include;${_IMPORT_PREFIX}/include"
   INTERFACE_LINK_DIRECTORIES "${_IMPORT_PREFIX}/lib"
   INTERFACE_LINK_LIBRARIES "z3::libz3"
   INTERFACE_LINK_OPTIONS "\$<\$<NOT:\$<BOOL:ON>>:-fno-rtti>"
-  INTERFACE_SYSTEM_INCLUDE_DIRECTORIES "include/SVF;include"
+  INTERFACE_SYSTEM_INCLUDE_DIRECTORIES "include;include"
 )
 
 # Create imported target SVF::SvfCore
@@ -80,13 +80,13 @@ if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
     INTERFACE
       FILE_SET "HEADERS"
       TYPE "HEADERS"
-      BASE_DIRS "${_IMPORT_PREFIX}/include/SVF"
-      FILES "${_IMPORT_PREFIX}/include/SVF/AE/Core/AbstractState.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/AbstractValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/AddressValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/ICFGWTO.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/IntervalValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/NumericValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/RelExeState.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/RelationSolver.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AEDetector.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AbsExtAPI.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AbstractInterpretation.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFGNormalizer.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFGrammar.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLAlias.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLBase.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLGramGraphChecker.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLGraphBuilder.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLSVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLSolver.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLStat.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLVF.h" "${_IMPORT_PREFIX}/include/SVF/CFL/GrammarBuilder.h" "${_IMPORT_PREFIX}/include/SVF/DDA/ContextDDA.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAClient.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAPass.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAStat.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAVFSolver.h" "${_IMPORT_PREFIX}/include/SVF/DDA/FlowDDA.h" "${_IMPORT_PREFIX}/include/SVF/FastCluster/fastcluster.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/BasicBlockG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CDG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CFLGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CHG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CallGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/DOTGraphTraits.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GenericGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphPrinter.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphTraits.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphWriter.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGStat.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/IRGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SCC.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGOPT.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGStat.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ThreadCallGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/WTO.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MSSAMuChi.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemPartition.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemRegion.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemSSA.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/SVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/MTA/LockAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MHP.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MTA.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MTAStat.h" "${_IMPORT_PREFIX}/include/SVF/MTA/TCT.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/AbstractPointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/AccessPath.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/ConditionalPT.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/MutablePointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PersistentPointsToCache.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PersistentPointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointerAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointerAnalysisImpl.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointsTo.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/SVFLoop.h" "${_IMPORT_PREFIX}/include/SVF/SABER/DoubleFreeChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/FileChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/LeakChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/ProgSlice.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberCheckerAPI.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberCondAllocator.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberSVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SrcSnkDDA.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SrcSnkSolver.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/ObjTypeInfo.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/PAGBuilderFromFile.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFIR.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFStatements.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFType.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFValue.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFVariables.h" "${_IMPORT_PREFIX}/include/SVF/Util/Annotator.h" "${_IMPORT_PREFIX}/include/SVF/Util/BitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/CDGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/Util/CallGraphBuilder.h" "${_IMPORT_PREFIX}/include/SVF/Util/Casting.h" "${_IMPORT_PREFIX}/include/SVF/Util/CommandLine.h" "${_IMPORT_PREFIX}/include/SVF/Util/CoreBitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/CxtStmt.h" "${_IMPORT_PREFIX}/include/SVF/Util/DPItem.h" "${_IMPORT_PREFIX}/include/SVF/Util/ExtAPI.h" "${_IMPORT_PREFIX}/include/SVF/Util/GeneralType.h" "${_IMPORT_PREFIX}/include/SVF/Util/GraphReachSolver.h" "${_IMPORT_PREFIX}/include/SVF/Util/NodeIDAllocator.h" "${_IMPORT_PREFIX}/include/SVF/Util/Options.h" "${_IMPORT_PREFIX}/include/SVF/Util/PTAStat.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFBugReport.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFLoopAndDomInfo.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFStat.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFUtil.h" "${_IMPORT_PREFIX}/include/SVF/Util/SparseBitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/ThreadAPI.h" "${_IMPORT_PREFIX}/include/SVF/Util/WorkList.h" "${_IMPORT_PREFIX}/include/SVF/Util/Z3Expr.h" "${_IMPORT_PREFIX}/include/SVF/Util/cJSON.h" "${_IMPORT_PREFIX}/include/SVF/Util/iterator.h" "${_IMPORT_PREFIX}/include/SVF/Util/iterator_range.h" "${_IMPORT_PREFIX}/include/SVF/WPA/Andersen.h" "${_IMPORT_PREFIX}/include/SVF/WPA/AndersenPWC.h" "${_IMPORT_PREFIX}/include/SVF/WPA/CSC.h" "${_IMPORT_PREFIX}/include/SVF/WPA/FlowSensitive.h" "${_IMPORT_PREFIX}/include/SVF/WPA/Steensgaard.h" "${_IMPORT_PREFIX}/include/SVF/WPA/TypeAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/WPA/VersionedFlowSensitive.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAFSSolver.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAPass.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPASolver.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAStat.h"
+      BASE_DIRS "${_IMPORT_PREFIX}/include"
+      FILES "${_IMPORT_PREFIX}/include/AE/Core/AbstractState.h" "${_IMPORT_PREFIX}/include/AE/Core/AbstractValue.h" "${_IMPORT_PREFIX}/include/AE/Core/AddressValue.h" "${_IMPORT_PREFIX}/include/AE/Core/ICFGWTO.h" "${_IMPORT_PREFIX}/include/AE/Core/IntervalValue.h" "${_IMPORT_PREFIX}/include/AE/Core/NumericValue.h" "${_IMPORT_PREFIX}/include/AE/Core/RelExeState.h" "${_IMPORT_PREFIX}/include/AE/Core/RelationSolver.h" "${_IMPORT_PREFIX}/include/AE/Svfexe/AEDetector.h" "${_IMPORT_PREFIX}/include/AE/Svfexe/AbsExtAPI.h" "${_IMPORT_PREFIX}/include/AE/Svfexe/AbstractInterpretation.h" "${_IMPORT_PREFIX}/include/CFL/CFGNormalizer.h" "${_IMPORT_PREFIX}/include/CFL/CFGrammar.h" "${_IMPORT_PREFIX}/include/CFL/CFLAlias.h" "${_IMPORT_PREFIX}/include/CFL/CFLBase.h" "${_IMPORT_PREFIX}/include/CFL/CFLGramGraphChecker.h" "${_IMPORT_PREFIX}/include/CFL/CFLGraphBuilder.h" "${_IMPORT_PREFIX}/include/CFL/CFLSVFGBuilder.h" "${_IMPORT_PREFIX}/include/CFL/CFLSolver.h" "${_IMPORT_PREFIX}/include/CFL/CFLStat.h" "${_IMPORT_PREFIX}/include/CFL/CFLVF.h" "${_IMPORT_PREFIX}/include/CFL/GrammarBuilder.h" "${_IMPORT_PREFIX}/include/DDA/ContextDDA.h" "${_IMPORT_PREFIX}/include/DDA/DDAClient.h" "${_IMPORT_PREFIX}/include/DDA/DDAPass.h" "${_IMPORT_PREFIX}/include/DDA/DDAStat.h" "${_IMPORT_PREFIX}/include/DDA/DDAVFSolver.h" "${_IMPORT_PREFIX}/include/DDA/FlowDDA.h" "${_IMPORT_PREFIX}/include/FastCluster/fastcluster.h" "${_IMPORT_PREFIX}/include/Graphs/BasicBlockG.h" "${_IMPORT_PREFIX}/include/Graphs/CDG.h" "${_IMPORT_PREFIX}/include/Graphs/CFLGraph.h" "${_IMPORT_PREFIX}/include/Graphs/CHG.h" "${_IMPORT_PREFIX}/include/Graphs/CallGraph.h" "${_IMPORT_PREFIX}/include/Graphs/ConsG.h" "${_IMPORT_PREFIX}/include/Graphs/ConsGEdge.h" "${_IMPORT_PREFIX}/include/Graphs/ConsGNode.h" "${_IMPORT_PREFIX}/include/Graphs/DOTGraphTraits.h" "${_IMPORT_PREFIX}/include/Graphs/GenericGraph.h" "${_IMPORT_PREFIX}/include/Graphs/GraphPrinter.h" "${_IMPORT_PREFIX}/include/Graphs/GraphTraits.h" "${_IMPORT_PREFIX}/include/Graphs/GraphWriter.h" "${_IMPORT_PREFIX}/include/Graphs/ICFG.h" "${_IMPORT_PREFIX}/include/Graphs/ICFGEdge.h" "${_IMPORT_PREFIX}/include/Graphs/ICFGNode.h" "${_IMPORT_PREFIX}/include/Graphs/ICFGStat.h" "${_IMPORT_PREFIX}/include/Graphs/IRGraph.h" "${_IMPORT_PREFIX}/include/Graphs/SCC.h" "${_IMPORT_PREFIX}/include/Graphs/SVFG.h" "${_IMPORT_PREFIX}/include/Graphs/SVFGEdge.h" "${_IMPORT_PREFIX}/include/Graphs/SVFGNode.h" "${_IMPORT_PREFIX}/include/Graphs/SVFGOPT.h" "${_IMPORT_PREFIX}/include/Graphs/SVFGStat.h" "${_IMPORT_PREFIX}/include/Graphs/ThreadCallGraph.h" "${_IMPORT_PREFIX}/include/Graphs/VFG.h" "${_IMPORT_PREFIX}/include/Graphs/VFGEdge.h" "${_IMPORT_PREFIX}/include/Graphs/VFGNode.h" "${_IMPORT_PREFIX}/include/Graphs/WTO.h" "${_IMPORT_PREFIX}/include/MSSA/MSSAMuChi.h" "${_IMPORT_PREFIX}/include/MSSA/MemPartition.h" "${_IMPORT_PREFIX}/include/MSSA/MemRegion.h" "${_IMPORT_PREFIX}/include/MSSA/MemSSA.h" "${_IMPORT_PREFIX}/include/MSSA/SVFGBuilder.h" "${_IMPORT_PREFIX}/include/MTA/LockAnalysis.h" "${_IMPORT_PREFIX}/include/MTA/MHP.h" "${_IMPORT_PREFIX}/include/MTA/MTA.h" "${_IMPORT_PREFIX}/include/MTA/MTAStat.h" "${_IMPORT_PREFIX}/include/MTA/TCT.h" "${_IMPORT_PREFIX}/include/MemoryModel/AbstractPointsToDS.h" "${_IMPORT_PREFIX}/include/MemoryModel/AccessPath.h" "${_IMPORT_PREFIX}/include/MemoryModel/ConditionalPT.h" "${_IMPORT_PREFIX}/include/MemoryModel/MutablePointsToDS.h" "${_IMPORT_PREFIX}/include/MemoryModel/PersistentPointsToCache.h" "${_IMPORT_PREFIX}/include/MemoryModel/PersistentPointsToDS.h" "${_IMPORT_PREFIX}/include/MemoryModel/PointerAnalysis.h" "${_IMPORT_PREFIX}/include/MemoryModel/PointerAnalysisImpl.h" "${_IMPORT_PREFIX}/include/MemoryModel/PointsTo.h" "${_IMPORT_PREFIX}/include/MemoryModel/SVFLoop.h" "${_IMPORT_PREFIX}/include/SABER/DoubleFreeChecker.h" "${_IMPORT_PREFIX}/include/SABER/FileChecker.h" "${_IMPORT_PREFIX}/include/SABER/LeakChecker.h" "${_IMPORT_PREFIX}/include/SABER/ProgSlice.h" "${_IMPORT_PREFIX}/include/SABER/SaberCheckerAPI.h" "${_IMPORT_PREFIX}/include/SABER/SaberCondAllocator.h" "${_IMPORT_PREFIX}/include/SABER/SaberSVFGBuilder.h" "${_IMPORT_PREFIX}/include/SABER/SrcSnkDDA.h" "${_IMPORT_PREFIX}/include/SABER/SrcSnkSolver.h" "${_IMPORT_PREFIX}/include/SVFIR/ObjTypeInfo.h" "${_IMPORT_PREFIX}/include/SVFIR/PAGBuilderFromFile.h" "${_IMPORT_PREFIX}/include/SVFIR/SVFIR.h" "${_IMPORT_PREFIX}/include/SVFIR/SVFStatements.h" "${_IMPORT_PREFIX}/include/SVFIR/SVFType.h" "${_IMPORT_PREFIX}/include/SVFIR/SVFValue.h" "${_IMPORT_PREFIX}/include/SVFIR/SVFVariables.h" "${_IMPORT_PREFIX}/include/Util/Annotator.h" "${_IMPORT_PREFIX}/include/Util/BitVector.h" "${_IMPORT_PREFIX}/include/Util/CDGBuilder.h" "${_IMPORT_PREFIX}/include/Util/CallGraphBuilder.h" "${_IMPORT_PREFIX}/include/Util/Casting.h" "${_IMPORT_PREFIX}/include/Util/CommandLine.h" "${_IMPORT_PREFIX}/include/Util/CoreBitVector.h" "${_IMPORT_PREFIX}/include/Util/CxtStmt.h" "${_IMPORT_PREFIX}/include/Util/DPItem.h" "${_IMPORT_PREFIX}/include/Util/ExtAPI.h" "${_IMPORT_PREFIX}/include/Util/GeneralType.h" "${_IMPORT_PREFIX}/include/Util/GraphReachSolver.h" "${_IMPORT_PREFIX}/include/Util/NodeIDAllocator.h" "${_IMPORT_PREFIX}/include/Util/Options.h" "${_IMPORT_PREFIX}/include/Util/PTAStat.h" "${_IMPORT_PREFIX}/include/Util/SVFBugReport.h" "${_IMPORT_PREFIX}/include/Util/SVFLoopAndDomInfo.h" "${_IMPORT_PREFIX}/include/Util/SVFStat.h" "${_IMPORT_PREFIX}/include/Util/SVFUtil.h" "${_IMPORT_PREFIX}/include/Util/SparseBitVector.h" "${_IMPORT_PREFIX}/include/Util/ThreadAPI.h" "${_IMPORT_PREFIX}/include/Util/WorkList.h" "${_IMPORT_PREFIX}/include/Util/Z3Expr.h" "${_IMPORT_PREFIX}/include/Util/cJSON.h" "${_IMPORT_PREFIX}/include/Util/iterator.h" "${_IMPORT_PREFIX}/include/Util/iterator_range.h" "${_IMPORT_PREFIX}/include/WPA/Andersen.h" "${_IMPORT_PREFIX}/include/WPA/AndersenPWC.h" "${_IMPORT_PREFIX}/include/WPA/CSC.h" "${_IMPORT_PREFIX}/include/WPA/FlowSensitive.h" "${_IMPORT_PREFIX}/include/WPA/Steensgaard.h" "${_IMPORT_PREFIX}/include/WPA/TypeAnalysis.h" "${_IMPORT_PREFIX}/include/WPA/VersionedFlowSensitive.h" "${_IMPORT_PREFIX}/include/WPA/WPAFSSolver.h" "${_IMPORT_PREFIX}/include/WPA/WPAPass.h" "${_IMPORT_PREFIX}/include/WPA/WPASolver.h" "${_IMPORT_PREFIX}/include/WPA/WPAStat.h"
   )
 else()
   set_property(TARGET SVF::SvfCore
     APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
-      "${_IMPORT_PREFIX}/include/SVF"
+      "${_IMPORT_PREFIX}/include"
   )
 endif()
 
@@ -102,13 +102,13 @@ if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
     INTERFACE
       FILE_SET "HEADERS"
       TYPE "HEADERS"
-      BASE_DIRS "${_IMPORT_PREFIX}/include/SVF"
-      FILES "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/BasicTypes.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/BreakConstantExpr.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/CHGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/CppUtil.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/DCHG.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/GEPTypeBridgeIterator.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/ICFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMLoopAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMModule.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMUtil.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/ObjTypeInference.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/SVFIRBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/SymbolTableBuilder.h"
+      BASE_DIRS "${_IMPORT_PREFIX}/include"
+      FILES "${_IMPORT_PREFIX}/include/SVF-LLVM/BasicTypes.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/BreakConstantExpr.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CHGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CppUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/DCHG.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/GEPTypeBridgeIterator.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ICFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMLoopAnalysis.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMModule.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ObjTypeInference.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SVFIRBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SymbolTableBuilder.h"
   )
 else()
   set_property(TARGET SVF::SvfLLVM
     APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
-      "${_IMPORT_PREFIX}/include/SVF"
+      "${_IMPORT_PREFIX}/include"
   )
 endif()
 

package/SVF-osx/Release-build/lib/pkgconfig/SVF.pc

@@ -2,7 +2,7 @@ prefix=${pcfiledir}/../..
 exec_prefix=${prefix}
 bindir=${exec_prefix}/bin
 libdir=${exec_prefix}/lib
-includedir=${exec_prefix}/include/SVF
+includedir=${exec_prefix}/include
 
 Name: SVF
 Description: SVF Points to Analysis Framework

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2321",
+  "version": "1.0.2323",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {

package/SVF-linux-x86_64/Release-build/include/CFL/grammar/PAGGrammar.txt

@@ -1,15 +0,0 @@
-Start:  
-   V
-Terminal:
-   addr copy store load gep vgep 
-Productions:
-   F -> epsilon | F copy | addr Memflow | F store V load | store Memflow load | F F;
-   Fbar -> epsilon | copybar Fbar | Memflowbar addrbar | loadbar V storebar Fbar | loadbar Memflowbar storebar;
-   V -> Fbar V F | addrbar addr | gepbar_i V gep_i | gepbarpath V gep_0 | gepbar_i F gep_i | gepbar_i Fbar gep_i;
-   copy -> vgep;
-   copybar -> vgepbar;
-   gep_1 -> gep_0 F vgep | gep_0 F gep_1;
-   gepbar_1 -> gepbar_1 Fbar gepbar_0 | vgepbar Fbar gepbar_0;
-   gepbarpath -> gepbar_0 gepbar_0 | gepbarpath gepbar_0;
-   Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;
-   Memflowbar -> storebar loadbar | Memflowbar F | F Memflowbar Fbar | gep_i Memflowbar gepbar_i | gepbar_i Memflowbar gep_i;

package/SVF-linux-x86_64/Release-build/include/CFL/grammar/PEGGrammar.txt

@@ -1,11 +0,0 @@
-Start:  
-   V
-Terminal:
-   addr copy store load gep
-Productions:
-   F -> ( copy M ? ) *;
-   Fbar -> ( M ? copybar ) *;
-   M -> addr V addrbar;
-   V -> Fbar V F | gepbar_i V gep_i | M | epsilon | gepbar_i Memcpy gep_i | gep_i Memcpy gepbar_i | ArrayPath V gep_0;
-   ArrayPath -> gepbar_0 gepbar_0 | ArrayPath gepbar_0;
-   Memcpy -> addrbar V addr | gep_i Memcpy gepbar_i | F Memcpy Fbar;

package/SVF-linux-x86_64/Release-build/include/CFL/grammar/VFGGrammar.txt

@@ -1,7 +0,0 @@
-Start:  
-   A
-Terminal:
-   a call ret
-Productions:
-   A -> A A | a | call_i A ret_i | epsilon;
-   Abar -> Abar Abar | abar | retbar_i Abar callbar_i | epsilon; 

package/SVF-linux-x86_64/Release-build/include/FastCluster/LICENSE.TXT

@@ -1,13 +0,0 @@
-Copyright:
-  * fastcluster_dm.cpp & fastcluster_R_dm.cpp:
-     © 2011 Daniel Müllner <http://danifold.net>
-  * fastcluster.(h|cpp) & demo.cpp & plotresult.r:
-     © 2018 Christoph Dalitz <http://www.hsnr.de/ipattern/>
-All rights reserved.
-
-Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
-
-  * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
-  * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
-
-THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.