svf-tools 1.0.338 → 1.0.342

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 (201) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +38 -36
  11. package/SVF-doxygen/html/html/ICFG_8h_source.html +18 -18
  12. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  13. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +4 -4
  17. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
  21. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +4 -4
  25. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  27. package/SVF-doxygen/html/html/SVFG_8h_source.html +4 -4
  28. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +7 -7
  30. package/SVF-doxygen/html/html/SVFIR_8h_source.html +12 -12
  31. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
  32. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -8
  33. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
  34. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
  36. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +20 -19
  38. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +30 -28
  40. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +48 -46
  41. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  42. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +9 -9
  44. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  45. package/SVF-doxygen/html/html/VFG_8h_source.html +4 -4
  46. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +3 -3
  48. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +3 -3
  49. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -4
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  52. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +6 -5
  53. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +15 -12
  55. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +5 -3
  56. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +4 -4
  59. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
  61. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
  62. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
  63. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -5
  64. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  65. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
  70. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
  72. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +17 -17
  73. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
  74. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +2 -2
  75. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +4 -2
  76. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +4 -2
  77. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
  78. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +35 -35
  80. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
  81. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +30 -30
  82. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +3 -1
  83. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +46 -46
  84. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +15 -15
  85. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
  86. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  87. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +7 -3
  89. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  90. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +4 -4
  93. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  94. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
  96. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +23 -22
  97. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +70 -47
  98. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +4 -4
  99. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  100. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  101. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +4 -4
  102. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
  103. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
  104. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +21 -21
  105. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +27 -27
  106. package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
  107. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
  108. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  109. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +6 -6
  110. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +6 -6
  111. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +5 -5
  112. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +5 -3
  113. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  114. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +4 -4
  115. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
  116. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
  117. package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
  118. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  119. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
  120. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +12 -12
  122. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +12 -12
  123. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
  125. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  126. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +24 -24
  128. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +4 -4
  129. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +22 -21
  130. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +34 -34
  131. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +4 -4
  133. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +4 -4
  134. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  137. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +15 -15
  138. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +10 -9
  139. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +6 -6
  141. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +20 -14
  142. package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
  143. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
  144. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
  145. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
  146. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +4 -4
  147. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
  148. package/SVF-doxygen/html/html/functions_c.html +18 -13
  149. package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
  150. package/SVF-doxygen/html/html/functions_func_c.html +19 -19
  151. package/SVF-doxygen/html/html/functions_func_i.html +19 -17
  152. package/SVF-doxygen/html/html/functions_i.html +19 -17
  153. package/SVF-doxygen/html/html/functions_m.html +1 -1
  154. package/SVF-doxygen/html/html/functions_n.html +3 -3
  155. package/SVF-doxygen/html/html/functions_o.html +10 -10
  156. package/SVF-doxygen/html/html/functions_p.html +19 -28
  157. package/SVF-doxygen/html/html/functions_s.html +13 -12
  158. package/SVF-doxygen/html/html/functions_t.html +4 -4
  159. package/SVF-doxygen/html/html/functions_v.html +3 -3
  160. package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
  161. package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
  162. package/SVF-doxygen/html/html/functions_w.html +5 -9
  163. package/SVF-doxygen/html/html/hierarchy.html +5 -5
  164. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +11 -11
  165. package/SVF-doxygen/html/html/search/all_10.js +11 -12
  166. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  167. package/SVF-doxygen/html/html/search/all_13.js +6 -5
  168. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  169. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  170. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  171. package/SVF-doxygen/html/html/search/all_3.js +3 -2
  172. package/SVF-doxygen/html/html/search/all_9.js +4 -4
  173. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  174. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  175. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  176. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  177. package/SVF-doxygen/html/html/search/enumvalues_2.js +2 -1
  178. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  179. package/SVF-doxygen/html/html/search/functions_8.js +4 -4
  180. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  181. package/SVF-doxygen/html/html/search/variables_10.js +0 -1
  182. package/SVF-doxygen/html/html/search/variables_13.js +1 -0
  183. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  184. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  185. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +17 -17
  186. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  187. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  188. package/include/MemoryModel/SVFIR.h +1 -1
  189. package/include/MemoryModel/SVFVariables.h +25 -4
  190. package/include/MemoryModel/SymbolTableInfo.h +17 -11
  191. package/include/Util/Options.h +1 -1
  192. package/lib/Graphs/ICFG.cpp +39 -27
  193. package/lib/MSSA/MemSSA.cpp +1 -1
  194. package/lib/MemoryModel/SVFStatements.cpp +53 -49
  195. package/lib/MemoryModel/SVFVariables.cpp +10 -10
  196. package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
  197. package/lib/SVF-FE/SymbolTableBuilder.cpp +10 -10
  198. package/lib/Util/Options.cpp +3 -3
  199. package/lib/Util/PTAStat.cpp +3 -3
  200. package/lib/Util/SVFUtil.cpp +2 -0
  201. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html CHANGED
@@ -318,7 +318,7 @@ Additional Inherited Members</h2></td></tr>
318
318
  </table>
319
319
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
320
320
  <div class="textblock">
321
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00812">812</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
321
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00833">833</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
322
322
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
323
323
  <a id="adeef2b67999d96aab854b25432ebb348"></a>
324
324
  <h2 class="memtitle"><span class="permalink"><a href="#adeef2b67999d96aab854b25432ebb348">&#9670;&nbsp;</a></span>CloneFIObjVar()</h2>
@@ -368,9 +368,9 @@ Additional Inherited Members</h2></td></tr>
368
368
 
369
369
  <p>Constructor. </p>
370
370
 
371
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00831">831</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
372
- <div class="fragment"><div class="line"><a name="l00831"></a><span class="lineno"> 831</span>&#160; :</div><div class="line"><a name="l00832"></a><span class="lineno"> 832</span>&#160; <a class="code" href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">FIObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; {</div><div class="line"><a name="l00834"></a><span class="lineno"> 834</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_ae77995bc46e4f7b1b17fa86aa601ffae"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">SVF::FIObjVar::FIObjVar</a></div><div class="ttdeci">FIObjVar(const Value *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00562">SVFVariables.h:562</a></div></div>
373
- <div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00322">SVFVariables.h:322</a></div></div>
371
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00852">852</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
372
+ <div class="fragment"><div class="line"><a name="l00852"></a><span class="lineno"> 852</span>&#160; :</div><div class="line"><a name="l00853"></a><span class="lineno"> 853</span>&#160; <a class="code" href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">FIObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00854"></a><span class="lineno"> 854</span>&#160; {</div><div class="line"><a name="l00855"></a><span class="lineno"> 855</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_ae77995bc46e4f7b1b17fa86aa601ffae"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">SVF::FIObjVar::FIObjVar</a></div><div class="ttdeci">FIObjVar(const Value *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00566">SVFVariables.h:566</a></div></div>
373
+ <div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00326">SVFVariables.h:326</a></div></div>
374
374
  </div><!-- fragment -->
375
375
  </div>
376
376
  </div>
@@ -399,8 +399,8 @@ Additional Inherited Members</h2></td></tr>
399
399
  </table>
400
400
  </div><div class="memdoc">
401
401
 
402
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00816">816</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
403
- <div class="fragment"><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; {</div><div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; }</div></div><!-- fragment -->
402
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00837">837</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
403
+ <div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; {</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; }</div></div><!-- fragment -->
404
404
  </div>
405
405
  </div>
406
406
  <a id="a71c3a2f27967bec62f65bed3d38e2c35"></a>
@@ -427,8 +427,8 @@ Additional Inherited Members</h2></td></tr>
427
427
  </table>
428
428
  </div><div class="memdoc">
429
429
 
430
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00820">820</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
431
- <div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; {</div><div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
430
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00841">841</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
431
+ <div class="fragment"><div class="line"><a name="l00842"></a><span class="lineno"> 842</span>&#160; {</div><div class="line"><a name="l00843"></a><span class="lineno"> 843</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00844"></a><span class="lineno"> 844</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
432
432
  </div><!-- fragment -->
433
433
  </div>
434
434
  </div>
@@ -456,8 +456,8 @@ Additional Inherited Members</h2></td></tr>
456
456
  </table>
457
457
  </div><div class="memdoc">
458
458
 
459
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00824">824</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
460
- <div class="fragment"><div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; {</div><div class="line"><a name="l00826"></a><span class="lineno"> 826</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00827"></a><span class="lineno"> 827</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
459
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00845">845</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
460
+ <div class="fragment"><div class="line"><a name="l00846"></a><span class="lineno"> 846</span>&#160; {</div><div class="line"><a name="l00847"></a><span class="lineno"> 847</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00848"></a><span class="lineno"> 848</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
461
461
  </div><!-- fragment -->
462
462
  </div>
463
463
  </div>
@@ -488,8 +488,8 @@ Additional Inherited Members</h2></td></tr>
488
488
 
489
489
  <p>Reimplemented from <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>.</p>
490
490
 
491
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00837">837</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
492
- <div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; {</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (FI) of &quot;</span> + <a class="code" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">FIObjVar::getValueName</a>();</div><div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_a330b28f8488de9e186bedf73e5576a08"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00568">SVFVariables.h:568</a></div></div>
491
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00858">858</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
492
+ <div class="fragment"><div class="line"><a name="l00859"></a><span class="lineno"> 859</span>&#160; {</div><div class="line"><a name="l00860"></a><span class="lineno"> 860</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (FI) of &quot;</span> + <a class="code" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">FIObjVar::getValueName</a>();</div><div class="line"><a name="l00861"></a><span class="lineno"> 861</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_a330b28f8488de9e186bedf73e5576a08"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00572">SVFVariables.h:572</a></div></div>
493
493
  </div><!-- fragment -->
494
494
  </div>
495
495
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html CHANGED
@@ -330,7 +330,7 @@ Additional Inherited Members</h2></td></tr>
330
330
  </table>
331
331
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
332
332
  <div class="textblock">
333
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00776">776</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
333
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00797">797</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
334
334
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
335
335
  <a id="ab2b37ac7064e97665c04c778904e9888"></a>
336
336
  <h2 class="memtitle"><span class="permalink"><a href="#ab2b37ac7064e97665c04c778904e9888">&#9670;&nbsp;</a></span>CloneGepObjVar()</h2>
@@ -380,9 +380,9 @@ Additional Inherited Members</h2></td></tr>
380
380
 
381
381
  <p>Constructor. </p>
382
382
 
383
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00795">795</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
384
- <div class="fragment"><div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; :</div><div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; <a class="code" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">GepObjVar</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, i, l, ty)</div><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; {</div><div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_ae80d95a4d90ca64eca819e140445004c"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">SVF::GepObjVar::GepObjVar</a></div><div class="ttdeci">GepObjVar(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00483">SVFVariables.h:483</a></div></div>
385
- <div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00322">SVFVariables.h:322</a></div></div>
383
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00816">816</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
384
+ <div class="fragment"><div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; :</div><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <a class="code" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">GepObjVar</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, i, l, ty)</div><div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; {</div><div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_ae80d95a4d90ca64eca819e140445004c"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">SVF::GepObjVar::GepObjVar</a></div><div class="ttdeci">GepObjVar(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00487">SVFVariables.h:487</a></div></div>
385
+ <div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00326">SVFVariables.h:326</a></div></div>
386
386
  </div><!-- fragment -->
387
387
  </div>
388
388
  </div>
@@ -411,8 +411,8 @@ Additional Inherited Members</h2></td></tr>
411
411
  </table>
412
412
  </div><div class="memdoc">
413
413
 
414
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00780">780</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
415
- <div class="fragment"><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; {</div><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; }</div></div><!-- fragment -->
414
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00801">801</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
415
+ <div class="fragment"><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; {</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; }</div></div><!-- fragment -->
416
416
  </div>
417
417
  </div>
418
418
  <a id="a2dc4176254a15071a35f8218036cd5bb"></a>
@@ -439,8 +439,8 @@ Additional Inherited Members</h2></td></tr>
439
439
  </table>
440
440
  </div><div class="memdoc">
441
441
 
442
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00784">784</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
443
- <div class="fragment"><div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; {</div><div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
442
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00805">805</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
443
+ <div class="fragment"><div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; {</div><div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
444
444
  </div><!-- fragment -->
445
445
  </div>
446
446
  </div>
@@ -468,8 +468,8 @@ Additional Inherited Members</h2></td></tr>
468
468
  </table>
469
469
  </div><div class="memdoc">
470
470
 
471
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00788">788</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
472
- <div class="fragment"><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; {</div><div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
471
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00809">809</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; {</div><div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
473
473
  </div><!-- fragment -->
474
474
  </div>
475
475
  </div>
@@ -500,8 +500,8 @@ Additional Inherited Members</h2></td></tr>
500
500
 
501
501
  <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar</a>.</p>
502
502
 
503
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00801">801</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
504
- <div class="fragment"><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; {</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (gep) of &quot;</span> + <a class="code" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">GepObjVar::getValueName</a>();</div><div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_a88f86fe8abcb0550d838e5de11ae3ef7"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00520">SVFVariables.h:520</a></div></div>
503
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00822">822</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
504
+ <div class="fragment"><div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; {</div><div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (gep) of &quot;</span> + <a class="code" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">GepObjVar::getValueName</a>();</div><div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_a88f86fe8abcb0550d838e5de11ae3ef7"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00524">SVFVariables.h:524</a></div></div>
505
505
  </div><!-- fragment -->
506
506
  </div>
507
507
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html CHANGED
@@ -588,12 +588,13 @@ Additional Inherited Members</h2></td></tr>
588
588
  <p>Reimplemented from <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>.</p>
589
589
 
590
590
  <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00104">104</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
591
- <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; std::string str;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--(&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) &lt;&lt; <span class="stringliteral">&quot;)]\t&quot;</span>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
592
- <div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
591
+ <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; std::string str;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- (Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) &lt;&lt; <span class="stringliteral">&quot; predicate&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() &lt;&lt; <span class="stringliteral">&quot; Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) &lt;&lt; <span class="stringliteral">&quot;)]\t&quot;</span>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
592
+ <div class="ttc" id="classSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00802">SVFStatements.h:802</a></div></div>
593
593
  <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>
594
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
595
- <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00257">SVFStatements.cpp:257</a></div></div>
596
- <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00252">SVFStatements.cpp:252</a></div></div>
594
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
595
+ <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
596
+ <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00261">SVFStatements.cpp:261</a></div></div>
597
+ <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00256">SVFStatements.cpp:256</a></div></div>
597
598
  </div><!-- fragment -->
598
599
  </div>
599
600
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html CHANGED
@@ -777,7 +777,7 @@ Private Member Functions</h2></td></tr>
777
777
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a9a358028cf15ba49b410e0c2a1fafe7c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">SVF::CmpVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00320">VFGNode.h:320</a></div></div>
778
778
  <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>
779
779
  <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00113">SVFVariables.h:113</a></div></div>
780
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
780
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
781
781
  <div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00097">SVFVariables.h:97</a></div></div>
782
782
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
783
783
  </div><!-- fragment -->
package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html CHANGED
@@ -892,7 +892,7 @@ Additional Inherited Members</h2></td></tr>
892
892
  <div class="ttc" id="classSVF_1_1NormalGepStmt_html"><div class="ttname"><a href="classSVF_1_1NormalGepStmt.html">SVF::NormalGepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00459">SVFStatements.h:459</a></div></div>
893
893
  <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
894
894
  <div class="ttc" id="classSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00339">SVFStatements.h:339</a></div></div>
895
- <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00257">SVFStatements.cpp:257</a></div></div>
895
+ <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00261">SVFStatements.cpp:261</a></div></div>
896
896
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a6902cabb252b1eaadb3c8220b4581a2f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph::addVariantGepCGEdge</a></div><div class="ttdeci">VariantGepCGEdge * addVariantGepCGEdge(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00221">ConsG.cpp:221</a></div></div>
897
897
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_aa8b09f64c6e4bbd081c6062a1a0e8948"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aa8b09f64c6e4bbd081c6062a1a0e8948">SVF::ConstraintGraph::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00055">ConsG.h:55</a></div></div>
898
898
  <div class="ttc" id="classSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00305">SVFStatements.h:305</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html CHANGED
@@ -1648,7 +1648,7 @@ Additional Inherited Members</h2></td></tr>
1648
1648
  <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
1649
1649
  <div class="ttc" id="classSVF_1_1PTACFInfoBuilder_html_a418e6009760a7c9a048d2ffd9cd29956"><div class="ttname"><a href="classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956">SVF::PTACFInfoBuilder::getLoopInfo</a></div><div class="ttdeci">LoopInfo * getLoopInfo(const Function *f)</div><div class="ttdoc">Get loop info of a function. </div><div class="ttdef"><b>Definition:</b> <a href="DataFlowUtil_8cpp_source.html#l00074">DataFlowUtil.cpp:74</a></div></div>
1650
1650
  <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
1651
- <div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00452">SVFVariables.h:452</a></div></div>
1651
+ <div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
1652
1652
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_a5521918cc06c182c821b9fae8136e4fe"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::_pag</a></div><div class="ttdeci">SVFIR * _pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00753">DDAVFSolver.h:753</a></div></div>
1653
1653
  <div class="ttc" id="classSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00680">SymbolTableInfo.cpp:680</a></div></div>
1654
1654
  <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00069">LLVMModule.h:69</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html CHANGED
@@ -498,12 +498,12 @@ Additional Inherited Members</h2></td></tr>
498
498
  <p>Implements <a class="el" href="classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a">SVF::AssignStmt</a>.</p>
499
499
 
500
500
  <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00079">79</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
501
- <div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; {</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; std::string str;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CopyStmt: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
501
+ <div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; {</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; std::string str;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CopyStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
502
502
  <div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
503
- <div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
504
503
  <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>
505
504
  <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00259">SVFStatements.h:259</a></div></div>
506
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
505
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
506
+ <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
507
507
  </div><!-- fragment -->
508
508
  </div>
509
509
  </div>
package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html CHANGED
@@ -73,8 +73,8 @@ $(function() {
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</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>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">classof</a>(const DummyObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">SVF::ObjVar::classof</a>(const ObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a>(const ObjVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html CHANGED
@@ -235,6 +235,8 @@ Static Public Member Functions</h2></td></tr>
235
235
  <tr class="separator:a543ca59bd39740d1080fe4702bc2fd69"><td class="memSeparator" colspan="2">&#160;</td></tr>
236
236
  <tr class="memitem:a9552d717a869b0ec6678843a56fc8695"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
237
237
  <tr class="separator:a9552d717a869b0ec6678843a56fc8695"><td class="memSeparator" colspan="2">&#160;</td></tr>
238
+ <tr class="memitem:aabbc9127565b4c336b28d433297fa37f"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
239
+ <tr class="separator:aabbc9127565b4c336b28d433297fa37f"><td class="memSeparator" colspan="2">&#160;</td></tr>
238
240
  <tr class="memitem:a6aefb8e6612cb6322e064ac3521fa849"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
239
241
  <tr class="separator:a6aefb8e6612cb6322e064ac3521fa849"><td class="memSeparator" colspan="2">&#160;</td></tr>
240
242
  <tr class="inherit_header pub_static_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
@@ -304,7 +306,7 @@ Additional Inherited Members</h2></td></tr>
304
306
  </table>
305
307
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
306
308
  <div class="textblock">
307
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00700">700</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
309
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00716">716</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
308
310
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
309
311
  <a id="a3dff74bbf50b6a901239d3fd31e0f36c"></a>
310
312
  <h2 class="memtitle"><span class="permalink"><a href="#a3dff74bbf50b6a901239d3fd31e0f36c">&#9670;&nbsp;</a></span>DummyObjVar()</h2>
@@ -348,14 +350,14 @@ Additional Inherited Members</h2></td></tr>
348
350
 
349
351
  <p>Constructor. </p>
350
352
 
351
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00723">723</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
352
- <div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; : <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<span class="keyword">nullptr</span>, i, m, ty)</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; {</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00324">SVFVariables.h:324</a></div></div>
353
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00744">744</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
354
+ <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; : <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<span class="keyword">nullptr</span>, i, m, ty)</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; {</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00328">SVFVariables.h:328</a></div></div>
353
355
  </div><!-- fragment -->
354
356
  </div>
355
357
  </div>
356
358
  <h2 class="groupheader">Member Function Documentation</h2>
357
359
  <a id="a543ca59bd39740d1080fe4702bc2fd69"></a>
358
- <h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/3]</span></h2>
360
+ <h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
359
361
 
360
362
  <div class="memitem">
361
363
  <div class="memproto">
@@ -378,12 +380,12 @@ Additional Inherited Members</h2></td></tr>
378
380
  </table>
379
381
  </div><div class="memdoc">
380
382
 
381
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00706">706</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
382
- <div class="fragment"><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; {</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div></div><!-- fragment -->
383
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00722">722</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
384
+ <div class="fragment"><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160; {</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; }</div></div><!-- fragment -->
383
385
  </div>
384
386
  </div>
385
387
  <a id="a9552d717a869b0ec6678843a56fc8695"></a>
386
- <h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/3]</span></h2>
388
+ <h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
387
389
 
388
390
  <div class="memitem">
389
391
  <div class="memproto">
@@ -406,14 +408,44 @@ Additional Inherited Members</h2></td></tr>
406
408
  </table>
407
409
  </div><div class="memdoc">
408
410
 
409
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00710">710</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160; {</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
411
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00726">726</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
412
+ <div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; {</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
413
+ <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
414
+ </div><!-- fragment -->
415
+ </div>
416
+ </div>
417
+ <a id="aabbc9127565b4c336b28d433297fa37f"></a>
418
+ <h2 class="memtitle"><span class="permalink"><a href="#aabbc9127565b4c336b28d433297fa37f">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
419
+
420
+ <div class="memitem">
421
+ <div class="memproto">
422
+ <table class="mlabels">
423
+ <tr>
424
+ <td class="mlabels-left">
425
+ <table class="memname">
426
+ <tr>
427
+ <td class="memname">static bool SVF::DummyObjVar::classof </td>
428
+ <td>(</td>
429
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *&#160;</td>
430
+ <td class="paramname"><em>node</em></td><td>)</td>
431
+ <td></td>
432
+ </tr>
433
+ </table>
434
+ </td>
435
+ <td class="mlabels-right">
436
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
437
+ </tr>
438
+ </table>
439
+ </div><div class="memdoc">
440
+
441
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00731">731</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
442
+ <div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
411
443
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
412
444
  </div><!-- fragment -->
413
445
  </div>
414
446
  </div>
415
447
  <a id="a6aefb8e6612cb6322e064ac3521fa849"></a>
416
- <h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/3]</span></h2>
448
+ <h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">&#9670;&nbsp;</a></span>classof() <span class="overload">[4/4]</span></h2>
417
449
 
418
450
  <div class="memitem">
419
451
  <div class="memproto">
@@ -436,8 +468,8 @@ Additional Inherited Members</h2></td></tr>
436
468
  </table>
437
469
  </div><div class="memdoc">
438
470
 
439
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00715">715</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
440
- <div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; {</div><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
471
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00736">736</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; {</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
441
473
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
442
474
  </div><!-- fragment -->
443
475
  </div>
@@ -471,8 +503,8 @@ Additional Inherited Members</h2></td></tr>
471
503
 
472
504
  <p>Reimplemented in <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>.</p>
473
505
 
474
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00729">729</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; {</div><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyObj&quot;</span>;</div><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; }</div></div><!-- fragment -->
506
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00750">750</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
507
+ <div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyObj&quot;</span>;</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; }</div></div><!-- fragment -->
476
508
  </div>
477
509
  </div>
478
510
  <a id="a0888335fe157af01e647b79043c7ae40"></a>
package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html CHANGED
@@ -73,8 +73,8 @@ $(function() {
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</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>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">classof</a>(const DummyValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar::classof</a>(const ValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f">classof</a>(const ValVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>