svf-tools 1.0.793 → 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/AccessPath_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
- 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/CHG_8cpp.html +2 -2
- package/SVF-doxygen/html/CHG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
- package/SVF-doxygen/html/SVFType_8cpp_source.html +57 -55
- package/SVF-doxygen/html/SVFType_8h.html +2 -2
- package/SVF-doxygen/html/SVFType_8h_source.html +10 -10
- package/SVF-doxygen/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFValue_8cpp.html +46 -0
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +266 -256
- package/SVF-doxygen/html/SVFValue_8h_source.html +14 -14
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WTO_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CDG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CDGBuilder.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/classSVF_1_1CHGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +63 -63
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +32 -32
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +116 -116
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFType.html +1 -10
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1StInfo-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StInfo.html +14 -23
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
- package/SVF-doxygen/html/functions_a.html +1 -1
- package/SVF-doxygen/html/functions_func.html +1 -1
- package/SVF-doxygen/html/globals.html +2 -0
- package/SVF-doxygen/html/globals_func.html +2 -0
- package/SVF-doxygen/html/menudata.js +4 -2
- package/SVF-doxygen/html/namespaceSVF.html +41 -12
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/namespacemembers.html +3 -36
- package/SVF-doxygen/html/namespacemembers_a.html +112 -0
- package/SVF-doxygen/html/namespacemembers_func.html +3 -6
- package/SVF-doxygen/html/namespacemembers_func_a.html +82 -0
- package/SVF-doxygen/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/search/all_1.js +1 -1
- package/SVF-doxygen/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/search/functions_0.js +1 -1
- package/SVF-doxygen/html/search/functions_1.js +1 -1
- package/SVF-doxygen/html/search/functions_f.js +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
- package/svf/lib/SVFIR/SVFType.cpp +2 -0
- package/svf/lib/SVFIR/SVFValue.cpp +7 -0
- package/svf-llvm/CMakeLists.txt +1 -1
|
@@ -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">
|
|
@@ -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>
|
|
@@ -1493,7 +1493,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1493
1493
|
<div class="ttc" id="aclassSVF_1_1CHGraph_html_a70a2bab82563a910d32a9169030596c0"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map< const SVFFunction *, u32_t > virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00330">CHG.h:330</a></div></div>
|
|
1494
1494
|
<div class="ttc" id="astructSVF_1_1cppUtil_1_1DemangledName_html"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html">SVF::cppUtil::DemangledName</a></div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8h_source.html#l00046">CppUtil.h:46</a></div></div>
|
|
1495
1495
|
<div class="ttc" id="aCHG_8cpp_html_a28cd7506ba009f12fa978aab492767b7"><div class="ttname"><a href="CHG_8cpp.html#a28cd7506ba009f12fa978aab492767b7">checkArgTypes</a></div><div class="ttdeci">static bool checkArgTypes(CallSite cs, const SVFFunction *fn)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00052">CHG.cpp:52</a></div></div>
|
|
1496
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#
|
|
1496
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00176">SVFValue.cpp:176</a></div></div>
|
|
1497
1497
|
<div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
|
|
1498
1498
|
<div class="ttc" id="aclassSVF_1_1CHNode_html_aa4af6538c9994ec54a7b82691f846a31"><div class="ttname"><a href="classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31">SVF::CHNode::FuncVector</a></div><div class="ttdeci">std::vector< const SVFFunction * > FuncVector</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00121">CHG.h:121</a></div></div>
|
|
1499
1499
|
<div class="ttc" id="acJSON_8cpp_html_ad00efb41ca386db28bacc7aefe79535c"><div class="ttname"><a href="cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c">child</a></div><div class="ttdeci">cJSON * child</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02723">cJSON.cpp:2723</a></div></div>
|
|
@@ -1512,7 +1512,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1512
1512
|
<div class="ttc" id="aclassSVF_1_1CHGraph_html_ae613ad20686db0f2159a00cb00ae0a9e"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e">SVF::CHGraph::classNameToNodeMap</a></div><div class="ttdeci">Map< std::string, CHNode * > classNameToNodeMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00323">CHG.h:323</a></div></div>
|
|
1513
1513
|
<div class="ttc" id="aclassSVF_1_1CHGraph_html_acd022005e2191bc3bcb265805abee4f8"><div class="ttname"><a href="classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8">SVF::CHGraph::templateNameToInstancesMap</a></div><div class="ttdeci">NameToCHNodesMap templateNameToInstancesMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00327">CHG.h:327</a></div></div>
|
|
1514
1514
|
<div class="ttc" id="aclassSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string & getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01175">SVFValue.h:1175</a></div></div>
|
|
1515
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#
|
|
1515
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00187">SVFValue.cpp:187</a></div></div>
|
|
1516
1516
|
<div class="ttc" id="aclassSVF_1_1CHGraph_html_ae382d5bab69843bdb9424c4c6ff94140"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140">SVF::CHGraph::printCH</a></div><div class="ttdeci">void printCH()</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00196">CHG.cpp:196</a></div></div>
|
|
1517
1517
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00217">GenericGraph.h:217</a></div></div>
|
|
1518
1518
|
<div class="ttc" id="aclassSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00108">CHG.h:108</a></div></div>
|