svf-tools 1.0.322 → 1.0.323

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 (335) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +8 -8
  5. package/SVF-doxygen/html/html/ConsG_8h_source.html +13 -13
  6. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
  7. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
  8. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  13. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  14. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  16. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
  17. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +3 -3
  18. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  20. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  21. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -3
  24. package/SVF-doxygen/html/html/IRGraph_8h_source.html +7 -7
  25. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
  26. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  28. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +21 -21
  29. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  30. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +7 -7
  31. package/SVF-doxygen/html/html/MemSSA_8h_source.html +5 -5
  32. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +7 -7
  35. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +7 -7
  36. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  37. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +5 -5
  38. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +15 -15
  39. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  40. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +16 -16
  41. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +5 -5
  43. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +32 -32
  44. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +51 -51
  45. package/SVF-doxygen/html/html/SVFIR_8h_source.html +146 -147
  46. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +8 -8
  47. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +133 -132
  48. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +11 -11
  49. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +6 -6
  50. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  53. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +6 -6
  54. package/SVF-doxygen/html/html/VFGNode_8h_source.html +11 -11
  55. package/SVF-doxygen/html/html/VFG_8cpp_source.html +37 -37
  56. package/SVF-doxygen/html/html/VFG_8h_source.html +26 -26
  57. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  58. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  59. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +20 -19
  62. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +17 -15
  63. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  64. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +3 -3
  65. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +29 -29
  66. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +3 -3
  67. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +10 -10
  68. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +3 -3
  69. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +6 -6
  70. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +3 -3
  71. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +6 -6
  72. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +3 -3
  73. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +6 -6
  74. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +3 -3
  75. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +6 -6
  76. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +3 -3
  77. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +9 -9
  78. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +8 -8
  79. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +3 -3
  80. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +6 -6
  81. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +3 -3
  82. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +21 -21
  83. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +26 -25
  84. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +23 -21
  85. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +20 -19
  86. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +33 -31
  87. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  88. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode-members.html +8 -8
  89. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +6 -6
  90. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +20 -19
  91. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +23 -21
  92. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +8 -8
  93. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +22 -22
  94. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-members.html +8 -8
  95. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +22 -22
  96. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +8 -8
  97. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +22 -22
  98. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +26 -25
  99. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +23 -21
  100. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +3 -3
  101. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +8 -8
  102. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph-members.html +4 -4
  103. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +40 -40
  104. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +3 -3
  105. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +14 -14
  106. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +20 -19
  107. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +17 -15
  108. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +1 -1
  109. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
  110. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +10 -10
  111. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG-members.html +13 -13
  112. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +9 -9
  113. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +8 -8
  114. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +22 -22
  115. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +8 -8
  116. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +22 -22
  117. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar-members.html +8 -8
  118. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +22 -22
  119. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +3 -3
  120. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +6 -6
  121. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +3 -3
  122. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +13 -13
  123. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +3 -3
  124. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -17
  125. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +7 -7
  126. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +7 -7
  127. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +12 -12
  128. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode-members.html +6 -6
  129. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +6 -6
  130. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode-members.html +6 -6
  131. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +6 -6
  132. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  133. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN-members.html +8 -8
  134. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +22 -22
  135. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +20 -19
  136. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +17 -15
  137. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +8 -8
  138. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +22 -22
  139. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode-members.html +6 -6
  140. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +6 -6
  141. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode-members.html +6 -6
  142. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +22 -22
  143. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  144. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IRGraph-members.html +8 -8
  146. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +43 -43
  147. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode-members.html +6 -6
  148. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode.html +6 -6
  149. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html +14 -14
  150. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +9 -9
  151. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode-members.html +6 -6
  152. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +6 -6
  153. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG-members.html +14 -14
  154. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +9 -9
  155. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +6 -6
  156. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +23 -22
  157. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +17 -15
  158. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator-members.html +17 -17
  159. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +92 -92
  160. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  161. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +18 -18
  162. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +41 -41
  163. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +24 -23
  164. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +33 -31
  165. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +24 -23
  166. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +24 -22
  167. package/SVF-doxygen/html/html/classSVF_1_1ObjVar-members.html +8 -8
  168. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +22 -22
  169. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG-members.html +4 -4
  170. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +11 -11
  171. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +15 -15
  172. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +7 -7
  173. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +25 -24
  174. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +22 -20
  175. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +3 -3
  176. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +38 -38
  177. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode-members.html +7 -7
  178. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +6 -6
  179. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +20 -19
  180. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +23 -21
  181. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +8 -8
  182. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +22 -22
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +47 -47
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +28 -28
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +59 -59
  186. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +10 -10
  187. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +136 -137
  188. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +684 -702
  189. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +2 -2
  190. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +78 -78
  191. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt-members.html +23 -22
  192. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +49 -31
  193. package/SVF-doxygen/html/html/classSVF_1_1SVFVar-members.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +62 -62
  195. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +8 -8
  196. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +6 -6
  199. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +20 -19
  200. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +17 -15
  201. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +23 -22
  202. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +17 -15
  203. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +23 -22
  204. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +17 -15
  205. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +3 -3
  207. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +8 -8
  208. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +9 -9
  209. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +24 -23
  210. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +27 -25
  211. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +33 -33
  212. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +81 -81
  213. package/SVF-doxygen/html/html/classSVF_1_1ValVar-members.html +8 -8
  214. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +22 -22
  215. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +8 -8
  216. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +22 -22
  217. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +23 -22
  218. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +19 -17
  219. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +3 -3
  220. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +11 -11
  221. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  222. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
  223. package/SVF-doxygen/html/html/functions_a.html +28 -28
  224. package/SVF-doxygen/html/html/functions_c.html +25 -30
  225. package/SVF-doxygen/html/html/functions_f.html +2 -2
  226. package/SVF-doxygen/html/html/functions_func.html +28 -28
  227. package/SVF-doxygen/html/html/functions_func_g.html +50 -50
  228. package/SVF-doxygen/html/html/functions_func_h.html +6 -6
  229. package/SVF-doxygen/html/html/functions_g.html +67 -67
  230. package/SVF-doxygen/html/html/functions_h.html +6 -6
  231. package/SVF-doxygen/html/html/functions_i.html +7 -7
  232. package/SVF-doxygen/html/html/functions_k.html +9 -0
  233. package/SVF-doxygen/html/html/functions_l.html +3 -3
  234. package/SVF-doxygen/html/html/functions_o.html +4 -4
  235. package/SVF-doxygen/html/html/functions_p.html +20 -40
  236. package/SVF-doxygen/html/html/functions_r.html +1 -1
  237. package/SVF-doxygen/html/html/functions_s.html +23 -7
  238. package/SVF-doxygen/html/html/functions_t.html +5 -7
  239. package/SVF-doxygen/html/html/functions_type_c.html +1 -4
  240. package/SVF-doxygen/html/html/functions_type_f.html +2 -2
  241. package/SVF-doxygen/html/html/functions_type_g.html +2 -2
  242. package/SVF-doxygen/html/html/functions_type_i.html +1 -1
  243. package/SVF-doxygen/html/html/functions_type_k.html +3 -0
  244. package/SVF-doxygen/html/html/functions_type_p.html +2 -18
  245. package/SVF-doxygen/html/html/functions_type_s.html +16 -0
  246. package/SVF-doxygen/html/html/functions_type_v.html +1 -1
  247. package/SVF-doxygen/html/html/functions_v.html +1 -1
  248. package/SVF-doxygen/html/html/functions_vars_g.html +7 -7
  249. package/SVF-doxygen/html/html/functions_vars_i.html +5 -5
  250. package/SVF-doxygen/html/html/functions_vars_k.html +6 -0
  251. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  252. package/SVF-doxygen/html/html/functions_vars_p.html +1 -7
  253. package/SVF-doxygen/html/html/functions_w.html +9 -5
  254. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  255. package/SVF-doxygen/html/html/search/all_1.js +13 -13
  256. package/SVF-doxygen/html/html/search/all_10.js +7 -13
  257. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  258. package/SVF-doxygen/html/html/search/all_13.js +7 -3
  259. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  260. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  261. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  262. package/SVF-doxygen/html/html/search/all_3.js +1 -2
  263. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  264. package/SVF-doxygen/html/html/search/all_7.js +26 -26
  265. package/SVF-doxygen/html/html/search/all_8.js +2 -2
  266. package/SVF-doxygen/html/html/search/all_9.js +4 -3
  267. package/SVF-doxygen/html/html/search/all_b.js +3 -0
  268. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  269. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  270. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  271. package/SVF-doxygen/html/html/search/functions_0.js +13 -13
  272. package/SVF-doxygen/html/html/search/functions_6.js +22 -22
  273. package/SVF-doxygen/html/html/search/functions_7.js +2 -2
  274. package/SVF-doxygen/html/html/search/typedefs_11.js +4 -0
  275. package/SVF-doxygen/html/html/search/typedefs_14.js +1 -1
  276. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -2
  277. package/SVF-doxygen/html/html/search/typedefs_5.js +2 -2
  278. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  279. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  280. package/SVF-doxygen/html/html/search/typedefs_a.js +2 -1
  281. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -6
  282. package/SVF-doxygen/html/html/search/variables_10.js +1 -3
  283. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  284. package/SVF-doxygen/html/html/search/variables_7.js +3 -3
  285. package/SVF-doxygen/html/html/search/variables_9.js +3 -3
  286. package/SVF-doxygen/html/html/search/variables_b.js +3 -1
  287. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  288. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  289. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  290. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  291. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  292. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  293. package/include/DDA/ContextDDA.h +1 -1
  294. package/include/DDA/FlowDDA.h +1 -1
  295. package/include/Graphs/ConsG.h +8 -8
  296. package/include/Graphs/ICFGNode.h +3 -3
  297. package/include/Graphs/IRGraph.h +7 -7
  298. package/include/Graphs/VFG.h +4 -4
  299. package/include/MSSA/MemRegion.h +3 -3
  300. package/include/MSSA/MemSSA.h +1 -1
  301. package/include/MemoryModel/PointerAnalysis.h +6 -6
  302. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  303. package/include/MemoryModel/SVFIR.h +64 -65
  304. package/include/MemoryModel/SVFStatements.h +4 -3
  305. package/include/MemoryModel/SVFVariables.h +15 -15
  306. package/include/SVF-FE/SVFIRBuilder.h +14 -14
  307. package/include/Util/IRAnnotator.h +1 -1
  308. package/include/Util/TypeBasedHeapCloning.h +2 -2
  309. package/lib/DDA/ContextDDA.cpp +2 -2
  310. package/lib/DDA/DDAClient.cpp +6 -6
  311. package/lib/DDA/DDAStat.cpp +1 -1
  312. package/lib/DDA/FlowDDA.cpp +2 -2
  313. package/lib/Graphs/ConsG.cpp +22 -22
  314. package/lib/Graphs/ICFG.cpp +4 -4
  315. package/lib/Graphs/IRGraph.cpp +6 -6
  316. package/lib/Graphs/SVFG.cpp +6 -6
  317. package/lib/Graphs/VFG.cpp +37 -37
  318. package/lib/MSSA/MemRegion.cpp +17 -17
  319. package/lib/MSSA/MemSSA.cpp +9 -9
  320. package/lib/MTA/MTAAnnotator.cpp +4 -4
  321. package/lib/MemoryModel/PAGBuilderFromFile.cpp +10 -10
  322. package/lib/MemoryModel/PointerAnalysisImpl.cpp +10 -10
  323. package/lib/MemoryModel/SVFIR.cpp +58 -58
  324. package/lib/SABER/LeakChecker.cpp +2 -2
  325. package/lib/SABER/SaberSVFGBuilder.cpp +3 -3
  326. package/lib/SVF-FE/Graph2Json.cpp +2 -2
  327. package/lib/SVF-FE/SVFIRBuilder.cpp +16 -16
  328. package/lib/Util/PTAStat.cpp +7 -7
  329. package/lib/Util/TypeBasedHeapCloning.cpp +3 -3
  330. package/lib/WPA/Andersen.cpp +12 -12
  331. package/lib/WPA/AndersenSFR.cpp +1 -1
  332. package/lib/WPA/AndersenStat.cpp +3 -3
  333. package/lib/WPA/FlowSensitive.cpp +3 -3
  334. package/lib/WPA/FlowSensitiveStat.cpp +2 -2
  335. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html CHANGED
