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
|
@@ -154,8 +154,11 @@ Public Member Functions</h2></td></tr>
|
|
|
154
154
|
<tr class="memitem:acefca73fdac419025ad5109c7b2c9b0c"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c">UnaryOPVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *r)</td></tr>
|
|
155
155
|
<tr class="memdesc:acefca73fdac419025ad5109c7b2c9b0c"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#acefca73fdac419025ad5109c7b2c9b0c">More...</a><br /></td></tr>
|
|
156
156
|
<tr class="separator:acefca73fdac419025ad5109c7b2c9b0c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
157
|
-
<tr class="memitem:
|
|
158
|
-
<tr class="
|
|
157
|
+
<tr class="memitem:a446b7922ec2aa5f9a14216bdaec93807"><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_1UnaryOPVFGNode.html#a446b7922ec2aa5f9a14216bdaec93807">getDefSVFVars</a> () const override</td></tr>
|
|
158
|
+
<tr class="memdesc:a446b7922ec2aa5f9a14216bdaec93807"><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="#a446b7922ec2aa5f9a14216bdaec93807">More...</a><br /></td></tr>
|
|
159
|
+
<tr class="separator:a446b7922ec2aa5f9a14216bdaec93807"><td class="memSeparator" colspan="2"> </td></tr>
|
|
160
|
+
<tr class="memitem:ad0b45546c62bdef367149b58f530f89d"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d">toString</a> () const override</td></tr>
|
|
161
|
+
<tr class="separator:ad0b45546c62bdef367149b58f530f89d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
159
162
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
160
163
|
<tr class="memitem:a1582b9fe65306c3fcd8c5390f5c07e5d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">getOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
|
|
161
164
|
<tr class="memdesc:a1582b9fe65306c3fcd8c5390f5c07e5d"><td class="mdescLeft"> </td><td class="mdescRight">Operands at a UnaryNode. <a href="#a1582b9fe65306c3fcd8c5390f5c07e5d">More...</a><br /></td></tr>
|
|
@@ -295,7 +298,7 @@ Private Member Functions</h2></td></tr>
|
|
|
295
298
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
296
299
|
<div class="textblock"><p><a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> for unary operator instructions, e.g., a = -b; </p>
|
|
297
300
|
|
|
298
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
301
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00473">473</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
299
302
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
300
303
|
<a id="af96b598342bbcbcd739e2603acfc5a41"></a>
|
|
301
304
|
<h2 class="memtitle"><span class="permalink"><a href="#af96b598342bbcbcd739e2603acfc5a41">◆ </a></span>OPVers</h2>
|
|
@@ -309,7 +312,7 @@ Private Member Functions</h2></td></tr>
|
|
|
309
312
|
</table>
|
|
310
313
|
</div><div class="memdoc">
|
|
311
314
|
|
|
312
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
315
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00476">476</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
313
316
|
|
|
314
317
|
</div>
|
|
315
318
|
</div>
|
|
@@ -405,10 +408,10 @@ Private Member Functions</h2></td></tr>
|
|
|
405
408
|
|
|
406
409
|
<p>Constructor. </p>
|
|
407
410
|
|
|
408
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
409
|
-
<div class="fragment"><div class="line"><a name="
|
|
411
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00488">488</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
412
|
+
<div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a>), <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a>(r) {</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val = r->getValue();</div><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(SVFUtil::isa<UnaryOperator>(val) && <span class="stringliteral">"not a unary instruction ?"</span>);</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  }</div><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>
|
|
410
413
|
<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>
|
|
411
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
414
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00478">VFGNode.h:478</a></div></div>
|
|
412
415
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode::UnaryOp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
413
416
|
<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
|
|
414
417
|
</div><!-- fragment -->
|
|
@@ -441,8 +444,8 @@ Private Member Functions</h2></td></tr>
|
|
|
441
444
|
|
|
442
445
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
443
446
|
|
|
444
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
445
|
-
<div class="fragment"><div class="line"><a name="
|
|
447
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00494">494</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
448
|
+
<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  {</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div></div><!-- fragment -->
|
|
446
449
|
</div>
|
|
447
450
|
</div>
|
|
448
451
|
<a id="a11ff85d796e547f0258ec30cf23b7310"></a>
|
|
@@ -469,8 +472,8 @@ Private Member Functions</h2></td></tr>
|
|
|
469
472
|
</table>
|
|
470
473
|
</div><div class="memdoc">
|
|
471
474
|
|
|
472
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
473
|
-
<div class="fragment"><div class="line"><a name="
|
|
475
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00498">498</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
476
|
+
<div class="fragment"><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  {</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a>;</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode::UnaryOp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
474
477
|
</div><!-- fragment -->
|
|
475
478
|
</div>
|
|
476
479
|
</div>
|
|
@@ -498,8 +501,42 @@ Private Member Functions</h2></td></tr>
|
|
|
498
501
|
</table>
|
|
499
502
|
</div><div class="memdoc">
|
|
500
503
|
|
|
501
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
502
|
-
<div class="fragment"><div class="line"><a name="
|
|
504
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00502">502</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
505
|
+
<div class="fragment"><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  {</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a>;</div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode::UnaryOp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
|
|
506
|
+
</div><!-- fragment -->
|
|
507
|
+
</div>
|
|
508
|
+
</div>
|
|
509
|
+
<a id="a446b7922ec2aa5f9a14216bdaec93807"></a>
|
|
510
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a446b7922ec2aa5f9a14216bdaec93807">◆ </a></span>getDefSVFVars()</h2>
|
|
511
|
+
|
|
512
|
+
<div class="memitem">
|
|
513
|
+
<div class="memproto">
|
|
514
|
+
<table class="mlabels">
|
|
515
|
+
<tr>
|
|
516
|
+
<td class="mlabels-left">
|
|
517
|
+
<table class="memname">
|
|
518
|
+
<tr>
|
|
519
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> UnaryOPVFGNode::getDefSVFVars </td>
|
|
520
|
+
<td>(</td>
|
|
521
|
+
<td class="paramname"></td><td>)</td>
|
|
522
|
+
<td> const</td>
|
|
523
|
+
</tr>
|
|
524
|
+
</table>
|
|
525
|
+
</td>
|
|
526
|
+
<td class="mlabels-right">
|
|
527
|
+
<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
|
|
528
|
+
</tr>
|
|
529
|
+
</table>
|
|
530
|
+
</div><div class="memdoc">
|
|
531
|
+
|
|
532
|
+
<p>Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. </p>
|
|
533
|
+
|
|
534
|
+
<p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
|
|
535
|
+
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00143">143</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  {</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  nb.set(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">getRes</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span> }</div><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>
|
|
538
|
+
<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>
|
|
539
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae7947adec032ed072c50cf49f9d12259"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00519">VFGNode.h:519</a></div></div>
|
|
503
540
|
</div><!-- fragment -->
|
|
504
541
|
</div>
|
|
505
542
|
</div>
|
|
@@ -526,10 +563,10 @@ Private Member Functions</h2></td></tr>
|
|
|
526
563
|
</table>
|
|
527
564
|
</div><div class="memdoc">
|
|
528
565
|
|
|
529
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
530
|
-
<div class="fragment"><div class="line"><a name="
|
|
531
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_aeb8722a2efdc4bf4e79d65230dc41fd5"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">SVF::UnaryOPVFGNode::getOpVerNum</a></div><div class="ttdeci">u32_t getOpVerNum() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
532
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a1582b9fe65306c3fcd8c5390f5c07e5d"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">SVF::UnaryOPVFGNode::getOpVer</a></div><div class="ttdeci">const PAGNode * getOpVer(u32_t pos) const</div><div class="ttdoc">Operands at a UnaryNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
566
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00523">523</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
567
|
+
<div class="fragment"><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  {</div><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">getOpVerNum</a>()==1 && <span class="stringliteral">"UnaryNode can only have one operand!"</span>);</div><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">getOpVer</a>(0);</div><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  }</div><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>
|
|
568
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_aeb8722a2efdc4bf4e79d65230dc41fd5"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">SVF::UnaryOPVFGNode::getOpVerNum</a></div><div class="ttdeci">u32_t getOpVerNum() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00528">VFGNode.h:528</a></div></div>
|
|
569
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a1582b9fe65306c3fcd8c5390f5c07e5d"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">SVF::UnaryOPVFGNode::getOpVer</a></div><div class="ttdeci">const PAGNode * getOpVer(u32_t pos) const</div><div class="ttdoc">Operands at a UnaryNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00509">VFGNode.h:509</a></div></div>
|
|
533
570
|
</div><!-- fragment -->
|
|
534
571
|
</div>
|
|
535
572
|
</div>
|
|
@@ -559,8 +596,8 @@ Private Member Functions</h2></td></tr>
|
|
|
559
596
|
|
|
560
597
|
<p>Operands at a UnaryNode. </p>
|
|
561
598
|
|
|
562
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
563
|
-
<div class="fragment"><div class="line"><a name="
|
|
599
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00509">509</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
600
|
+
<div class="fragment"><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>  {</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  OPVers::const_iterator it = <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>.find(pos);</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>.end() && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00479">VFGNode.h:479</a></div></div>
|
|
564
601
|
<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>
|
|
565
602
|
</div><!-- fragment -->
|
|
566
603
|
</div>
|
|
@@ -588,8 +625,8 @@ Private Member Functions</h2></td></tr>
|
|
|
588
625
|
</table>
|
|
589
626
|
</div><div class="memdoc">
|
|
590
627
|
|
|
591
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
592
|
-
<div class="fragment"><div class="line"><a name="
|
|
628
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00528">528</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
629
|
+
<div class="fragment"><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  {</div><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>.size();</div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00479">VFGNode.h:479</a></div></div>
|
|
593
630
|
</div><!-- fragment -->
|
|
594
631
|
</div>
|
|
595
632
|
</div>
|
|
@@ -616,8 +653,8 @@ Private Member Functions</h2></td></tr>
|
|
|
616
653
|
</table>
|
|
617
654
|
</div><div class="memdoc">
|
|
618
655
|
|
|
619
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
620
|
-
<div class="fragment"><div class="line"><a name="
|
|
656
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00519">519</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
657
|
+
<div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  {</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a>;</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00478">VFGNode.h:478</a></div></div>
|
|
621
658
|
</div><!-- fragment -->
|
|
622
659
|
</div>
|
|
623
660
|
</div>
|
|
@@ -672,8 +709,8 @@ Private Member Functions</h2></td></tr>
|
|
|
672
709
|
</table>
|
|
673
710
|
</div><div class="memdoc">
|
|
674
711
|
|
|
675
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
676
|
-
<div class="fragment"><div class="line"><a name="
|
|
712
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00532">532</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
713
|
+
<div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  {</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>.begin();</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00479">VFGNode.h:479</a></div></div>
|
|
677
714
|
</div><!-- fragment -->
|
|
678
715
|
</div>
|
|
679
716
|
</div>
|
|
@@ -700,8 +737,8 @@ Private Member Functions</h2></td></tr>
|
|
|
700
737
|
</table>
|
|
701
738
|
</div><div class="memdoc">
|
|
702
739
|
|
|
703
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
704
|
-
<div class="fragment"><div class="line"><a name="
|
|
740
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00536">536</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
741
|
+
<div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  {</div><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>.end();</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00479">VFGNode.h:479</a></div></div>
|
|
705
742
|
</div><!-- fragment -->
|
|
706
743
|
</div>
|
|
707
744
|
</div>
|
|
@@ -739,13 +776,13 @@ Private Member Functions</h2></td></tr>
|
|
|
739
776
|
</table>
|
|
740
777
|
</div><div class="memdoc">
|
|
741
778
|
|
|
742
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
743
|
-
<div class="fragment"><div class="line"><a name="
|
|
779
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00515">515</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
780
|
+
<div class="fragment"><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  {</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a>[pos] = node;</div><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  }</div><div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00479">VFGNode.h:479</a></div></div>
|
|
744
781
|
</div><!-- fragment -->
|
|
745
782
|
</div>
|
|
746
783
|
</div>
|
|
747
|
-
<a id="
|
|
748
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
784
|
+
<a id="ad0b45546c62bdef367149b58f530f89d"></a>
|
|
785
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad0b45546c62bdef367149b58f530f89d">◆ </a></span>toString()</h2>
|
|
749
786
|
|
|
750
787
|
<div class="memitem">
|
|
751
788
|
<div class="memproto">
|
|
@@ -762,22 +799,22 @@ Private Member Functions</h2></td></tr>
|
|
|
762
799
|
</table>
|
|
763
800
|
</td>
|
|
764
801
|
<td class="mlabels-right">
|
|
765
|
-
<span class="mlabels"><span class="mlabel">virtual</span></span> </td>
|
|
802
|
+
<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
|
|
766
803
|
</tr>
|
|
767
804
|
</table>
|
|
768
805
|
</div><div class="memdoc">
|
|
769
806
|
|
|
770
807
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>.</p>
|
|
771
808
|
|
|
772
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
773
|
-
<div class="fragment"><div class="line"><a name="
|
|
774
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
775
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ab63ddaa05181f2c60ca7a001001a908d"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d">SVF::UnaryOPVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
809
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00149">149</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
810
|
+
<div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  {</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  std::string str;</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  rawstr << <span class="stringliteral">"UnaryOPVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  rawstr << <span class="stringliteral">"PAGEdge: ["</span> << <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a>-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" = Unary("</span>;</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="keywordflow">for</span>(UnaryOPVFGNode::OPVers::const_iterator it = <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d">opVerBegin</a>(), eit = <a class="code" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">opVerEnd</a>();</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  it != eit; it++)</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  rawstr << it->second->getId() << <span class="stringliteral">", "</span>;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  rawstr << <span class="stringliteral">")]\t"</span>;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a>-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>()){</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  rawstr << <span class="stringliteral">" "</span> << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a>-><a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  }</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span> }</div><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>
|
|
811
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00478">VFGNode.h:478</a></div></div>
|
|
812
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ab63ddaa05181f2c60ca7a001001a908d"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d">SVF::UnaryOPVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00532">VFGNode.h:532</a></div></div>
|
|
776
813
|
<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>
|
|
777
814
|
<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>
|
|
778
815
|
<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>
|
|
779
816
|
<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>
|
|
780
|
-
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_af31a06d33f41bdcff625ac23e269708c"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
817
|
+
<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_af31a06d33f41bdcff625ac23e269708c"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00536">VFGNode.h:536</a></div></div>
|
|
781
818
|
</div><!-- fragment -->
|
|
782
819
|
</div>
|
|
783
820
|
</div>
|
|
@@ -802,7 +839,7 @@ Private Member Functions</h2></td></tr>
|
|
|
802
839
|
</table>
|
|
803
840
|
</div><div class="memdoc">
|
|
804
841
|
|
|
805
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
842
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00479">479</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
806
843
|
|
|
807
844
|
</div>
|
|
808
845
|
</div>
|
|
@@ -826,7 +863,7 @@ Private Member Functions</h2></td></tr>
|
|
|
826
863
|
</table>
|
|
827
864
|
</div><div class="memdoc">
|
|
828
865
|
|
|
829
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
866
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00478">478</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
830
867
|
|
|
831
868
|
</div>
|
|
832
869
|
</div>
|