svf-lib 1.0.2614 → 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.
- package/SVF-linux-aarch64/include/Graphs/CDG.h +9 -9
- package/SVF-linux-aarch64/include/Graphs/GraphWriter.h +1 -1
- package/SVF-linux-aarch64/lib/libSvfCore.so.3.4 +0 -0
- package/SVF-osx/include/Graphs/CDG.h +9 -9
- package/SVF-osx/include/Graphs/GraphWriter.h +1 -1
- package/SVF-osx/lib/libSvfCore.3.4.dylib +0 -0
- package/package.json +1 -1
|
@@ -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) << " [
|
|
174
|
+
O << "\tNode" << static_cast<const void*>(Node) << " [";
|
|
175
175
|
if (!NodeAttributes.empty()) O << NodeAttributes << ",";
|
|
176
176
|
O << "label=\"{";
|
|
177
177
|
|
|
Binary file
|
|
@@ -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) << " [
|
|
174
|
+
O << "\tNode" << static_cast<const void*>(Node) << " [";
|
|
175
175
|
if (!NodeAttributes.empty()) O << NodeAttributes << ",";
|
|
176
176
|
O << "label=\"{";
|
|
177
177
|
|
|
Binary file
|