svf-lib 1.0.2517 → 1.0.2518
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.
|
@@ -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
|
|
|
Binary file
|