svf-lib 1.0.2324 → 1.0.2326

package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfig.cmake

@@ -60,8 +60,8 @@ set_and_check(SVF_INSTALL_ROOT "${PACKAGE_PREFIX_DIR}")
 set_and_check(SVF_INSTALL_PREFIX "${PACKAGE_PREFIX_DIR}")
 set_and_check(SVF_INSTALL_BINDIR "${PACKAGE_PREFIX_DIR}/bin")
 set_and_check(SVF_INSTALL_LIBDIR "${PACKAGE_PREFIX_DIR}/lib")
-set_and_check(SVF_INSTALL_EXTAPIDIR "${PACKAGE_PREFIX_DIR}/include/SVF")
-set_and_check(SVF_INSTALL_INCLUDEDIR "${PACKAGE_PREFIX_DIR}/include/SVF")
+set_and_check(SVF_INSTALL_EXTAPIDIR "${PACKAGE_PREFIX_DIR}/lib")
+set_and_check(SVF_INSTALL_INCLUDEDIR "${PACKAGE_PREFIX_DIR}/include")
 set_and_check(SVF_INSTALL_PKGCONFDIR "${PACKAGE_PREFIX_DIR}/lib/pkgconfig")
 set_and_check(SVF_INSTALL_CMAKECONFIGDIR "${PACKAGE_PREFIX_DIR}/lib/cmake/SVF")
 
@@ -74,7 +74,7 @@ set(SVF_INSTALL_PKGCONF_DIR "${SVF_INSTALL_PKGCONFDIR}")
 set(SVF_INSTALL_CMAKECONFIG_DIR "${SVF_INSTALL_CMAKECONFIGDIR}")
 
 # Expose the installed location of the extapi.bc file (plus some legacy aliases)
-set_and_check(SVF_INSTALL_EXTAPI_BC "${PACKAGE_PREFIX_DIR}/include/SVF/extapi.bc")
+set_and_check(SVF_INSTALL_EXTAPI_BC "${PACKAGE_PREFIX_DIR}/lib/extapi.bc")
 set(SVF_INSTALL_EXTAPI_FILE "${SVF_INSTALL_EXTAPI_BC}")
 
 # Shouldn't be used, but also expose source tree location

package/SVF-linux-x86_64/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-linux-x86_64/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/llvm_install.sh

@@ -13,7 +13,11 @@ Z3Home="z3.obj"
 LLVMHome="llvm-${LLVMVer}.obj"
 
 # resume softlink libSvfLLVM.so since npm pack would ignore softlink
-ln -sf libSvfLLVM.so.16 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so"
+ln -sf libSvfLLVM.so.3.1 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so.3"
+ln -sf libSvfLLVM.so.3 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so"
+ln -sf libSvfCore.so.3.1 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfCore.so.3"
+ln -sf libSvfCore.so.3 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfCore.so"
+
 
 cd $SVFHOME
 cd ..

package/package.json

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