svf-lib 1.0.733 → 1.0.734

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 (46) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/DDA/ContextDDA.h +1 -1
  3. package/SVF-linux/include/DDA/DDAClient.h +8 -8
  4. package/SVF-linux/include/DDA/DDAVFSolver.h +5 -5
  5. package/SVF-linux/include/DDA/FlowDDA.h +1 -1
  6. package/SVF-linux/include/Graphs/ConsG.h +6 -6
  7. package/SVF-linux/include/Graphs/ConsGEdge.h +2 -2
  8. package/SVF-linux/include/Graphs/ConsGNode.h +1 -1
  9. package/SVF-linux/include/Graphs/ExternalPAG.h +14 -14
  10. package/SVF-linux/include/Graphs/ICFGNode.h +14 -14
  11. package/SVF-linux/include/Graphs/IRGraph.h +245 -0
  12. package/SVF-linux/include/Graphs/OfflineConsG.h +1 -1
  13. package/SVF-linux/include/Graphs/SVFG.h +1 -1
  14. package/SVF-linux/include/Graphs/SVFGOPT.h +3 -3
  15. package/SVF-linux/include/Graphs/VFG.h +19 -19
  16. package/SVF-linux/include/Graphs/VFGNode.h +2 -3
  17. package/SVF-linux/include/MSSA/MemRegion.h +11 -11
  18. package/SVF-linux/include/MSSA/MemSSA.h +4 -4
  19. package/SVF-linux/include/MTA/FSMPTA.h +1 -1
  20. package/SVF-linux/include/MemoryModel/PAGBuilderFromFile.h +8 -8
  21. package/SVF-linux/include/MemoryModel/PTAStat.h +31 -31
  22. package/SVF-linux/include/MemoryModel/PointerAnalysis.h +9 -9
  23. package/SVF-linux/include/MemoryModel/PointerAnalysisImpl.h +3 -3
  24. package/SVF-linux/include/MemoryModel/SVFIR.h +591 -233
  25. package/SVF-linux/include/MemoryModel/SVFStatements.h +738 -0
  26. package/SVF-linux/include/MemoryModel/SVFVariables.h +842 -0
  27. package/SVF-linux/include/MemoryModel/SymbolTableInfo.h +346 -55
  28. package/SVF-linux/include/SABER/SaberSVFGBuilder.h +0 -2
  29. package/SVF-linux/include/SABER/SrcSnkDDA.h +3 -3
  30. package/SVF-linux/include/SVF-FE/Graph2Json.h +1 -3
  31. package/SVF-linux/include/SVF-FE/SVFIRBuilder.h +392 -0
  32. package/SVF-linux/include/SVF-FE/SymbolTableBuilder.h +0 -1
  33. package/SVF-linux/include/Util/CFLSolver.h +1 -1
  34. package/SVF-linux/include/Util/ExtAPI.h +1 -1
  35. package/SVF-linux/include/Util/IRAnnotator.h +6 -6
  36. package/SVF-linux/include/Util/Options.h +1 -1
  37. package/SVF-linux/include/Util/TypeBasedHeapCloning.h +11 -11
  38. package/SVF-linux/include/WPA/Andersen.h +11 -11
  39. package/SVF-linux/include/WPA/AndersenSFR.h +4 -4
  40. package/SVF-linux/include/WPA/FlowSensitive.h +2 -2
  41. package/SVF-linux/include/WPA/FlowSensitiveTBHC.h +1 -1
  42. package/SVF-linux/include/WPA/Steensgaard.h +2 -2
  43. package/SVF-linux/include/WPA/TypeAnalysis.h +1 -1
  44. package/SVF-linux/include/WPA/VersionedFlowSensitive.h +2 -2
  45. package/SVF-linux/include/WPA/WPAStat.h +1 -2
  46. package/package.json +1 -1
package/SVF-linux/include/WPA/FlowSensitiveTBHC.h CHANGED
@@ -33,7 +33,7 @@ public:
33
33
  static const MDNode *getRawCTirMetadata(const SVFGNode *);
34
34
 
35
35
  /// Constructor
36
- FlowSensitiveTBHC(PAG* _pag, PTATY type = FSTBHC_WPA);
36
+ FlowSensitiveTBHC(SVFIR* _pag, PTATY type = FSTBHC_WPA);
37
37
 
38
38
  /// Destructor
39
39
  virtual ~FlowSensitiveTBHC() { };
package/SVF-linux/include/WPA/Steensgaard.h CHANGED
@@ -26,13 +26,13 @@ public:
26
26
  typedef Map<NodeID, Set<NodeID>> NodeToSubsMap;
27
27
 
28
28
  /// Constructor
29
- Steensgaard(PAG* _pag)
29
+ Steensgaard(SVFIR* _pag)
30
30
  : AndersenBase(_pag, Steensgaard_WPA, true)
31
31
  {
32
32
  }
33
33
 
34
34
  /// Create an singleton instance
35
- static Steensgaard* createSteensgaard(PAG* _pag)
35
+ static Steensgaard* createSteensgaard(SVFIR* _pag)
36
36
  {
37
37
  if(steens==nullptr)
38
38
  {
package/SVF-linux/include/WPA/TypeAnalysis.h CHANGED
@@ -40,7 +40,7 @@ class TypeAnalysis: public AndersenBase
40
40
 
41
41
  public:
42
42
  /// Constructor
43
- TypeAnalysis(PAG* pag)
43
+ TypeAnalysis(SVFIR* pag)
44
44
  : AndersenBase(pag, TypeCPP_WPA)
45
45
  {
46
46
  }
package/SVF-linux/include/WPA/VersionedFlowSensitive.h CHANGED
@@ -47,7 +47,7 @@ public:
47
47
  static VersionedVar atKey(NodeID, Version);
48
48
 
49
49
  /// Constructor
50
- VersionedFlowSensitive(PAG *_pag, PTATY type = VFS_WPA);
50
+ VersionedFlowSensitive(SVFIR *_pag, PTATY type = VFS_WPA);
51
51
 
52
52
  /// Initialize analysis
53
53
  virtual void initialize() override;
@@ -74,7 +74,7 @@ public:
74
74
  //@}
75
75
 
76
76
  /// Create single instance of versioned flow-sensitive points-to analysis.
77
- static VersionedFlowSensitive *createVFSWPA(PAG *_pag)
77
+ static VersionedFlowSensitive *createVFSWPA(SVFIR *_pag)
78
78
  {
79
79
  if (vfspta == nullptr)
80
80
  {
package/SVF-linux/include/WPA/WPAStat.h CHANGED
@@ -39,9 +39,8 @@ namespace SVF
39
39
  {
40
40
 
41
41
  class AndersenBase;
42
- class PAG;
42
+ class SVFIR;
43
43
  class ConstraintGraph;
44
- class PAGNode;
45
44
 
46
45
  /*!
47
46
  * Statistics of Andersen's analysis
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.733",
3
+ "version": "1.0.734",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {