svf-lib 1.0.2517 → 1.0.2519

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 (5) hide show
  1. package/SVF-linux-aarch64/include/AE/Svfexe/PreAnalysis.h +12 -0
  2. package/SVF-linux-aarch64/lib/libSvfCore.so.3.3 +0 -0
  3. package/SVF-osx/include/AE/Svfexe/PreAnalysis.h +12 -0
  4. package/SVF-osx/lib/libSvfCore.3.3.dylib +0 -0
  5. package/package.json +1 -1
package/SVF-linux-aarch64/include/AE/Svfexe/PreAnalysis.h CHANGED
@@ -72,6 +72,18 @@ public:
72
72
  /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
73
73
  const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
74
74
 
75
+ /// Given a ValVar, find all use-site ICFGNodes
76
+ /// by following outgoing direct VFGEdges from its unique definition SVFGNode
77
+ const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
78
+
79
+ /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
80
+ /// by following incoming direct VFGEdges (asserts unique definition)
81
+ const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
82
+
83
+ /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
84
+ /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
85
+ const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
86
+
75
87
  /// Build WTO for each function using call graph SCC
76
88
  void initWTO();
77
89
 
package/SVF-osx/include/AE/Svfexe/PreAnalysis.h CHANGED
@@ -72,6 +72,18 @@ public:
72
72
  /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
73
73
  const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
74
74
 
75
+ /// Given a ValVar, find all use-site ICFGNodes
76
+ /// by following outgoing direct VFGEdges from its unique definition SVFGNode
77
+ const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
78
+
79
+ /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
80
+ /// by following incoming direct VFGEdges (asserts unique definition)
81
+ const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
82
+
83
+ /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
84
+ /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
85
+ const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
86
+
75
87
  /// Build WTO for each function using call graph SCC
76
88
  void initWTO();
77
89
 
package/SVF-osx/lib/libSvfCore.3.3.dylib CHANGED
Binary file
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2517",
3
+ "version": "1.0.2519",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {