svf-tools 1.0.412 → 1.0.415
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/AndersenStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +8 -8
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +89 -88
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +19 -19
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +71 -69
- package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -41
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFUtil_8h.html +2 -2
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +197 -195
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +89 -72
- package/SVF-doxygen/html/html/VFG_8h_source.html +39 -39
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +25 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +59 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +61 -24
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +23 -20
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +69 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +59 -24
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +70 -33
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +53 -17
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +22 -19
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +49 -48
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +58 -57
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +45 -42
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +40 -37
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +57 -56
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +48 -13
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +36 -33
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +58 -21
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +71 -34
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +77 -77
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +35 -32
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +51 -14
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +55 -54
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +76 -39
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +70 -70
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +43 -42
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +41 -9
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +10 -10
- package/SVF-doxygen/html/html/functions_func_g.html +32 -12
- package/SVF-doxygen/html/html/functions_func_t.html +2 -2
- package/SVF-doxygen/html/html/functions_g.html +27 -7
- package/SVF-doxygen/html/html/functions_i.html +1 -1
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_p.html +6 -6
- package/SVF-doxygen/html/html/functions_r.html +8 -8
- package/SVF-doxygen/html/html/functions_t.html +8 -6
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +7 -7
- package/SVF-doxygen/html/html/namespacemembers_p.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_type_p.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +4 -4
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +48 -48
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +36 -36
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +1 -1
- package/include/Graphs/SVFGNode.h +6 -1
- package/include/Graphs/VFG.h +1 -1
- package/include/Graphs/VFGNode.h +38 -3
- package/include/Util/SVFUtil.h +1 -1
- package/lib/Graphs/SVFG.cpp +9 -0
- package/lib/Graphs/VFG.cpp +86 -0
- package/lib/Util/NodeIDAllocator.cpp +2 -2
- package/lib/WPA/AndersenStat.cpp +0 -8
- package/package.json +1 -1
|
@@ -158,6 +158,9 @@ Public Member Functions</h2></td></tr>
|
|
|
158
158
|
<tr class="memitem:a103e55e670ce614cabc13b8dc5b17b91"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91">isPTANode</a> () const</td></tr>
|
|
159
159
|
<tr class="memdesc:a103e55e670ce614cabc13b8dc5b17b91"><td class="mdescLeft"> </td><td class="mdescRight">Whether this phi node is of pointer type (used for pointer analysis). <a href="#a103e55e670ce614cabc13b8dc5b17b91">More...</a><br /></td></tr>
|
|
160
160
|
<tr class="separator:a103e55e670ce614cabc13b8dc5b17b91"><td class="memSeparator" colspan="2"> </td></tr>
|
|
161
|
+
<tr class="memitem:a600752db995e57d49894c3f89e87cb50"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PHIVFGNode.html#a600752db995e57d49894c3f89e87cb50">getDefSVFVars</a> () const override</td></tr>
|
|
162
|
+
<tr class="memdesc:a600752db995e57d49894c3f89e87cb50"><td class="mdescLeft"> </td><td class="mdescRight">Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. <a href="#a600752db995e57d49894c3f89e87cb50">More...</a><br /></td></tr>
|
|
163
|
+
<tr class="separator:a600752db995e57d49894c3f89e87cb50"><td class="memSeparator" colspan="2"> </td></tr>
|
|
161
164
|
<tr class="memitem:a188a4d3ae95fe01dc59784d076f28aef"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef">getValue</a> () const override</td></tr>
|
|
162
165
|
<tr class="memdesc:a188a4d3ae95fe01dc59784d076f28aef"><td class="mdescLeft"> </td><td class="mdescRight">Return the corresponding LLVM value, if possible, nullptr otherwise. <a href="#a188a4d3ae95fe01dc59784d076f28aef">More...</a><br /></td></tr>
|
|
163
166
|
<tr class="separator:a188a4d3ae95fe01dc59784d076f28aef"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -284,7 +287,7 @@ Protected Attributes</h2></td></tr>
|
|
|
284
287
|
</table>
|
|
285
288
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
286
289
|
<div class="textblock">
|
|
287
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
290
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00645">645</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
288
291
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
289
292
|
<a id="a44ba5254e5f4def007c99916cd58668c"></a>
|
|
290
293
|
<h2 class="memtitle"><span class="permalink"><a href="#a44ba5254e5f4def007c99916cd58668c">◆ </a></span>OPVers</h2>
|
|
@@ -298,7 +301,7 @@ Protected Attributes</h2></td></tr>
|
|
|
298
301
|
</table>
|
|
299
302
|
</div><div class="memdoc">
|
|
300
303
|
|
|
301
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
304
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00649">649</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
302
305
|
|
|
303
306
|
</div>
|
|
304
307
|
</div>
|
|
@@ -337,9 +340,9 @@ Protected Attributes</h2></td></tr>
|
|
|
337
340
|
|
|
338
341
|
<p>Constructor. </p>
|
|
339
342
|
|
|
340
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
341
|
-
<div class="fragment"><div class="line"><a name="
|
|
342
|
-
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
343
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00381">381</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
344
|
+
<div class="fragment"><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>, k), <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>(r)</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span> {</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span> </div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span> }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00066">VFGNode.h:66</a></div></div>
|
|
345
|
+
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00651">VFGNode.h:651</a></div></div>
|
|
343
346
|
</div><!-- fragment -->
|
|
344
347
|
</div>
|
|
345
348
|
</div>
|
|
@@ -370,8 +373,8 @@ Protected Attributes</h2></td></tr>
|
|
|
370
373
|
|
|
371
374
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
372
375
|
|
|
373
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
374
|
-
<div class="fragment"><div class="line"><a name="
|
|
376
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00696">696</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
377
|
+
<div class="fragment"><div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  {</div><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  }</div></div><!-- fragment -->
|
|
375
378
|
</div>
|
|
376
379
|
</div>
|
|
377
380
|
<a id="a4699fc06762e2d2573bbe3c0fd903da4"></a>
|
|
@@ -398,8 +401,8 @@ Protected Attributes</h2></td></tr>
|
|
|
398
401
|
</table>
|
|
399
402
|
</div><div class="memdoc">
|
|
400
403
|
|
|
401
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
402
|
-
<div class="fragment"><div class="line"><a name="
|
|
404
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00700">700</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
405
|
+
<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  {</div><div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  <span class="keywordflow">return</span> (node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>);</div><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
403
406
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">SVF::VFGNode::TIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
404
407
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">SVF::VFGNode::TPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
405
408
|
</div><!-- fragment -->
|
|
@@ -429,13 +432,47 @@ Protected Attributes</h2></td></tr>
|
|
|
429
432
|
</table>
|
|
430
433
|
</div><div class="memdoc">
|
|
431
434
|
|
|
432
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
433
|
-
<div class="fragment"><div class="line"><a name="
|
|
435
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00704">704</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
436
|
+
<div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  {</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  <span class="keywordflow">return</span> (node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>);</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
434
437
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">SVF::VFGNode::TIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
435
438
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">SVF::VFGNode::TPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
436
439
|
</div><!-- fragment -->
|
|
437
440
|
</div>
|
|
438
441
|
</div>
|
|
442
|
+
<a id="a600752db995e57d49894c3f89e87cb50"></a>
|
|
443
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a600752db995e57d49894c3f89e87cb50">◆ </a></span>getDefSVFVars()</h2>
|
|
444
|
+
|
|
445
|
+
<div class="memitem">
|
|
446
|
+
<div class="memproto">
|
|
447
|
+
<table class="mlabels">
|
|
448
|
+
<tr>
|
|
449
|
+
<td class="mlabels-left">
|
|
450
|
+
<table class="memname">
|
|
451
|
+
<tr>
|
|
452
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> PHIVFGNode::getDefSVFVars </td>
|
|
453
|
+
<td>(</td>
|
|
454
|
+
<td class="paramname"></td><td>)</td>
|
|
455
|
+
<td> const</td>
|
|
456
|
+
</tr>
|
|
457
|
+
</table>
|
|
458
|
+
</td>
|
|
459
|
+
<td class="mlabels-right">
|
|
460
|
+
<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
|
|
461
|
+
</tr>
|
|
462
|
+
</table>
|
|
463
|
+
</div><div class="memdoc">
|
|
464
|
+
|
|
465
|
+
<p>Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. </p>
|
|
466
|
+
|
|
467
|
+
<p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
|
|
468
|
+
|
|
469
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00190">190</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
470
|
+
<div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  {</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  nb.set(<a class="code" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">getRes</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span> }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_abd54e567a0826bbec277302e0c4f78a2"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00676">VFGNode.h:676</a></div></div>
|
|
471
|
+
<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>
|
|
472
|
+
<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
|
|
473
|
+
</div><!-- fragment -->
|
|
474
|
+
</div>
|
|
475
|
+
</div>
|
|
439
476
|
<a id="a4277e367a10362ddc14dbe219a88353a"></a>
|
|
440
477
|
<h2 class="memtitle"><span class="permalink"><a href="#a4277e367a10362ddc14dbe219a88353a">◆ </a></span>getOpVer()</h2>
|
|
441
478
|
|
|
@@ -462,8 +499,8 @@ Protected Attributes</h2></td></tr>
|
|
|
462
499
|
|
|
463
500
|
<p>Operands at a llvm PHINode. </p>
|
|
464
501
|
|
|
465
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
466
|
-
<div class="fragment"><div class="line"><a name="
|
|
502
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00666">666</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
503
|
+
<div class="fragment"><div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  {</div><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  OPVers::const_iterator it = <a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>.find(pos);</div><div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>.end() && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00652">VFGNode.h:652</a></div></div>
|
|
467
504
|
<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>
|
|
468
505
|
</div><!-- fragment -->
|
|
469
506
|
</div>
|
|
@@ -491,8 +528,8 @@ Protected Attributes</h2></td></tr>
|
|
|
491
528
|
</table>
|
|
492
529
|
</div><div class="memdoc">
|
|
493
530
|
|
|
494
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
495
|
-
<div class="fragment"><div class="line"><a name="
|
|
531
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00680">680</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
532
|
+
<div class="fragment"><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  {</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>.size();</div><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00652">VFGNode.h:652</a></div></div>
|
|
496
533
|
</div><!-- fragment -->
|
|
497
534
|
</div>
|
|
498
535
|
</div>
|
|
@@ -519,8 +556,8 @@ Protected Attributes</h2></td></tr>
|
|
|
519
556
|
</table>
|
|
520
557
|
</div><div class="memdoc">
|
|
521
558
|
|
|
522
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
523
|
-
<div class="fragment"><div class="line"><a name="
|
|
559
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00676">676</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
560
|
+
<div class="fragment"><div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  {</div><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>;</div><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00651">VFGNode.h:651</a></div></div>
|
|
524
561
|
</div><!-- fragment -->
|
|
525
562
|
</div>
|
|
526
563
|
</div>
|
|
@@ -551,8 +588,8 @@ Protected Attributes</h2></td></tr>
|
|
|
551
588
|
|
|
552
589
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>.</p>
|
|
553
590
|
|
|
554
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
555
|
-
<div class="fragment"><div class="line"><a name="
|
|
591
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l01020">1020</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
592
|
+
<div class="fragment"><div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>  {</div><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">getRes</a>()-><a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>();</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span> }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_abd54e567a0826bbec277302e0c4f78a2"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00676">VFGNode.h:676</a></div></div>
|
|
556
593
|
<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00096">SVFVariables.h:96</a></div></div>
|
|
557
594
|
</div><!-- fragment -->
|
|
558
595
|
</div>
|
|
@@ -582,9 +619,9 @@ Protected Attributes</h2></td></tr>
|
|
|
582
619
|
|
|
583
620
|
<p>Whether this phi node is of pointer type (used for pointer analysis). </p>
|
|
584
621
|
|
|
585
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
586
|
-
<div class="fragment"><div class="line"><a name="
|
|
587
|
-
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
622
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00659">659</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
623
|
+
<div class="fragment"><div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  {</div><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-><a class="code" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>();</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
|
|
624
|
+
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00651">VFGNode.h:651</a></div></div>
|
|
588
625
|
</div><!-- fragment -->
|
|
589
626
|
</div>
|
|
590
627
|
</div>
|
|
@@ -611,8 +648,8 @@ Protected Attributes</h2></td></tr>
|
|
|
611
648
|
</table>
|
|
612
649
|
</div><div class="memdoc">
|
|
613
650
|
|
|
614
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
615
|
-
<div class="fragment"><div class="line"><a name="
|
|
651
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00684">684</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
652
|
+
<div class="fragment"><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  {</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>.begin();</div><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00652">VFGNode.h:652</a></div></div>
|
|
616
653
|
</div><!-- fragment -->
|
|
617
654
|
</div>
|
|
618
655
|
</div>
|
|
@@ -639,8 +676,8 @@ Protected Attributes</h2></td></tr>
|
|
|
639
676
|
</table>
|
|
640
677
|
</div><div class="memdoc">
|
|
641
678
|
|
|
642
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
643
|
-
<div class="fragment"><div class="line"><a name="
|
|
679
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00688">688</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
680
|
+
<div class="fragment"><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  {</div><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>.end();</div><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00652">VFGNode.h:652</a></div></div>
|
|
644
681
|
</div><!-- fragment -->
|
|
645
682
|
</div>
|
|
646
683
|
</div>
|
|
@@ -678,8 +715,8 @@ Protected Attributes</h2></td></tr>
|
|
|
678
715
|
</table>
|
|
679
716
|
</div><div class="memdoc">
|
|
680
717
|
|
|
681
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
682
|
-
<div class="fragment"><div class="line"><a name="
|
|
718
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00672">672</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
719
|
+
<div class="fragment"><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  {</div><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <a class="code" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a>[pos] = node;</div><div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00652">VFGNode.h:652</a></div></div>
|
|
683
720
|
</div><!-- fragment -->
|
|
684
721
|
</div>
|
|
685
722
|
</div>
|
|
@@ -710,15 +747,15 @@ Protected Attributes</h2></td></tr>
|
|
|
710
747
|
|
|
711
748
|
<p>Reimplemented in <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">SVF::InterPHIVFGNode</a>, and <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode</a>.</p>
|
|
712
749
|
|
|
713
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
714
|
-
<div class="fragment"><div class="line"><a name="
|
|
715
|
-
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
750
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00196">196</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
751
|
+
<div class="fragment"><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  std::string str;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  rawstr << <span class="stringliteral">"PHIVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  rawstr << <span class="stringliteral">"PAGNode: ["</span> << <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" = PHI("</span>;</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="keywordflow">for</span>(PHIVFGNode::OPVers::const_iterator it = <a class="code" href="classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">opVerBegin</a>(), eit = <a class="code" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">opVerEnd</a>();</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  it != eit; it++)</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  rawstr << it->second->getId() << <span class="stringliteral">", "</span>;</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  rawstr << <span class="stringliteral">")]\t"</span>;</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>()){</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  rawstr << <span class="stringliteral">" "</span> << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-><a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  }</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span> }</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_a2e00f6d582aa4ac9aa116cc6d5c79369"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">SVF::PHIVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00684">VFGNode.h:684</a></div></div>
|
|
752
|
+
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00651">VFGNode.h:651</a></div></div>
|
|
716
753
|
<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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
717
754
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
|
|
718
755
|
<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>
|
|
719
756
|
<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00096">SVFVariables.h:96</a></div></div>
|
|
720
757
|
<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>
|
|
721
|
-
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_add18c60773871744123d12a037e78e20"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
758
|
+
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_add18c60773871744123d12a037e78e20"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00688">VFGNode.h:688</a></div></div>
|
|
722
759
|
</div><!-- fragment -->
|
|
723
760
|
</div>
|
|
724
761
|
</div>
|
|
@@ -743,7 +780,7 @@ Protected Attributes</h2></td></tr>
|
|
|
743
780
|
</table>
|
|
744
781
|
</div><div class="memdoc">
|
|
745
782
|
|
|
746
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
783
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00652">652</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
747
784
|
|
|
748
785
|
</div>
|
|
749
786
|
</div>
|
|
@@ -767,7 +804,7 @@ Protected Attributes</h2></td></tr>
|
|
|
767
804
|
</table>
|
|
768
805
|
</div><div class="memdoc">
|
|
769
806
|
|
|
770
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
807
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00651">651</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
771
808
|
|
|
772
809
|
</div>
|
|
773
810
|
</div>
|
|
@@ -444,8 +444,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
444
444
|
|
|
445
445
|
<p>Reimplemented from <a class="el" href="classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c">SVF::DirectSVFGEdge</a>.</p>
|
|
446
446
|
|
|
447
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
448
|
-
<div class="fragment"><div class="line"><a name="
|
|
447
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00366">366</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
448
|
+
<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  {</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  std::string str;</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  rawstr << <span class="stringliteral">"RetDirSVFGEdge CallSite ID: "</span> << <a class="code" href="classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a">getCallSiteId</a>() << <span class="stringliteral">" ["</span>;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  rawstr << <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() << <span class="stringliteral">"<--"</span> << <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() << <span class="stringliteral">"]\t"</span>;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span> }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
|
|
449
449
|
<div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
|
|
450
450
|
<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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
451
451
|
<div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html_a86ef0a34735096e86d3731cd6ecf769a"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a">SVF::RetDirSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdoc">Return callsite ID. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00266">VFGEdge.h:266</a></div></div>
|
|
@@ -447,8 +447,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
447
447
|
|
|
448
448
|
<p>Reimplemented from <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>.</p>
|
|
449
449
|
|
|
450
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
451
|
-
<div class="fragment"><div class="line"><a name="
|
|
450
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00158">158</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
451
|
+
<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  {</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  std::string str;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  rawstr << <span class="stringliteral">"RetIndSVFGEdge CallSite ID: "</span> << <a class="code" href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">getCallSiteId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  rawstr << <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() << <span class="stringliteral">"<--"</span> << <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span> }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
|
|
452
452
|
<div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
|
|
453
453
|
<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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
454
454
|
<div class="ttc" id="classSVF_1_1RetIndSVFGEdge_html_a04f211a0e3e21f60a299a744d3d1e452"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">SVF::RetIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00187">SVFGEdge.h:187</a></div></div>
|