svf-tools 1.0.333 → 1.0.334
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +16 -7
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +16 -16
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +22 -22
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +16 -16
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFStatements_8h.html +14 -12
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +131 -122
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +11 -11
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/VFG_8h_source.html +17 -16
- package/SVF-doxygen/html/html/annotated.html +271 -270
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +36 -14
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt-members.html +145 -0
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +770 -0
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +19 -138
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +39 -39
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +19 -13
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +43 -21
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +20 -139
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +16 -9
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +36 -14
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +3 -9
- package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +41 -19
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +36 -14
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +36 -29
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +250 -31
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +39 -17
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +5 -9
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +18 -137
- package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +43 -21
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +12 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +16 -10
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +36 -14
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +18 -12
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +35 -13
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +35 -13
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +37 -15
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.png +0 -0
- package/SVF-doxygen/html/html/classes.html +91 -93
- package/SVF-doxygen/html/html/functions_a.html +10 -7
- package/SVF-doxygen/html/html/functions_c.html +16 -15
- package/SVF-doxygen/html/html/functions_func.html +7 -4
- package/SVF-doxygen/html/html/functions_func_c.html +24 -23
- package/SVF-doxygen/html/html/functions_func_g.html +26 -18
- package/SVF-doxygen/html/html/functions_func_o.html +5 -3
- package/SVF-doxygen/html/html/functions_func_t.html +1 -0
- package/SVF-doxygen/html/html/functions_g.html +30 -22
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_m.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +14 -12
- package/SVF-doxygen/html/html/functions_p.html +18 -14
- package/SVF-doxygen/html/html/functions_r.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +10 -12
- package/SVF-doxygen/html/html/functions_t.html +4 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/hierarchy.html +17 -16
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -0
- package/SVF-doxygen/html/html/search/all_1.js +1 -0
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_12.js +2 -2
- package/SVF-doxygen/html/html/search/all_13.js +7 -7
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +8 -4
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- 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/classes_0.js +2 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -0
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +8 -4
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/include/Graphs/VFG.h +4 -4
- package/include/MemoryModel/SVFStatements.h +379 -310
- package/lib/Graphs/ConsG.cpp +24 -24
- package/lib/Graphs/VFG.cpp +10 -10
- package/lib/MSSA/MemRegion.cpp +5 -5
- package/lib/MemoryModel/SVFIR.cpp +2 -2
- package/lib/MemoryModel/SVFStatements.cpp +11 -11
- package/package.json +1 -1
|
@@ -94,9 +94,6 @@ Public Member Functions</h2></td></tr>
|
|
|
94
94
|
<tr class="memitem:a09575a14aa359a0795b4d6c83bee487a"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">toString</a> () const override</td></tr>
|
|
95
95
|
<tr class="separator:a09575a14aa359a0795b4d6c83bee487a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
96
|
<tr class="inherit_header pub_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
|
|
97
|
-
<tr class="memitem:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
|
|
98
|
-
<tr class="memdesc:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft"> </td><td class="mdescRight">Constructor, only used by subclassess but not external users. <a href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">More...</a><br /></td></tr>
|
|
99
|
-
<tr class="separator:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
97
|
<tr class="memitem:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
|
|
101
98
|
<tr class="memdesc:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft"> </td><td class="mdescRight">Operands and result at a BinaryNode e.g., p = q + r, <code>p</code> is resVar and <code>r</code> is OpVar. <a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">More...</a><br /></td></tr>
|
|
102
99
|
<tr class="separator:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -210,18 +207,6 @@ Private Member Functions</h2></td></tr>
|
|
|
210
207
|
<tr class="memitem:a331c7e14409b2d78881a0ec8932c1170"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">operator=</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &)</td></tr>
|
|
211
208
|
<tr class="memdesc:a331c7e14409b2d78881a0ec8932c1170"><td class="mdescLeft"> </td><td class="mdescRight">place holder <a href="#a331c7e14409b2d78881a0ec8932c1170">More...</a><br /></td></tr>
|
|
212
209
|
<tr class="separator:a331c7e14409b2d78881a0ec8932c1170"><td class="memSeparator" colspan="2"> </td></tr>
|
|
213
|
-
<tr class="memitem:a6d45d49e58717c72b9cc8cb4f36133c0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0">getSrcNode</a> ()</td></tr>
|
|
214
|
-
<tr class="memdesc:a6d45d49e58717c72b9cc8cb4f36133c0"><td class="mdescLeft"> </td><td class="mdescRight">place holder, not allowed since this <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> has multiple operands but not a single source <a href="#a6d45d49e58717c72b9cc8cb4f36133c0">More...</a><br /></td></tr>
|
|
215
|
-
<tr class="separator:a6d45d49e58717c72b9cc8cb4f36133c0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
216
|
-
<tr class="memitem:aabae1e97422bd9b6c861e45b3153946e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e">getDstNode</a> ()</td></tr>
|
|
217
|
-
<tr class="memdesc:aabae1e97422bd9b6c861e45b3153946e"><td class="mdescLeft"> </td><td class="mdescRight">place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601" title="Result SVFVar. ">getRes()</a> instead <a href="#aabae1e97422bd9b6c861e45b3153946e">More...</a><br /></td></tr>
|
|
218
|
-
<tr class="separator:aabae1e97422bd9b6c861e45b3153946e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
219
|
-
<tr class="memitem:a723bca50c50179c17c6ce53b738c3414"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414">getSrcID</a> ()</td></tr>
|
|
220
|
-
<tr class="memdesc:a723bca50c50179c17c6ce53b738c3414"><td class="mdescLeft"> </td><td class="mdescRight">place holder, use getOpVarID(pos) instead <a href="#a723bca50c50179c17c6ce53b738c3414">More...</a><br /></td></tr>
|
|
221
|
-
<tr class="separator:a723bca50c50179c17c6ce53b738c3414"><td class="memSeparator" colspan="2"> </td></tr>
|
|
222
|
-
<tr class="memitem:a54ca12e0375a19a655f57f91bf899593"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593">getDstID</a> ()</td></tr>
|
|
223
|
-
<tr class="memdesc:a54ca12e0375a19a655f57f91bf899593"><td class="mdescLeft"> </td><td class="mdescRight">place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID()</a> instead <a href="#a54ca12e0375a19a655f57f91bf899593">More...</a><br /></td></tr>
|
|
224
|
-
<tr class="separator:a54ca12e0375a19a655f57f91bf899593"><td class="memSeparator" colspan="2"> </td></tr>
|
|
225
210
|
</table><table class="memberdecls">
|
|
226
211
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
227
212
|
Additional Inherited Members</h2></td></tr>
|
|
@@ -274,6 +259,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
274
259
|
<tr class="memitem:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td></tr>
|
|
275
260
|
<tr class="memdesc:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="mdescLeft"> </td><td class="mdescRight">Total edge number. <a href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">More...</a><br /></td></tr>
|
|
276
261
|
<tr class="separator:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
262
|
+
<tr class="inherit_header pro_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/> Protected Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
|
|
263
|
+
<tr class="memitem:aad0c81aeb48e5d94dd8c60d87b41714c inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
|
|
264
|
+
<tr class="memdesc:aad0c81aeb48e5d94dd8c60d87b41714c inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft"> </td><td class="mdescRight">Constructor, only used by subclassess but not external users. <a href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">More...</a><br /></td></tr>
|
|
265
|
+
<tr class="separator:aad0c81aeb48e5d94dd8c60d87b41714c inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
277
266
|
<tr class="inherit_header pro_attribs_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
|
|
278
267
|
<tr class="memitem:a172025849492f4de8f87564ef08f5880 inherit pro_attribs_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a></td></tr>
|
|
279
268
|
<tr class="separator:a172025849492f4de8f87564ef08f5880 inherit pro_attribs_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -287,7 +276,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
287
276
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
288
277
|
<div class="textblock"><p>Phi statement (e.g., p = phi(q,r) which receives values from variables q and r from different paths) it is typically at a joint point of the control-flow graph </p>
|
|
289
278
|
|
|
290
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
279
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00721">721</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
291
280
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
292
281
|
<a id="a74e4c9a108d70aff8acaf3f32a16335f"></a>
|
|
293
282
|
<h2 class="memtitle"><span class="permalink"><a href="#a74e4c9a108d70aff8acaf3f32a16335f">◆ </a></span>PhiStmt() <span class="overload">[1/3]</span></h2>
|
|
@@ -380,9 +369,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
380
369
|
|
|
381
370
|
<p>constructor </p>
|
|
382
371
|
|
|
383
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
384
|
-
<div class="fragment"><div class="line"><a name="
|
|
385
|
-
<div class="ttc" id="
|
|
372
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00750">750</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
373
|
+
<div class="fragment"><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>)</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder </div></div>
|
|
374
|
+
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
386
375
|
</div><!-- fragment -->
|
|
387
376
|
</div>
|
|
388
377
|
</div>
|
|
@@ -411,8 +400,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
411
400
|
</table>
|
|
412
401
|
</div><div class="memdoc">
|
|
413
402
|
|
|
414
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
415
|
-
<div class="fragment"><div class="line"><a name="
|
|
403
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00753">753</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
404
|
+
<div class="fragment"><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  {</div><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.push_back(op);</div><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00658">SVFStatements.h:658</a></div></div>
|
|
416
405
|
</div><!-- fragment -->
|
|
417
406
|
</div>
|
|
418
407
|
</div>
|
|
@@ -442,8 +431,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
442
431
|
|
|
443
432
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
444
433
|
|
|
445
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
446
|
-
<div class="fragment"><div class="line"><a name="
|
|
434
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00731">731</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
435
|
+
<div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div></div><!-- fragment -->
|
|
447
436
|
</div>
|
|
448
437
|
</div>
|
|
449
438
|
<a id="ac214292370d79324f6da8624fe2c7139"></a>
|
|
@@ -470,8 +459,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
470
459
|
</table>
|
|
471
460
|
</div><div class="memdoc">
|
|
472
461
|
|
|
473
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
474
|
-
<div class="fragment"><div class="line"><a name="
|
|
462
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00735">735</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
463
|
+
<div class="fragment"><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  {</div><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
475
464
|
</div><!-- fragment -->
|
|
476
465
|
</div>
|
|
477
466
|
</div>
|
|
@@ -499,8 +488,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
499
488
|
</table>
|
|
500
489
|
</div><div class="memdoc">
|
|
501
490
|
|
|
502
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
503
|
-
<div class="fragment"><div class="line"><a name="
|
|
491
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00739">739</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
492
|
+
<div class="fragment"><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  {</div><div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
504
493
|
</div><!-- fragment -->
|
|
505
494
|
</div>
|
|
506
495
|
</div>
|
|
@@ -528,117 +517,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
528
517
|
</table>
|
|
529
518
|
</div><div class="memdoc">
|
|
530
519
|
|
|
531
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
532
|
-
<div class="fragment"><div class="line"><a name="
|
|
520
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00743">743</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
521
|
+
<div class="fragment"><div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  {</div><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
533
522
|
</div><!-- fragment -->
|
|
534
|
-
</div>
|
|
535
|
-
</div>
|
|
536
|
-
<a id="a54ca12e0375a19a655f57f91bf899593"></a>
|
|
537
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a54ca12e0375a19a655f57f91bf899593">◆ </a></span>getDstID()</h2>
|
|
538
|
-
|
|
539
|
-
<div class="memitem">
|
|
540
|
-
<div class="memproto">
|
|
541
|
-
<table class="mlabels">
|
|
542
|
-
<tr>
|
|
543
|
-
<td class="mlabels-left">
|
|
544
|
-
<table class="memname">
|
|
545
|
-
<tr>
|
|
546
|
-
<td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getDstID </td>
|
|
547
|
-
<td>(</td>
|
|
548
|
-
<td class="paramname"></td><td>)</td>
|
|
549
|
-
<td></td>
|
|
550
|
-
</tr>
|
|
551
|
-
</table>
|
|
552
|
-
</td>
|
|
553
|
-
<td class="mlabels-right">
|
|
554
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
555
|
-
</tr>
|
|
556
|
-
</table>
|
|
557
|
-
</div><div class="memdoc">
|
|
558
|
-
|
|
559
|
-
<p>place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID()</a> instead </p>
|
|
560
|
-
|
|
561
|
-
</div>
|
|
562
|
-
</div>
|
|
563
|
-
<a id="aabae1e97422bd9b6c861e45b3153946e"></a>
|
|
564
|
-
<h2 class="memtitle"><span class="permalink"><a href="#aabae1e97422bd9b6c861e45b3153946e">◆ </a></span>getDstNode()</h2>
|
|
565
|
-
|
|
566
|
-
<div class="memitem">
|
|
567
|
-
<div class="memproto">
|
|
568
|
-
<table class="mlabels">
|
|
569
|
-
<tr>
|
|
570
|
-
<td class="mlabels-left">
|
|
571
|
-
<table class="memname">
|
|
572
|
-
<tr>
|
|
573
|
-
<td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getDstNode </td>
|
|
574
|
-
<td>(</td>
|
|
575
|
-
<td class="paramname"></td><td>)</td>
|
|
576
|
-
<td></td>
|
|
577
|
-
</tr>
|
|
578
|
-
</table>
|
|
579
|
-
</td>
|
|
580
|
-
<td class="mlabels-right">
|
|
581
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
582
|
-
</tr>
|
|
583
|
-
</table>
|
|
584
|
-
</div><div class="memdoc">
|
|
585
|
-
|
|
586
|
-
<p>place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601" title="Result SVFVar. ">getRes()</a> instead </p>
|
|
587
|
-
|
|
588
|
-
</div>
|
|
589
|
-
</div>
|
|
590
|
-
<a id="a723bca50c50179c17c6ce53b738c3414"></a>
|
|
591
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a723bca50c50179c17c6ce53b738c3414">◆ </a></span>getSrcID()</h2>
|
|
592
|
-
|
|
593
|
-
<div class="memitem">
|
|
594
|
-
<div class="memproto">
|
|
595
|
-
<table class="mlabels">
|
|
596
|
-
<tr>
|
|
597
|
-
<td class="mlabels-left">
|
|
598
|
-
<table class="memname">
|
|
599
|
-
<tr>
|
|
600
|
-
<td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getSrcID </td>
|
|
601
|
-
<td>(</td>
|
|
602
|
-
<td class="paramname"></td><td>)</td>
|
|
603
|
-
<td></td>
|
|
604
|
-
</tr>
|
|
605
|
-
</table>
|
|
606
|
-
</td>
|
|
607
|
-
<td class="mlabels-right">
|
|
608
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
609
|
-
</tr>
|
|
610
|
-
</table>
|
|
611
|
-
</div><div class="memdoc">
|
|
612
|
-
|
|
613
|
-
<p>place holder, use getOpVarID(pos) instead </p>
|
|
614
|
-
|
|
615
|
-
</div>
|
|
616
|
-
</div>
|
|
617
|
-
<a id="a6d45d49e58717c72b9cc8cb4f36133c0"></a>
|
|
618
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a6d45d49e58717c72b9cc8cb4f36133c0">◆ </a></span>getSrcNode()</h2>
|
|
619
|
-
|
|
620
|
-
<div class="memitem">
|
|
621
|
-
<div class="memproto">
|
|
622
|
-
<table class="mlabels">
|
|
623
|
-
<tr>
|
|
624
|
-
<td class="mlabels-left">
|
|
625
|
-
<table class="memname">
|
|
626
|
-
<tr>
|
|
627
|
-
<td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getSrcNode </td>
|
|
628
|
-
<td>(</td>
|
|
629
|
-
<td class="paramname"></td><td>)</td>
|
|
630
|
-
<td></td>
|
|
631
|
-
</tr>
|
|
632
|
-
</table>
|
|
633
|
-
</td>
|
|
634
|
-
<td class="mlabels-right">
|
|
635
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
636
|
-
</tr>
|
|
637
|
-
</table>
|
|
638
|
-
</div><div class="memdoc">
|
|
639
|
-
|
|
640
|
-
<p>place holder, not allowed since this <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> has multiple operands but not a single source </p>
|
|
641
|
-
|
|
642
523
|
</div>
|
|
643
524
|
</div>
|
|
644
525
|
<a id="a331c7e14409b2d78881a0ec8932c1170"></a>
|
|
@@ -70,12 +70,14 @@ $(function() {
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
73
|
-
<tr><td class="entry"><a class="el" href="
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#
|
|
73
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">AssignStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21">classof</a>(const RetPE *)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a9cd78a723ed55ed6f334a329576a7471">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt::classof</a>(const AssignStmt *)</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
80
82
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|
|
81
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
@@ -87,14 +89,18 @@ $(function() {
|
|
|
87
89
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
90
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
91
|
<tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::SVFStmt::getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
94
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
95
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
94
96
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
95
97
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
96
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
97
|
-
<tr><td class="entry"><a class="el" href="
|
|
98
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
98
104
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
105
|
<tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
100
106
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
|