svf-lib 1.0.1674 → 1.0.1676
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.
|
Binary file
|
|
Binary file
|
|
@@ -71,6 +71,11 @@ public:
|
|
|
71
71
|
{
|
|
72
72
|
}
|
|
73
73
|
|
|
74
|
+
CFBasicBlockEdge(CFBasicBlockNode* src, CFBasicBlockNode* dst)
|
|
75
|
+
: GenericCFBasicBlockEdgeTy(src, dst, 0), _icfgEdge(nullptr)
|
|
76
|
+
{
|
|
77
|
+
}
|
|
78
|
+
|
|
74
79
|
friend std::ostream &operator<<(std::ostream &o, const CFBasicBlockEdge &edge)
|
|
75
80
|
{
|
|
76
81
|
o << edge.toString();
|
|
@@ -351,7 +356,7 @@ private:
|
|
|
351
356
|
u32_t _totalCFBasicBlockNode{0};
|
|
352
357
|
u32_t _totalCFBasicBlockEdge{0};
|
|
353
358
|
Map<const SVFBasicBlock*, CFBasicBlockNode*> _bbToNode;
|
|
354
|
-
|
|
359
|
+
Map<const SVFFunction*, CFBasicBlockNode*> _funToFirstNode;
|
|
355
360
|
public:
|
|
356
361
|
|
|
357
362
|
CFBasicBlockGraph() = default;
|
|
@@ -392,6 +397,37 @@ public:
|
|
|
392
397
|
return bb && _bbToNode.find(bb) != _bbToNode.end();
|
|
393
398
|
}
|
|
394
399
|
|
|
400
|
+
inline CFBasicBlockNode* getFirstCFBasicBlockNode(const SVFFunction* fun) const
|
|
401
|
+
{
|
|
402
|
+
if (fun && _funToFirstNode.find(fun) != _funToFirstNode.end())
|
|
403
|
+
{
|
|
404
|
+
return _funToFirstNode.at(fun);
|
|
405
|
+
}
|
|
406
|
+
else
|
|
407
|
+
{
|
|
408
|
+
return nullptr;
|
|
409
|
+
}
|
|
410
|
+
}
|
|
411
|
+
inline bool hasFirstCFBasicBlockNode(const SVFFunction* fun) const
|
|
412
|
+
{
|
|
413
|
+
return fun && _funToFirstNode.find(fun) != _funToFirstNode.end();
|
|
414
|
+
}
|
|
415
|
+
|
|
416
|
+
inline void setFirstCFBasicBlockNode(const Map<const SVFFunction*, CFBasicBlockNode*>& svfNodeMap)
|
|
417
|
+
{
|
|
418
|
+
_funToFirstNode = svfNodeMap;
|
|
419
|
+
}
|
|
420
|
+
|
|
421
|
+
inline void setBBCFNodeMap(const Map<const SVFBasicBlock*, CFBasicBlockNode*>& svfNodeMap)
|
|
422
|
+
{
|
|
423
|
+
_bbToNode = svfNodeMap;
|
|
424
|
+
}
|
|
425
|
+
|
|
426
|
+
inline const Map<const SVFBasicBlock*, CFBasicBlockNode*>& getBBCFNodeMap() const
|
|
427
|
+
{
|
|
428
|
+
return _bbToNode;
|
|
429
|
+
}
|
|
430
|
+
|
|
395
431
|
bool hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)
|
|
396
432
|
{
|
|
397
433
|
CFBasicBlockEdge edge(src, dst, icfgEdge);
|