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
|
@@ -1001,14 +1001,14 @@ Friends</h2></td></tr>
|
|
|
1001
1001
|
|
|
1002
1002
|
<p>Find incoming and outgoing edges. </p>
|
|
1003
1003
|
|
|
1004
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1005
|
-
<div class="fragment"><div class="line"><a name="
|
|
1006
|
-
<div class="line"><a name="
|
|
1007
|
-
<div class="line"><a name="
|
|
1008
|
-
<div class="line"><a name="
|
|
1009
|
-
<div class="line"><a name="
|
|
1010
|
-
<div class="line"><a name="
|
|
1011
|
-
<div class="line"><a name="
|
|
1004
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00328">328</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1005
|
+
<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  {</div>
|
|
1006
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
|
|
1007
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
|
|
1008
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1009
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keywordflow">else</span></div>
|
|
1010
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1011
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  }</div>
|
|
1012
1012
|
</div><!-- fragment -->
|
|
1013
1013
|
</div>
|
|
1014
1014
|
</div>
|
|
@@ -1066,14 +1066,14 @@ Friends</h2></td></tr>
|
|
|
1066
1066
|
</table>
|
|
1067
1067
|
</div><div class="memdoc">
|
|
1068
1068
|
|
|
1069
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1070
|
-
<div class="fragment"><div class="line"><a name="
|
|
1071
|
-
<div class="line"><a name="
|
|
1072
|
-
<div class="line"><a name="
|
|
1073
|
-
<div class="line"><a name="
|
|
1074
|
-
<div class="line"><a name="
|
|
1075
|
-
<div class="line"><a name="
|
|
1076
|
-
<div class="line"><a name="
|
|
1069
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00337">337</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1070
|
+
<div class="fragment"><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  {</div>
|
|
1071
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
|
|
1072
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
|
|
1073
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1074
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">else</span></div>
|
|
1075
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1076
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  }</div>
|
|
1077
1077
|
</div><!-- fragment -->
|
|
1078
1078
|
</div>
|
|
1079
1079
|
</div>
|
|
@@ -1346,10 +1346,9 @@ Friends</h2></td></tr>
|
|
|
1346
1346
|
|
|
1347
1347
|
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00313">313</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1348
1348
|
<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
1349
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#
|
|
1350
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span> 
|
|
1351
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> 
|
|
1352
|
-
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  }</div>
|
|
1349
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() && <span class="stringliteral">"can not find in edge in SVFG node"</span>);</div>
|
|
1350
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
|
|
1351
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  }</div>
|
|
1353
1352
|
</div><!-- fragment -->
|
|
1354
1353
|
</div>
|
|
1355
1354
|
</div>
|
|
@@ -1410,12 +1409,11 @@ Friends</h2></td></tr>
|
|
|
1410
1409
|
</table>
|
|
1411
1410
|
</div><div class="memdoc">
|
|
1412
1411
|
|
|
1413
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1414
|
-
<div class="fragment"><div class="line"><a name="
|
|
1415
|
-
<div class="line"><a name="
|
|
1416
|
-
<div class="line"><a name="
|
|
1417
|
-
<div class="line"><a name="
|
|
1418
|
-
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  }</div>
|
|
1412
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00319">319</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1413
|
+
<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  {</div>
|
|
1414
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() && <span class="stringliteral">"can not find out edge in SVFG node"</span>);</div>
|
|
1415
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
|
|
1416
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
1419
1417
|
</div><!-- fragment -->
|
|
1420
1418
|
</div>
|
|
1421
1419
|
</div>
|
|
@@ -1586,7 +1584,6 @@ Friends</h2></td></tr>
|
|
|
1586
1584
|
<div class="ttc" id="anamespaceSVF_html_a81d6a1e9cc52fde4f828cead0ca40bab"><div class="ttname"><a href="namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab">SVF::GenericCFBasicBlockNodeTy</a></div><div class="ttdeci">GenericNode< CFBasicBlockNode, CFBasicBlockEdge > GenericCFBasicBlockNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00112">CFBasicBlockG.h:112</a></div></div>
|
|
1587
1585
|
<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>
|
|
1588
1586
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a145051f43e03acd6ce9923a5c06150bc"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">SVF::CFBasicBlockNode::const_iterator</a></div><div class="ttdeci">CFBasicBlockEdge::CFBBEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
|
|
1589
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_ad33fdf14d9334bd468d9eb541e0e8a31"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode::iterator</a></div><div class="ttdeci">CFBasicBlockEdge::CFBBEdgeSetTy ::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00118">CFBasicBlockG.h:118</a></div></div>
|
|
1590
1587
|
<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>
|
|
1591
1588
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a046a15f230ab41d50b04f0390df179f1"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">SVF::CFBasicBlockNode::OutEdges</a></div><div class="ttdeci">CFBBEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00124">CFBasicBlockG.h:124</a></div></div>
|
|
1592
1589
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00141">CFBasicBlockG.h:141</a></div></div>
|
|
@@ -2940,7 +2940,7 @@ Functions</h2></td></tr>
|
|
|
2940
2940
|
</table>
|
|
2941
2941
|
</div><div class="memdoc">
|
|
2942
2942
|
|
|
2943
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
2943
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00348">348</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
2944
2944
|
|
|
2945
2945
|
</div>
|
|
2946
2946
|
</div>
|
|
@@ -271,10 +271,9 @@ template<class EdgeIter > </div>
|
|
|
271
271
|
|
|
272
272
|
<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00439">439</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
|
|
273
273
|
<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  {</div>
|
|
274
|
-
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <
|
|
275
|
-
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span> 
|
|
276
|
-
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span> 
|
|
277
|
-
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  }</div>
|
|
274
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  assert(*(EI.getCurrent()) && <span class="stringliteral">"No edge found!!"</span>);</div>
|
|
275
|
+
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  <span class="keywordflow">return</span> <span class="stringliteral">"style=solid"</span>;</div>
|
|
276
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  }</div>
|
|
278
277
|
</div><!-- fragment -->
|
|
279
278
|
</div>
|
|
280
279
|
</div>
|
|
@@ -314,22 +313,22 @@ template<class EdgeIter > </div>
|
|
|
314
313
|
</table>
|
|
315
314
|
</div><div class="memdoc">
|
|
316
315
|
|
|
317
|
-
<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#
|
|
318
|
-
<div class="fragment"><div class="line"><a name="
|
|
319
|
-
<div class="line"><a name="
|
|
320
|
-
<div class="line"><a name="
|
|
321
|
-
<div class="line"><a name="
|
|
322
|
-
<div class="line"><a name="
|
|
323
|
-
<div class="line"><a name="
|
|
324
|
-
<div class="line"><a name="
|
|
325
|
-
<div class="line"><a name="
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="
|
|
328
|
-
<div class="line"><a name="
|
|
329
|
-
<div class="line"><a name="
|
|
330
|
-
<div class="line"><a name="
|
|
331
|
-
<div class="line"><a name="
|
|
332
|
-
<div class="line"><a name="
|
|
316
|
+
<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00446">446</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
|
|
317
|
+
<div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  {</div>
|
|
318
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  <a class="code" href="classSVF_1_1CDGEdge.html">SVF::CDGEdge</a> *edge = *(EI.getCurrent());</div>
|
|
319
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  assert(edge && <span class="stringliteral">"No edge found!!"</span>);</div>
|
|
320
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  </div>
|
|
321
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
322
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  std::stringstream rawstr(str);</div>
|
|
323
|
+
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &cond: edge-><a class="code" href="classSVF_1_1CDGEdge.html#aedf54ed1ce3b77c3565390ddc52bd438">getBranchConditions</a>())</div>
|
|
324
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  {</div>
|
|
325
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  rawstr << std::to_string(cond.second) << <span class="stringliteral">"|"</span>;</div>
|
|
326
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  }</div>
|
|
327
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lb = rawstr.str();</div>
|
|
328
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  lb.pop_back();</div>
|
|
329
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  </div>
|
|
330
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  <span class="keywordflow">return</span> lb;</div>
|
|
331
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  }</div>
|
|
333
332
|
</div><!-- fragment -->
|
|
334
333
|
</div>
|
|
335
334
|
</div>
|
package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html
CHANGED
|
@@ -175,7 +175,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
175
175
|
</table>
|
|
176
176
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
177
177
|
<div class="textblock">
|
|
178
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
178
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00503">503</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
179
179
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
180
180
|
<a id="a10af45bcbdbb34263454107c0e5184d4"></a>
|
|
181
181
|
<h2 class="memtitle"><span class="permalink"><a href="#a10af45bcbdbb34263454107c0e5184d4">◆ </a></span>NodeType</h2>
|
|
@@ -189,7 +189,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
189
189
|
</table>
|
|
190
190
|
</div><div class="memdoc">
|
|
191
191
|
|
|
192
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
192
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00506">506</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
193
193
|
|
|
194
194
|
</div>
|
|
195
195
|
</div>
|
|
@@ -218,11 +218,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
218
218
|
</table>
|
|
219
219
|
</div><div class="memdoc">
|
|
220
220
|
|
|
221
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
222
|
-
<div class="fragment"><div class="line"><a name="
|
|
223
|
-
<div class="line"><a name="
|
|
224
|
-
<div class="line"><a name="
|
|
225
|
-
<div class="line"><a name="
|
|
221
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00508">508</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
222
|
+
<div class="fragment"><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  :</div>
|
|
223
|
+
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  DOTGraphTraits<SVF::SVFIR *>(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
|
|
224
|
+
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span>  {</div>
|
|
225
|
+
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  }</div>
|
|
226
226
|
</div><!-- fragment -->
|
|
227
227
|
</div>
|
|
228
228
|
</div>
|
|
@@ -269,26 +269,26 @@ template<class EdgeIter > </div>
|
|
|
269
269
|
</table>
|
|
270
270
|
</div><div class="memdoc">
|
|
271
271
|
|
|
272
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
273
|
-
<div class="fragment"><div class="line"><a name="
|
|
274
|
-
<div class="line"><a name="
|
|
275
|
-
<div class="line"><a name="
|
|
276
|
-
<div class="line"><a name="
|
|
277
|
-
<div class="line"><a name="
|
|
278
|
-
<div class="line"><a name="
|
|
279
|
-
<div class="line"><a name="
|
|
280
|
-
<div class="line"><a name="
|
|
281
|
-
<div class="line"><a name="
|
|
282
|
-
<div class="line"><a name="
|
|
283
|
-
<div class="line"><a name="
|
|
284
|
-
<div class="line"><a name="
|
|
285
|
-
<div class="line"><a name="
|
|
286
|
-
<div class="line"><a name="
|
|
287
|
-
<div class="line"><a name="
|
|
288
|
-
<div class="line"><a name="
|
|
289
|
-
<div class="line"><a name="
|
|
290
|
-
<div class="line"><a name="
|
|
291
|
-
<div class="line"><a name="
|
|
272
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00578">578</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
273
|
+
<div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  {</div>
|
|
274
|
+
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
|
|
275
|
+
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span>  assert(edge && <span class="stringliteral">"No edge found!!"</span>);</div>
|
|
276
|
+
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span>  <span class="keywordflow">if</span> (edge->getICFGEdge())</div>
|
|
277
|
+
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span>  {</div>
|
|
278
|
+
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  <span class="keywordflow">if</span> (SVFUtil::isa<CallCFGEdge>(edge->getICFGEdge()))</div>
|
|
279
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  {</div>
|
|
280
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span>  <span class="keywordflow">return</span> <span class="stringliteral">"style=solid,color=red"</span>;</div>
|
|
281
|
+
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  }</div>
|
|
282
|
+
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<RetCFGEdge>(edge->getICFGEdge()))</div>
|
|
283
|
+
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span>  <span class="keywordflow">return</span> <span class="stringliteral">"style=solid,color=blue"</span>;</div>
|
|
284
|
+
<div class="line"><a name="l00590"></a><span class="lineno"> 590</span>  <span class="keywordflow">else</span></div>
|
|
285
|
+
<div class="line"><a name="l00591"></a><span class="lineno"> 591</span>  <span class="keywordflow">return</span> <span class="stringliteral">"style=solid"</span>;</div>
|
|
286
|
+
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span>  }</div>
|
|
287
|
+
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span>  <span class="keywordflow">else</span></div>
|
|
288
|
+
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span>  {</div>
|
|
289
|
+
<div class="line"><a name="l00595"></a><span class="lineno"> 595</span>  <span class="keywordflow">return</span> <span class="stringliteral">"style=solid"</span>;</div>
|
|
290
|
+
<div class="line"><a name="l00596"></a><span class="lineno"> 596</span>  }</div>
|
|
291
|
+
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  }</div>
|
|
292
292
|
</div><!-- fragment -->
|
|
293
293
|
</div>
|
|
294
294
|
</div>
|
|
@@ -328,22 +328,22 @@ template<class EdgeIter > </div>
|
|
|
328
328
|
</table>
|
|
329
329
|
</div><div class="memdoc">
|
|
330
330
|
|
|
331
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
332
|
-
<div class="fragment"><div class="line"><a name="
|
|
333
|
-
<div class="line"><a name="
|
|
334
|
-
<div class="line"><a name="
|
|
335
|
-
<div class="line"><a name="
|
|
336
|
-
<div class="line"><a name="
|
|
337
|
-
<div class="line"><a name="
|
|
338
|
-
<div class="line"><a name="
|
|
339
|
-
<div class="line"><a name="
|
|
340
|
-
<div class="line"><a name="
|
|
341
|
-
<div class="line"><a name="
|
|
342
|
-
<div class="line"><a name="
|
|
343
|
-
<div class="line"><a name="
|
|
344
|
-
<div class="line"><a name="
|
|
345
|
-
<div class="line"><a name="
|
|
346
|
-
<div class="line"><a name="
|
|
331
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00600">600</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
332
|
+
<div class="fragment"><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>  {</div>
|
|
333
|
+
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span>  CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
|
|
334
|
+
<div class="line"><a name="l00603"></a><span class="lineno"> 603</span>  assert(edge && <span class="stringliteral">"No edge found!!"</span>);</div>
|
|
335
|
+
<div class="line"><a name="l00604"></a><span class="lineno"> 604</span>  </div>
|
|
336
|
+
<div class="line"><a name="l00605"></a><span class="lineno"> 605</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
337
|
+
<div class="line"><a name="l00606"></a><span class="lineno"> 606</span>  std::stringstream rawstr(str);</div>
|
|
338
|
+
<div class="line"><a name="l00607"></a><span class="lineno"> 607</span>  <span class="keywordflow">if</span> (edge->getICFGEdge())</div>
|
|
339
|
+
<div class="line"><a name="l00608"></a><span class="lineno"> 608</span>  {</div>
|
|
340
|
+
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> CallCFGEdge* dirCall = SVFUtil::dyn_cast<CallCFGEdge>(edge->getICFGEdge()))</div>
|
|
341
|
+
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span>  rawstr << dirCall->getCallSite();</div>
|
|
342
|
+
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> RetCFGEdge* dirRet = SVFUtil::dyn_cast<RetCFGEdge>(edge->getICFGEdge()))</div>
|
|
343
|
+
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span>  rawstr << dirRet->getCallSite();</div>
|
|
344
|
+
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  }</div>
|
|
345
|
+
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
346
|
+
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span>  }</div>
|
|
347
347
|
</div><!-- fragment -->
|
|
348
348
|
</div>
|
|
349
349
|
</div>
|
|
@@ -373,10 +373,10 @@ template<class EdgeIter > </div>
|
|
|
373
373
|
|
|
374
374
|
<p>Return name of the graph. </p>
|
|
375
375
|
|
|
376
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
377
|
-
<div class="fragment"><div class="line"><a name="
|
|
378
|
-
<div class="line"><a name="
|
|
379
|
-
<div class="line"><a name="
|
|
376
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00514">514</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
377
|
+
<div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  {</div>
|
|
378
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  <span class="keywordflow">return</span> <span class="stringliteral">"CFBasicBlockGraph"</span>;</div>
|
|
379
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  }</div>
|
|
380
380
|
</div><!-- fragment -->
|
|
381
381
|
</div>
|
|
382
382
|
</div>
|
|
@@ -414,47 +414,47 @@ template<class EdgeIter > </div>
|
|
|
414
414
|
</table>
|
|
415
415
|
</div><div class="memdoc">
|
|
416
416
|
|
|
417
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
418
|
-
<div class="fragment"><div class="line"><a name="
|
|
419
|
-
<div class="line"><a name="
|
|
420
|
-
<div class="line"><a name="
|
|
421
|
-
<div class="line"><a name="
|
|
422
|
-
<div class="line"><a name="
|
|
423
|
-
<div class="line"><a name="
|
|
424
|
-
<div class="line"><a name="
|
|
425
|
-
<div class="line"><a name="
|
|
426
|
-
<div class="line"><a name="
|
|
427
|
-
<div class="line"><a name="
|
|
428
|
-
<div class="line"><a name="
|
|
429
|
-
<div class="line"><a name="
|
|
430
|
-
<div class="line"><a name="
|
|
431
|
-
<div class="line"><a name="
|
|
432
|
-
<div class="line"><a name="
|
|
433
|
-
<div class="line"><a name="
|
|
434
|
-
<div class="line"><a name="
|
|
435
|
-
<div class="line"><a name="
|
|
436
|
-
<div class="line"><a name="
|
|
437
|
-
<div class="line"><a name="
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="
|
|
440
|
-
<div class="line"><a name="
|
|
441
|
-
<div class="line"><a name="
|
|
442
|
-
<div class="line"><a name="
|
|
443
|
-
<div class="line"><a name="
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="
|
|
451
|
-
<div class="line"><a name="
|
|
452
|
-
<div class="line"><a name="
|
|
453
|
-
<div class="line"><a name="
|
|
454
|
-
<div class="line"><a name="
|
|
455
|
-
<div class="line"><a name="
|
|
456
|
-
<div class="line"><a name="
|
|
457
|
-
<div class="line"><a name="
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00535">535</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
418
|
+
<div class="fragment"><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>  {</div>
|
|
419
|
+
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
420
|
+
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  std::stringstream rawstr(str);</div>
|
|
421
|
+
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  <span class="keywordflow">if</span>(node->getICFGNodes().size() == 1)</div>
|
|
422
|
+
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span>  {</div>
|
|
423
|
+
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  <span class="keyword">const</span> ICFGNode* <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> = node->getICFGNodes()[0];</div>
|
|
424
|
+
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="keywordflow">if</span>(SVFUtil::isa<IntraICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
425
|
+
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  {</div>
|
|
426
|
+
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  rawstr << <span class="stringliteral">"color=black"</span>;</div>
|
|
427
|
+
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  }</div>
|
|
428
|
+
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<FunEntryICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
429
|
+
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  {</div>
|
|
430
|
+
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  rawstr << <span class="stringliteral">"color=yellow"</span>;</div>
|
|
431
|
+
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  }</div>
|
|
432
|
+
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<FunExitICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
433
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  {</div>
|
|
434
|
+
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  rawstr << <span class="stringliteral">"color=green"</span>;</div>
|
|
435
|
+
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span>  }</div>
|
|
436
|
+
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<CallICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
437
|
+
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span>  {</div>
|
|
438
|
+
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  rawstr << <span class="stringliteral">"color=red"</span>;</div>
|
|
439
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  }</div>
|
|
440
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<RetICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
441
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  {</div>
|
|
442
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  rawstr << <span class="stringliteral">"color=blue"</span>;</div>
|
|
443
|
+
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  }</div>
|
|
444
|
+
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<GlobalICFGNode>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
|
|
445
|
+
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span>  {</div>
|
|
446
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  rawstr << <span class="stringliteral">"color=purple"</span>;</div>
|
|
447
|
+
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  }</div>
|
|
448
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  <span class="keywordflow">else</span></div>
|
|
449
|
+
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"no such kind of node!!"</span>);</div>
|
|
450
|
+
<div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  }</div>
|
|
451
|
+
<div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  <span class="keywordflow">else</span></div>
|
|
452
|
+
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span>  {</div>
|
|
453
|
+
<div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  rawstr << <span class="stringliteral">"color=black"</span>;</div>
|
|
454
|
+
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  }</div>
|
|
455
|
+
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  rawstr << <span class="stringliteral">""</span>;</div>
|
|
456
|
+
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
457
|
+
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  }</div>
|
|
458
458
|
</div><!-- fragment -->
|
|
459
459
|
</div>
|
|
460
460
|
</div>
|
|
@@ -492,10 +492,10 @@ template<class EdgeIter > </div>
|
|
|
492
492
|
</table>
|
|
493
493
|
</div><div class="memdoc">
|
|
494
494
|
|
|
495
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
496
|
-
<div class="fragment"><div class="line"><a name="
|
|
497
|
-
<div class="line"><a name="
|
|
498
|
-
<div class="line"><a name="
|
|
495
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00519">519</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
496
|
+
<div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  {</div>
|
|
497
|
+
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">getSimpleNodeLabel</a>(node, graph);</div>
|
|
498
|
+
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  }</div>
|
|
499
499
|
</div><!-- fragment -->
|
|
500
500
|
</div>
|
|
501
501
|
</div>
|
|
@@ -535,15 +535,15 @@ template<class EdgeIter > </div>
|
|
|
535
535
|
|
|
536
536
|
<p>Return the label of an <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node. </p>
|
|
537
537
|
|
|
538
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
539
|
-
<div class="fragment"><div class="line"><a name="
|
|
540
|
-
<div class="line"><a name="
|
|
541
|
-
<div class="line"><a name="
|
|
542
|
-
<div class="line"><a name="
|
|
543
|
-
<div class="line"><a name="
|
|
544
|
-
<div class="line"><a name="
|
|
545
|
-
<div class="line"><a name="
|
|
546
|
-
<div class="line"><a name="
|
|
538
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00525">525</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
539
|
+
<div class="fragment"><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  {</div>
|
|
540
|
+
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
541
|
+
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  std::stringstream rawstr(str);</div>
|
|
542
|
+
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  rawstr << <span class="stringliteral">"NodeID: "</span> << node->getId() << <span class="stringliteral">"\n"</span>;</div>
|
|
543
|
+
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span>  rawstr << node->toString();</div>
|
|
544
|
+
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  </div>
|
|
545
|
+
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
546
|
+
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  }</div>
|
|
547
547
|
</div><!-- fragment -->
|
|
548
548
|
</div>
|
|
549
549
|
</div>
|
|
@@ -553,7 +553,7 @@ template<class EdgeIter > </div>
|
|
|
553
553
|
</div><!-- contents -->
|
|
554
554
|
<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>
|
|
555
555
|
<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>
|
|
556
|
-
<div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
556
|
+
<div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00525">CFBasicBlockG.h:525</a></div></div>
|
|
557
557
|
<div class="ttc" id="astructSVF_1_1DefaultDOTGraphTraits_html_acc82bc6228128e5bb98a6b00d6dc5f77"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
|
|
558
558
|
<!-- start footer part -->
|
|
559
559
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -95,7 +95,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
95
95
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
96
96
|
<div class="textblock"><p><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal. </p>
|
|
97
97
|
|
|
98
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
98
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00486">486</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
99
99
|
</div><hr/>The documentation for this struct was generated from the following file:<ul>
|
|
100
100
|
<li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
|
|
101
101
|
</ul>
|
package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html
CHANGED
|
@@ -94,7 +94,7 @@ Public Types</h2></td></tr>
|
|
|
94
94
|
</table>
|
|
95
95
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
96
96
|
<div class="textblock">
|
|
97
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
97
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00492">492</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
98
98
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
99
99
|
<a id="a0d7eb2f1c00f0499d99f5508ce5055f5"></a>
|
|
100
100
|
<h2 class="memtitle"><span class="permalink"><a href="#a0d7eb2f1c00f0499d99f5508ce5055f5">◆ </a></span>NodeRef</h2>
|
|
@@ -108,7 +108,7 @@ Public Types</h2></td></tr>
|
|
|
108
108
|
</table>
|
|
109
109
|
</div><div class="memdoc">
|
|
110
110
|
|
|
111
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
111
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00495">495</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
112
112
|
|
|
113
113
|
</div>
|
|
114
114
|
</div>
|