svf-tools 1.0.367 → 1.0.371

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.
Files changed (141) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +5 -5
  3. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  10. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -7
  11. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +4 -4
  12. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +51 -41
  13. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +4 -4
  15. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +22 -19
  16. package/SVF-doxygen/html/html/ICFG_8h_source.html +6 -5
  17. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +10 -6
  24. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
  25. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +40 -40
  26. package/SVF-doxygen/html/html/SVFIR_8h_source.html +38 -38
  27. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +73 -75
  29. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/VFGNode_8h_source.html +5 -5
  33. package/SVF-doxygen/html/html/VFG_8cpp_source.html +9 -9
  34. package/SVF-doxygen/html/html/VFG_8h_source.html +8 -8
  35. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  36. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  37. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +42 -43
  38. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +15 -18
  39. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +31 -31
  40. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  41. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge-members.html +28 -25
  42. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +108 -15
  43. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html +1 -1
  44. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +6 -6
  45. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +42 -43
  46. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +16 -19
  47. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +7 -7
  49. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  50. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  51. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +4 -4
  52. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +30 -26
  55. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +22 -17
  56. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +30 -30
  57. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  59. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge-members.html +27 -26
  60. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +121 -82
  61. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  63. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +45 -46
  64. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +8 -46
  65. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +8 -8
  67. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +47 -48
  68. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +32 -33
  69. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  70. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge-members.html +23 -20
  71. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +110 -15
  72. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +87 -86
  73. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +87 -76
  74. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  75. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt-members.html +44 -45
  76. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +21 -24
  77. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +9 -9
  78. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +9 -9
  79. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
  80. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +20 -20
  81. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +10 -10
  82. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  83. package/SVF-doxygen/html/html/functions_a.html +12 -10
  84. package/SVF-doxygen/html/html/functions_b.html +7 -12
  85. package/SVF-doxygen/html/html/functions_c.html +22 -18
  86. package/SVF-doxygen/html/html/functions_f.html +3 -3
  87. package/SVF-doxygen/html/html/functions_func.html +13 -11
  88. package/SVF-doxygen/html/html/functions_func_g.html +19 -17
  89. package/SVF-doxygen/html/html/functions_func_s.html +2 -2
  90. package/SVF-doxygen/html/html/functions_g.html +20 -18
  91. package/SVF-doxygen/html/html/functions_n.html +6 -6
  92. package/SVF-doxygen/html/html/functions_p.html +15 -15
  93. package/SVF-doxygen/html/html/functions_r.html +5 -2
  94. package/SVF-doxygen/html/html/functions_s.html +11 -11
  95. package/SVF-doxygen/html/html/functions_type_b.html +0 -3
  96. package/SVF-doxygen/html/html/functions_vars_b.html +2 -2
  97. package/SVF-doxygen/html/html/functions_vars_c.html +5 -1
  98. package/SVF-doxygen/html/html/functions_vars_r.html +3 -0
  99. package/SVF-doxygen/html/html/functions_w.html +5 -9
  100. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  101. package/SVF-doxygen/html/html/search/all_1.js +3 -3
  102. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  103. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  104. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  105. package/SVF-doxygen/html/html/search/all_14.js +2 -2
  106. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  107. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  108. package/SVF-doxygen/html/html/search/all_2.js +2 -3
  109. package/SVF-doxygen/html/html/search/all_3.js +2 -1
  110. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  111. package/SVF-doxygen/html/html/search/all_7.js +7 -7
  112. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  113. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  114. package/SVF-doxygen/html/html/search/all_e.js +6 -6
  115. package/SVF-doxygen/html/html/search/functions_0.js +3 -3
  116. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  117. package/SVF-doxygen/html/html/search/functions_6.js +7 -7
  118. package/SVF-doxygen/html/html/search/typedefs_1.js +0 -1
  119. package/SVF-doxygen/html/html/search/variables_12.js +1 -0
  120. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  121. package/SVF-doxygen/html/html/search/variables_2.js +1 -1
  122. package/SVF-doxygen/html/html/search/variables_3.js +2 -1
  123. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  124. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  125. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +18 -18
  126. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  127. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  128. package/include/Graphs/ICFG.h +1 -1
  129. package/include/Graphs/ICFGEdge.h +39 -17
  130. package/include/Graphs/ICFGNode.h +1 -1
  131. package/include/MemoryModel/SVFStatements.h +2 -11
  132. package/include/SVF-FE/SVFIRBuilder.h +3 -1
  133. package/include/Util/ExtAPI.h +1 -1
  134. package/lib/Graphs/ICFG.cpp +22 -7
  135. package/lib/MemoryModel/SVFIR.cpp +2 -1
  136. package/lib/MemoryModel/SVFStatements.cpp +6 -6
  137. package/lib/MemoryModel/SymbolTableInfo.cpp +1 -1
  138. package/lib/SVF-FE/ICFGBuilder.cpp +8 -3
  139. package/lib/SVF-FE/SVFIRBuilder.cpp +15 -3
  140. package/lib/Util/ExtAPI.cpp +0 -1
  141. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html CHANGED
