svf-lib 1.0.2615 → 1.0.2616

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.
@@ -420,35 +420,35 @@ struct DOTGraphTraits<SVF::CDG *> : public DOTGraphTraits<SVF::PAG *>
420
420
  std::stringstream rawstr(str);
421
421
  const SVF::ICFGNode *icfgNode = node->getICFGNode();
422
422
 
423
+ rawstr << "shape=record";
424
+
423
425
  if (SVF::SVFUtil::isa<SVF::IntraICFGNode>(icfgNode))
424
426
  {
425
- rawstr << "color=black";
427
+ rawstr << ",color=black";
426
428
  }
427
429
  else if (SVF::SVFUtil::isa<SVF::FunEntryICFGNode>(icfgNode))
428
430
  {
429
- rawstr << "color=yellow";
431
+ rawstr << ",color=yellow";
430
432
  }
431
433
  else if (SVF::SVFUtil::isa<SVF::FunExitICFGNode>(icfgNode))
432
434
  {
433
- rawstr << "color=green";
435
+ rawstr << ",color=green";
434
436
  }
435
437
  else if (SVF::SVFUtil::isa<SVF::CallICFGNode>(icfgNode))
436
438
  {
437
- rawstr << "color=red";
439
+ rawstr << ",color=red";
438
440
  }
439
441
  else if (SVF::SVFUtil::isa<SVF::RetICFGNode>(icfgNode))
440
442
  {
441
- rawstr << "color=blue";
443
+ rawstr << ",color=blue";
442
444
  }
443
445
  else if (SVF::SVFUtil::isa<SVF::GlobalICFGNode>(icfgNode))
444
446
  {
445
- rawstr << "color=purple";
447
+ rawstr << ",color=purple";
446
448
  }
447
449
  else
448
450
  assert(false && "no such kind of node!!");
449
451
 
450
- rawstr << "";
451
-
452
452
  return rawstr.str();
453
453
  }
454
454
 
@@ -479,4 +479,4 @@ struct DOTGraphTraits<SVF::CDG *> : public DOTGraphTraits<SVF::PAG *>
479
479
  };
480
480
 
481
481
  } // End namespace SVF
482
- #endif //SVF_CONTROLDG_H
482
+ #endif //SVF_CONTROLDG_H
@@ -171,7 +171,7 @@ public:
171
171
  {
172
172
  std::string NodeAttributes = DTraits.getNodeAttributes(Node, G);
173
173
 
174
- O << "\tNode" << static_cast<const void*>(Node) << " [shape=record,";
174
+ O << "\tNode" << static_cast<const void*>(Node) << " [";
175
175
  if (!NodeAttributes.empty()) O << NodeAttributes << ",";
176
176
  O << "label=\"{";
177
177
 
Binary file
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2615",
3
+ "version": "1.0.2616",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {