svf-lib 1.0.1677 → 1.0.1679
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 +0 -27
- 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
|
|
@@ -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,15 +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
403
|
|
|
431
404
|
bool hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)
|
|
432
405
|
{
|
|
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);
|