svf-tools 1.0.794 → 1.0.795
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-doxygen/html/CDG_8h_source.html +27 -28
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +308 -310
- package/SVF-doxygen/html/WTO_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CDG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +91 -91
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +24 -27
- package/SVF-doxygen/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html +19 -20
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +102 -102
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
- package/package.json +1 -1
- package/svf/include/Graphs/CDG.h +2 -3
- package/svf/include/Graphs/CFBasicBlockG.h +3 -5
|
@@ -924,7 +924,7 @@ $(function() {
|
|
|
924
924
|
<div class="ttc" id="aclassSVF_1_1WTOVisitor_html_af970a9f973fb8fbf6640a5bde15a8a40"><div class="ttname"><a href="classSVF_1_1WTOVisitor.html#af970a9f973fb8fbf6640a5bde15a8a40">SVF::WTOVisitor::~WTOVisitor</a></div><div class="ttdeci">virtual ~WTOVisitor()=default</div><div class="ttdoc">Default Destructor.</div></div>
|
|
925
925
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1TailBuilder_html_a6328b869dd664d4eca8e13c4dae3703b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b">SVF::CFBasicBlockGWTO::TailBuilder::_tails</a></div><div class="ttdeci">NodeRefSet & _tails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00652">WTO.h:652</a></div></div>
|
|
926
926
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_a0406854fb89bcb7cabe2a83344b8f1f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#a0406854fb89bcb7cabe2a83344b8f1f3">SVF::CFBasicBlockGWTOCycle::toString</a></div><div class="ttdeci">std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00439">WTO.h:439</a></div></div>
|
|
927
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
927
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00368">CFBasicBlockG.h:368</a></div></div>
|
|
928
928
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a2d4103fde1e02e8ba88c375d33a1dbad"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a2d4103fde1e02e8ba88c375d33a1dbad">SVF::CFBasicBlockGWTOComp::toString</a></div><div class="ttdeci">virtual std::string toString() const =0</div></div>
|
|
929
929
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a50fa3b82172788c5e963d723b27900ba"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">SVF::CFBasicBlockGWTO::buildNodeToWTOCycleDepth</a></div><div class="ttdeci">void buildNodeToWTOCycleDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00870">WTO.h:870</a></div></div>
|
|
930
930
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_afdad57a83c392a8b14b838ecb58f9ff7"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#afdad57a83c392a8b14b838ecb58f9ff7">SVF::CFBasicBlockNode::getICFGNodes</a></div><div class="ttdeci">const std::vector< const ICFGNode * > & getICFGNodes() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00147">CFBasicBlockG.h:147</a></div></div>
|
|
@@ -973,7 +973,7 @@ $(function() {
|
|
|
973
973
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a9dd4ed2f3347d529163a60e0386ea11d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">SVF::CFBasicBlockGWTO::component</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * component(const CFBasicBlockNode *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00766">WTO.h:766</a></div></div>
|
|
974
974
|
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_acbe5ed1e3ea411cc87c2fafa16f4c38f"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">SVF::WTOCycleDepth::_heads</a></div><div class="ttdeci">NodeRefList _heads</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00090">WTO.h:90</a></div></div>
|
|
975
975
|
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a943e6586b5b2c8343437a914ddb1a1b6"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">SVF::WTOCycleDepth::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00122">WTO.h:122</a></div></div>
|
|
976
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
976
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00350">CFBasicBlockG.h:350</a></div></div>
|
|
977
977
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_abcf38d30d6739751c20ad612d26349a9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9">SVF::CFBasicBlockGWTOComp::accept</a></div><div class="ttdeci">virtual void accept(WTOVisitor *) const =0</div><div class="ttdoc">Accept a visitor.</div></div>
|
|
978
978
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2668c86630ba496424411bad5fec9190"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190">SVF::CFBasicBlockGWTONode::accept</a></div><div class="ttdeci">void accept(WTOVisitor *v) const override</div><div class="ttdoc">Accept a visitor.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00356">WTO.h:356</a></div></div>
|
|
979
979
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_a10dc61999fc10f09921225f12129cade"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#a10dc61999fc10f09921225f12129cade">SVF::CFBasicBlockGWTOCycle::classof</a></div><div class="ttdeci">static bool classof(const CFBasicBlockGWTOComp *c)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00433">WTO.h:433</a></div></div>
|
|
@@ -430,7 +430,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
430
430
|
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordtype">bool</span> added1 = edge->getDstNode()->addIncomingEdge(edge);</div>
|
|
431
431
|
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="keywordtype">bool</span> added2 = edge->getSrcNode()->addOutgoingEdge(edge);</div>
|
|
432
432
|
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  assert(added1 && added2 && <span class="stringliteral">"edge not added??"</span>);</div>
|
|
433
|
-
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <span class="keywordflow">return</span>
|
|
433
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <span class="keywordflow">return</span> added1 && added2;</div>
|
|
434
434
|
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  }</div>
|
|
435
435
|
</div><!-- fragment -->
|
|
436
436
|
</div>
|
|
@@ -514,8 +514,8 @@ Private Attributes</h2></td></tr>
|
|
|
514
514
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a43c0cba051306acc6440f60165b835e6"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder::initCFBasicBlockGNodes</a></div><div class="ttdeci">void initCFBasicBlockGNodes(ICFG *icfg, Map< const SVFBasicBlock *, std::vector< CFBasicBlockNode * >> &bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00034">CFBasicBlockGBuilder.cpp:34</a></div></div>
|
|
515
515
|
<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
|
|
516
516
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a2c9f8c120522e31124364f485e873608"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608">SVF::CFBasicBlockGBuilder::addInterBBEdge</a></div><div class="ttdeci">void addInterBBEdge(ICFG *icfg, Map< const SVFBasicBlock *, std::vector< CFBasicBlockNode * >> &bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00080">CFBasicBlockGBuilder.cpp:80</a></div></div>
|
|
517
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
518
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
517
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00452">CFBasicBlockG.h:452</a></div></div>
|
|
518
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00462">CFBasicBlockG.h:462</a></div></div>
|
|
519
519
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_ae6c8497f1cd2e3ca63b899ea11757b31"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31">SVF::CFBasicBlockGBuilder::addIntraBBEdge</a></div><div class="ttdeci">void addIntraBBEdge(ICFG *icfg, Map< const SVFBasicBlock *, std::vector< CFBasicBlockNode * >> &bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00105">CFBasicBlockGBuilder.cpp:105</a></div></div>
|
|
520
520
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a2a72cd05458304eaae145532448cf913"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913">SVF::CFBasicBlockGBuilder::addInterProceduralEdge</a></div><div class="ttdeci">void addInterProceduralEdge(ICFG *icfg, Map< const SVFBasicBlock *, std::vector< CFBasicBlockNode * >> &bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00129">CFBasicBlockGBuilder.cpp:129</a></div></div>
|
|
521
521
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8h_source.html#l00039">CFBasicBlockGBuilder.h:39</a></div></div>
|
|
@@ -1819,7 +1819,7 @@ Friends</h2></td></tr>
|
|
|
1819
1819
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a01822119935bdbe665743b13b4f2380e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO::newCycle</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * newCycle(const CFBasicBlockNode *node, const WTOCompRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00758">WTO.h:758</a></div></div>
|
|
1820
1820
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
1821
1821
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad9665cea2ec92371ecab7e86f7ac2923"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO::push</a></div><div class="ttdeci">void push(const CFBasicBlockNode *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00746">WTO.h:746</a></div></div>
|
|
1822
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
1822
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00368">CFBasicBlockG.h:368</a></div></div>
|
|
1823
1823
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a50fa3b82172788c5e963d723b27900ba"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">SVF::CFBasicBlockGWTO::buildNodeToWTOCycleDepth</a></div><div class="ttdeci">void buildNodeToWTOCycleDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00870">WTO.h:870</a></div></div>
|
|
1824
1824
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ac70fb325200079c4ffee90e1666a3694"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">SVF::CFBasicBlockGWTO::_allComponents</a></div><div class="ttdeci">WTOCompRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00488">WTO.h:488</a></div></div>
|
|
1825
1825
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_abb5b72dbfa6f00bf952f1b71deb48598"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">SVF::CFBasicBlockGWTO::_headToTails</a></div><div class="ttdeci">NodeRefToNodeRefSetMap _headToTails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00490">WTO.h:490</a></div></div>
|
|
@@ -463,7 +463,7 @@ Protected Attributes</h2></td></tr>
|
|
|
463
463
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
464
464
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1TailBuilder_html_a27e3f03587ce871f41853e3be2537209"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209">SVF::CFBasicBlockGWTO::TailBuilder::_headWTOCycleDepth</a></div><div class="ttdeci">const CFBasicBlockGWTOCycleDepth & _headWTOCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00653">WTO.h:653</a></div></div>
|
|
465
465
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1TailBuilder_html_a6328b869dd664d4eca8e13c4dae3703b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b">SVF::CFBasicBlockGWTO::TailBuilder::_tails</a></div><div class="ttdeci">NodeRefSet & _tails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00652">WTO.h:652</a></div></div>
|
|
466
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
466
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00368">CFBasicBlockG.h:368</a></div></div>
|
|
467
467
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1TailBuilder_html_aeb1a15b36d109ea3c286a73af5f08777"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777">SVF::CFBasicBlockGWTO::TailBuilder::_graph</a></div><div class="ttdeci">CFBasicBlockGraph * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00656">WTO.h:656</a></div></div>
|
|
468
468
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1TailBuilder_html_ae846777ace039ab74fad15ee52884f44"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44">SVF::CFBasicBlockGWTO::TailBuilder::_head</a></div><div class="ttdeci">const CFBasicBlockNode * _head</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00654">WTO.h:654</a></div></div>
|
|
469
469
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_acc7a69f2e4d44bda34a84ed68667b803"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">SVF::CFBasicBlockGWTO::CFBasicBlockGWTOCycleDepth</a></div><div class="ttdeci">WTOCycleDepth< const CFBasicBlockNode * > CFBasicBlockGWTOCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00468">WTO.h:468</a></div></div>
|
|
@@ -205,7 +205,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
205
205
|
</table>
|
|
206
206
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
207
207
|
<div class="textblock">
|
|
208
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
208
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00350">350</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
209
209
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
210
210
|
<a id="afad7ee1f21bf2983d4aa40cccf368137"></a>
|
|
211
211
|
<h2 class="memtitle"><span class="permalink"><a href="#afad7ee1f21bf2983d4aa40cccf368137">◆ </a></span>CFBasicBlockGraph()</h2>
|
|
@@ -284,14 +284,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
284
284
|
|
|
285
285
|
<p>Add ICFGEdgeWrapper. </p>
|
|
286
286
|
|
|
287
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
288
|
-
<div class="fragment"><div class="line"><a name="
|
|
289
|
-
<div class="line"><a name="
|
|
290
|
-
<div class="line"><a name="
|
|
291
|
-
<div class="line"><a name="
|
|
292
|
-
<div class="line"><a name="
|
|
293
|
-
<div class="line"><a name="
|
|
294
|
-
<div class="line"><a name="
|
|
287
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00452">452</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
288
|
+
<div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  {</div>
|
|
289
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <span class="keywordtype">bool</span> added1 = edge->getDstNode()->addIncomingEdge(edge);</div>
|
|
290
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  <span class="keywordtype">bool</span> added2 = edge->getSrcNode()->addOutgoingEdge(edge);</div>
|
|
291
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  assert(added1 && added2 && <span class="stringliteral">"edge not added??"</span>);</div>
|
|
292
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>++;</div>
|
|
293
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <span class="keywordflow">return</span> added1 && added2;</div>
|
|
294
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  }</div>
|
|
295
295
|
</div><!-- fragment -->
|
|
296
296
|
</div>
|
|
297
297
|
</div>
|
|
@@ -321,11 +321,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
321
321
|
|
|
322
322
|
<p>Add a ICFGNodeWrapper. </p>
|
|
323
323
|
|
|
324
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
325
|
-
<div class="fragment"><div class="line"><a name="
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="
|
|
328
|
-
<div class="line"><a name="
|
|
324
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00462">462</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
325
|
+
<div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  {</div>
|
|
326
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(node->getId(), node);</div>
|
|
327
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>++;</div>
|
|
328
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  }</div>
|
|
329
329
|
</div><!-- fragment -->
|
|
330
330
|
</div>
|
|
331
331
|
</div>
|
|
@@ -355,10 +355,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
355
355
|
|
|
356
356
|
<p>Dump graph into dot file. </p>
|
|
357
357
|
|
|
358
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
359
|
-
<div class="fragment"><div class="line"><a name="
|
|
360
|
-
<div class="line"><a name="
|
|
361
|
-
<div class="line"><a name="
|
|
358
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00363">363</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
359
|
+
<div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  {</div>
|
|
360
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <a class="code" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div>
|
|
361
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div>
|
|
362
362
|
</div><!-- fragment -->
|
|
363
363
|
</div>
|
|
364
364
|
</div>
|
|
@@ -479,11 +479,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
479
479
|
</table>
|
|
480
480
|
</div><div class="memdoc">
|
|
481
481
|
|
|
482
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
483
|
-
<div class="fragment"><div class="line"><a name="
|
|
484
|
-
<div class="line"><a name="
|
|
485
|
-
<div class="line"><a name="
|
|
486
|
-
<div class="line"><a name="
|
|
482
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00368">368</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
483
|
+
<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  {</div>
|
|
484
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>)) <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
485
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
486
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  }</div>
|
|
487
487
|
</div><!-- fragment -->
|
|
488
488
|
</div>
|
|
489
489
|
</div>
|
|
@@ -521,15 +521,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
521
521
|
</table>
|
|
522
522
|
</div><div class="memdoc">
|
|
523
523
|
|
|
524
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
525
|
-
<div class="fragment"><div class="line"><a name="
|
|
526
|
-
<div class="line"><a name="
|
|
527
|
-
<div class="line"><a name="
|
|
528
|
-
<div class="line"><a name="
|
|
529
|
-
<div class="line"><a name="
|
|
530
|
-
<div class="line"><a name="
|
|
531
|
-
<div class="line"><a name="
|
|
532
|
-
<div class="line"><a name="
|
|
524
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00394">394</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
525
|
+
<div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  {</div>
|
|
526
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &e: src->getOutEdges())</div>
|
|
527
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  {</div>
|
|
528
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  <span class="keywordflow">if</span> (e->getDstNode() == dst)</div>
|
|
529
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
530
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  }</div>
|
|
531
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
532
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  }</div>
|
|
533
533
|
</div><!-- fragment -->
|
|
534
534
|
</div>
|
|
535
535
|
</div>
|
|
@@ -573,19 +573,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
573
573
|
</table>
|
|
574
574
|
</div><div class="memdoc">
|
|
575
575
|
|
|
576
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
577
|
-
<div class="fragment"><div class="line"><a name="
|
|
578
|
-
<div class="line"><a name="
|
|
579
|
-
<div class="line"><a name="
|
|
580
|
-
<div class="line"><a name="
|
|
581
|
-
<div class="line"><a name="
|
|
582
|
-
<div class="line"><a name="
|
|
583
|
-
<div class="line"><a name="
|
|
584
|
-
<div class="line"><a name="
|
|
585
|
-
<div class="line"><a name="
|
|
586
|
-
<div class="line"><a name="
|
|
587
|
-
<div class="line"><a name="
|
|
588
|
-
<div class="line"><a name="
|
|
576
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00380">380</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
577
|
+
<div class="fragment"><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  {</div>
|
|
578
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  CFBasicBlockEdge edge(src, dst, icfgEdge);</div>
|
|
579
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  CFBasicBlockEdge *outEdge = src->hasOutgoingEdge(&edge);</div>
|
|
580
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  CFBasicBlockEdge *inEdge = dst->hasIncomingEdge(&edge);</div>
|
|
581
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">if</span> (outEdge && inEdge)</div>
|
|
582
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div>
|
|
583
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  assert(outEdge == inEdge && <span class="stringliteral">"edges not match"</span>);</div>
|
|
584
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
585
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  }</div>
|
|
586
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">else</span></div>
|
|
587
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
588
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div>
|
|
589
589
|
</div><!-- fragment -->
|
|
590
590
|
</div>
|
|
591
591
|
</div>
|
|
@@ -613,10 +613,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
613
613
|
</table>
|
|
614
614
|
</div><div class="memdoc">
|
|
615
615
|
|
|
616
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
617
|
-
<div class="fragment"><div class="line"><a name="
|
|
618
|
-
<div class="line"><a name="
|
|
619
|
-
<div class="line"><a name="
|
|
616
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00374">374</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
617
|
+
<div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  {</div>
|
|
618
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
619
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  }</div>
|
|
620
620
|
</div><!-- fragment -->
|
|
621
621
|
</div>
|
|
622
622
|
</div>
|
|
@@ -646,19 +646,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
646
646
|
|
|
647
647
|
<p>Remove a ICFGEdgeWrapper. </p>
|
|
648
648
|
|
|
649
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
650
|
-
<div class="fragment"><div class="line"><a name="
|
|
651
|
-
<div class="line"><a name="
|
|
652
|
-
<div class="line"><a name="
|
|
653
|
-
<div class="line"><a name="
|
|
654
|
-
<div class="line"><a name="
|
|
655
|
-
<div class="line"><a name="
|
|
656
|
-
<div class="line"><a name="
|
|
657
|
-
<div class="line"><a name="
|
|
658
|
-
<div class="line"><a name="
|
|
659
|
-
<div class="line"><a name="
|
|
660
|
-
<div class="line"><a name="
|
|
661
|
-
<div class="line"><a name="
|
|
649
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00409">409</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
650
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  {</div>
|
|
651
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keywordflow">if</span> (edge->getDstNode()->hasIncomingEdge(edge))</div>
|
|
652
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  {</div>
|
|
653
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  edge->getDstNode()->removeIncomingEdge(edge);</div>
|
|
654
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  }</div>
|
|
655
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">if</span> (edge->getSrcNode()->hasOutgoingEdge(edge))</div>
|
|
656
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  {</div>
|
|
657
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  edge->getSrcNode()->removeOutgoingEdge(edge);</div>
|
|
658
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  }</div>
|
|
659
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <span class="keyword">delete</span> edge;</div>
|
|
660
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>--;</div>
|
|
661
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  }</div>
|
|
662
662
|
</div><!-- fragment -->
|
|
663
663
|
</div>
|
|
664
664
|
</div>
|
|
@@ -688,20 +688,20 @@ Additional Inherited Members</h2></td></tr>
|
|
|
688
688
|
|
|
689
689
|
<p>Remove a ICFGNodeWrapper. </p>
|
|
690
690
|
|
|
691
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
692
|
-
<div class="fragment"><div class="line"><a name="
|
|
693
|
-
<div class="line"><a name="
|
|
694
|
-
<div class="line"><a name="
|
|
691
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00424">424</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
692
|
+
<div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  {</div>
|
|
693
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  std::set<CFBasicBlockEdge *> temp;</div>
|
|
694
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node->getInEdges())</div>
|
|
695
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  temp.insert(e);</div>
|
|
696
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node->getOutEdges())</div>
|
|
695
697
|
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  temp.insert(e);</div>
|
|
696
|
-
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e:
|
|
697
|
-
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span> 
|
|
698
|
-
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span> 
|
|
699
|
-
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span> 
|
|
700
|
-
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span> 
|
|
701
|
-
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span> 
|
|
702
|
-
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span> 
|
|
703
|
-
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>--;</div>
|
|
704
|
-
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  }</div>
|
|
698
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: temp)</div>
|
|
699
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  {</div>
|
|
700
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">removeCFBBEdge</a>(e);</div>
|
|
701
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  }</div>
|
|
702
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <a class="code" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(node);</div>
|
|
703
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>--;</div>
|
|
704
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div>
|
|
705
705
|
</div><!-- fragment -->
|
|
706
706
|
</div>
|
|
707
707
|
</div>
|
|
@@ -731,15 +731,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
731
731
|
|
|
732
732
|
<p>Remove node from nodeID. </p>
|
|
733
733
|
|
|
734
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
735
|
-
<div class="fragment"><div class="line"><a name="
|
|
736
|
-
<div class="line"><a name="
|
|
737
|
-
<div class="line"><a name="
|
|
738
|
-
<div class="line"><a name="
|
|
739
|
-
<div class="line"><a name="
|
|
740
|
-
<div class="line"><a name="
|
|
741
|
-
<div class="line"><a name="
|
|
742
|
-
<div class="line"><a name="
|
|
734
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00441">441</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
735
|
+
<div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  {</div>
|
|
736
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>))</div>
|
|
737
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  {</div>
|
|
738
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">removeCFBBNode</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>));</div>
|
|
739
|
+
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
740
|
+
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  }</div>
|
|
741
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
742
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  }</div>
|
|
743
743
|
</div><!-- fragment -->
|
|
744
744
|
</div>
|
|
745
745
|
</div>
|
|
@@ -764,7 +764,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
764
764
|
</table>
|
|
765
765
|
</div><div class="memdoc">
|
|
766
766
|
|
|
767
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
767
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00352">352</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
768
768
|
|
|
769
769
|
</div>
|
|
770
770
|
</div>
|
|
@@ -789,7 +789,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
789
789
|
</table>
|
|
790
790
|
</div><div class="memdoc">
|
|
791
791
|
|
|
792
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
792
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00355">355</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
793
793
|
|
|
794
794
|
</div>
|
|
795
795
|
</div>
|
|
@@ -813,7 +813,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
813
813
|
</table>
|
|
814
814
|
</div><div class="memdoc">
|
|
815
815
|
|
|
816
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
816
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00354">354</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
817
817
|
|
|
818
818
|
</div>
|
|
819
819
|
</div>
|
|
@@ -822,17 +822,17 @@ Additional Inherited Members</h2></td></tr>
|
|
|
822
822
|
<li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
|
|
823
823
|
</ul>
|
|
824
824
|
</div><!-- contents -->
|
|
825
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a9d7ebedc25848db79b551cb8a1ef11af"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph::removeCFBBEdge</a></div><div class="ttdeci">void removeCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Remove a ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
826
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_af26009309b28b1d9f3f31f802307f6e9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">SVF::CFBasicBlockGraph::_totalCFBasicBlockNode</a></div><div class="ttdeci">u32_t _totalCFBasicBlockNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
825
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a9d7ebedc25848db79b551cb8a1ef11af"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph::removeCFBBEdge</a></div><div class="ttdeci">void removeCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Remove a ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00409">CFBasicBlockG.h:409</a></div></div>
|
|
826
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_af26009309b28b1d9f3f31f802307f6e9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">SVF::CFBasicBlockGraph::_totalCFBasicBlockNode</a></div><div class="ttdeci">u32_t _totalCFBasicBlockNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00354">CFBasicBlockG.h:354</a></div></div>
|
|
827
827
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
|
|
828
828
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a1817b65e76052f11e36a67d6b9efd915"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">SVF::GenericGraph::removeGNode</a></div><div class="ttdeci">void removeGNode(NodeType *node)</div><div class="ttdoc">Delete a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00421">GenericGraph.h:421</a></div></div>
|
|
829
829
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
830
830
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
831
831
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
832
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a307a47681c72267f6e90d7009d1b3c6b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph::_totalCFBasicBlockEdge</a></div><div class="ttdeci">u32_t _totalCFBasicBlockEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
832
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a307a47681c72267f6e90d7009d1b3c6b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph::_totalCFBasicBlockEdge</a></div><div class="ttdeci">u32_t _totalCFBasicBlockEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00355">CFBasicBlockG.h:355</a></div></div>
|
|
833
833
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
|
|
834
834
|
<div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &O, const std::string &GraphName, const GraphType &GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
|
|
835
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
835
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00424">CFBasicBlockG.h:424</a></div></div>
|
|
836
836
|
<!-- start footer part -->
|
|
837
837
|
<hr class="footer"/><address class="footer"><small>
|
|
838
838
|
Generated by  <a href="http://www.doxygen.org/index.html">
|