svf-tools 1.0.270 → 1.0.274
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/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
- package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
- package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
- package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
- package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/functions_a.html +7 -7
- package/SVF-doxygen/html/html/functions_c.html +21 -25
- package/SVF-doxygen/html/html/functions_f.html +17 -11
- package/SVF-doxygen/html/html/functions_func.html +7 -7
- package/SVF-doxygen/html/html/functions_func_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func_g.html +25 -25
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_o.html +4 -2
- package/SVF-doxygen/html/html/functions_g.html +22 -22
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- package/SVF-doxygen/html/html/functions_m.html +1 -5
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +12 -14
- package/SVF-doxygen/html/html/functions_r.html +5 -9
- package/SVF-doxygen/html/html/functions_s.html +9 -7
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +9 -4
- package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
- package/SVF-doxygen/html/html/search/all_1.js +7 -7
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_14.js +2 -2
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +5 -3
- package/SVF-doxygen/html/html/search/all_7.js +6 -9
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_0.js +7 -7
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +2 -2
- package/SVF-doxygen/html/html/search/functions_6.js +6 -9
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +2 -2
- package/SVF-doxygen/html/html/search/variables_16.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +0 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -0
- package/SVF-doxygen/html/html/search/variables_d.js +2 -3
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +28 -28
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFG.h +28 -23
- package/include/Graphs/SVFGNode.h +69 -36
- package/include/Graphs/SVFGOPT.h +2 -2
- package/include/MSSA/MSSAMuChi.h +10 -4
- package/lib/Graphs/SVFG.cpp +52 -35
- package/package.json +1 -1
|
@@ -105,16 +105,17 @@ Public Member Functions</h2></td></tr>
|
|
|
105
105
|
<tr class="memitem:a286e9064de854a84bdd2efe8f7d73688"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">toString</a> () const</td></tr>
|
|
106
106
|
<tr class="separator:a286e9064de854a84bdd2efe8f7d73688"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
107
|
<tr class="inherit_header pub_methods_classSVF_1_1MSSAPHISVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSAPHISVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td></tr>
|
|
108
|
-
<tr class="memitem:
|
|
109
|
-
<tr class="memdesc:
|
|
110
|
-
<tr class="separator:
|
|
108
|
+
<tr class="memitem:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</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="classSVF_1_1MRVer.html">MRVer</a> *resVer, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k=<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a>)</td></tr>
|
|
109
|
+
<tr class="memdesc:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">More...</a><br /></td></tr>
|
|
110
|
+
<tr class="separator:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
|
+
<tr class="memitem:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a> () const</td></tr>
|
|
112
|
+
<tr class="memdesc:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">Ver. <a href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">More...</a><br /></td></tr>
|
|
113
|
+
<tr class="separator:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
114
|
<tr class="memitem:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">getOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
|
|
112
115
|
<tr class="memdesc:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">MSSA phi operands. <a href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">More...</a><br /></td></tr>
|
|
113
116
|
<tr class="separator:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
114
117
|
<tr class="memitem:a928a57d7f518c5af98a0245d9221e671 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671">setOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *node)</td></tr>
|
|
115
118
|
<tr class="separator:a928a57d7f518c5af98a0245d9221e671 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
116
|
-
<tr class="memitem:a771568239e438c8a823ef7da49a9ebc3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c">MemSSA::MDEF</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">getRes</a> () const</td></tr>
|
|
117
|
-
<tr class="separator:a771568239e438c8a823ef7da49a9ebc3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
118
119
|
<tr class="memitem:af7bd2cd776dcdbd1aee11569ec9f4a4f inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f">getOpVerNum</a> () const</td></tr>
|
|
119
120
|
<tr class="separator:af7bd2cd776dcdbd1aee11569ec9f4a4f inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
120
121
|
<tr class="memitem:ace39549f7e300cb4a0ac7b8506a8632a inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">OPVers::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">opVerBegin</a> () const</td></tr>
|
|
@@ -316,8 +317,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
316
317
|
<tr class="memitem:a2c2b0476c49c5f2d4ebe6eec22c7345f inherit pro_methods_classSVF_1_1MRSVFGNode"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k)</td></tr>
|
|
317
318
|
<tr class="separator:a2c2b0476c49c5f2d4ebe6eec22c7345f inherit pro_methods_classSVF_1_1MRSVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
318
319
|
<tr class="inherit_header pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MSSAPHISVFGNode')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td></tr>
|
|
319
|
-
<tr class="memitem:
|
|
320
|
-
<tr class="separator:
|
|
320
|
+
<tr class="memitem:a61b2e5ccd265d69167f44ce43e97fb80 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a></td></tr>
|
|
321
|
+
<tr class="separator:a61b2e5ccd265d69167f44ce43e97fb80 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
321
322
|
<tr class="memitem:a9c327923ab939e06877441ebde5c1139 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">OPVers</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a></td></tr>
|
|
322
323
|
<tr class="separator:a9c327923ab939e06877441ebde5c1139 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
323
324
|
<tr class="inherit_header pro_attribs_classSVF_1_1MRSVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MRSVFGNode')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td></tr>
|
|
@@ -329,7 +330,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
329
330
|
</table>
|
|
330
331
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
331
332
|
<div class="textblock">
|
|
332
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
333
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00403">403</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
333
334
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
334
335
|
<a id="a6deba5e75858c16682d4a21fa851d353"></a>
|
|
335
336
|
<h2 class="memtitle"><span class="permalink"><a href="#a6deba5e75858c16682d4a21fa851d353">◆ </a></span>InterMSSAPHISVFGNode() <span class="overload">[1/2]</span></h2>
|
|
@@ -367,11 +368,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
367
368
|
|
|
368
369
|
<p>Constructor interPHI for formal parameter. </p>
|
|
369
370
|
|
|
370
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
371
|
-
<div class="fragment"><div class="line"><a name="
|
|
372
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
373
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
374
|
-
<div class="ttc" id="
|
|
371
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00408">408</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
372
|
+
<div class="fragment"><div class="line"><a name="l00408"></a><span class="lineno"> 408</span> : <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, fi->getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(fi->getFun()),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">callInst</a>(<span class="keyword">nullptr</span>) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
373
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00461">SVFGNode.h:461</a></div></div>
|
|
374
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
|
|
375
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00284">SVFGNode.h:284</a></div></div>
|
|
375
376
|
</div><!-- fragment -->
|
|
376
377
|
</div>
|
|
377
378
|
</div>
|
|
@@ -411,11 +412,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
411
412
|
|
|
412
413
|
<p>Constructor interPHI for actual return. </p>
|
|
413
414
|
|
|
414
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
415
|
-
<div class="fragment"><div class="line"><a name="
|
|
416
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
417
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
418
|
-
<div class="ttc" id="
|
|
415
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00410">410</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
416
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span> : <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, ao->getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>), <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(<span class="keyword">nullptr</span>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">callInst</a>(ao->getCallSite()) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
417
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00461">SVFGNode.h:461</a></div></div>
|
|
418
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
|
|
419
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00284">SVFGNode.h:284</a></div></div>
|
|
419
420
|
</div><!-- fragment -->
|
|
420
421
|
</div>
|
|
421
422
|
</div>
|
|
@@ -446,8 +447,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
446
447
|
|
|
447
448
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
448
449
|
|
|
449
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
450
|
-
<div class="fragment"><div class="line"><a name="
|
|
450
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00436">436</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
451
|
+
<div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  {</div><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  }</div></div><!-- fragment -->
|
|
451
452
|
</div>
|
|
452
453
|
</div>
|
|
453
454
|
<a id="a084a26ee34913e89b8b28fac43cda5f2"></a>
|
|
@@ -474,8 +475,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
474
475
|
</table>
|
|
475
476
|
</div><div class="memdoc">
|
|
476
477
|
|
|
477
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
478
|
-
<div class="fragment"><div class="line"><a name="
|
|
478
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00440">440</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
479
|
+
<div class="fragment"><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  {</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
479
480
|
</div><!-- fragment -->
|
|
480
481
|
</div>
|
|
481
482
|
</div>
|
|
@@ -503,8 +504,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
503
504
|
</table>
|
|
504
505
|
</div><div class="memdoc">
|
|
505
506
|
|
|
506
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
507
|
-
<div class="fragment"><div class="line"><a name="
|
|
507
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00444">444</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
508
|
+
<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  {</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
508
509
|
</div><!-- fragment -->
|
|
509
510
|
</div>
|
|
510
511
|
</div>
|
|
@@ -532,8 +533,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
532
533
|
</table>
|
|
533
534
|
</div><div class="memdoc">
|
|
534
535
|
|
|
535
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
536
|
-
<div class="fragment"><div class="line"><a name="
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00448">448</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  {</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
537
538
|
</div><!-- fragment -->
|
|
538
539
|
</div>
|
|
539
540
|
</div>
|
|
@@ -561,8 +562,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
561
562
|
</table>
|
|
562
563
|
</div><div class="memdoc">
|
|
563
564
|
|
|
564
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
565
|
-
<div class="fragment"><div class="line"><a name="
|
|
565
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00452">452</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
566
|
+
<div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  {</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
566
567
|
</div><!-- fragment -->
|
|
567
568
|
</div>
|
|
568
569
|
</div>
|
|
@@ -589,10 +590,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
589
590
|
</table>
|
|
590
591
|
</div><div class="memdoc">
|
|
591
592
|
|
|
592
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
593
|
-
<div class="fragment"><div class="line"><a name="
|
|
594
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
595
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a4fef6f5eaeed80f1555b4cdaa2af5301"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">SVF::InterMSSAPHISVFGNode::isActualOUTPHI</a></div><div class="ttdeci">bool isActualOUTPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
593
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00428">428</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
594
|
+
<div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  {</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">isActualOUTPHI</a>() && <span class="stringliteral">"expect a actual return phi"</span>);</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">callInst</a>;</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</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>
|
|
595
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
|
|
596
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a4fef6f5eaeed80f1555b4cdaa2af5301"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">SVF::InterMSSAPHISVFGNode::isActualOUTPHI</a></div><div class="ttdeci">bool isActualOUTPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00417">SVFGNode.h:417</a></div></div>
|
|
596
597
|
</div><!-- fragment -->
|
|
597
598
|
</div>
|
|
598
599
|
</div>
|
|
@@ -623,10 +624,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
623
624
|
|
|
624
625
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
|
|
625
626
|
|
|
626
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
627
|
-
<div class="fragment"><div class="line"><a name="
|
|
628
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
629
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
627
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00422">422</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
628
|
+
<div class="fragment"><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  {</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>() && <span class="stringliteral">"expect a formal parameter phi"</span>);</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>;</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</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>
|
|
629
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00461">SVFGNode.h:461</a></div></div>
|
|
630
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00412">SVFGNode.h:412</a></div></div>
|
|
630
631
|
</div><!-- fragment -->
|
|
631
632
|
</div>
|
|
632
633
|
</div>
|
|
@@ -653,9 +654,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
653
654
|
</table>
|
|
654
655
|
</div><div class="memdoc">
|
|
655
656
|
|
|
656
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
657
|
-
<div class="fragment"><div class="line"><a name="
|
|
658
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
657
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00417">417</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
658
|
+
<div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  {</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>==<span class="keyword">nullptr</span>) && (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">callInst</a> != <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00461">SVFGNode.h:461</a></div></div>
|
|
659
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
|
|
659
660
|
</div><!-- fragment -->
|
|
660
661
|
</div>
|
|
661
662
|
</div>
|
|
@@ -682,9 +683,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
682
683
|
</table>
|
|
683
684
|
</div><div class="memdoc">
|
|
684
685
|
|
|
685
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
686
|
-
<div class="fragment"><div class="line"><a name="
|
|
687
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
686
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00412">412</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
687
|
+
<div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  {</div><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>!=<span class="keyword">nullptr</span>) && (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">callInst</a> == <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00461">SVFGNode.h:461</a></div></div>
|
|
688
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aabcc62d4f7750bd8c24f7b2a9fff5bc6"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallBlockNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
|
|
688
689
|
</div><!-- fragment -->
|
|
689
690
|
</div>
|
|
690
691
|
</div>
|
|
@@ -713,15 +714,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
713
714
|
|
|
714
715
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>.</p>
|
|
715
716
|
|
|
716
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
717
|
-
<div class="fragment"><div class="line"><a name="
|
|
717
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00114">114</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
718
|
+
<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  std::string str;</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>())</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  rawstr << <span class="stringliteral">"FormalINPHISVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" {fun: "</span> << <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-><a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() << <span class="stringliteral">"}"</span>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  rawstr << <span class="stringliteral">"ActualOUTPHISVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" at callsite: "</span> << *<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348">getCallSite</a>()-><a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>() << <span class="stringliteral">" {fun: "</span> << <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-><a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() << <span class="stringliteral">"}"</span>;</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  rawstr << <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">MSSAPHISVFGNode::toString</a>();</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a30ac16715dc9f4281eae2ab969bad348"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348">SVF::InterMSSAPHISVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00428">SVFGNode.h:428</a></div></div>
|
|
718
719
|
<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00221">SVFBasicTypes.h:221</a></div></div>
|
|
719
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
720
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00412">SVFGNode.h:412</a></div></div>
|
|
720
721
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
721
|
-
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a242d8967d6fc10ba37e3f0103081ec01"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">SVF::InterMSSAPHISVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
722
|
+
<div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a242d8967d6fc10ba37e3f0103081ec01"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">SVF::InterMSSAPHISVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00422">SVFGNode.h:422</a></div></div>
|
|
722
723
|
<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
|
|
723
724
|
<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#l00164">GenericGraph.h:164</a></div></div>
|
|
724
|
-
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
725
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00090">SVFG.cpp:90</a></div></div>
|
|
725
726
|
</div><!-- fragment -->
|
|
726
727
|
</div>
|
|
727
728
|
</div>
|
|
@@ -746,7 +747,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
746
747
|
</table>
|
|
747
748
|
</div><div class="memdoc">
|
|
748
749
|
|
|
749
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
750
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00462">462</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
750
751
|
|
|
751
752
|
</div>
|
|
752
753
|
</div>
|
|
@@ -770,7 +771,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
770
771
|
</table>
|
|
771
772
|
</div><div class="memdoc">
|
|
772
773
|
|
|
773
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
774
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00461">461</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
774
775
|
|
|
775
776
|
</div>
|
|
776
777
|
</div>
|
|
@@ -403,8 +403,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
403
403
|
|
|
404
404
|
<p>Reimplemented from <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>.</p>
|
|
405
405
|
|
|
406
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
407
|
-
<div class="fragment"><div class="line"><a name="
|
|
406
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00132">132</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
407
|
+
<div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  std::string str;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  rawstr << <span class="stringliteral">"IntraIndSVFGEdge: "</span> << <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="l00136"></a><span class="lineno"> 136</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</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>
|
|
408
408
|
<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>
|
|
409
409
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
410
410
|
</div><!-- fragment -->
|