svf-lib 1.0.1676 → 1.0.1678
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/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/Graphs/CFBasicBlockG.h +37 -1
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/Graphs/CFBasicBlockG.h +0 -28
- package/package.json +1 -1
|
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);
|
|
Binary file
|
|
Binary file
|
|
@@ -355,7 +355,6 @@ class CFBasicBlockGraph : public GenericCFBasicBlockGTy
|
|
|
355
355
|
private:
|
|
356
356
|
u32_t _totalCFBasicBlockNode{0};
|
|
357
357
|
u32_t _totalCFBasicBlockEdge{0};
|
|
358
|
-
Map<const SVFBasicBlock*, CFBasicBlockNode*> _bbToNode;
|
|
359
358
|
Map<const SVFFunction*, CFBasicBlockNode*> _funToFirstNode;
|
|
360
359
|
public:
|
|
361
360
|
|
|
@@ -380,23 +379,6 @@ public:
|
|
|
380
379
|
return hasGNode(id);
|
|
381
380
|
}
|
|
382
381
|
|
|
383
|
-
inline CFBasicBlockNode* getCFBasicBlockNode(const SVFBasicBlock* bb) const
|
|
384
|
-
{
|
|
385
|
-
if (bb && _bbToNode.find(bb) != _bbToNode.end())
|
|
386
|
-
{
|
|
387
|
-
return _bbToNode.at(bb);
|
|
388
|
-
}
|
|
389
|
-
else
|
|
390
|
-
{
|
|
391
|
-
return nullptr;
|
|
392
|
-
}
|
|
393
|
-
}
|
|
394
|
-
|
|
395
|
-
inline bool hasCFBasicBlockNode(const SVFBasicBlock* bb) const
|
|
396
|
-
{
|
|
397
|
-
return bb && _bbToNode.find(bb) != _bbToNode.end();
|
|
398
|
-
}
|
|
399
|
-
|
|
400
382
|
inline CFBasicBlockNode* getFirstCFBasicBlockNode(const SVFFunction* fun) const
|
|
401
383
|
{
|
|
402
384
|
if (fun && _funToFirstNode.find(fun) != _funToFirstNode.end())
|
|
@@ -418,16 +400,6 @@ public:
|
|
|
418
400
|
_funToFirstNode = svfNodeMap;
|
|
419
401
|
}
|
|
420
402
|
|
|
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
|
-
|
|
431
403
|
bool hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)
|
|
432
404
|
{
|
|
433
405
|
CFBasicBlockEdge edge(src, dst, icfgEdge);
|