svf-lib 1.0.1815 → 1.0.1817

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 (111) hide show
  1. package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
  2. package/SVF-linux/svf/include/DDA/DDAStat.h +0 -17
  3. package/SVF-linux/svf/include/Graphs/ConsG.h +2 -0
  4. package/SVF-linux/svf/include/Util/PTAStat.h +19 -1
  5. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  6. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  7. package/SVF-osx/svf/include/AbstractExecution/BoundedZ3Expr.h +2 -0
  8. package/SVF-osx/svf/include/AbstractExecution/ConsExeState.h +8 -0
  9. package/SVF-osx/svf/include/AbstractExecution/ExeState.h +8 -0
  10. package/SVF-osx/svf/include/AbstractExecution/IntervalExeState.h +7 -0
  11. package/SVF-osx/svf/include/AbstractExecution/IntervalValue.h +3 -0
  12. package/SVF-osx/svf/include/AbstractExecution/NumericLiteral.h +2 -0
  13. package/SVF-osx/svf/include/AbstractExecution/RelExeState.h +1 -0
  14. package/SVF-osx/svf/include/AbstractExecution/RelationSolver.h +1 -0
  15. package/SVF-osx/svf/include/AbstractExecution/SVFIR2ConsExeState.h +1 -0
  16. package/SVF-osx/svf/include/AbstractExecution/SVFIR2ItvExeState.h +4 -0
  17. package/SVF-osx/svf/include/AbstractExecution/SingleAbsValue.h +2 -0
  18. package/SVF-osx/svf/include/AbstractExecution/SymState.h +4 -0
  19. package/SVF-osx/svf/include/AbstractExecution/WTO.h +5 -0
  20. package/SVF-osx/svf/include/CFL/CFGrammar.h +4 -0
  21. package/SVF-osx/svf/include/CFL/CFLAlias.h +1 -0
  22. package/SVF-osx/svf/include/CFL/CFLGraphBuilder.h +1 -0
  23. package/SVF-osx/svf/include/CFL/CFLStat.h +1 -0
  24. package/SVF-osx/svf/include/CFL/CFLVF.h +1 -0
  25. package/SVF-osx/svf/include/DDA/ContextDDA.h +1 -0
  26. package/SVF-osx/svf/include/DDA/DDAClient.h +5 -0
  27. package/SVF-osx/svf/include/DDA/DDAPass.h +1 -0
  28. package/SVF-osx/svf/include/DDA/DDAStat.h +0 -17
  29. package/SVF-osx/svf/include/FastCluster/fastcluster.h +1 -0
  30. package/SVF-osx/svf/include/Graphs/CDG.h +3 -0
  31. package/SVF-osx/svf/include/Graphs/CFBasicBlockG.h +3 -0
  32. package/SVF-osx/svf/include/Graphs/CFLGraph.h +1 -0
  33. package/SVF-osx/svf/include/Graphs/CHG.h +4 -2
  34. package/SVF-osx/svf/include/Graphs/ConsG.h +2 -0
  35. package/SVF-osx/svf/include/Graphs/ConsGEdge.h +5 -0
  36. package/SVF-osx/svf/include/Graphs/ConsGNode.h +1 -0
  37. package/SVF-osx/svf/include/Graphs/DOTGraphTraits.h +1 -0
  38. package/SVF-osx/svf/include/Graphs/GenericGraph.h +1 -0
  39. package/SVF-osx/svf/include/Graphs/GraphPrinter.h +3 -0
  40. package/SVF-osx/svf/include/Graphs/GraphTraits.h +2 -2
  41. package/SVF-osx/svf/include/Graphs/ICFG.h +1 -0
  42. package/SVF-osx/svf/include/Graphs/ICFGNode.h +3 -0
  43. package/SVF-osx/svf/include/Graphs/ICFGStat.h +2 -0
  44. package/SVF-osx/svf/include/Graphs/IRGraph.h +1 -0
  45. package/SVF-osx/svf/include/Graphs/PTACallGraph.h +3 -0
  46. package/SVF-osx/svf/include/Graphs/SVFG.h +2 -0
  47. package/SVF-osx/svf/include/Graphs/SVFGEdge.h +1 -0
  48. package/SVF-osx/svf/include/Graphs/SVFGNode.h +7 -0
  49. package/SVF-osx/svf/include/Graphs/SVFGOPT.h +3 -0
  50. package/SVF-osx/svf/include/Graphs/SVFGStat.h +2 -0
  51. package/SVF-osx/svf/include/Graphs/ThreadCallGraph.h +3 -0
  52. package/SVF-osx/svf/include/Graphs/VFG.h +2 -0
  53. package/SVF-osx/svf/include/Graphs/VFGEdge.h +3 -0
  54. package/SVF-osx/svf/include/Graphs/VFGNode.h +8 -0
  55. package/SVF-osx/svf/include/MSSA/MSSAMuChi.h +4 -0
  56. package/SVF-osx/svf/include/MSSA/MemPartition.h +1 -0
  57. package/SVF-osx/svf/include/MSSA/MemRegion.h +1 -0
  58. package/SVF-osx/svf/include/MSSA/MemSSA.h +1 -0
  59. package/SVF-osx/svf/include/MTA/FSMPTA.h +6 -0
  60. package/SVF-osx/svf/include/MTA/LockAnalysis.h +5 -0
  61. package/SVF-osx/svf/include/MTA/MHP.h +3 -0
  62. package/SVF-osx/svf/include/MTA/MTA.h +1 -0
  63. package/SVF-osx/svf/include/MTA/MTAResultValidator.h +2 -0
  64. package/SVF-osx/svf/include/MTA/TCT.h +1 -0
  65. package/SVF-osx/svf/include/MemoryModel/AbstractPointsToDS.h +2 -0
  66. package/SVF-osx/svf/include/MemoryModel/AccessPath.h +5 -0
  67. package/SVF-osx/svf/include/MemoryModel/ConditionalPT.h +5 -0
  68. package/SVF-osx/svf/include/MemoryModel/PersistentPointsToDS.h +1 -0
  69. package/SVF-osx/svf/include/MemoryModel/PointerAnalysis.h +1 -0
  70. package/SVF-osx/svf/include/MemoryModel/PointerAnalysisImpl.h +1 -0
  71. package/SVF-osx/svf/include/MemoryModel/PointsTo.h +1 -0
  72. package/SVF-osx/svf/include/SABER/DoubleFreeChecker.h +1 -0
  73. package/SVF-osx/svf/include/SABER/ProgSlice.h +1 -0
  74. package/SVF-osx/svf/include/SABER/SaberCondAllocator.h +4 -0
  75. package/SVF-osx/svf/include/SABER/SaberSVFGBuilder.h +1 -0
  76. package/SVF-osx/svf/include/SVFIR/SVFIR.h +2 -0
  77. package/SVF-osx/svf/include/SVFIR/SVFStatements.h +2 -0
  78. package/SVF-osx/svf/include/SVFIR/SVFType.h +2 -0
  79. package/SVF-osx/svf/include/SVFIR/SVFValue.h +3 -0
  80. package/SVF-osx/svf/include/SVFIR/SVFVariables.h +5 -0
  81. package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h +5 -0
  82. package/SVF-osx/svf/include/Util/CDGBuilder.h +8 -0
  83. package/SVF-osx/svf/include/Util/CallGraphBuilder.h +2 -0
  84. package/SVF-osx/svf/include/Util/Casting.h +2 -1
  85. package/SVF-osx/svf/include/Util/CommandLine.h +1 -0
  86. package/SVF-osx/svf/include/Util/CxtStmt.h +4 -0
  87. package/SVF-osx/svf/include/Util/DPItem.h +2 -0
  88. package/SVF-osx/svf/include/Util/NodeIDAllocator.h +2 -2
  89. package/SVF-osx/svf/include/Util/PTAStat.h +19 -1
  90. package/SVF-osx/svf/include/Util/SCC.h +2 -0
  91. package/SVF-osx/svf/include/Util/SVFBugReport.h +1 -0
  92. package/SVF-osx/svf/include/Util/SVFStat.h +1 -0
  93. package/SVF-osx/svf/include/Util/SVFUtil.h +1 -0
  94. package/SVF-osx/svf/include/Util/ThreadAPI.h +1 -0
  95. package/SVF-osx/svf/include/Util/WorkList.h +1 -0
  96. package/SVF-osx/svf/include/Util/Z3Expr.h +4 -0
  97. package/SVF-osx/svf/include/Util/iterator.h +2 -2
  98. package/SVF-osx/svf/include/WPA/Andersen.h +6 -0
  99. package/SVF-osx/svf/include/WPA/AndersenPWC.h +3 -0
  100. package/SVF-osx/svf/include/WPA/WPAFSSolver.h +5 -0
  101. package/SVF-osx/svf/include/WPA/WPAPass.h +2 -0
  102. package/SVF-osx/svf/include/WPA/WPASolver.h +2 -0
  103. package/SVF-osx/svf/include/WPA/WPAStat.h +1 -0
  104. package/SVF-osx/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h +1 -0
  105. package/SVF-osx/svf-llvm/include/SVF-LLVM/DCHG.h +1 -0
  106. package/SVF-osx/svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h +3 -0
  107. package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMModule.h +1 -0
  108. package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h +1 -0
  109. package/SVF-osx/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +1 -0
  110. package/SVF-osx/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h +1 -0
  111. package/package.json +1 -1
@@ -322,6 +322,7 @@ public:
322
322
  return it->second;
323
323
  }
324
324
 
325
+
325
326
  Module* getMainLLVMModule() const
326
327
  {
327
328
  return getModule(0);
@@ -466,6 +466,7 @@ std::string dumpValue(const Value* val);
466
466
 
467
467
  std::string dumpType(const Type* type);
468
468
 
469
+
469
470
  /**
470
471
  * See more: https://github.com/SVF-tools/SVF/pull/1191
471
472
  *
@@ -114,6 +114,7 @@ public:
114
114
  }
115
115
  //@}
116
116
 
117
+
117
118
  /// Our visit overrides.
118
119
  //@{
119
120
  // Instructions that cannot be folded away.
@@ -57,6 +57,7 @@ public:
57
57
  /// Return size of this object based on LLVM value
58
58
  u32_t getNumOfElements(const Type* ety);
59
59
 
60
+
60
61
  protected:
61
62
 
62
63
  /// collect the syms
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1815",
3
+ "version": "1.0.1817",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {