svf-lib 1.0.2321 → 1.0.2323

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (307) hide show
  1. package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/WorkList.h +0 -0
  2. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/Modules/FindZ3.cmake +93 -0
  3. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfig.cmake +106 -0
  4. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +43 -0
  5. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFTargets-release.cmake +101 -0
  6. package/SVF-linux-x86_64/Release-build/lib/cmake/SVF/SVFTargets.cmake +180 -0
  7. package/SVF-linux-x86_64/Release-build/lib/libSvfCore.so.3.1 +0 -0
  8. package/SVF-linux-x86_64/Release-build/lib/libSvfLLVM.so.3.1 +0 -0
  9. package/SVF-linux-x86_64/Release-build/lib/pkgconfig/SVF.pc +12 -0
  10. package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfig.cmake +3 -3
  11. package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets.cmake +8 -8
  12. package/SVF-osx/Release-build/lib/pkgconfig/SVF.pc +1 -1
  13. package/package.json +1 -1
  14. package/SVF-linux-x86_64/Release-build/include/CFL/grammar/PAGGrammar.txt +0 -15
  15. package/SVF-linux-x86_64/Release-build/include/CFL/grammar/PEGGrammar.txt +0 -11
  16. package/SVF-linux-x86_64/Release-build/include/CFL/grammar/VFGGrammar.txt +0 -7
  17. package/SVF-linux-x86_64/Release-build/include/FastCluster/LICENSE.TXT +0 -13
  18. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/AbstractState.h +0 -0
  19. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/AbstractValue.h +0 -0
  20. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/AddressValue.h +0 -0
  21. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/ICFGWTO.h +0 -0
  22. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/IntervalValue.h +0 -0
  23. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/NumericValue.h +0 -0
  24. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/RelExeState.h +0 -0
  25. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Core/RelationSolver.h +0 -0
  26. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Svfexe/AEDetector.h +0 -0
  27. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Svfexe/AbsExtAPI.h +0 -0
  28. /package/SVF-linux-x86_64/Release-build/include/{AE → SVF/AE}/Svfexe/AbstractInterpretation.h +0 -0
  29. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFGNormalizer.h +0 -0
  30. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFGrammar.h +0 -0
  31. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLAlias.h +0 -0
  32. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLBase.h +0 -0
  33. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLGramGraphChecker.h +0 -0
  34. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLGraphBuilder.h +0 -0
  35. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLSVFGBuilder.h +0 -0
  36. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLSolver.h +0 -0
  37. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLStat.h +0 -0
  38. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/CFLVF.h +0 -0
  39. /package/SVF-linux-x86_64/Release-build/include/{CFL → SVF/CFL}/GrammarBuilder.h +0 -0
  40. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/ContextDDA.h +0 -0
  41. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/DDAClient.h +0 -0
  42. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/DDAPass.h +0 -0
  43. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/DDAStat.h +0 -0
  44. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/DDAVFSolver.h +0 -0
  45. /package/SVF-linux-x86_64/Release-build/include/{DDA → SVF/DDA}/FlowDDA.h +0 -0
  46. /package/SVF-linux-x86_64/Release-build/include/{FastCluster → SVF/FastCluster}/fastcluster.h +0 -0
  47. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/BasicBlockG.h +0 -0
  48. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/CDG.h +0 -0
  49. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/CFLGraph.h +0 -0
  50. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/CHG.h +0 -0
  51. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/CallGraph.h +0 -0
  52. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ConsG.h +0 -0
  53. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ConsGEdge.h +0 -0
  54. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ConsGNode.h +0 -0
  55. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/DOTGraphTraits.h +0 -0
  56. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/GenericGraph.h +0 -0
  57. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/GraphPrinter.h +0 -0
  58. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/GraphTraits.h +0 -0
  59. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/GraphWriter.h +0 -0
  60. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ICFG.h +0 -0
  61. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ICFGEdge.h +0 -0
  62. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ICFGNode.h +0 -0
  63. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ICFGStat.h +0 -0
  64. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/IRGraph.h +0 -0
  65. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SCC.h +0 -0
  66. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SVFG.h +0 -0
  67. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SVFGEdge.h +0 -0
  68. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SVFGNode.h +0 -0
  69. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SVFGOPT.h +0 -0
  70. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/SVFGStat.h +0 -0
  71. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/ThreadCallGraph.h +0 -0
  72. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/VFG.h +0 -0
  73. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/VFGEdge.h +0 -0
  74. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/VFGNode.h +0 -0
  75. /package/SVF-linux-x86_64/Release-build/include/{Graphs → SVF/Graphs}/WTO.h +0 -0
  76. /package/SVF-linux-x86_64/Release-build/include/{MSSA → SVF/MSSA}/MSSAMuChi.h +0 -0
  77. /package/SVF-linux-x86_64/Release-build/include/{MSSA → SVF/MSSA}/MemPartition.h +0 -0
  78. /package/SVF-linux-x86_64/Release-build/include/{MSSA → SVF/MSSA}/MemRegion.h +0 -0
  79. /package/SVF-linux-x86_64/Release-build/include/{MSSA → SVF/MSSA}/MemSSA.h +0 -0
  80. /package/SVF-linux-x86_64/Release-build/include/{MSSA → SVF/MSSA}/SVFGBuilder.h +0 -0
  81. /package/SVF-linux-x86_64/Release-build/include/{MTA → SVF/MTA}/LockAnalysis.h +0 -0
  82. /package/SVF-linux-x86_64/Release-build/include/{MTA → SVF/MTA}/MHP.h +0 -0
  83. /package/SVF-linux-x86_64/Release-build/include/{MTA → SVF/MTA}/MTA.h +0 -0
  84. /package/SVF-linux-x86_64/Release-build/include/{MTA → SVF/MTA}/MTAStat.h +0 -0
  85. /package/SVF-linux-x86_64/Release-build/include/{MTA → SVF/MTA}/TCT.h +0 -0
  86. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AbstractPointsToDS.h +0 -0
  87. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AccessPath.h +0 -0
  88. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/ConditionalPT.h +0 -0
  89. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/MutablePointsToDS.h +0 -0
  90. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToCache.h +0 -0
  91. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToDS.h +0 -0
  92. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysis.h +0 -0
  93. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysisImpl.h +0 -0
  94. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointsTo.h +0 -0
  95. /package/SVF-linux-x86_64/Release-build/include/{MemoryModel → SVF/MemoryModel}/SVFLoop.h +0 -0
  96. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/DoubleFreeChecker.h +0 -0
  97. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/FileChecker.h +0 -0
  98. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/LeakChecker.h +0 -0
  99. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/ProgSlice.h +0 -0
  100. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/SaberCheckerAPI.h +0 -0
  101. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/SaberCondAllocator.h +0 -0
  102. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/SaberSVFGBuilder.h +0 -0
  103. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/SrcSnkDDA.h +0 -0
  104. /package/SVF-linux-x86_64/Release-build/include/{SABER → SVF/SABER}/SrcSnkSolver.h +0 -0
  105. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BasicTypes.h +0 -0
  106. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BreakConstantExpr.h +0 -0
  107. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CHGBuilder.h +0 -0
  108. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CppUtil.h +0 -0
  109. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/DCHG.h +0 -0
  110. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/GEPTypeBridgeIterator.h +0 -0
  111. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ICFGBuilder.h +0 -0
  112. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMLoopAnalysis.h +0 -0
  113. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMModule.h +0 -0
  114. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMUtil.h +0 -0
  115. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ObjTypeInference.h +0 -0
  116. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SVFIRBuilder.h +0 -0
  117. /package/SVF-linux-x86_64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SymbolTableBuilder.h +0 -0
  118. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/ObjTypeInfo.h +0 -0
  119. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/PAGBuilderFromFile.h +0 -0
  120. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFIR.h +0 -0
  121. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFStatements.h +0 -0
  122. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFType.h +0 -0
  123. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFValue.h +0 -0
  124. /package/SVF-linux-x86_64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFVariables.h +0 -0
  125. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/Annotator.h +0 -0
  126. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/BitVector.h +0 -0
  127. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/CDGBuilder.h +0 -0
  128. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/CallGraphBuilder.h +0 -0
  129. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/Casting.h +0 -0
  130. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/CommandLine.h +0 -0
  131. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/CoreBitVector.h +0 -0
  132. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/CxtStmt.h +0 -0
  133. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/DPItem.h +0 -0
  134. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/ExtAPI.h +0 -0
  135. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/GeneralType.h +0 -0
  136. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/GraphReachSolver.h +0 -0
  137. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/NodeIDAllocator.h +0 -0
  138. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/Options.h +0 -0
  139. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/PTAStat.h +0 -0
  140. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/SVFBugReport.h +0 -0
  141. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/SVFLoopAndDomInfo.h +0 -0
  142. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/SVFStat.h +0 -0
  143. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/SVFUtil.h +0 -0
  144. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/SparseBitVector.h +0 -0
  145. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/ThreadAPI.h +0 -0
  146. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/Z3Expr.h +0 -0
  147. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/cJSON.h +0 -0
  148. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/iterator.h +0 -0
  149. /package/SVF-linux-x86_64/Release-build/include/{Util → SVF/Util}/iterator_range.h +0 -0
  150. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/Andersen.h +0 -0
  151. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/AndersenPWC.h +0 -0
  152. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/CSC.h +0 -0
  153. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/FlowSensitive.h +0 -0
  154. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/Steensgaard.h +0 -0
  155. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/TypeAnalysis.h +0 -0
  156. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/VersionedFlowSensitive.h +0 -0
  157. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/WPAFSSolver.h +0 -0
  158. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/WPAPass.h +0 -0
  159. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/WPASolver.h +0 -0
  160. /package/SVF-linux-x86_64/Release-build/include/{WPA → SVF/WPA}/WPAStat.h +0 -0
  161. /package/SVF-linux-x86_64/Release-build/{lib → include/SVF}/extapi.bc +0 -0
  162. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/AbstractState.h +0 -0
  163. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/AbstractValue.h +0 -0
  164. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/AddressValue.h +0 -0
  165. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/ICFGWTO.h +0 -0
  166. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/IntervalValue.h +0 -0
  167. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/NumericValue.h +0 -0
  168. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/RelExeState.h +0 -0
  169. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Core/RelationSolver.h +0 -0
  170. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Svfexe/AEDetector.h +0 -0
  171. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Svfexe/AbsExtAPI.h +0 -0
  172. /package/SVF-osx/Release-build/include/{SVF/AE → AE}/Svfexe/AbstractInterpretation.h +0 -0
  173. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFGNormalizer.h +0 -0
  174. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFGrammar.h +0 -0
  175. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLAlias.h +0 -0
  176. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLBase.h +0 -0
  177. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLGramGraphChecker.h +0 -0
  178. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLGraphBuilder.h +0 -0
  179. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLSVFGBuilder.h +0 -0
  180. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLSolver.h +0 -0
  181. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLStat.h +0 -0
  182. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/CFLVF.h +0 -0
  183. /package/SVF-osx/Release-build/include/{SVF/CFL → CFL}/GrammarBuilder.h +0 -0
  184. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/ContextDDA.h +0 -0
  185. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/DDAClient.h +0 -0
  186. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/DDAPass.h +0 -0
  187. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/DDAStat.h +0 -0
  188. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/DDAVFSolver.h +0 -0
  189. /package/SVF-osx/Release-build/include/{SVF/DDA → DDA}/FlowDDA.h +0 -0
  190. /package/SVF-osx/Release-build/include/{SVF/FastCluster → FastCluster}/fastcluster.h +0 -0
  191. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/BasicBlockG.h +0 -0
  192. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/CDG.h +0 -0
  193. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/CFLGraph.h +0 -0
  194. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/CHG.h +0 -0
  195. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/CallGraph.h +0 -0
  196. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ConsG.h +0 -0
  197. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ConsGEdge.h +0 -0
  198. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ConsGNode.h +0 -0
  199. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/DOTGraphTraits.h +0 -0
  200. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/GenericGraph.h +0 -0
  201. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/GraphPrinter.h +0 -0
  202. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/GraphTraits.h +0 -0
  203. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/GraphWriter.h +0 -0
  204. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ICFG.h +0 -0
  205. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ICFGEdge.h +0 -0
  206. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ICFGNode.h +0 -0
  207. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ICFGStat.h +0 -0
  208. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/IRGraph.h +0 -0
  209. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SCC.h +0 -0
  210. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SVFG.h +0 -0
  211. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SVFGEdge.h +0 -0
  212. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SVFGNode.h +0 -0
  213. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SVFGOPT.h +0 -0
  214. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/SVFGStat.h +0 -0
  215. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/ThreadCallGraph.h +0 -0
  216. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/VFG.h +0 -0
  217. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/VFGEdge.h +0 -0
  218. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/VFGNode.h +0 -0
  219. /package/SVF-osx/Release-build/include/{SVF/Graphs → Graphs}/WTO.h +0 -0
  220. /package/SVF-osx/Release-build/include/{SVF/MSSA → MSSA}/MSSAMuChi.h +0 -0
  221. /package/SVF-osx/Release-build/include/{SVF/MSSA → MSSA}/MemPartition.h +0 -0
  222. /package/SVF-osx/Release-build/include/{SVF/MSSA → MSSA}/MemRegion.h +0 -0
  223. /package/SVF-osx/Release-build/include/{SVF/MSSA → MSSA}/MemSSA.h +0 -0
  224. /package/SVF-osx/Release-build/include/{SVF/MSSA → MSSA}/SVFGBuilder.h +0 -0
  225. /package/SVF-osx/Release-build/include/{SVF/MTA → MTA}/LockAnalysis.h +0 -0
  226. /package/SVF-osx/Release-build/include/{SVF/MTA → MTA}/MHP.h +0 -0
  227. /package/SVF-osx/Release-build/include/{SVF/MTA → MTA}/MTA.h +0 -0
  228. /package/SVF-osx/Release-build/include/{SVF/MTA → MTA}/MTAStat.h +0 -0
  229. /package/SVF-osx/Release-build/include/{SVF/MTA → MTA}/TCT.h +0 -0
  230. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/AbstractPointsToDS.h +0 -0
  231. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/AccessPath.h +0 -0
  232. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/ConditionalPT.h +0 -0
  233. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/MutablePointsToDS.h +0 -0
  234. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/PersistentPointsToCache.h +0 -0
  235. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/PersistentPointsToDS.h +0 -0
  236. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/PointerAnalysis.h +0 -0
  237. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/PointerAnalysisImpl.h +0 -0
  238. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/PointsTo.h +0 -0
  239. /package/SVF-osx/Release-build/include/{SVF/MemoryModel → MemoryModel}/SVFLoop.h +0 -0
  240. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/DoubleFreeChecker.h +0 -0
  241. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/FileChecker.h +0 -0
  242. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/LeakChecker.h +0 -0
  243. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/ProgSlice.h +0 -0
  244. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/SaberCheckerAPI.h +0 -0
  245. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/SaberCondAllocator.h +0 -0
  246. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/SaberSVFGBuilder.h +0 -0
  247. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/SrcSnkDDA.h +0 -0
  248. /package/SVF-osx/Release-build/include/{SVF/SABER → SABER}/SrcSnkSolver.h +0 -0
  249. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/BasicTypes.h +0 -0
  250. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/BreakConstantExpr.h +0 -0
  251. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/CHGBuilder.h +0 -0
  252. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/CppUtil.h +0 -0
  253. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/DCHG.h +0 -0
  254. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/GEPTypeBridgeIterator.h +0 -0
  255. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/ICFGBuilder.h +0 -0
  256. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/LLVMLoopAnalysis.h +0 -0
  257. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/LLVMModule.h +0 -0
  258. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/LLVMUtil.h +0 -0
  259. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/ObjTypeInference.h +0 -0
  260. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/SVFIRBuilder.h +0 -0
  261. /package/SVF-osx/Release-build/include/{SVF/SVF-LLVM → SVF-LLVM}/SymbolTableBuilder.h +0 -0
  262. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/ObjTypeInfo.h +0 -0
  263. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/PAGBuilderFromFile.h +0 -0
  264. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/SVFIR.h +0 -0
  265. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/SVFStatements.h +0 -0
  266. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/SVFType.h +0 -0
  267. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/SVFValue.h +0 -0
  268. /package/SVF-osx/Release-build/include/{SVF/SVFIR → SVFIR}/SVFVariables.h +0 -0
  269. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/Annotator.h +0 -0
  270. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/BitVector.h +0 -0
  271. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/CDGBuilder.h +0 -0
  272. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/CallGraphBuilder.h +0 -0
  273. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/Casting.h +0 -0
  274. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/CommandLine.h +0 -0
  275. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/CoreBitVector.h +0 -0
  276. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/CxtStmt.h +0 -0
  277. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/DPItem.h +0 -0
  278. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/ExtAPI.h +0 -0
  279. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/GeneralType.h +0 -0
  280. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/GraphReachSolver.h +0 -0
  281. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/NodeIDAllocator.h +0 -0
  282. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/Options.h +0 -0
  283. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/PTAStat.h +0 -0
  284. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/SVFBugReport.h +0 -0
  285. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/SVFLoopAndDomInfo.h +0 -0
  286. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/SVFStat.h +0 -0
  287. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/SVFUtil.h +0 -0
  288. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/SparseBitVector.h +0 -0
  289. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/ThreadAPI.h +0 -0
  290. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/WorkList.h +0 -0
  291. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/Z3Expr.h +0 -0
  292. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/cJSON.h +0 -0
  293. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/config.h +0 -0
  294. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/iterator.h +0 -0
  295. /package/SVF-osx/Release-build/include/{SVF/Util → Util}/iterator_range.h +0 -0
  296. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/Andersen.h +0 -0
  297. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/AndersenPWC.h +0 -0
  298. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/CSC.h +0 -0
  299. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/FlowSensitive.h +0 -0
  300. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/Steensgaard.h +0 -0
  301. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/TypeAnalysis.h +0 -0
  302. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/VersionedFlowSensitive.h +0 -0
  303. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/WPAFSSolver.h +0 -0
  304. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/WPAPass.h +0 -0
  305. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/WPASolver.h +0 -0
  306. /package/SVF-osx/Release-build/include/{SVF/WPA → WPA}/WPAStat.h +0 -0
  307. /package/SVF-osx/Release-build/{include/SVF → lib}/extapi.bc +0 -0