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.
@@ -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);
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1674",
3
+ "version": "1.0.1676",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {