svf-tools 1.0.351 → 1.0.355

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 (341) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  8. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +44 -45
  9. package/SVF-doxygen/html/html/ConsG_8h_source.html +23 -23
  10. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +13 -11
  11. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +6 -6
  12. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +5 -5
  15. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
  19. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +6 -4
  20. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  21. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +2 -2
  23. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +33 -31
  24. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +17 -17
  25. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +30 -30
  26. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +26 -26
  27. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +10 -9
  29. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +4 -4
  30. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +4 -4
  31. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  32. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +19 -8
  33. package/SVF-doxygen/html/html/LocationSet_8h_source.html +6 -6
  34. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +9 -9
  37. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  38. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  40. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
  41. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +17 -18
  43. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +8 -8
  44. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +19 -22
  45. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +17 -17
  46. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +7 -8
  47. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +8 -8
  48. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  49. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  50. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +8 -7
  52. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +34 -35
  53. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +45 -46
  54. package/SVF-doxygen/html/html/SVFIR_8h_source.html +40 -41
  55. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +21 -23
  56. package/SVF-doxygen/html/html/SVFStatements_8h.html +0 -4
  57. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +150 -156
  58. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +102 -102
  60. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  61. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  62. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +22 -22
  64. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  65. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +51 -50
  66. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +67 -62
  67. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +13 -13
  69. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/VFGNode_8h_source.html +16 -15
  71. package/SVF-doxygen/html/html/VFG_8cpp_source.html +50 -51
  72. package/SVF-doxygen/html/html/VFG_8h_source.html +35 -35
  73. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  74. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  75. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +1 -1
  76. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -6
  77. package/SVF-doxygen/html/html/WPAPass_8h_source.html +2 -2
  78. package/SVF-doxygen/html/html/annotated.html +100 -102
  79. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  80. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +24 -25
  81. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +17 -18
  82. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  83. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  84. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
  85. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +5 -5
  86. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +4 -4
  87. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  88. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt-members.html +28 -29
  89. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +25 -30
  90. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.png +0 -0
  91. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +9 -9
  92. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +28 -29
  93. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +23 -24
  94. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  95. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +36 -35
  96. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +146 -93
  97. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +8 -8
  99. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -2
  100. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +27 -28
  101. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +24 -25
  102. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +11 -11
  103. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
  104. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +1 -1
  105. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +15 -15
  106. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +30 -31
  107. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +24 -25
  108. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph-members.html +1 -1
  110. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +95 -96
  111. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  112. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  113. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +20 -19
  114. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +24 -25
  115. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +17 -18
  116. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge-members.html +4 -4
  117. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +5 -5
  118. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +1 -1
  119. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  120. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +3 -3
  121. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
  122. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +6 -6
  123. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +13 -13
  124. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +13 -13
  125. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +14 -14
  126. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +8 -7
  128. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +78 -80
  129. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +7 -7
  130. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +63 -62
  131. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +21 -20
  133. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  134. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +42 -42
  136. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +58 -55
  137. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +170 -50
  138. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
  139. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +2 -2
  140. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +39 -39
  141. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +3 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +7 -8
  143. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +2 -2
  146. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +27 -28
  147. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +17 -18
  148. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +22 -21
  149. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +86 -32
  150. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +12 -12
  151. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder-members.html +2 -4
  153. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +11 -15
  154. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +87 -87
  156. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +6 -6
  157. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +33 -34
  159. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +32 -33
  160. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge-members.html +5 -5
  161. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +6 -6
  162. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +98 -98
  163. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +18 -18
  164. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG-members.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +6 -6
  166. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +5 -5
  167. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  168. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +19 -20
  169. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +30 -31
  170. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +23 -24
  171. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +45 -50
  172. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +27 -28
  173. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +24 -25
  174. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +13 -13
  175. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +2 -2
  176. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +16 -16
  177. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder-members.html +2 -4
  178. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +33 -79
  179. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +2 -2
  180. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +10 -10
  181. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +3 -3
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +94 -95
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +103 -97
  186. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt-members.html +24 -25
  187. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +49 -53
  188. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  189. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
  190. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +2 -4
  191. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +11 -15
  192. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +4 -4
  193. package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +13 -6
  194. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +263 -37
  195. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +3 -3
  196. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +24 -25
  197. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +18 -19
  198. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +24 -24
  199. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +65 -64
  200. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +90 -63
  201. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +26 -27
  202. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +18 -19
  203. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +26 -27
  204. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +18 -19
  205. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  206. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  207. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +21 -21
  208. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +29 -30
  209. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +30 -31
  210. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +79 -80
  212. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +11 -11
  213. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +13 -13
  214. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  215. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +5 -5
  216. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +13 -14
  217. package/SVF-doxygen/html/html/classes.html +95 -93
  218. package/SVF-doxygen/html/html/functions_a.html +18 -17
  219. package/SVF-doxygen/html/html/functions_b.html +5 -11
  220. package/SVF-doxygen/html/html/functions_c.html +22 -22
  221. package/SVF-doxygen/html/html/functions_eval_g.html +2 -1
  222. package/SVF-doxygen/html/html/functions_eval_n.html +0 -1
  223. package/SVF-doxygen/html/html/functions_eval_v.html +0 -1
  224. package/SVF-doxygen/html/html/functions_f.html +20 -15
  225. package/SVF-doxygen/html/html/functions_func.html +19 -18
  226. package/SVF-doxygen/html/html/functions_func_b.html +0 -6
  227. package/SVF-doxygen/html/html/functions_func_c.html +20 -22
  228. package/SVF-doxygen/html/html/functions_func_g.html +37 -24
  229. package/SVF-doxygen/html/html/functions_func_i.html +7 -4
  230. package/SVF-doxygen/html/html/functions_func_n.html +0 -3
  231. package/SVF-doxygen/html/html/functions_func_o.html +3 -4
  232. package/SVF-doxygen/html/html/functions_func_s.html +4 -4
  233. package/SVF-doxygen/html/html/functions_func_t.html +0 -2
  234. package/SVF-doxygen/html/html/functions_func_v.html +0 -3
  235. package/SVF-doxygen/html/html/functions_g.html +37 -23
  236. package/SVF-doxygen/html/html/functions_i.html +9 -6
  237. package/SVF-doxygen/html/html/functions_l.html +5 -5
  238. package/SVF-doxygen/html/html/functions_m.html +1 -1
  239. package/SVF-doxygen/html/html/functions_n.html +0 -4
  240. package/SVF-doxygen/html/html/functions_o.html +12 -15
  241. package/SVF-doxygen/html/html/functions_p.html +12 -12
  242. package/SVF-doxygen/html/html/functions_r.html +9 -5
  243. package/SVF-doxygen/html/html/functions_s.html +24 -16
  244. package/SVF-doxygen/html/html/functions_t.html +10 -10
  245. package/SVF-doxygen/html/html/functions_type_s.html +3 -0
  246. package/SVF-doxygen/html/html/functions_v.html +10 -11
  247. package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
  248. package/SVF-doxygen/html/html/functions_vars_s.html +4 -1
  249. package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
  250. package/SVF-doxygen/html/html/hierarchy.html +55 -57
  251. package/SVF-doxygen/html/html/namespaceSVF.html +0 -4
  252. package/SVF-doxygen/html/html/search/all_1.js +8 -8
  253. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  254. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  255. package/SVF-doxygen/html/html/search/all_13.js +11 -9
  256. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  257. package/SVF-doxygen/html/html/search/all_16.js +4 -4
  258. package/SVF-doxygen/html/html/search/all_2.js +1 -3
  259. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  260. package/SVF-doxygen/html/html/search/all_6.js +1 -0
  261. package/SVF-doxygen/html/html/search/all_7.js +10 -6
  262. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  263. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  264. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  265. package/SVF-doxygen/html/html/search/all_e.js +4 -5
  266. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  267. package/SVF-doxygen/html/html/search/classes_12.js +0 -1
  268. package/SVF-doxygen/html/html/search/classes_b.js +0 -1
  269. package/SVF-doxygen/html/html/search/enumvalues_12.js +1 -1
  270. package/SVF-doxygen/html/html/search/enumvalues_6.js +1 -1
  271. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -1
  272. package/SVF-doxygen/html/html/search/functions_0.js +8 -8
  273. package/SVF-doxygen/html/html/search/functions_1.js +1 -3
  274. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  275. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  276. package/SVF-doxygen/html/html/search/functions_13.js +0 -1
  277. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  278. package/SVF-doxygen/html/html/search/functions_6.js +9 -5
  279. package/SVF-doxygen/html/html/search/functions_8.js +2 -1
  280. package/SVF-doxygen/html/html/search/functions_c.js +0 -1
  281. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  282. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -0
  283. package/SVF-doxygen/html/html/search/variables_13.js +2 -1
  284. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  285. package/SVF-doxygen/html/html/search/variables_16.js +1 -0
  286. package/SVF-doxygen/html/html/search/variables_6.js +1 -0
  287. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  288. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +16 -16
  289. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +16 -16
  290. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  291. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +18 -18
  292. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +3 -3
  293. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  294. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  295. package/include/DDA/DDAVFSolver.h +1 -1
  296. package/include/Graphs/ConsG.h +2 -2
  297. package/include/Graphs/ConsGEdge.h +1 -1
  298. package/include/Graphs/VFG.h +2 -2
  299. package/include/Graphs/VFGNode.h +1 -1
  300. package/include/MSSA/SVFGBuilder.h +0 -2
  301. package/include/MemoryModel/LocationSet.h +4 -0
  302. package/include/MemoryModel/SVFIR.h +3 -3
  303. package/include/MemoryModel/SVFStatements.h +40 -97
  304. package/include/MemoryModel/SVFVariables.h +9 -6
  305. package/include/MemoryModel/SymbolTableInfo.h +27 -6
  306. package/include/SVF-FE/DCHG.h +1 -1
  307. package/include/SVF-FE/SVFIRBuilder.h +6 -6
  308. package/include/Util/IRAnnotator.h +1 -1
  309. package/lib/DDA/ContextDDA.cpp +4 -5
  310. package/lib/DDA/DDAClient.cpp +6 -6
  311. package/lib/DDA/DDAStat.cpp +1 -1
  312. package/lib/DDA/FlowDDA.cpp +4 -5
  313. package/lib/Graphs/ConsG.cpp +26 -31
  314. package/lib/Graphs/ICFG.cpp +4 -0
  315. package/lib/Graphs/SVFG.cpp +2 -2
  316. package/lib/Graphs/VFG.cpp +36 -43
  317. package/lib/MSSA/SVFGBuilder.cpp +4 -11
  318. package/lib/MTA/MTAAnnotator.cpp +3 -3
  319. package/lib/MemoryModel/LocationSet.cpp +69 -7
  320. package/lib/MemoryModel/PointerAnalysis.cpp +0 -6
  321. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  322. package/lib/MemoryModel/SVFIR.cpp +27 -35
  323. package/lib/MemoryModel/SVFStatements.cpp +0 -22
  324. package/lib/MemoryModel/SVFVariables.cpp +1 -1
  325. package/lib/MemoryModel/SymbolTableInfo.cpp +24 -17
  326. package/lib/SABER/SrcSnkDDA.cpp +2 -2
  327. package/lib/SVF-FE/DCHG.cpp +1 -1
  328. package/lib/SVF-FE/Graph2Json.cpp +24 -27
  329. package/lib/SVF-FE/SVFIRBuilder.cpp +9 -4
  330. package/lib/Util/Options.cpp +1 -1
  331. package/lib/Util/PTAStat.cpp +9 -9
  332. package/lib/Util/TypeBasedHeapCloning.cpp +5 -5
  333. package/lib/WPA/AndersenSFR.cpp +2 -2
  334. package/lib/WPA/AndersenStat.cpp +2 -2
  335. package/lib/WPA/CSC.cpp +2 -2
  336. package/lib/WPA/FlowSensitive.cpp +7 -12
  337. package/lib/WPA/FlowSensitiveStat.cpp +2 -2
  338. package/lib/WPA/FlowSensitiveTBHC.cpp +6 -9
  339. package/lib/WPA/WPAPass.cpp +1 -9
  340. package/package.json +1 -1
  341. package/tools/Example/svf-ex.cpp +1 -1