@@ -69,9 +69,9 @@ $(function() {
69
69
 
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a14fa2b06b44d89a8743373c8c69b160d">addAddrPE</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
73
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9de8fffb3587d41844fc109bd0cfed4b">addBinaryOPPE</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
74
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">addBlackHoleAddrPE</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
72
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729">addAddrStmt</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
73
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f">addBinaryOPStmt</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
74
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">addBlackHoleAddrStmt</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220">addBlackholeObjNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
76
76
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d">addBlackholePtrNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd">addBranchStmt</a>(NodeID br, NodeID cond, std::vector&lt; const ICFGNode *&gt; succs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -79,9 +79,9 @@ $(function() {
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30">addCallSite</a>(const CallBlockNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f">addCallSiteArgs</a>(CallBlockNode *callBlockNode, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
81
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1">addCallSiteRets</a>(RetBlockNode *retBlockNode, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa1c1b20773bc547697323fe11b0dc5d5">addCmpPE</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad871aa69b7847a5d95d29900a5345503">addCmpStmt</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
83
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b">addConstantObjNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa2ff7b368e9aa9c2abc979084a19e68b">addCopyPE</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f">addCopyStmt</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532">addDummyMemObj</a>(NodeID i, const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb">addDummyObjNode</a>(const Type *type=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
87
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">addDummyObjNode</a>(NodeID i, const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
@@ -92,31 +92,31 @@ $(function() {
92
92
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae">addFunArgs</a>(const SVFFunction *fun, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
93
93
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">addFunRet</a>(const SVFFunction *fun, const SVFVar *ret)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
94
94
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">addGepObjNode</a>(const MemObj *obj, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
95
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad68d676d6922a2eb29eeb5b5437bc323">addGepPE</a>(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">addGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
96
96
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8">addGepValNode</a>(const Value *curInst, const Value *val, const LocationSet &amp;ls, NodeID i, const Type *type, u32_t fieldidx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
97
97
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a">addGlobalPAGEdge</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
98
98
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(NodeID id, NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
99
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b">addIndirectCallsites</a>(const CallBlockNode *cs, NodeID funPtr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad1217f1669f3507aa4da772d87934a04">addLoadPE</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">addLoadStmt</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
101
101
  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">addNode</a>(SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#adf0cde3268365cff3c7054e4433d8c23">addNormalGepPE</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4">addNormalGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
103
103
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">addObjNode</a>(const Value *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
104
104
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3a5d8b7f6286ec31b5a9038c88779151">addObjNode</a>(const Value *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1399b1a61d2c9afba49129427b13115d">addPhiNode</a>(NodeID res, NodeID opnd)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0">addPhiStmt</a>(NodeID res, NodeID opnd)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
106
106
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">addRetNode</a>(const SVFFunction *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
107
107
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">addRetNode</a>(const SVFFunction *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
108
108
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">addRetPE</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a80dd2807513a608b8f01d2325c0c0748">addStorePE</a>(NodeID src, NodeID dst, const IntraBlockNode *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">addStoreStmt</a>(NodeID src, NodeID dst, const IntraBlockNode *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">addThreadForkPE</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
111
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca">addThreadJoinPE</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7d64f6195fd6d660c5238bdda495ddf0">addToInstPAGEdgeList</a>(ICFGNode *inst, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">addToStmt2TypeMap</a>(SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af2f469e83e719b55161d2e4e5aac8741">addUnaryOPPE</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">addToStmt2TypeMap</a>(SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6">addToSVFStmtList</a>(ICFGNode *inst, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">addUnaryOPStmt</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
115
115
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">addValNode</a>(const Value *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
116
116
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">addValNode</a>(const Value *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
117
117
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">addVarargNode</a>(const SVFFunction *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
118
118
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">addVarargNode</a>(const SVFFunction *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a82db2560583d6ff1d61d9512d142fa10">addVariantGepPE</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa96e20426d3ccb8dcaab6ee1ec759b6b">addVariantGepStmt</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
120
120
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
121
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
122
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -127,68 +127,64 @@ $(function() {
127
127
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
128
128
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498">candidatePointers</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
129
129
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3080e37444cacdb0f50f1de88f36b73a">CopyPEList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3e8f191a082b8bcdac7473fdfee6909a">CSToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
134
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">dump</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">ExternalPAG</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">funHasRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">funPtrToCallSitesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3a3409f3ac6845e05db7ec8bfd881959">FunToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a24592d009d5db15ab97e7bf133ac884b">FunToPAGEdgeSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
150
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3ab46db0dc6ebab78d431e4a540dcc9e">GepObjNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae5e06d403091c05df995aeea0a4f773d">GepValNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
152
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de">GepValPNMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
153
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5a635bc1142c388da1db87d9172c03ab">getAllFieldsObjNode</a>(const MemObj *obj)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
154
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae25a27f68888763f9e02ab584a638d65">getAllFieldsObjNode</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
155
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">getBaseObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
157
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4720426ab75f8d07e780995ffad7d51a">getBaseObjNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
158
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a851075193a0b9a9b594848d6b3ba659e">getBaseValNode</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
159
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">getBlackHoleNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
160
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e">getBlackHoleObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
161
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">getBlkPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
162
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a432e99757dfe844fd8450f2ab4ff4093">getCallSiteArgsList</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd">getCallSiteRet</a>(const RetBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">getConstantNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">getConstantObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e">getEdgeSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">dump</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">ExternalPAG</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">funHasRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">funPtrToCallSitesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
145
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">FunToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">FunToPAGEdgeSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
147
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
148
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8">GepObjVarMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">GepValObjMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a52dfad2ac907db45a91752c53384fb3d">GepValueVarMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
152
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5a635bc1142c388da1db87d9172c03ab">getAllFieldsObjNode</a>(const MemObj *obj)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
153
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae25a27f68888763f9e02ab584a638d65">getAllFieldsObjNode</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
154
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">getBaseObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">getBaseObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
157
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">getBaseValVar</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
158
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">getBlackHoleNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
159
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e">getBlackHoleObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
160
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">getBlkPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
161
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5">getCallSiteArgsList</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
162
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd">getCallSiteRet</a>(const RetBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">getConstantNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">getConstantObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
168
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f">getFieldObjNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
169
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">getFieldsAfterCollapse</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
172
170
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e">getFieldValNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a702edc6714da142c16857995778a9f4b">getFIObjNode</a>(const MemObj *obj) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
174
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a44aae3b2a519cdbb704e852e7be9059a">getFIObjNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
175
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1cac93c15fcbf15798c4fe374380f8ae">getFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">getFIObjVar</a>(const MemObj *obj) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628">getFIObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">getFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
176
174
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c">getFunArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
177
175
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a533a01d01fab9e45cd1780f9bbd50b0f">getFunPtr</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
178
176
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f">getFunRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
177
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958">getFunRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
180
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b80cf884eedb51f77a5e84def7d8793">getGepObjNode</a>(const MemObj *obj, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
181
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a52eacab35b4a5b5e09592ab941a0cfb5">getGepObjNode</a>(NodeID id, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
182
178
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77e3c407ea3990413e371589aa468963">getGepObjNodeMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
183
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af37d6fc7f816d235c0a6158d43d6dda5">getGepValNode</a>(const Value *curInst, NodeID base, const LocationSet &amp;ls) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
184
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac0b7ac004c8c258af81a0d16872f3406">getGlobalPAGEdgeSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101">getGepObjVar</a>(const MemObj *obj, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
180
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916">getGepObjVar</a>(NodeID id, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
181
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02">getGepValVar</a>(const Value *curInst, NodeID base, const LocationSet &amp;ls) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
182
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">getGlobalSVFStmtSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
185
183
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
186
184
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">getGraphName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
187
185
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
188
186
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8">getIndCallSites</a>(NodeID funPtr) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
189
187
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
190
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb">getInstPAGEdgeList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
191
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad0c6908c3e4ff83d0eb34906826d2a10">getInstPTAPAGEdgeList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
192
188
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255">getIntraPAGEdge</a>(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
193
189
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd">getIntraPAGEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
194
190
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d">getLocationSetFromBaseNode</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
@@ -204,86 +200,89 @@ $(function() {
204
200
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
205
201
  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
202
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a973fb40e0eb600a7f90884767e036a96">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
207
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6">getPTAEdgeSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
208
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
209
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
210
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
211
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aa9aca34170ac4308359a4c8c3466dcd0">getValueEdges</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
214
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
215
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
216
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a633fb7a85c90f9b766689b8d2fdf3bac">globPAGEdgesSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
217
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
218
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101">hasCallSiteArgsMap</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
220
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
221
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
222
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
223
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
224
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ade4dc34350ab7d5e05295dfdd5d019c6">hasPAGEdgeList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
225
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a90f8da69c50f9aa82366ca9b88eb5027">hasPTAPAGEdgeList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
226
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">hasValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
227
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
228
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
229
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
230
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
231
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
232
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
233
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
234
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c">inst2PAGEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
235
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e">Inst2PAGEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
236
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b">inst2PTAPAGEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
237
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
238
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
239
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
240
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
241
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
242
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
243
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
244
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad44e1ef13d047f8aea8f6ddf5510bd6c">isIndirectCallSites</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
245
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a07716ca7f769f704a80ccee1a6ad7ee2">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
246
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
247
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
248
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
249
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
250
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
251
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aefe3143b33cee00c3c2611fea577c1ac">mapValueToEdge</a>(const Value *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
252
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
253
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
254
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d">NodeLocationSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
255
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">NodeLocationSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
256
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
257
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
258
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab0d0aa216dbf7cc8f5b8030d5217e89c">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
259
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
260
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
261
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
262
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
263
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaf86146b5e765d1f278b6d812bf913f5">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
264
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
265
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
266
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a896b591a710148fad7705a0d88652976">PAGEdgeList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
267
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
268
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64cee36354a14aae6b64f8b9d3edbd96">PAGNodeList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
269
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
270
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
271
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
272
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a780372b8241dc1c76e31b0340d5d2401">PTAPAGEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
203
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
204
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
205
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
207
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
208
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">getSVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
209
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
210
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
211
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">getValueEdges</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
214
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
215
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
216
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
217
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101">hasCallSiteArgsMap</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
218
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
220
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
221
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
222
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
223
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">hasPTASVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
224
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">hasSVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
225
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">hasValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
226
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
227
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
228
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
229
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
230
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
231
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
232
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
233
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a69c1d98135987a6246bb45c4f36c02ec">Inst2PAGEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
234
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5f2ee4a5d1f154c4c069427dd1baf148">inst2PTASVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
235
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3dcc02abd9aaa872e0d493f5965e4418">inst2SVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
236
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
237
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
238
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
239
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
240
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
241
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
242
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
243
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad44e1ef13d047f8aea8f6ddf5510bd6c">isIndirectCallSites</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
244
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a07716ca7f769f704a80ccee1a6ad7ee2">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
245
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
246
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
247
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
248
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
249
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
250
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
251
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
252
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aefe3143b33cee00c3c2611fea577c1ac">mapValueToEdge</a>(const Value *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
253
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
254
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
255
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d">NodeLocationSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
256
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">NodeLocationSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
257
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
258
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
259
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab0d0aa216dbf7cc8f5b8030d5217e89c">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
260
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
261
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
262
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
263
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
264
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaf86146b5e765d1f278b6d812bf913f5">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
265
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
266
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
267
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
268
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
273
269
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6dd18b030ae6fee4b4a8260ce9fd97fd">releasePAG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
274
270
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
275
271
  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">setNodeNumAfterPAGBuild</a>(u32_t num)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
276
272
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVFIR</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
277
273
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
278
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
279
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
280
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
274
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
275
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
276
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
277
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
278
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
279
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
280
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
281
281
  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
282
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
283
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
284
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
285
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
286
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
282
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
283
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
284
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
285
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
287
286
  </table></div><!-- contents -->
288
287
  <!-- start footer part -->
289
288
  <hr class="footer"/><address class="footer"><small>