svf-lib 1.0.2109 → 1.0.2111
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.
- package/SVF-linux/Release-build/include/Graphs/CDG.h +3 -3
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/include/Graphs/CDG.h +3 -3
- package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
@@ -42,7 +42,7 @@ typedef GenericEdge<CDGNode> GenericCDGEdgeTy;
|
|
|
42
42
|
class CDGEdge : public GenericCDGEdgeTy
|
|
43
43
|
{
|
|
44
44
|
public:
|
|
45
|
-
typedef std::pair<const
|
|
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
|
|
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
|
|
291
|
+
void addCDGEdgeFromSrcDst(const ICFGNode *src, const ICFGNode *dst, const SVFVar *pNode, s32_t branchID);
|
|
292
292
|
|
|
293
293
|
};
|
|
294
294
|
} // end namespace SVF
|
|
Binary file
|
|
@@ -42,7 +42,7 @@ typedef GenericEdge<CDGNode> GenericCDGEdgeTy;
|
|
|
42
42
|
class CDGEdge : public GenericCDGEdgeTy
|
|
43
43
|
{
|
|
44
44
|
public:
|
|
45
|
-
typedef std::pair<const
|
|
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
|
|
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
|
|
291
|
+
void addCDGEdgeFromSrcDst(const ICFGNode *src, const ICFGNode *dst, const SVFVar *pNode, s32_t branchID);
|
|
292
292
|
|
|
293
293
|
};
|
|
294
294
|
} // end namespace SVF
|
|
Binary file
|
|
Binary file
|