@@ -91,6 +91,12 @@ Public Member Functions</h2></td></tr>
91
91
  <tr class="memitem:ab25becb3cae2747eb518a6bfc7ad5332"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332">getCallSite</a> () const</td></tr>
92
92
  <tr class="memdesc:ab25becb3cae2747eb518a6bfc7ad5332"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite ID. <a href="#ab25becb3cae2747eb518a6bfc7ad5332">More...</a><br /></td></tr>
93
93
  <tr class="separator:ab25becb3cae2747eb518a6bfc7ad5332"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="memitem:a7069cf7d8b53dc0bd2c0272912bc02fb"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb">addCallPE</a> (const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *callPE)</td></tr>
95
+ <tr class="memdesc:a7069cf7d8b53dc0bd2c0272912bc02fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add call parameter edge to this <a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>. <a href="#a7069cf7d8b53dc0bd2c0272912bc02fb">More...</a><br /></td></tr>
96
+ <tr class="separator:a7069cf7d8b53dc0bd2c0272912bc02fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ <tr class="memitem:ad0891e5b6839b443691a68b11fce978b"><td class="memItemLeft" align="right" valign="top">const std::vector&lt; const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> * &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#ad0891e5b6839b443691a68b11fce978b">getCallPEs</a> () const</td></tr>
98
+ <tr class="memdesc:ad0891e5b6839b443691a68b11fce978b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add get parameter edge to this <a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>. <a href="#ad0891e5b6839b443691a68b11fce978b">More...</a><br /></td></tr>
99
+ <tr class="separator:ad0891e5b6839b443691a68b11fce978b"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
100
  <tr class="memitem:a2ad72b065dcb752e0779de9ff69c443a"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a">toString</a> () const</td></tr>
95
101
  <tr class="separator:a2ad72b065dcb752e0779de9ff69c443a"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
102
  <tr class="inherit_header pub_methods_classSVF_1_1ICFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ICFGEdge')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td></tr>
@@ -149,6 +155,8 @@ Static Public Member Functions</h2></td></tr>
149
155
  Private Attributes</h2></td></tr>
150
156
  <tr class="memitem:a2939111c1df48ca33b46a61d273b9a7d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a></td></tr>
151
157
  <tr class="separator:a2939111c1df48ca33b46a61d273b9a7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
158
+ <tr class="memitem:a3f48f7f041c5e6d385757035c551d51c"><td class="memItemLeft" align="right" valign="top">std::vector&lt; const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">callPEs</a></td></tr>
159
+ <tr class="separator:a3f48f7f041c5e6d385757035c551d51c"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
160
  </table><table class="memberdecls">
153
161
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
154
162
  Additional Inherited Members</h2></td></tr>
@@ -185,7 +193,7 @@ Additional Inherited Members</h2></td></tr>
185
193
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
186
194
  <div class="textblock"><p>Call <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> edge representing parameter passing/return from a caller to a callee </p>
187
195
 
188
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00162">162</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
196
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00165">165</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
189
197
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
190
198
  <a id="ab62ae6ed463def78bb2cdc01527d4b02"></a>
191
199
  <h2 class="memtitle"><span class="permalink"><a href="#ab62ae6ed463def78bb2cdc01527d4b02">&#9670;&nbsp;</a></span>CallCFGEdge()</h2>
@@ -229,14 +237,45 @@ Additional Inherited Members</h2></td></tr>
229
237
 
230
238
  <p>Constructor. </p>
231
239
 
