svf-tools 1.0.366 → 1.0.367
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/html/ConsG_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +9 -6
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +32 -28
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -16
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +17 -15
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +105 -97
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +24 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +91 -27
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +23 -21
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +93 -27
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +61 -37
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +123 -86
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +42 -41
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +28 -19
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +42 -41
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +27 -19
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +16 -16
- package/SVF-doxygen/html/html/functions_a.html +8 -8
- package/SVF-doxygen/html/html/functions_c.html +29 -23
- package/SVF-doxygen/html/html/functions_e.html +6 -2
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func.html +8 -8
- package/SVF-doxygen/html/html/functions_func_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +10 -8
- package/SVF-doxygen/html/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +14 -12
- package/SVF-doxygen/html/html/functions_i.html +11 -13
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +11 -11
- package/SVF-doxygen/html/html/functions_p.html +12 -12
- package/SVF-doxygen/html/html/functions_s.html +9 -9
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_c.html +4 -0
- package/SVF-doxygen/html/html/functions_vars_e.html +4 -0
- package/SVF-doxygen/html/html/functions_vars_i.html +1 -3
- package/SVF-doxygen/html/html/search/all_1.js +8 -8
- package/SVF-doxygen/html/html/search/all_10.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_5.js +2 -2
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +2 -2
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_e.js +5 -5
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +8 -8
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +2 -2
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +2 -2
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -0
- package/SVF-doxygen/html/html/search/variables_5.js +2 -1
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/include/MemoryModel/SVFIR.h +4 -4
- package/include/MemoryModel/SVFStatements.h +24 -14
- package/include/SVF-FE/SVFIRBuilder.h +8 -8
- package/lib/MemoryModel/PAGBuilderFromFile.cpp +2 -2
- package/lib/MemoryModel/SVFIR.cpp +8 -8
- package/lib/SVF-FE/SVFIRBuilder.cpp +11 -6
- package/package.json +1 -1
|
@@ -289,7 +289,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
289
289
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
290
290
|
<div class="textblock"><p>Select statement (e.g., p ? q: r which receives values from variables q and r based on condition p) </p>
|
|
291
291
|
|
|
292
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
292
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00735">735</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
293
293
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
294
294
|
<a id="a995baa18cc36d0671be3e98761f9879a"></a>
|
|
295
295
|
<h2 class="memtitle"><span class="permalink"><a href="#a995baa18cc36d0671be3e98761f9879a">◆ </a></span>SelectStmt() <span class="overload">[1/3]</span></h2>
|
|
@@ -388,10 +388,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
388
388
|
|
|
389
389
|
<p>constructor </p>
|
|
390
390
|
|
|
391
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
392
|
-
<div class="fragment"><div class="line"><a name="
|
|
391
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00765">765</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
392
|
+
<div class="fragment"><div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a>), <a class="code" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">condition</a>(cond)</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  {</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(opnds.size()==2 && <span class="stringliteral">"SelectStmt can only have two operands!"</span>);</div><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder </div></div>
|
|
393
393
|
<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
394
|
-
<div class="ttc" id="classSVF_1_1SelectStmt_html_a2d6e9d7131bc69a0e88b703c2c03d7e2"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt::condition</a></div><div class="ttdeci">const SVFVar * condition</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
394
|
+
<div class="ttc" id="classSVF_1_1SelectStmt_html_a2d6e9d7131bc69a0e88b703c2c03d7e2"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt::condition</a></div><div class="ttdeci">const SVFVar * condition</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00742">SVFStatements.h:742</a></div></div>
|
|
395
395
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
396
396
|
</div><!-- fragment -->
|
|
397
397
|
</div>
|
|
@@ -423,8 +423,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
423
423
|
|
|
424
424
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
425
425
|
|
|
426
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
427
|
-
<div class="fragment"><div class="line"><a name="
|
|
426
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00746">746</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
427
|
+
<div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  {</div><div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  }</div></div><!-- fragment -->
|
|
428
428
|
</div>
|
|
429
429
|
</div>
|
|
430
430
|
<a id="a3cb54c9a91a32e12c5f8ee452fcf64be"></a>
|
|
@@ -451,8 +451,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
451
451
|
</table>
|
|
452
452
|
</div><div class="memdoc">
|
|
453
453
|
|
|
454
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
455
|
-
<div class="fragment"><div class="line"><a name="
|
|
454
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00750">750</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
455
|
+
<div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a>;</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
456
456
|
</div><!-- fragment -->
|
|
457
457
|
</div>
|
|
458
458
|
</div>
|
|
@@ -480,8 +480,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
480
480
|
</table>
|
|
481
481
|
</div><div class="memdoc">
|
|
482
482
|
|
|
483
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
484
|
-
<div class="fragment"><div class="line"><a name="
|
|
483
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00754">754</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
484
|
+
<div class="fragment"><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  {</div><div class="line"><a name="l00756"></a><span class="lineno"> 756</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a>;</div><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
485
485
|
</div><!-- fragment -->
|
|
486
486
|
</div>
|
|
487
487
|
</div>
|
|
@@ -509,8 +509,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
509
509
|
</table>
|
|
510
510
|
</div><div class="memdoc">
|
|
511
511
|
|
|
512
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
513
|
-
<div class="fragment"><div class="line"><a name="
|
|
512
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00758">758</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
513
|
+
<div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  {</div><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a>;</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
514
514
|
</div><!-- fragment -->
|
|
515
515
|
</div>
|
|
516
516
|
</div>
|
|
@@ -537,8 +537,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
537
537
|
</table>
|
|
538
538
|
</div><div class="memdoc">
|
|
539
539
|
|
|
540
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
541
|
-
<div class="fragment"><div class="line"><a name="
|
|
540
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00771">771</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
541
|
+
<div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  {</div><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">condition</a>;</div><div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  }</div><div class="ttc" id="classSVF_1_1SelectStmt_html_a2d6e9d7131bc69a0e88b703c2c03d7e2"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt::condition</a></div><div class="ttdeci">const SVFVar * condition</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00742">SVFStatements.h:742</a></div></div>
|
|
542
542
|
</div><!-- fragment -->
|
|
543
543
|
</div>
|
|
544
544
|
</div>
|
|
@@ -565,8 +565,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
565
565
|
</table>
|
|
566
566
|
</div><div class="memdoc">
|
|
567
567
|
|
|
568
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
569
|
-
<div class="fragment"><div class="line"><a name="
|
|
568
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00777">777</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
569
|
+
<div class="fragment"><div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  {</div><div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a>(1);</div><div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operands and result at a BinaryNode e.g., p = q + r, p is resVar and r is OpVar. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00633">SVFStatements.h:633</a></div></div>
|
|
570
570
|
</div><!-- fragment -->
|
|
571
571
|
</div>
|
|
572
572
|
</div>
|
|
@@ -593,8 +593,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
593
593
|
</table>
|
|
594
594
|
</div><div class="memdoc">
|
|
595
595
|
|
|
596
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
597
|
-
<div class="fragment"><div class="line"><a name="
|
|
596
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00774">774</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
597
|
+
<div class="fragment"><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  {</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a>(0);</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operands and result at a BinaryNode e.g., p = q + r, p is resVar and r is OpVar. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00633">SVFStatements.h:633</a></div></div>
|
|
598
598
|
</div><!-- fragment -->
|
|
599
599
|
</div>
|
|
600
600
|
</div>
|
|
@@ -652,10 +652,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
652
652
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>.</p>
|
|
653
653
|
|
|
654
654
|
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00104">104</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
655
|
-
<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  std::string str;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  rawstr << <span class="stringliteral">"SelectStmt: (Condition Var"</span> << <a class="code" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">getCondition</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">") [Var"</span> << <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() << <span class="stringliteral">" <-- (Var"</span>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* op : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">getOpndVars</a>())</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  rawstr << op->getId() << <span class="stringliteral">","</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  rawstr << <span class="stringliteral">")]\t"</span>;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  rawstr << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span> }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars & getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
655
|
+
<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  std::string str;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  rawstr << <span class="stringliteral">"SelectStmt: (Condition Var"</span> << <a class="code" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">getCondition</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">") [Var"</span> << <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() << <span class="stringliteral">" <-- (Var"</span>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* op : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">getOpndVars</a>())</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  rawstr << op->getId() << <span class="stringliteral">","</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  rawstr << <span class="stringliteral">")]\t"</span>;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  rawstr << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span> }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars & getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00659">SVFStatements.h:659</a></div></div>
|
|
656
656
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00115">SVFStatements.h:115</a></div></div>
|
|
657
657
|
<div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
|
|
658
|
-
<div class="ttc" id="classSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
658
|
+
<div class="ttc" id="classSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00771">SVFStatements.h:771</a></div></div>
|
|
659
659
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
660
660
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
|
|
661
661
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
|
|
@@ -685,7 +685,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
685
685
|
</table>
|
|
686
686
|
</div><div class="memdoc">
|
|
687
687
|
|
|
688
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
688
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00742">742</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
689
689
|
|
|
690
690
|
</div>
|
|
691
691
|
</div>
|
|
@@ -74,7 +74,7 @@ $(function() {
|
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">CallPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *e, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d">classof</a>(const TDForkPE *)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
@@ -96,46 +96,47 @@ $(function() {
|
|
|
96
96
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
97
97
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
98
98
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
|
-
<tr><td class="entry"><a class="el" href="
|
|
100
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
101
|
-
<tr><td class="entry"><a class="el" href="
|
|
102
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#
|
|
103
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#
|
|
104
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#
|
|
105
|
-
<tr><td class="entry"><a class="el" href="
|
|
106
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
107
|
-
<tr><td class="entry"><a class="el" href="
|
|
108
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
109
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
115
|
-
<tr><td class="entry"><a class="el" href="
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
117
|
-
<tr><td class="entry"><a class="el" href="
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
135
|
-
<tr><td class="entry"><a class="el" href="
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
99
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">getFunEntryICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
106
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
108
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
110
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">operator=</a>(const TDForkPE &)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge< NodeType > *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae">TDForkPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b">TDForkPE</a>(const TDForkPE &)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
140
|
</table></div><!-- contents -->
|
|
140
141
|
<!-- start footer part -->
|
|
141
142
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -87,20 +87,22 @@ Inheritance diagram for SVF::TDForkPE:</div>
|
|
|
87
87
|
<table class="memberdecls">
|
|
88
88
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
89
89
|
Public Member Functions</h2></td></tr>
|
|
90
|
-
<tr class="memitem:
|
|
91
|
-
<tr class="memdesc:
|
|
92
|
-
<tr class="separator:
|
|
90
|
+
<tr class="memitem:ae28fa8ad500a11208410adbfd0d19ea5"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5">TDForkPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *<a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>)</td></tr>
|
|
91
|
+
<tr class="memdesc:ae28fa8ad500a11208410adbfd0d19ea5"><td class="mdescLeft"> </td><td class="mdescRight">constructor <a href="#ae28fa8ad500a11208410adbfd0d19ea5">More...</a><br /></td></tr>
|
|
92
|
+
<tr class="separator:ae28fa8ad500a11208410adbfd0d19ea5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
93
|
<tr class="memitem:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a> () const</td></tr>
|
|
94
94
|
<tr class="separator:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
95
|
<tr class="inherit_header pub_methods_classSVF_1_1CallPE"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CallPE')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td></tr>
|
|
96
|
-
<tr class="memitem:
|
|
97
|
-
<tr class="memdesc:
|
|
98
|
-
<tr class="separator:
|
|
96
|
+
<tr class="memitem:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *e, <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
|
|
97
|
+
<tr class="memdesc:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft"> </td><td class="mdescRight">constructor <a href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">More...</a><br /></td></tr>
|
|
98
|
+
<tr class="separator:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
99
|
<tr class="memitem:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a> () const</td></tr>
|
|
100
100
|
<tr class="memdesc:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft"> </td><td class="mdescRight">Get method for the call instruction. <a href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">More...</a><br /></td></tr>
|
|
101
101
|
<tr class="separator:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
102
|
<tr class="memitem:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a> () const</td></tr>
|
|
103
103
|
<tr class="separator:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
|
+
<tr class="memitem:a9c9821c4e7dd031e3f82f2b29427e53e inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">getFunEntryICFGNode</a> () const</td></tr>
|
|
105
|
+
<tr class="separator:a9c9821c4e7dd031e3f82f2b29427e53e inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
106
|
<tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
|
|
105
107
|
<tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
|
|
106
108
|
<tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -171,7 +173,7 @@ Static Public Member Functions</h2></td></tr>
|
|
|
171
173
|
<tr class="separator:a9e160158fe61958bcd6ef2a7da559018"><td class="memSeparator" colspan="2"> </td></tr>
|
|
172
174
|
<tr class="inherit_header pub_static_methods_classSVF_1_1CallPE"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1CallPE')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td></tr>
|
|
173
175
|
<tr class="memitem:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">classof</a> (const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *)</td></tr>
|
|
174
|
-
<tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="mdescLeft"> </td><td class="mdescRight">
|
|
176
|
+
<tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="mdescLeft"> </td><td class="mdescRight">the function exit statement calling to <a href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">More...</a><br /></td></tr>
|
|
175
177
|
<tr class="separator:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
176
178
|
<tr class="memitem:a188c51f3e378c451d34e90c96cca0cf5 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
|
|
177
179
|
<tr class="separator:a188c51f3e378c451d34e90c96cca0cf5 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -274,7 +276,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
274
276
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
275
277
|
<div class="textblock"><p>Thread Fork </p>
|
|
276
278
|
|
|
277
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
279
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01010">1010</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
278
280
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
279
281
|
<a id="a8d474c87f2f641336064270536fae8ae"></a>
|
|
280
282
|
<h2 class="memtitle"><span class="permalink"><a href="#a8d474c87f2f641336064270536fae8ae">◆ </a></span>TDForkPE() <span class="overload">[1/3]</span></h2>
|
|
@@ -331,8 +333,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
331
333
|
|
|
332
334
|
</div>
|
|
333
335
|
</div>
|
|
334
|
-
<a id="
|
|
335
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
336
|
+
<a id="ae28fa8ad500a11208410adbfd0d19ea5"></a>
|
|
337
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae28fa8ad500a11208410adbfd0d19ea5">◆ </a></span>TDForkPE() <span class="overload">[3/3]</span></h2>
|
|
336
338
|
|
|
337
339
|
<div class="memitem">
|
|
338
340
|
<div class="memproto">
|
|
@@ -356,7 +358,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
356
358
|
<td class="paramkey"></td>
|
|
357
359
|
<td></td>
|
|
358
360
|
<td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td>
|
|
359
|
-
<td class="paramname"><em>i</em
|
|
361
|
+
<td class="paramname"><em>i</em>, </td>
|
|
362
|
+
</tr>
|
|
363
|
+
<tr>
|
|
364
|
+
<td class="paramkey"></td>
|
|
365
|
+
<td></td>
|
|
366
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> * </td>
|
|
367
|
+
<td class="paramname"><em>entry</em> </td>
|
|
360
368
|
</tr>
|
|
361
369
|
<tr>
|
|
362
370
|
<td></td>
|
|
@@ -373,8 +381,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
373
381
|
|
|
374
382
|
<p>constructor </p>
|
|
375
383
|
|
|
376
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
377
|
-
<div class="fragment"><div class="line"><a name="
|
|
384
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01035">1035</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
385
|
+
<div class="fragment"><div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>  :</div><div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>  <a class="code" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>(s,d,i,<a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>  {</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>  }</div><div class="ttc" id="classSVF_1_1CallPE_html_a5e6271f5697a32b57efeccfedc61e331"><div class="ttname"><a href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE()</div><div class="ttdoc">place holder </div></div>
|
|
386
|
+
<div class="ttc" id="classSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00485">SVFStatements.h:485</a></div></div>
|
|
378
387
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
379
388
|
</div><!-- fragment -->
|
|
380
389
|
</div>
|
|
@@ -406,8 +415,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
415
|
|
|
407
416
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
408
417
|
|
|
409
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
410
|
-
<div class="fragment"><div class="line"><a name="
|
|
418
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01020">1020</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
419
|
+
<div class="fragment"><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>  {</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>  }</div></div><!-- fragment -->
|
|
411
420
|
</div>
|
|
412
421
|
</div>
|
|
413
422
|
<a id="a68f16df5a9b44dd2492c33fb0a1b5f0c"></a>
|
|
@@ -434,8 +443,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
434
443
|
</table>
|
|
435
444
|
</div><div class="memdoc">
|
|
436
445
|
|
|
437
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
438
|
-
<div class="fragment"><div class="line"><a name="
|
|
446
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01024">1024</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
447
|
+
<div class="fragment"><div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>  {</div><div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
439
448
|
</div><!-- fragment -->
|
|
440
449
|
</div>
|
|
441
450
|
</div>
|
|
@@ -463,8 +472,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
463
472
|
</table>
|
|
464
473
|
</div><div class="memdoc">
|
|
465
474
|
|
|
466
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
467
|
-
<div class="fragment"><div class="line"><a name="
|
|
475
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01028">1028</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
476
|
+
<div class="fragment"><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>  {</div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
468
477
|
</div><!-- fragment -->
|
|
469
478
|
</div>
|
|
470
479
|
</div>
|