svf-tools 1.0.427 → 1.0.430

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 (305) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +8 -8
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +10 -10
  7. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +3 -3
  8. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  9. package/SVF-doxygen/html/html/CHG_8cpp_source.html +8 -8
  10. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +11 -11
  12. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +4 -4
  13. package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
  14. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  15. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
  17. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +15 -15
  18. package/SVF-doxygen/html/html/DCHG_8h_source.html +7 -7
  19. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
  22. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +4 -4
  23. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +6 -6
  24. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  25. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  27. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  29. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +1 -1
  30. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  34. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +10 -10
  35. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  37. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +4 -4
  38. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  40. package/SVF-doxygen/html/html/IRGraph_8h_source.html +18 -18
  41. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  42. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +18 -18
  44. package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
  45. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +58 -56
  46. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  48. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +9 -9
  51. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  53. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
  55. package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
  56. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  59. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
  60. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +9 -9
  61. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +3 -3
  62. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
  63. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  64. package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  66. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +13 -12
  68. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +9 -9
  70. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
  71. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
  72. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  73. package/SVF-doxygen/html/html/PCG_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +5 -5
  76. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
  78. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +33 -27
  79. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +32 -28
  80. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +2 -2
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  82. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  83. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +6 -6
  84. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +5 -4
  85. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  86. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +117 -27
  87. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +32 -27
  88. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  90. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  91. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +3 -3
  94. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  95. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +70 -70
  96. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +34 -34
  97. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +5 -5
  98. package/SVF-doxygen/html/html/SVFIR_8h_source.html +10 -10
  99. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  100. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  101. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  102. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +3 -3
  103. package/SVF-doxygen/html/html/SVFUtil_8h.html +0 -3
  104. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +12 -13
  105. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +7 -7
  106. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +9 -7
  107. package/SVF-doxygen/html/html/SaberAnnotator_8h.html +1 -1
  108. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +6 -7
  109. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  110. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  111. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  112. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +62 -61
  113. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
  114. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +77 -76
  115. package/SVF-doxygen/html/html/SymbolTableInfo_8h.html +1 -0
  116. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +135 -134
  117. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  118. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  119. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
  120. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  121. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +5 -5
  122. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +3 -3
  124. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +12 -12
  125. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +2 -2
  126. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -11
  127. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +75 -80
  128. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  129. package/SVF-doxygen/html/html/VFG_8cpp_source.html +2 -2
  130. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  131. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  132. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  133. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  134. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +8 -8
  136. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +2 -2
  137. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  138. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  139. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
  140. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  141. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +15 -15
  142. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +6 -6
  143. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  144. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  146. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +7 -7
  147. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +47 -47
  148. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +5 -3
  150. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
  153. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  154. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +6 -6
  155. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +11 -11
  156. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +2 -2
  157. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  158. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
  160. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +14 -14
  162. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
  163. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +16 -16
  164. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
  167. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +4 -4
  169. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +2 -2
  170. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +21 -21
  171. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  172. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +18 -18
  173. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +20 -19
  174. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +4 -4
  175. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +9 -9
  176. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +15 -15
  177. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  178. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +5 -4
  179. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +115 -88
  180. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +13 -13
  181. package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +94 -94
  184. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +10 -10
  187. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +3 -3
  188. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  190. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
  192. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator-members.html +26 -25
  193. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +153 -114
  194. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +2 -2
  195. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +31 -30
  197. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +11 -8
  198. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  199. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  200. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +29 -29
  201. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +3 -3
  202. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  203. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  204. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +17 -17
  205. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +89 -89
  206. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator-members.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +28 -24
  210. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +4 -4
  211. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  212. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +36 -36
  213. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +86 -86
  214. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +41 -42
  215. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +189 -220
  216. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  217. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +5 -5
  218. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +7 -7
  219. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -3
  221. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +16 -16
  222. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +4 -4
  223. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  225. package/SVF-doxygen/html/html/functions_a.html +3 -3
  226. package/SVF-doxygen/html/html/functions_e.html +2 -2
  227. package/SVF-doxygen/html/html/functions_func.html +3 -3
  228. package/SVF-doxygen/html/html/functions_func_e.html +2 -2
  229. package/SVF-doxygen/html/html/functions_func_g.html +8 -7
  230. package/SVF-doxygen/html/html/functions_func_i.html +5 -8
  231. package/SVF-doxygen/html/html/functions_func_s.html +9 -8
  232. package/SVF-doxygen/html/html/functions_g.html +15 -14
  233. package/SVF-doxygen/html/html/functions_i.html +11 -14
  234. package/SVF-doxygen/html/html/functions_l.html +3 -3
  235. package/SVF-doxygen/html/html/functions_o.html +15 -15
  236. package/SVF-doxygen/html/html/functions_p.html +7 -7
  237. package/SVF-doxygen/html/html/functions_r.html +8 -8
  238. package/SVF-doxygen/html/html/functions_s.html +11 -10
  239. package/SVF-doxygen/html/html/functions_t.html +10 -8
  240. package/SVF-doxygen/html/html/functions_v.html +3 -3
  241. package/SVF-doxygen/html/html/globals.html +3 -0
  242. package/SVF-doxygen/html/html/globals_b.html +3 -0
  243. package/SVF-doxygen/html/html/globals_r.html +3 -0
  244. package/SVF-doxygen/html/html/globals_s.html +9 -6
  245. package/SVF-doxygen/html/html/globals_type.html +15 -0
  246. package/SVF-doxygen/html/html/globals_u.html +5 -2
  247. package/SVF-doxygen/html/html/namespaceSVF.html +40 -130
  248. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +253 -220
  249. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +20 -20
  250. package/SVF-doxygen/html/html/namespacemembers.html +0 -3
  251. package/SVF-doxygen/html/html/namespacemembers_b.html +1 -4
  252. package/SVF-doxygen/html/html/namespacemembers_func.html +8 -5
  253. package/SVF-doxygen/html/html/namespacemembers_i.html +11 -8
  254. package/SVF-doxygen/html/html/namespacemembers_r.html +1 -4
  255. package/SVF-doxygen/html/html/namespacemembers_s.html +0 -3
  256. package/SVF-doxygen/html/html/namespacemembers_type.html +0 -15
  257. package/SVF-doxygen/html/html/namespacemembers_u.html +0 -3
  258. package/SVF-doxygen/html/html/search/all_1.js +4 -4
  259. package/SVF-doxygen/html/html/search/all_10.js +9 -9
  260. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  261. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  262. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  263. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  264. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  265. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  266. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  267. package/SVF-doxygen/html/html/search/all_7.js +1 -1
  268. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  269. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  270. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  271. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  272. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  273. package/SVF-doxygen/html/html/search/functions_0.js +3 -3
  274. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  275. package/SVF-doxygen/html/html/search/functions_4.js +2 -2
  276. package/SVF-doxygen/html/html/search/functions_6.js +1 -1
  277. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  278. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  279. package/SVF-doxygen/html/html/search/typedefs_0.js +1 -1
  280. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -1
  281. package/SVF-doxygen/html/html/search/typedefs_10.js +1 -1
  282. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
  283. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  284. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  285. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  286. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  287. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
  288. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  289. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  290. package/include/DDA/DDAVFSolver.h +3 -3
  291. package/include/MemoryModel/SymbolTableInfo.h +6 -4
  292. package/include/SABER/PathCondAllocator.h +8 -2
  293. package/include/SABER/SaberAnnotator.h +4 -4
  294. package/include/SVF-FE/BasicTypes.h +5 -0
  295. package/include/SVF-FE/LLVMUtil.h +13 -0
  296. package/include/Util/BasicTypes.h +0 -5
  297. package/include/Util/SVFUtil.h +0 -5
  298. package/lib/MSSA/MemRegion.cpp +4 -4
  299. package/lib/MemoryModel/PointerAnalysis.cpp +4 -4
  300. package/lib/MemoryModel/SymbolTableInfo.cpp +6 -8
  301. package/lib/SABER/PathCondAllocator.cpp +31 -26
  302. package/lib/SABER/ProgSlice.cpp +7 -4
  303. package/lib/SABER/SaberAnnotator.cpp +8 -8
  304. package/lib/SVF-FE/SymbolTableBuilder.cpp +1 -1
  305. package/package.json +1 -1