232
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00169">169</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
233
- <div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; :</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <a class="code" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>),<a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a>(c)</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00166">ICFGEdge.h:166</a></div></div>
234
- <div class="ttc" id="classSVF_1_1ICFGEdge_html_a9b8f369727bd03106bafacd4eee3dd04"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge::ICFGEdge</a></div><div class="ttdeci">ICFGEdge(ICFGNode *s, ICFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00060">ICFGEdge.h:60</a></div></div>
235
- <div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00052">ICFGEdge.h:52</a></div></div>
240
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00173">173</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
241
+ <div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; :</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <a class="code" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>),<a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a>(c)</div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00169">ICFGEdge.h:169</a></div></div>
242
+ <div class="ttc" id="classSVF_1_1ICFGEdge_html_a9b8f369727bd03106bafacd4eee3dd04"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge::ICFGEdge</a></div><div class="ttdeci">ICFGEdge(ICFGNode *s, ICFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00062">ICFGEdge.h:62</a></div></div>
243
+ <div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00054">ICFGEdge.h:54</a></div></div>
236
244
  </div><!-- fragment -->
237
245
  </div>
238
246
  </div>
239
247
  <h2 class="groupheader">Member Function Documentation</h2>
248
+ <a id="a7069cf7d8b53dc0bd2c0272912bc02fb"></a>
249
+ <h2 class="memtitle"><span class="permalink"><a href="#a7069cf7d8b53dc0bd2c0272912bc02fb">&#9670;&nbsp;</a></span>addCallPE()</h2>
250
+
251
+ <div class="memitem">
252
+ <div class="memproto">
253
+ <table class="mlabels">
254
+ <tr>
255
+ <td class="mlabels-left">
256
+ <table class="memname">
257
+ <tr>
258
+ <td class="memname">void SVF::CallCFGEdge::addCallPE </td>
259
+ <td>(</td>
260
+ <td class="paramtype">const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *&#160;</td>
261
+ <td class="paramname"><em>callPE</em></td><td>)</td>
262
+ <td></td>
263
+ </tr>
264
+ </table>
265
+ </td>
266
+ <td class="mlabels-right">
267
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
268
+ </tr>
269
+ </table>
270
+ </div><div class="memdoc">
271
+
272
+ <p>Add call parameter edge to this <a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>. </p>
273
+
274
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00183">183</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
275
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <a class="code" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">callPEs</a>.push_back(callPE);</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a3f48f7f041c5e6d385757035c551d51c"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">SVF::CallCFGEdge::callPEs</a></div><div class="ttdeci">std::vector&lt; const CallPE * &gt; callPEs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00170">ICFGEdge.h:170</a></div></div>
276
+ </div><!-- fragment -->
277
+ </div>
278
+ </div>
240
279
  <a id="a38b56212fb58934ee50079b1e69ad5ff"></a>
241
280
  <h2 class="memtitle"><span class="permalink"><a href="#a38b56212fb58934ee50079b1e69ad5ff">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/3]</span></h2>
242
281
 
@@ -263,8 +302,8 @@ Additional Inherited Members</h2></td></tr>
263
302
 
264
303
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
265
304
 
266
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00180">180</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
267
- <div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div></div><!-- fragment -->
305
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00192">192</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
306
+ <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; {</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; }</div></div><!-- fragment -->
268
307
  </div>
269
308
  </div>
270
309
  <a id="a2d06b1b7913887fa0b147a5ec3098678"></a>
@@ -291,8 +330,8 @@ Additional Inherited Members</h2></td></tr>
291
330
  </table>
292
331
  </div><div class="memdoc">
293
332
 
294
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00184">184</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
295
- <div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00052">ICFGEdge.h:52</a></div></div>
333
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00196">196</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
334
+ <div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00054">ICFGEdge.h:54</a></div></div>
296
335
  </div><!-- fragment -->
297
336
  </div>
298
337
  </div>
@@ -320,8 +359,38 @@ Additional Inherited Members</h2></td></tr>
320
359
  </table>
321
360
  </div><div class="memdoc">
322
361
 
323
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00188">188</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
324
- <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00052">ICFGEdge.h:52</a></div></div>
362
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00200">200</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
363
+ <div class="fragment"><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00054">ICFGEdge.h:54</a></div></div>
364
+ </div><!-- fragment -->
365
+ </div>
366
+ </div>
367
+ <a id="ad0891e5b6839b443691a68b11fce978b"></a>
368
+ <h2 class="memtitle"><span class="permalink"><a href="#ad0891e5b6839b443691a68b11fce978b">&#9670;&nbsp;</a></span>getCallPEs()</h2>
369
+
370
+ <div class="memitem">
371
+ <div class="memproto">
372
+ <table class="mlabels">
373
+ <tr>
374
+ <td class="mlabels-left">
375
+ <table class="memname">
376
+ <tr>
377
+ <td class="memname">const std::vector&lt;const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a>*&gt;&amp; SVF::CallCFGEdge::getCallPEs </td>
378
+ <td>(</td>
379
+ <td class="paramname"></td><td>)</td>
380
+ <td> const</td>
381
+ </tr>
382
+ </table>
383
+ </td>
384
+ <td class="mlabels-right">
385
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
386
+ </tr>
387
+ </table>
388
+ </div><div class="memdoc">
389
+
390
+ <p>Add get parameter edge to this <a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>. </p>
391
+
392
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00187">187</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
393
+ <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">callPEs</a>;</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a3f48f7f041c5e6d385757035c551d51c"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">SVF::CallCFGEdge::callPEs</a></div><div class="ttdeci">std::vector&lt; const CallPE * &gt; callPEs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00170">ICFGEdge.h:170</a></div></div>
325
394
  </div><!-- fragment -->
326
395
  </div>
327
396
  </div>
@@ -350,8 +419,8 @@ Additional Inherited Members</h2></td></tr>
350
419
 
351
420
  <p>Return callsite ID. </p>
352
421
 
353
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00174">174</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
354
- <div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a>;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00166">ICFGEdge.h:166</a></div></div>
422
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00178">178</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
423
+ <div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a>;</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00169">ICFGEdge.h:169</a></div></div>
355
424
  </div><!-- fragment -->
356
425
  </div>
357
426
  </div>
@@ -381,7 +450,7 @@ Additional Inherited Members</h2></td></tr>
381
450
  <p>Reimplemented from <a class="el" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge</a>.</p>
382
451
 
383
452
  <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00160">160</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