@@ -90,7 +90,7 @@ $(function() {
90
90
  <div class="ttc" id="classSVF_1_1ContextDDA_html_afb0ab7fc43e6f0331072419e39ae0606"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA::PTAName</a></div><div class="ttdeci">virtual const std::string PTAName() const override</div><div class="ttdoc">Return PTA name. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00189">ContextDDA.h:189</a></div></div>
91
91
  <div class="ttc" id="classSVF_1_1ContextDDA_html_ae3b04859ed69c47302177988aa68a70b"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b">SVF::ContextDDA::_client</a></div><div class="ttdeci">DDAClient * _client</div><div class="ttdoc">DDA client. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00197">ContextDDA.h:197</a></div></div>
92
92
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_aacd5f35171717cb4d758c17bef828a0f"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">SVF::PTACallGraph::getCalleeOfCallSite</a></div><div class="ttdeci">const SVFFunction * getCalleeOfCallSite(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00371">PTACallGraph.h:371</a></div></div>
93
- <div class="ttc" id="classSVF_1_1ContextDDA_html_a02902af9bc4455b994a5da4a9d6cf121"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a02902af9bc4455b994a5da4a9d6cf121">SVF::ContextDDA::isHeapCondMemObj</a></div><div class="ttdeci">virtual bool isHeapCondMemObj(const CxtVar &amp;var, const StoreSVFGNode *store) override</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00313">ContextDDA.cpp:313</a></div></div>
93
+ <div class="ttc" id="classSVF_1_1ContextDDA_html_a02902af9bc4455b994a5da4a9d6cf121"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a02902af9bc4455b994a5da4a9d6cf121">SVF::ContextDDA::isHeapCondMemObj</a></div><div class="ttdeci">virtual bool isHeapCondMemObj(const CxtVar &amp;var, const StoreSVFGNode *store) override</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00312">ContextDDA.cpp:312</a></div></div>
94
94
  <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
95
95
  <div class="ttc" id="classSVF_1_1ContextDDA_html_aefd2b50015aa98fa88a508e3ed1d402a"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#aefd2b50015aa98fa88a508e3ed1d402a">SVF::ContextDDA::processGepPts</a></div><div class="ttdeci">virtual CxtPtSet processGepPts(const GepSVFGNode *gep, const CxtPtSet &amp;srcPts) override</div><div class="ttdoc">processGep node </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00132">ContextDDA.cpp:132</a></div></div>
96
96
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a76487b8b3e3abb8a16b5c4f5c7e79819"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819">SVF::ContextDDA::isInsensitiveCallRet</a></div><div class="ttdeci">bool isInsensitiveCallRet(const SVFGEdge *edge)</div><div class="ttdoc">Whether this edge is treated context-insensitively. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00174">ContextDDA.h:174</a></div></div>
@@ -112,7 +112,7 @@ $(function() {
112
112
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a0d407903c4b0d976da30538ff0c5fc41"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41">SVF::ContextDDA::getInsensitiveEdgeSet</a></div><div class="ttdeci">ConstSVFGEdgeSet &amp; getInsensitiveEdgeSet()</div><div class="ttdoc">Return insensitive edge set. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00179">ContextDDA.h:179</a></div></div>
113
113
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a26031c81d3eba5b3ff3ebd51d89510ae"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a26031c81d3eba5b3ff3ebd51d89510ae">SVF::ContextDDA::handleAddr</a></div><div class="ttdeci">virtual void handleAddr(CxtPtSet &amp;pts, const CxtLocDPItem &amp;dpm, const AddrSVFGNode *addr) override</div><div class="ttdoc">Handle Address SVFGNode to add proper conditional points-to. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00149">ContextDDA.h:149</a></div></div>
114
114
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a57d309971de00db9bd8c6bfaf237cbff"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff">SVF::ContextDDA::isCondCompatible</a></div><div class="ttdeci">virtual bool isCondCompatible(const ContextCond &amp;cxt1, const ContextCond &amp;cxt2, bool singleton) const override</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00114">ContextDDA.cpp:114</a></div></div>
115
- <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aa0a14fd11d7e69b2a3f91a3862f172cd"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aa0a14fd11d7e69b2a3f91a3862f172cd">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallICFGNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</div><div class="ttdoc">Resolve indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00415">PointerAnalysis.cpp:415</a></div></div>
115
+ <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aa0a14fd11d7e69b2a3f91a3862f172cd"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aa0a14fd11d7e69b2a3f91a3862f172cd">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallICFGNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</div><div class="ttdoc">Resolve indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00409">PointerAnalysis.cpp:409</a></div></div>
116
116
  <div class="ttc" id="namespaceSVF_html_a542c6d5483bfc74fa58b45ad06b65960"><div class="ttname"><a href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">SVF::CallStrCxt</a></div><div class="ttdeci">SmallVector16 CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00125">SVFBasicTypes.h:125</a></div></div>
117
117
  <div class="ttc" id="classSVF_1_1ContextDDA_html_ac73213825d188fb4d1105ddc472fde05"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA::ContextDDA</a></div><div class="ttdeci">ContextDDA(SVFIR *_pag, DDAClient *client)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00020">ContextDDA.cpp:20</a></div></div>
118
118
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a45d7a381fec0692b4d2f7d0eec47ccf1"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA::propagateViaObj</a></div><div class="ttdeci">virtual bool propagateViaObj(const CxtVar &amp;storeObj, const CxtVar &amp;loadObj) override</div><div class="ttdoc">Propagate along indirect value-flow if two objects of load and store are same. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00163">ContextDDA.h:163</a></div></div>
@@ -129,11 +129,11 @@ $(function() {
129
129
  <div class="ttc" id="PointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
130
130
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_a5521918cc06c182c821b9fae8136e4fe"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::_pag</a></div><div class="ttdeci">SVFIR * _pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00753">DDAVFSolver.h:753</a></div></div>
131
131
  <div class="ttc" id="DataFlowUtil_8h_html"><div class="ttname"><a href="DataFlowUtil_8h.html">DataFlowUtil.h</a></div></div>
132
- <div class="ttc" id="classSVF_1_1ContextDDA_html_a7687f36ad3f27bb16069975f00a1a202"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a7687f36ad3f27bb16069975f00a1a202">SVF::ContextDDA::getCSIDAtRet</a></div><div class="ttdeci">CallSiteID getCSIDAtRet(CxtLocDPItem &amp;dpm, const SVFGEdge *edge)</div><div class="ttdoc">get callsite id from return, return 0 if it is a spurious return edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00212">ContextDDA.cpp:212</a></div></div>
132
+ <div class="ttc" id="classSVF_1_1ContextDDA_html_a7687f36ad3f27bb16069975f00a1a202"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a7687f36ad3f27bb16069975f00a1a202">SVF::ContextDDA::getCSIDAtRet</a></div><div class="ttdeci">CallSiteID getCSIDAtRet(CxtLocDPItem &amp;dpm, const SVFGEdge *edge)</div><div class="ttdoc">get callsite id from return, return 0 if it is a spurious return edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00211">ContextDDA.cpp:211</a></div></div>
133
133
  <div class="ttc" id="classSVF_1_1ContextDDA_html_a1b9bfe46777c8a57781452a05635fb02"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a1b9bfe46777c8a57781452a05635fb02">SVF::ContextDDA::handleOutOfBudgetDpm</a></div><div class="ttdeci">void handleOutOfBudgetDpm(const CxtLocDPItem &amp;dpm)</div><div class="ttdoc">Handle out-of-budget dpm. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00093">ContextDDA.cpp:93</a></div></div>
134
134
  <div class="ttc" id="classSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00194">DPItem.h:194</a></div></div>
135
135
  <div class="ttc" id="classSVF_1_1DPItem_html_a03a90eca842c0e83d874902103f6fdb2"><div class="ttname"><a href="classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2">SVF::DPItem::getCurNodeID</a></div><div class="ttdeci">NodeID getCurNodeID() const</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00065">DPItem.h:65</a></div></div>
136
- <div class="ttc" id="classSVF_1_1ContextDDA_html_aa8a7b6e99b92abfa5c2404515b703a2d"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#aa8a7b6e99b92abfa5c2404515b703a2d">SVF::ContextDDA::handleBKCondition</a></div><div class="ttdeci">virtual bool handleBKCondition(CxtLocDPItem &amp;dpm, const SVFGEdge *edge) override</div><div class="ttdoc">Handle condition for context or path analysis (backward analysis) </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00234">ContextDDA.cpp:234</a></div></div>
136
+ <div class="ttc" id="classSVF_1_1ContextDDA_html_aa8a7b6e99b92abfa5c2404515b703a2d"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#aa8a7b6e99b92abfa5c2404515b703a2d">SVF::ContextDDA::handleBKCondition</a></div><div class="ttdeci">virtual bool handleBKCondition(CxtLocDPItem &amp;dpm, const SVFGEdge *edge) override</div><div class="ttdoc">Handle condition for context or path analysis (backward analysis) </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00233">ContextDDA.cpp:233</a></div></div>
137
137
  <div class="ttc" id="classSVF_1_1CxtStmtDPItem_html"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html">SVF::CxtStmtDPItem</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00365">DPItem.h:365</a></div></div>
138
138
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_ae31e9281e4f1e0585fdf328b7339e1bf"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::getCachedPointsTo</a></div><div class="ttdeci">virtual const CxtPtSet &amp; getCachedPointsTo(const CxtLocDPItem &amp;dpm)</div><div class="ttdoc">Points-to Caching for top-level pointers and address-taken objects. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00532">DDAVFSolver.h:532</a></div></div>
139
139
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_aef98e8e9144a69bb7481fef5d2dcb303"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::ConstSVFGEdgeSet</a></div><div class="ttdeci">OrderedSet&lt; const SVFGEdge * &gt; ConstSVFGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00038">DDAVFSolver.h:38</a></div></div>
@@ -145,7 +145,7 @@ $(function() {
145
145
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_a5a8632a957fce63f186dd8b657566dd2"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::addDDAPts</a></div><div class="ttdeci">virtual void addDDAPts(CxtPtSet &amp;pts, const CxtVar &amp;var)</div><div class="ttdoc">Add pts. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00091">DDAVFSolver.h:91</a></div></div>
146
146
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a42035e9669204ddd5d38583db21af3d7"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7">SVF::PTACallGraph::getCallerOfCallSite</a></div><div class="ttdeci">const SVFFunction * getCallerOfCallSite(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00367">PTACallGraph.h:367</a></div></div>
147
147
  <div class="ttc" id="classSVF_1_1CondStdSet_html"><div class="ttname"><a href="classSVF_1_1CondStdSet.html">SVF::CondStdSet</a></div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00131">ConditionalPT.h:131</a></div></div>
148
- <div class="ttc" id="classSVF_1_1ContextDDA_html_a05ac33ca33efb58099839f72050bb008"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008">SVF::ContextDDA::testIndCallReachability</a></div><div class="ttdeci">bool testIndCallReachability(CxtLocDPItem &amp;dpm, const SVFFunction *callee, const CallICFGNode *cs)</div><div class="ttdoc">refine indirect call edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00167">ContextDDA.cpp:167</a></div></div>
148
+ <div class="ttc" id="classSVF_1_1ContextDDA_html_a05ac33ca33efb58099839f72050bb008"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008">SVF::ContextDDA::testIndCallReachability</a></div><div class="ttdeci">bool testIndCallReachability(CxtLocDPItem &amp;dpm, const SVFFunction *callee, const CallICFGNode *cs)</div><div class="ttdoc">refine indirect call edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00166">ContextDDA.cpp:166</a></div></div>
149
149
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_acb7980c7e0d1d8ad6abab0b80831d2a9"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::getSVFG</a></div><div class="ttdeci">SVFG * getSVFG() const</div><div class="ttdoc">Return SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00096">DDAVFSolver.h:96</a></div></div>
150
150
  <div class="ttc" id="classSVF_1_1ContextDDA_html"><div class="ttname"><a href="classSVF_1_1ContextDDA.html">SVF::ContextDDA</a></div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00026">ContextDDA.h:26</a></div></div>
151
151
  <div class="ttc" id="DPItem_8h_html"><div class="ttname"><a href="DPItem_8h.html">DPItem.h</a></div></div>
@@ -154,7 +154,7 @@ $(function() {
154
154
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00367">PointerAnalysis.h:367</a></div></div>
155
155
  <div class="ttc" id="classSVF_1_1CondStdSet_html_ae11deddad534be115d29daad08c90599"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599">SVF::CondStdSet::set</a></div><div class="ttdeci">void set(const Element &amp;var)</div><div class="ttdoc">Add the element into set. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00158">ConditionalPT.h:158</a></div></div>
156
156
  <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
157
- <div class="ttc" id="classSVF_1_1ContextDDA_html_a2ce589a1d63a5126e178fc47527e0f92"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92">SVF::ContextDDA::getCSIDAtCall</a></div><div class="ttdeci">CallSiteID getCSIDAtCall(CxtLocDPItem &amp;dpm, const SVFGEdge *edge)</div><div class="ttdoc">get callsite id from call, return 0 if it is a spurious call edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00188">ContextDDA.cpp:188</a></div></div>
157
+ <div class="ttc" id="classSVF_1_1ContextDDA_html_a2ce589a1d63a5126e178fc47527e0f92"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92">SVF::ContextDDA::getCSIDAtCall</a></div><div class="ttdeci">CallSiteID getCSIDAtCall(CxtLocDPItem &amp;dpm, const SVFGEdge *edge)</div><div class="ttdoc">get callsite id from call, return 0 if it is a spurious call edge </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00187">ContextDDA.cpp:187</a></div></div>
158
158
  <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
159
159
  <div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00149">SVFBasicTypes.h:149</a></div></div>
160
160
  <div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_ace41c90e66f6a85f12ff67540ad9d594"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594">SVF::CxtStmtDPItem::getCond</a></div><div class="ttdeci">const ContextCond &amp; getCond() const</div><div class="ttdoc">Get context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00390">DPItem.h:390</a></div></div>