@@ -80,7 +80,7 @@ $(function() {
80
80
  <div class="ttc" id="classSVF_1_1PCG_html"><div class="ttname"><a href="classSVF_1_1PCG.html">SVF::PCG</a></div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00028">PCG.h:28</a></div></div>
81
81
  <div class="ttc" id="classSVF_1_1PCG_html_ae5ee8cf8cfe42854407190f30f3b6c1b"><div class="ttname"><a href="classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b">SVF::PCG::identifyFollowers</a></div><div class="ttdeci">void identifyFollowers()</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00190">PCG.cpp:190</a></div></div>
82
82
  <div class="ttc" id="classSVF_1_1PCG_html_a11c45407138211987e5143d81ccceb95"><div class="ttname"><a href="classSVF_1_1PCG.html#a11c45407138211987e5143d81ccceb95">SVF::PCG::addSpawnerFun</a></div><div class="ttdeci">bool addSpawnerFun(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00065">PCG.h:65</a></div></div>
83
- <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
83
+ <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
84
84
  <div class="ttc" id="classSVF_1_1PCG_html_a2a7319200ec2ec07e8b7976b4a876da8"><div class="ttname"><a href="classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8">SVF::PCG::spawnSitesBegin</a></div><div class="ttdeci">CallInstSet::const_iterator spawnSitesBegin() const</div><div class="ttdoc">Spawn sites iterators. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00098">PCG.h:98</a></div></div>
85
85
  <div class="ttc" id="classSVF_1_1PCG_html_a985b0c790c582d15e6242950ac66f574"><div class="ttname"><a href="classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574">SVF::PCG::mod</a></div><div class="ttdeci">SVFModule * mod</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00044">PCG.h:44</a></div></div>
86
86
  <div class="ttc" id="classSVF_1_1PCG_html_a482925e80c66f258e0fb863ee6948081"><div class="ttname"><a href="classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081">SVF::PCG::PCG</a></div><div class="ttdeci">PCG(PointerAnalysis *an)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00111">PCG.h:111</a></div></div>
@@ -87,8 +87,8 @@ $(function() {
87
87
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a841be22581a7896d8924564e7199f62b"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b">SVF::PTACallGraph::dump</a></div><div class="ttdeci">void dump(const std::string &amp;filename)</div><div class="ttdoc">Dump the graph. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00314">PTACallGraph.cpp:314</a></div></div>
88
88
  <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_ae549769b86088c7c03e416549694ef52"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52">SVF::PTACallGraphNode::isReachableFromProgEntry</a></div><div class="ttdeci">bool isReachableFromProgEntry() const</div><div class="ttdoc">Return TRUE if this function can be reached from main. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00077">PTACallGraph.cpp:77</a></div></div>
89
89
  <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
90
- <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
91
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a2c97c2b79b795465490512e267a9309b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil::isProgEntryFunction</a></div><div class="ttdeci">bool isProgEntryFunction(const SVFFunction *fun)</div><div class="ttdoc">Program entry function e.g. main. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00419">LLVMUtil.h:419</a></div></div>
90
+ <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
91
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a2c97c2b79b795465490512e267a9309b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil::isProgEntryFunction</a></div><div class="ttdeci">bool isProgEntryFunction(const SVFFunction *fun)</div><div class="ttdoc">Program entry function e.g. main. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00432">LLVMUtil.h:432</a></div></div>
92
92
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a27979e812ced26f114369b46e1536b02"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02">SVF::PTACallGraphEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00058">PTACallGraph.cpp:58</a></div></div>
93
93
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_aa03df6b1ebf7f8356a47fa074d3f91a4"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4">SVF::PTACallGraph::isReachableBetweenFunctions</a></div><div class="ttdeci">bool isReachableBetweenFunctions(const SVFFunction *srcFn, const SVFFunction *dstFn) const</div><div class="ttdoc">Whether its reachable between two functions. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00283">PTACallGraph.cpp:283</a></div></div>
94
94
  <div class="ttc" id="classSVF_1_1GenericNode_html_a0931220d7a38e03f206cbdc6465d32ad"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode::hasOutgoingEdge</a></div><div class="ttdeci">bool hasOutgoingEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00194">GenericGraph.h:194</a></div></div>
@@ -117,7 +117,7 @@ $(function() {
117
117
  <div class="ttc" id="classSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00214">GenericGraph.h:214</a></div></div>
118
118
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a979359fc784e647c574de90c7af2cf40"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph::addCallSite</a></div><div class="ttdeci">CallSiteID addCallSite(const CallICFGNode *cs, const SVFFunction *callee)</div><div class="ttdoc">Add/Get CallSiteID. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00330">PTACallGraph.h:330</a></div></div>
119
119
  <div class="ttc" id="namespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00089">SVFBasicTypes.h:89</a></div></div>
120
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00268">SVFUtil.h:268</a></div></div>
120
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00263">SVFUtil.h:263</a></div></div>
121
121
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_adcae44bd6788954e2e4e007bff03462c"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c">SVF::PTACallGraph::indirectCallMap</a></div><div class="ttdeci">CallEdgeMap indirectCallMap</div><div class="ttdoc">Indirect call map. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00242">PTACallGraph.h:242</a></div></div>
122
122
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
123
123
  <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a959445c97605953fbdebbbd999437a09"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">SVF::PTACallGraphNode::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Get function of this call node. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00193">PTACallGraph.h:193</a></div></div>
@@ -134,7 +134,7 @@ $(function() {
134
134
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a0d2544130cc2cdc3ac418c975c278eb2"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a0d2544130cc2cdc3ac418c975c278eb2">SVF::PTACallGraph::getDirCallSitesInvokingCallee</a></div><div class="ttdeci">void getDirCallSitesInvokingCallee(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00229">PTACallGraph.cpp:229</a></div></div>
135
135
  <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
136
136
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7">SVF::PTACallGraphEdge::TDForkEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00058">PTACallGraph.h:58</a></div></div>
137
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_ac840e43fa58a90099de99a1953f091ac"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil::getForkedFun</a></div><div class="ttdeci">const Value * getForkedFun(const CallSite cs)</div><div class="ttdoc">Return thread fork function. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00344">LLVMUtil.h:344</a></div></div>
137
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_ac840e43fa58a90099de99a1953f091ac"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil::getForkedFun</a></div><div class="ttdeci">const Value * getForkedFun(const CallSite cs)</div><div class="ttdoc">Return thread fork function. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00357">LLVMUtil.h:357</a></div></div>
138
138
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5">SVF::PTACallGraphEdge::TDJoinEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00058">PTACallGraph.h:58</a></div></div>
139
139
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a9b7f6979a95244c620fdb791e053237b"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b">SVF::PTACallGraph::CallGraphEdgeConstIter</a></div><div class="ttdeci">CallGraphEdgeSet::const_iterator CallGraphEdgeConstIter</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00231">PTACallGraph.h:231</a></div></div>
140
140
  <div class="ttc" id="classSVF_1_1CallICFGNode_html_a18f4077d42b23c3fed35efc793b6102e"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00400">ICFGNode.h:400</a></div></div>
@@ -154,7 +154,7 @@ $(function() {
154
154
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a276338e88cc286f6a1808b1fcdf74d9a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a">SVF::PTACallGraph::totalCallSiteNum</a></div><div class="ttdeci">static CallSiteID totalCallSiteNum</div><div class="ttdoc">CallSiteIDs, start from 1;. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00247">PTACallGraph.h:247</a></div></div>
155
155
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_ac695d78f0a78e2e5f1fb4f93264e52b8"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8">SVF::PTACallGraph::verifyCallGraph</a></div><div class="ttdeci">void verifyCallGraph()</div><div class="ttdoc">Issue a warning if the function which has indirect call sites can not be reached from program entry...</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00263">PTACallGraph.cpp:263</a></div></div>
156
156
  <div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
157
- <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00065">LLVMUtil.h:65</a></div></div>
157
+ <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00072">LLVMUtil.h:72</a></div></div>
158
158
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_adf05313ea8bcc7973acebd3fbcd75c92"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92">SVF::PTACallGraph::numOfResolvedIndCallEdge</a></div><div class="ttdeci">u32_t numOfResolvedIndCallEdge</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00254">PTACallGraph.h:254</a></div></div>
159
159
  <div class="ttc" id="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4_html_ad08b2b59081251fcf467fa992c83986c"><div class="ttname"><a href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::NodeType</a></div><div class="ttdeci">PTACallGraphNode NodeType</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00334">PTACallGraph.cpp:334</a></div></div>
160
160
  </div><!-- fragment --></div><!-- contents -->
@@ -84,7 +84,7 @@ $(function() {
84
84
  <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
85
85
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a2f3e4b61225c4ca37b0f70e3edc61920"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920">SVF::PTACallGraphEdge::directCalls</a></div><div class="ttdeci">CallInstSet directCalls</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00063">PTACallGraph.h:63</a></div></div>
86
86
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
87
- <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
87
+ <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
88
88
  <div class="ttc" id="classSVF_1_1PTACallGraph_html_ae3ee76be0e959a736c868dc7e0128077"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077">SVF::PTACallGraph::getCallGraphNode</a></div><div class="ttdeci">PTACallGraphNode * getCallGraphNode(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00319">PTACallGraph.h:319</a></div></div>
89
89
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a8c46ccaa41f6792ca4a31a56548a554a"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a">SVF::PTACallGraphEdge::isDirectCallEdge</a></div><div class="ttdeci">bool isDirectCallEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00087">PTACallGraph.h:87</a></div></div>
90
90
  <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a27979e812ced26f114369b46e1536b02"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02">SVF::PTACallGraphEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00058">PTACallGraph.cpp:58</a></div></div>