384
- <div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; std::string str;</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallCFGEdge &quot;</span> &lt;&lt; <span class="stringliteral">&quot; [ICFGNode&quot;</span>;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t CallSite: &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a> &lt;&lt; <span class="stringliteral">&quot;\t&quot;</span>;</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;}</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00166">ICFGEdge.h:166</a></div></div>
453
+ <div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; std::string str;</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallCFGEdge &quot;</span> &lt;&lt; <span class="stringliteral">&quot; [ICFGNode&quot;</span>;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t CallSite: &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">cs</a> &lt;&lt; <span class="stringliteral">&quot;\t&quot;</span>;</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;}</div><div class="ttc" id="classSVF_1_1CallCFGEdge_html_a2939111c1df48ca33b46a61d273b9a7d"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const Instruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00169">ICFGEdge.h:169</a></div></div>
385
454
  <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>
386
455
  <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>
387
456
  <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>
@@ -389,6 +458,30 @@ Additional Inherited Members</h2></td></tr>
389
458
  </div>
390
459
  </div>
391
460
  <h2 class="groupheader">Member Data Documentation</h2>
461
+ <a id="a3f48f7f041c5e6d385757035c551d51c"></a>
462
+ <h2 class="memtitle"><span class="permalink"><a href="#a3f48f7f041c5e6d385757035c551d51c">&#9670;&nbsp;</a></span>callPEs</h2>
463
+
464
+ <div class="memitem">
465
+ <div class="memproto">
466
+ <table class="mlabels">
467
+ <tr>
468
+ <td class="mlabels-left">
469
+ <table class="memname">
470
+ <tr>
471
+ <td class="memname">std::vector&lt;const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a>*&gt; SVF::CallCFGEdge::callPEs</td>
472
+ </tr>
473
+ </table>
474
+ </td>
475
+ <td class="mlabels-right">
476
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
477
+ </tr>
478
+ </table>
479
+ </div><div class="memdoc">
480
+
481
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00170">170</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
482
+
483
+ </div>
484
+ </div>
392
485
  <a id="a2939111c1df48ca33b46a61d273b9a7d"></a>
393
486
  <h2 class="memtitle"><span class="permalink"><a href="#a2939111c1df48ca33b46a61d273b9a7d">&#9670;&nbsp;</a></span>cs</h2>
394
487
 
@@ -409,7 +502,7 @@ Additional Inherited Members</h2></td></tr>
409
502
  </table>
410
503
  </div><div class="memdoc">
411
504
 
412
- <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00166">166</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
505
+ <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00169">169</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
413
506
 
414
507
  </div>
415
508
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html CHANGED
@@ -112,7 +112,7 @@ $(function() {
112
112
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
113
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
114
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html#afb35b6c191a5a0b8e92019f6f3dbcc54">getParent</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html#a37c483e7ef957a59bfe9d37e401827a9">getRetBlock</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">getRetICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
116
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
117
  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601">getVFGNodes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
118
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648">GlobalBlock</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html CHANGED
@@ -135,9 +135,9 @@ Public Member Functions</h2></td></tr>
135
135
  <tr class="memitem:a674753d5ca0fbe28674acb25291f2bcf"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">getCallSite</a> () const</td></tr>
136
136
  <tr class="memdesc:a674753d5ca0fbe28674acb25291f2bcf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite. <a href="#a674753d5ca0fbe28674acb25291f2bcf">More...</a><br /></td></tr>
137
137
  <tr class="separator:a674753d5ca0fbe28674acb25291f2bcf"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
- <tr class="memitem:a37c483e7ef957a59bfe9d37e401827a9"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallICFGNode.html#a37c483e7ef957a59bfe9d37e401827a9">getRetBlock</a> () const</td></tr>
139
- <tr class="memdesc:a37c483e7ef957a59bfe9d37e401827a9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite. <a href="#a37c483e7ef957a59bfe9d37e401827a9">More...</a><br /></td></tr>
140
- <tr class="separator:a37c483e7ef957a59bfe9d37e401827a9"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
+ <tr class="memitem:ae23a7540609879ac0379fc53b4e7eead"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">getRetICFGNode</a> () const</td></tr>
139
+ <tr class="memdesc:ae23a7540609879ac0379fc53b4e7eead"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite. <a href="#ae23a7540609879ac0379fc53b4e7eead">More...</a><br /></td></tr>
140
+ <tr class="separator:ae23a7540609879ac0379fc53b4e7eead"><td class="memSeparator" colspan="2">&#160;</td></tr>
141
141
  <tr class="memitem:a91b38c6930f3c15b9b38121662fded20"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20">setRetICFGNode</a> (const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *r)</td></tr>
142
142
  <tr class="memdesc:a91b38c6930f3c15b9b38121662fded20"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite. <a href="#a91b38c6930f3c15b9b38121662fded20">More...</a><br /></td></tr>
143
143
  <tr class="separator:a91b38c6930f3c15b9b38121662fded20"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -634,8 +634,8 @@ Additional Inherited Members</h2></td></tr>
634
634
  </div><!-- fragment -->
635
635
  </div>
636
636
  </div>
637
- <a id="a37c483e7ef957a59bfe9d37e401827a9"></a>
638
- <h2 class="memtitle"><span class="permalink"><a href="#a37c483e7ef957a59bfe9d37e401827a9">&#9670;&nbsp;</a></span>getRetBlock()</h2>
637
+ <a id="ae23a7540609879ac0379fc53b4e7eead"></a>
638
+ <h2 class="memtitle"><span class="permalink"><a href="#ae23a7540609879ac0379fc53b4e7eead">&#9670;&nbsp;</a></span>getRetICFGNode()</h2>
639
639
 
640
640
  <div class="memitem">
641
641
  <div class="memproto">
@@ -644,7 +644,7 @@ Additional Inherited Members</h2></td></tr>
644
644
  <td class="mlabels-left">
645
645
  <table class="memname">
646
646
  <tr>
647
- <td class="memname">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a>* SVF::CallICFGNode::getRetBlock </td>
647
+ <td class="memname">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a>* SVF::CallICFGNode::getRetICFGNode </td>
648
648
  <td>(</td>
649
649
  <td class="paramname"></td><td>)</td>
650
650
  <td> const</td>
package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html CHANGED
@@ -97,50 +97,49 @@ $(function() {
97
97
  <tr><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>
98
98
  <tr class="even"><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>
99
99
  <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">getOpndVars</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</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_1MultiOpndStmt.html#af3c4989a458a1e5f7a5e0ba8e5c8b6ae">getOpPos</a>(const SVFVar *op) const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</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_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"></td></tr>
107
- <tr><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&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#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>
110
- <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>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a>(SVFVar *r, const OPVars &amp;opnds, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
118
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">operator=</a>(const CmpStmt &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
120
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">opVarBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a></td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"></td></tr>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a>(SVFVar *r, const OPVars &amp;opnds, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">operator=</a>(const CmpStmt &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">opVarBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
120
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"></td></tr>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
125
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a></td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
134
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a></td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
125
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a></td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
143
  </table></div><!-- contents -->
145
144
  <!-- start footer part -->
146
145
  <hr class="footer"/><address class="footer"><small>