svf-lib 1.0.2109 → 1.0.2110

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 (4) hide show
  1. package/SVF-osx/Release-build/include/Graphs/CDG.h +3 -3
  2. package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
  3. package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
  4. package/package.json +1 -1
package/SVF-osx/Release-build/include/Graphs/CDG.h CHANGED
@@ -42,7 +42,7 @@ typedef GenericEdge<CDGNode> GenericCDGEdgeTy;
42
42
  class CDGEdge : public GenericCDGEdgeTy
43
43
  {
44
44
  public:
45
- typedef std::pair<const SVFValue *, s32_t> BranchCondition;
45
+ typedef std::pair<const SVFVar *, s32_t> BranchCondition;
46
46
 
47
47
  /// Constructor
48
48
  CDGEdge(CDGNode *s, CDGNode *d) : GenericCDGEdgeTy(s, d, 0)
@@ -73,7 +73,7 @@ public:
73
73
  return brConditions;
74
74
  }
75
75
 
76
- void insertBranchCondition(const SVFValue *pNode, s32_t branchID)
76
+ void insertBranchCondition(const SVFVar *pNode, s32_t branchID)
77
77
  {
78
78
  brConditions.insert(std::make_pair(pNode, branchID));
79
79
  }
@@ -288,7 +288,7 @@ public:
288
288
  }
289
289
 
290
290
  /// Add CDG edges from nodeid pair
291
- void addCDGEdgeFromSrcDst(const ICFGNode *src, const ICFGNode *dst, const SVFValue *pNode, s32_t branchID);
291
+ void addCDGEdgeFromSrcDst(const ICFGNode *src, const ICFGNode *dst, const SVFVar *pNode, s32_t branchID);
292
292
 
293
293
  };
294
294
  } // end namespace SVF
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2109",
3
+ "version": "1.0.2110",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {