svf-tools 1.0.768 → 1.0.770

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 (503) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +163 -130
  2. package/SVF-doxygen/html/html/AccessPath_8h_source.html +47 -45
  3. package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +3 -3
  6. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +9 -9
  8. package/SVF-doxygen/html/html/CommandLine_8h_source.html +1 -1
  9. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +9 -9
  12. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +1 -1
  15. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +1 -1
  20. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +60 -67
  21. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +9 -9
  22. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +19 -19
  32. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1108 -1111
  33. package/SVF-doxygen/html/html/LLVMUtil_8h.html +2 -0
  34. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +191 -172
  35. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  39. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/RelExeState_8h_source.html +1 -1
  45. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +13 -13
  46. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +13 -13
  47. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +56 -56
  51. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +6 -6
  52. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +831 -749
  53. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +138 -127
  54. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +33 -33
  55. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +11 -11
  56. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +11 -11
  57. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +11 -12
  58. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +15 -15
  59. package/SVF-doxygen/html/html/SVFIR_8h_source.html +11 -11
  60. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
  61. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +806 -799
  62. package/SVF-doxygen/html/html/SVFType_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
  64. package/SVF-doxygen/html/html/SVFUtil_8h.html +0 -12
  65. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +300 -333
  66. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +1 -1
  67. package/SVF-doxygen/html/html/SVFValue_8h_source.html +2 -2
  68. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +8 -8
  70. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +2 -2
  71. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  73. package/SVF-doxygen/html/html/SymState_8cpp_source.html +1 -1
  74. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +52 -62
  76. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -3
  77. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  78. package/SVF-doxygen/html/html/VFGNode_8h_source.html +7 -7
  79. package/SVF-doxygen/html/html/VFG_8cpp_source.html +15 -15
  80. package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
  81. package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
  82. package/SVF-doxygen/html/html/cJSON_8cpp.html +3 -2
  83. package/SVF-doxygen/html/html/cJSON_8cpp_source.html +3 -2
  84. package/SVF-doxygen/html/html/classOption.html +1 -1
  85. package/SVF-doxygen/html/html/classSVF_1_1AccessPath-members.html +27 -26
  86. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +179 -124
  87. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  90. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  93. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +69 -69
  94. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +52 -52
  96. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  97. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  99. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  100. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +9 -9
  101. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  102. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +36 -36
  103. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +98 -98
  104. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  105. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
  106. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +8 -8
  107. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  108. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  109. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  110. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +1 -1
  111. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +1 -1
  112. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  113. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  114. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
  115. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  116. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  117. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
  118. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  119. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +51 -56
  120. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  121. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  122. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  125. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +96 -95
  126. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +55 -20
  127. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  128. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +3 -3
  129. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +3 -3
  130. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +3 -3
  131. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  133. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +1 -1
  134. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  137. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +19 -19
  139. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  141. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +3 -3
  147. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  148. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +47 -47
  155. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +36 -36
  161. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  163. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +14 -14
  167. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +49 -49
  168. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState-members.html +45 -42
  169. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +962 -780
  170. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +21 -22
  171. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +24 -24
  175. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +8 -8
  176. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +39 -39
  177. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1SymState.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +51 -61
  182. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +23 -23
  184. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +22 -22
  185. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +45 -45
  186. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +15 -15
  188. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
  194. package/SVF-doxygen/html/html/extapi_8c.html +1487 -302
  195. package/SVF-doxygen/html/html/extapi_8c_source.html +1120 -1164
  196. package/SVF-doxygen/html/html/functions_a.html +14 -11
  197. package/SVF-doxygen/html/html/functions_c.html +24 -21
  198. package/SVF-doxygen/html/html/functions_f.html +3 -3
  199. package/SVF-doxygen/html/html/functions_func.html +9 -6
  200. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  201. package/SVF-doxygen/html/html/functions_func_g.html +24 -15
  202. package/SVF-doxygen/html/html/functions_func_h.html +1 -1
  203. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  204. package/SVF-doxygen/html/html/functions_func_s.html +2 -2
  205. package/SVF-doxygen/html/html/functions_g.html +24 -15
  206. package/SVF-doxygen/html/html/functions_h.html +1 -1
  207. package/SVF-doxygen/html/html/functions_i.html +3 -3
  208. package/SVF-doxygen/html/html/functions_l.html +5 -5
  209. package/SVF-doxygen/html/html/functions_o.html +7 -7
  210. package/SVF-doxygen/html/html/functions_p.html +12 -12
  211. package/SVF-doxygen/html/html/functions_r.html +4 -2
  212. package/SVF-doxygen/html/html/functions_s.html +18 -18
  213. package/SVF-doxygen/html/html/functions_v.html +6 -6
  214. package/SVF-doxygen/html/html/functions_w.html +9 -9
  215. package/SVF-doxygen/html/html/globals.html +20 -2
  216. package/SVF-doxygen/html/html/globals_a.html +3 -0
  217. package/SVF-doxygen/html/html/globals_b.html +10 -4
  218. package/SVF-doxygen/html/html/globals_c.html +8 -4
  219. package/SVF-doxygen/html/html/globals_d.html +9 -0
  220. package/SVF-doxygen/html/html/globals_defs.html +3 -0
  221. package/SVF-doxygen/html/html/globals_func.html +18 -399
  222. package/SVF-doxygen/html/html/globals_func_a.html +91 -0
  223. package/SVF-doxygen/html/html/globals_func_b.html +14 -20
  224. package/SVF-doxygen/html/html/globals_func_c.html +16 -849
  225. package/SVF-doxygen/html/html/globals_func_d.html +14 -275
  226. package/SVF-doxygen/html/html/globals_func_e.html +8 -97
  227. package/SVF-doxygen/html/html/globals_func_f.html +17 -20
  228. package/SVF-doxygen/html/html/globals_func_g.html +72 -25
  229. package/SVF-doxygen/html/html/globals_func_h.html +9 -6
  230. package/SVF-doxygen/html/html/globals_func_i.html +49 -31
  231. package/SVF-doxygen/html/html/globals_func_j.html +79 -0
  232. package/SVF-doxygen/html/html/globals_func_l.html +15 -9
  233. package/SVF-doxygen/html/html/globals_func_m.html +13 -87
  234. package/SVF-doxygen/html/html/globals_func_n.html +79 -0
  235. package/SVF-doxygen/html/html/globals_func_p.html +13 -22
  236. package/SVF-doxygen/html/html/globals_func_r.html +16 -28
  237. package/SVF-doxygen/html/html/globals_func_s.html +32 -128
  238. package/SVF-doxygen/html/html/globals_func_t.html +18 -9
  239. package/SVF-doxygen/html/html/globals_func_u.html +8 -18
  240. package/SVF-doxygen/html/html/globals_func_w.html +8 -5
  241. package/SVF-doxygen/html/html/globals_func_z.html +10 -73
  242. package/SVF-doxygen/html/html/globals_g.html +54 -0
  243. package/SVF-doxygen/html/html/globals_l.html +6 -0
  244. package/SVF-doxygen/html/html/globals_n.html +5 -2
  245. package/SVF-doxygen/html/html/globals_p.html +4 -1
  246. package/SVF-doxygen/html/html/globals_r.html +11 -8
  247. package/SVF-doxygen/html/html/globals_s.html +6 -0
  248. package/SVF-doxygen/html/html/globals_t.html +6 -0
  249. package/SVF-doxygen/html/html/globals_z.html +3 -0
  250. package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
  251. package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
  252. package/SVF-doxygen/html/html/menudata.js +20 -17
  253. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  254. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1058 -1014
  255. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +206 -383
  256. package/SVF-doxygen/html/html/namespacemembers_func_i.html +2 -11
  257. package/SVF-doxygen/html/html/namespacemembers_func_s.html +3 -0
  258. package/SVF-doxygen/html/html/namespacemembers_i.html +5 -14
  259. package/SVF-doxygen/html/html/namespacemembers_s.html +3 -0
  260. package/SVF-doxygen/html/html/search/all_0.js +158 -152
  261. package/SVF-doxygen/html/html/search/all_1.js +478 -476
  262. package/SVF-doxygen/html/html/search/all_10.js +324 -323
  263. package/SVF-doxygen/html/html/search/all_11.js +213 -212
  264. package/SVF-doxygen/html/html/search/all_12.js +539 -536
  265. package/SVF-doxygen/html/html/search/all_13.js +190 -188
  266. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  267. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  268. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  269. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  270. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  271. package/SVF-doxygen/html/html/search/all_19.js +11 -10
  272. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  273. package/SVF-doxygen/html/html/search/all_2.js +161 -159
  274. package/SVF-doxygen/html/html/search/all_3.js +628 -626
  275. package/SVF-doxygen/html/html/search/all_4.js +229 -226
  276. package/SVF-doxygen/html/html/search/all_5.js +117 -117
  277. package/SVF-doxygen/html/html/search/all_6.js +224 -224
  278. package/SVF-doxygen/html/html/search/all_7.js +1020 -999
  279. package/SVF-doxygen/html/html/search/all_8.js +191 -191
  280. package/SVF-doxygen/html/html/search/all_9.js +602 -605
  281. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  282. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  283. package/SVF-doxygen/html/html/search/all_c.js +116 -114
  284. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  285. package/SVF-doxygen/html/html/search/all_e.js +206 -205
  286. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  287. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  288. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  289. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  290. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  291. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  292. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  293. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  294. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  295. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  296. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  297. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  298. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  299. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  300. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  301. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  302. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  303. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  304. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  305. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  306. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  307. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  308. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  309. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  310. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  311. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  312. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  313. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  314. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  315. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  316. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  317. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  318. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  319. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  320. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  321. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  322. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  323. package/SVF-doxygen/html/html/search/defines_e.js +7 -6
  324. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  325. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  326. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  327. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  328. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  329. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  330. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  331. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  332. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  333. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  334. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  335. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  336. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  337. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  338. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  339. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  340. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  341. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  342. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  343. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  344. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  345. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  346. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  347. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  348. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  349. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  350. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  351. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  352. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  353. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  354. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  355. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  356. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  357. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  358. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  359. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  360. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  361. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  362. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  363. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  364. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  365. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  366. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  367. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  368. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  369. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  370. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  371. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  372. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  373. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  374. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  375. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  376. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  377. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  378. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  379. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  380. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  381. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  382. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  383. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  384. package/SVF-doxygen/html/html/search/functions_0.js +12 -6
  385. package/SVF-doxygen/html/html/search/functions_1.js +350 -348
  386. package/SVF-doxygen/html/html/search/functions_10.js +140 -139
  387. package/SVF-doxygen/html/html/search/functions_11.js +127 -126
  388. package/SVF-doxygen/html/html/search/functions_12.js +275 -273
  389. package/SVF-doxygen/html/html/search/functions_13.js +58 -56
  390. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  391. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  392. package/SVF-doxygen/html/html/search/functions_16.js +29 -29
  393. package/SVF-doxygen/html/html/search/functions_17.js +3 -2
  394. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  395. package/SVF-doxygen/html/html/search/functions_2.js +84 -82
  396. package/SVF-doxygen/html/html/search/functions_3.js +253 -251
  397. package/SVF-doxygen/html/html/search/functions_4.js +74 -71
  398. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  399. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  400. package/SVF-doxygen/html/html/search/functions_7.js +840 -819
  401. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  402. package/SVF-doxygen/html/html/search/functions_9.js +422 -425
  403. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  404. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  405. package/SVF-doxygen/html/html/search/functions_c.js +26 -24
  406. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  407. package/SVF-doxygen/html/html/search/functions_e.js +35 -34
  408. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  409. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  410. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  411. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  412. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  413. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  414. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  415. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  416. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  417. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  418. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  419. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  420. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  421. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  422. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  423. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  424. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  425. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  426. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  427. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  428. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  429. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  430. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  431. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  432. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  433. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  434. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  435. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  436. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  437. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  438. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  439. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  440. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  441. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  442. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  443. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  444. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  445. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  446. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  447. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  448. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  449. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  450. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  451. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  452. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  453. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  454. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  455. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  456. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  457. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  458. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  459. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  460. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  461. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  462. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  463. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  464. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  465. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  466. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  467. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  468. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  469. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  470. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  471. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  472. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  473. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  474. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  475. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable.html +1 -1
  476. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html +1 -1
  477. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map.html +1 -1
  478. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  479. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  480. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container.html +1 -1
  481. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  482. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  483. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  484. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set.html +1 -1
  485. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  486. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  487. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1make__void.html +2 -2
  488. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
  489. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  490. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  491. package/package.json +1 -1
  492. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +14 -0
  493. package/svf/include/MemoryModel/AccessPath.h +6 -0
  494. package/svf/include/SVFIR/SVFStatements.h +10 -0
  495. package/svf/include/Util/SVFUtil.h +0 -34
  496. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +154 -75
  497. package/svf/lib/MemoryModel/AccessPath.cpp +39 -0
  498. package/svf/lib/Util/ExtAPI.cpp +0 -6
  499. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +19 -2
  500. package/svf-llvm/lib/LLVMUtil.cpp +0 -2
  501. package/svf-llvm/lib/SVFIRExtAPI.cpp +1 -1
  502. package/svf-llvm/lib/SymbolTableBuilder.cpp +0 -9
  503. package/svf-llvm/lib/extapi.c +210 -295
package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html CHANGED
@@ -341,9 +341,6 @@ Functions</h2></td></tr>
341
341
  <tr class="memitem:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
342
342
  <tr class="memdesc:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap reallocator. <a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">More...</a><br /></td></tr>
343
343
  <tr class="separator:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
344
- <tr class="memitem:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
345
- <tr class="memdesc:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a static global call. <a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">More...</a><br /></td></tr>
346
- <tr class="separator:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memSeparator" colspan="2">&#160;</td></tr>
347
344
  <tr class="memitem:a2c97c2b79b795465490512e267a9309b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">isProgEntryFunction</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
348
345
  <tr class="memdesc:a2c97c2b79b795465490512e267a9309b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Program entry function e.g. main. <a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">More...</a><br /></td></tr>
349
346
  <tr class="separator:a2c97c2b79b795465490512e267a9309b"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -392,15 +389,6 @@ Functions</h2></td></tr>
392
389
  <tr class="separator:a6740e7686ba111ae525c6c093cbbaf46"><td class="memSeparator" colspan="2">&#160;</td></tr>
393
390
  <tr class="memitem:a21eb8acf4b7f876507ff02c65fff0869"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869">isReallocExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
394
391
  <tr class="separator:a21eb8acf4b7f876507ff02c65fff0869"><td class="memSeparator" colspan="2">&#160;</td></tr>
395
- <tr class="memitem:ae62938f722543d6d7fc201b685be1abf"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">isStaticExtCall</a> (const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs)</td></tr>
396
- <tr class="separator:ae62938f722543d6d7fc201b685be1abf"><td class="memSeparator" colspan="2">&#160;</td></tr>
397
- <tr class="memitem:a9236e11e62bde33d6ab1f309300c488a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
398
- <tr class="separator:a9236e11e62bde33d6ab1f309300c488a"><td class="memSeparator" colspan="2">&#160;</td></tr>
399
- <tr class="memitem:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">isHeapAllocOrStaticExtCall</a> (const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs)</td></tr>
400
- <tr class="memdesc:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a static global call. <a href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">More...</a><br /></td></tr>
401
- <tr class="separator:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="memSeparator" colspan="2">&#160;</td></tr>
402
- <tr class="memitem:a06b824671e2fab0e41a6b84ee9bd8362"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a06b824671e2fab0e41a6b84ee9bd8362">isHeapAllocOrStaticExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
403
- <tr class="separator:a06b824671e2fab0e41a6b84ee9bd8362"><td class="memSeparator" colspan="2">&#160;</td></tr>
404
392
  </table><table class="memberdecls">
405
393
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
406
394
  Variables</h2></td></tr>
@@ -524,7 +512,7 @@ template&lt;typename... Ts&gt; </div>
524
512
  </table>
525
513
  </div><div class="memdoc">
526
514
 
527
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00665">665</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
515
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00631">631</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
528
516
 
529
517
  </div>
530
518
  </div>
@@ -1242,10 +1230,10 @@ template&lt;class X , class Y &gt; </div>
1242
1230
 
1243
1231
  <p>Return sole argument of the thread routine. </p>
1244
1232
 
1245
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00609">609</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1246
- <div class="fragment"><div class="line"><a name="l00610"></a><span class="lineno"> 610</span>&#160;{</div>
1247
- <div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(cs);</div>
1248
- <div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160;}</div>
1233
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00575">575</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1234
+ <div class="fragment"><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160;{</div>
1235
+ <div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(cs);</div>
1236
+ <div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160;}</div>
1249
1237
  </div><!-- fragment -->
1250
1238
  </div>
1251
1239
  </div>
@@ -1273,10 +1261,10 @@ template&lt;class X , class Y &gt; </div>
1273
1261
  </table>
1274
1262
  </div><div class="memdoc">
1275
1263
 
1276
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00613">613</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1277
- <div class="fragment"><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160;{</div>
1278
- <div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(inst);</div>
1279
- <div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160;}</div>
1264
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00579">579</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1265
+ <div class="fragment"><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160;{</div>
1266
+ <div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(inst);</div>
1267
+ <div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160;}</div>
1280
1268
  </div><!-- fragment -->
1281
1269
  </div>
1282
1270
  </div>
@@ -1373,10 +1361,10 @@ template&lt;class X , class Y &gt; </div>
1373
1361
 
1374
1362
  <p>Return thread fork function. </p>
1375
1363
 
1376
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00413">413</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1377
- <div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160;{</div>
1378
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(cs);</div>
1379
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160;}</div>
1364
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00405">405</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1365
+ <div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160;{</div>
1366
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(cs);</div>
1367
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160;}</div>
1380
1368
  </div><!-- fragment -->
1381
1369
  </div>
1382
1370
  </div>
@@ -1404,10 +1392,10 @@ template&lt;class X , class Y &gt; </div>
1404
1392
  </table>
1405
1393
  </div><div class="memdoc">
1406
1394
 
1407
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00417">417</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1408
- <div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160;{</div>
1409
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(inst);</div>
1410
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160;}</div>
1395
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00409">409</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1396
+ <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160;{</div>
1397
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(inst);</div>
1398
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160;}</div>
1411
1399
  </div><!-- fragment -->
1412
1400
  </div>
1413
1401
  </div>
@@ -1435,10 +1423,10 @@ template&lt;class X , class Y &gt; </div>
1435
1423
  </table>
1436
1424
  </div><div class="memdoc">
1437
1425
 
1438
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00473">473</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1439
- <div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160;{</div>
1440
- <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
1441
- <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160;}</div>
1426
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00465">465</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1427
+ <div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160;{</div>
1428
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
1429
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160;}</div>
1442
1430
  </div><!-- fragment -->
1443
1431
  </div>
1444
1432
  </div>
@@ -1499,10 +1487,10 @@ template&lt;class X , class Y &gt; </div>
1499
1487
  </table>
1500
1488
  </div><div class="memdoc">
1501
1489
 
1502
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00478">478</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1503
- <div class="fragment"><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160;{</div>
1504
- <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
1505
- <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160;}</div>
1490
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00470">470</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1491
+ <div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160;{</div>
1492
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
1493
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160;}</div>
1506
1494
  </div><!-- fragment -->
1507
1495
  </div>
1508
1496
  </div>
@@ -1610,16 +1598,16 @@ template&lt;class X , class Y &gt; </div>
1610
1598
 
1611
1599
  <p>Get program entry function from module. </p>
1612
1600
 
1613
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00382">382</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1614
- <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160;{</div>
1615
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
1616
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div>
1617
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keyword">const</span> SVFFunction *fun = *it;</div>
1618
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">isProgEntryFunction</a>(fun))</div>
1619
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">return</span> (fun);</div>
1620
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; }</div>
1621
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1622
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160;}</div>
1601
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00374">374</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1602
+ <div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160;{</div>
1603
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
1604
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1605
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keyword">const</span> SVFFunction *fun = *it;</div>
1606
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">isProgEntryFunction</a>(fun))</div>
1607
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">return</span> (fun);</div>
1608
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
1609
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1610
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160;}</div>
1623
1611
  </div><!-- fragment -->
1624
1612
  </div>
1625
1613
  </div>
@@ -1659,16 +1647,16 @@ template&lt;class X , class Y &gt; </div>
1659
1647
 
1660
1648
  <p>Get program entry function from module. </p>
1661
1649
 
1662
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00370">370</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1663
- <div class="fragment"><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160;{</div>
1664
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
1665
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
1666
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keyword">const</span> SVFFunction *fun = *it;</div>
1667
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">if</span> (fun-&gt;getName()==funName)</div>
1668
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">return</span> fun;</div>
1669
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; }</div>
1670
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1671
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160;}</div>
1650
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00362">362</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1651
+ <div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160;{</div>
1652
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
1653
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; {</div>
1654
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keyword">const</span> SVFFunction *fun = *it;</div>
1655
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">if</span> (fun-&gt;getName()==funName)</div>
1656
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> fun;</div>
1657
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
1658
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1659
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160;}</div>
1672
1660
  </div><!-- fragment -->
1673
1661
  </div>
1674
1662
  </div>
@@ -1769,10 +1757,10 @@ template&lt;class X , class Y &gt; </div>
1769
1757
 
1770
1758
  <p>Return the task data argument of the parallel_for routine. </p>
1771
1759
 
1772
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00633">633</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1773
- <div class="fragment"><div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160;{</div>
1774
- <div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(cs);</div>
1775
- <div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160;}</div>
1760
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00599">599</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1761
+ <div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160;{</div>
1762
+ <div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(cs);</div>
1763
+ <div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160;}</div>
1776
1764
  </div><!-- fragment -->
1777
1765
  </div>
1778
1766
  </div>
@@ -1800,10 +1788,10 @@ template&lt;class X , class Y &gt; </div>
1800
1788
  </table>
1801
1789
  </div><div class="memdoc">
1802
1790
 
1803
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00637">637</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1804
- <div class="fragment"><div class="line"><a name="l00638"></a><span class="lineno"> 638</span>&#160;{</div>
1805
- <div class="line"><a name="l00639"></a><span class="lineno"> 639</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(inst);</div>
1806
- <div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160;}</div>
1791
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00603">603</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1792
+ <div class="fragment"><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160;{</div>
1793
+ <div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(inst);</div>
1794
+ <div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160;}</div>
1807
1795
  </div><!-- fragment -->
1808
1796
  </div>
1809
1797
  </div>
@@ -1833,10 +1821,10 @@ template&lt;class X , class Y &gt; </div>
1833
1821
 
1834
1822
  <p>Return the task function of the parallel_for routine. </p>
1835
1823
 
1836
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00621">621</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1837
- <div class="fragment"><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160;{</div>
1838
- <div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(cs);</div>
1839
- <div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160;}</div>
1824
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00587">587</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1825
+ <div class="fragment"><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160;{</div>
1826
+ <div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(cs);</div>
1827
+ <div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160;}</div>
1840
1828
  </div><!-- fragment -->
1841
1829
  </div>
1842
1830
  </div>
@@ -1864,10 +1852,10 @@ template&lt;class X , class Y &gt; </div>
1864
1852
  </table>
1865
1853
  </div><div class="memdoc">
1866
1854
 
1867
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00625">625</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1868
- <div class="fragment"><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160;{</div>
1869
- <div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(inst);</div>
1870
- <div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160;}</div>
1855
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00591">591</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
1856
+ <div class="fragment"><div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160;{</div>
1857
+ <div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(inst);</div>
1858
+ <div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160;}</div>
1871
1859
  </div><!-- fragment -->
1872
1860
  </div>
1873
1861
  </div>
@@ -2129,10 +2117,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2129
2117
 
2130
2118
  <p>This function servers a allocation wrapper detector. </p>
2131
2119
 
2132
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00424">424</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2133
- <div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160;{</div>
2134
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2135
- <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160;}</div>
2120
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00416">416</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2121
+ <div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160;{</div>
2122
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2123
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160;}</div>
2136
2124
  </div><!-- fragment -->
2137
2125
  </div>
2138
2126
  </div>
@@ -2162,13 +2150,13 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2162
2150
 
2163
2151
  <p>Return true if this argument belongs to an uncalled function. </p>
2164
2152
 
2165
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00403">403</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2166
- <div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160;{</div>
2167
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> SVFArgument* arg = SVFUtil::dyn_cast&lt;SVFArgument&gt;(svfval))</div>
2168
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> arg-&gt;isArgOfUncalledFunction();</div>
2169
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">else</span></div>
2170
- <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2171
- <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160;}</div>
2153
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00395">395</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2154
+ <div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160;{</div>
2155
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> SVFArgument* arg = SVFUtil::dyn_cast&lt;SVFArgument&gt;(svfval))</div>
2156
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span> arg-&gt;isArgOfUncalledFunction();</div>
2157
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">else</span></div>
2158
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2159
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160;}</div>
2172
2160
  </div><!-- fragment -->
2173
2161
  </div>
2174
2162
  </div>
@@ -2198,10 +2186,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2198
2186
 
2199
2187
  <p>Return true if this is a barrier wait call. </p>
2200
2188
 
2201
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00597">597</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2202
- <div class="fragment"><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160;{</div>
2203
- <div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(cs);</div>
2204
- <div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160;}</div>
2189
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00563">563</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2190
+ <div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160;{</div>
2191
+ <div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(cs);</div>
2192
+ <div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160;}</div>
2205
2193
  </div><!-- fragment -->
2206
2194
  </div>
2207
2195
  </div>
@@ -2229,10 +2217,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2229
2217
  </table>
2230
2218
  </div><div class="memdoc">
2231
2219
 
2232
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00601">601</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2233
- <div class="fragment"><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160;{</div>
2234
- <div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(inst);</div>
2235
- <div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160;}</div>
2220
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00567">567</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2221
+ <div class="fragment"><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160;{</div>
2222
+ <div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(inst);</div>
2223
+ <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160;}</div>
2236
2224
  </div><!-- fragment -->
2237
2225
  </div>
2238
2226
  </div>
@@ -2329,10 +2317,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2329
2317
  </table>
2330
2318
  </div><div class="memdoc">
2331
2319
 
2332
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00429">429</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2333
- <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160;{</div>
2334
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2335
- <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160;}</div>
2320
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00421">421</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2321
+ <div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160;{</div>
2322
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2323
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160;}</div>
2336
2324
  </div><!-- fragment -->
2337
2325
  </div>
2338
2326
  </div>
@@ -2392,10 +2380,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2392
2380
  </table>
2393
2381
  </div><div class="memdoc">
2394
2382
 
2395
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00434">434</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2396
- <div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160;{</div>
2397
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2398
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160;}</div>
2383
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00426">426</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2384
+ <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160;{</div>
2385
+ <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2386
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160;}</div>
2399
2387
  </div><!-- fragment -->
2400
2388
  </div>
2401
2389
  </div>
@@ -2424,10 +2412,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2424
2412
  </div><div class="memdoc">
2425
2413
  <p>Return true if this is a hare_parallel_for call </p>
2426
2414
 
2427
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00537">537</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2428
- <div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160;{</div>
2429
- <div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isHareParFor(cs);</div>
2430
- <div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160;}</div>
2415
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00503">503</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2416
+ <div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160;{</div>
2417
+ <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isHareParFor(cs);</div>
2418
+ <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160;}</div>
2431
2419
  </div><!-- fragment -->
2432
2420
  </div>
2433
2421
  </div>
@@ -2455,10 +2443,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2455
2443
  </table>
2456
2444
  </div><div class="memdoc">
2457
2445
 
2458
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00541">541</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2459
- <div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160;{</div>
2460
- <div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isHareParFor(inst);</div>
2461
- <div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160;}</div>
2446
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00507">507</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2447
+ <div class="fragment"><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160;{</div>
2448
+ <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isHareParFor(inst);</div>
2449
+ <div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160;}</div>
2462
2450
  </div><!-- fragment -->
2463
2451
  </div>
2464
2452
  </div>
@@ -2486,10 +2474,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2486
2474
  </table>
2487
2475
  </div><div class="memdoc">
2488
2476
 
2489
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00462">462</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2490
- <div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160;{</div>
2491
- <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(cs);</div>
2492
- <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160;}</div>
2477
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00454">454</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2478
+ <div class="fragment"><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160;{</div>
2479
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(cs);</div>
2480
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160;}</div>
2493
2481
  </div><!-- fragment -->
2494
2482
  </div>
2495
2483
  </div>
@@ -2517,10 +2505,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2517
2505
  </table>
2518
2506
  </div><div class="memdoc">
2519
2507
 
2520
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00467">467</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2521
- <div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160;{</div>
2522
- <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(inst);</div>
2523
- <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160;}</div>
2508
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00459">459</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2509
+ <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160;{</div>
2510
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(inst);</div>
2511
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160;}</div>
2524
2512
  </div><!-- fragment -->
2525
2513
  </div>
2526
2514
  </div>
@@ -2548,10 +2536,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2548
2536
  </table>
2549
2537
  </div><div class="memdoc">
2550
2538
 
2551
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00439">439</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2552
- <div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160;{</div>
2553
- <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2554
- <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160;}</div>
2539
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00431">431</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2540
+ <div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160;{</div>
2541
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2542
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160;}</div>
2555
2543
  </div><!-- fragment -->
2556
2544
  </div>
2557
2545
  </div>
@@ -2579,10 +2567,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2579
2567
  </table>
2580
2568
  </div><div class="memdoc">
2581
2569
 
2582
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00444">444</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2583
- <div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160;{</div>
2584
- <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2585
- <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160;}</div>
2570
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00436">436</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2571
+ <div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160;{</div>
2572
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2573
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160;}</div>
2586
2574
  </div><!-- fragment -->
2587
2575
  </div>
2588
2576
  </div>
@@ -2612,11 +2600,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2612
2600
 
2613
2601
  <p>interfaces to be used externally </p>
2614
2602
 
2615
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00450">450</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2616
- <div class="fragment"><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160;{</div>
2617
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
2618
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2619
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160;}</div>
2603
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00442">442</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2604
+ <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160;{</div>
2605
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
2606
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
2607
+ <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160;}</div>
2620
2608
  </div><!-- fragment -->
2621
2609
  </div>
2622
2610
  </div>
@@ -2644,11 +2632,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2644
2632
  </table>
2645
2633
  </div><div class="memdoc">
2646
2634
 
2647
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00456">456</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2648
- <div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160;{</div>
2649
- <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
2650
- <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2651
- <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160;}</div>
2635
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00448">448</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2636
+ <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160;{</div>
2637
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
2638
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
2639
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160;}</div>
2652
2640
  </div><!-- fragment -->
2653
2641
  </div>
2654
2642
  </div>
@@ -2718,70 +2706,6 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2718
2706
  </div><!-- fragment -->
2719
2707
  </div>
2720
2708
  </div>
2721
- <a id="a61ed4bb80d88b0f8dbc02535c224fdfb"></a>
2722
- <h2 class="memtitle"><span class="permalink"><a href="#a61ed4bb80d88b0f8dbc02535c224fdfb">&#9670;&nbsp;</a></span>isHeapAllocOrStaticExtCall() <span class="overload">[1/2]</span></h2>
2723
-
2724
- <div class="memitem">
2725
- <div class="memproto">
2726
- <table class="mlabels">
2727
- <tr>
2728
- <td class="mlabels-left">
2729
- <table class="memname">
2730
- <tr>
2731
- <td class="memname">bool SVF::SVFUtil::isHeapAllocOrStaticExtCall </td>
2732
- <td>(</td>
2733
- <td class="paramtype">const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a>&#160;</td>
2734
- <td class="paramname"><em>cs</em></td><td>)</td>
2735
- <td></td>
2736
- </tr>
2737
- </table>
2738
- </td>
2739
- <td class="mlabels-right">
2740
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
2741
- </tr>
2742
- </table>
2743
- </div><div class="memdoc">
2744
-
2745
- <p>Return true if the call is a static global call. </p>
2746
-
2747
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00512">512</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2748
- <div class="fragment"><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160;{</div>
2749
- <div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(cs);</div>
2750
- <div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160;}</div>
2751
- </div><!-- fragment -->
2752
- </div>
2753
- </div>
2754
- <a id="a06b824671e2fab0e41a6b84ee9bd8362"></a>
2755
- <h2 class="memtitle"><span class="permalink"><a href="#a06b824671e2fab0e41a6b84ee9bd8362">&#9670;&nbsp;</a></span>isHeapAllocOrStaticExtCall() <span class="overload">[2/2]</span></h2>
2756
-
2757
- <div class="memitem">
2758
- <div class="memproto">
2759
- <table class="mlabels">
2760
- <tr>
2761
- <td class="mlabels-left">
2762
- <table class="memname">
2763
- <tr>
2764
- <td class="memname">bool SVF::SVFUtil::isHeapAllocOrStaticExtCall </td>
2765
- <td>(</td>
2766
- <td class="paramtype">const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *&#160;</td>
2767
- <td class="paramname"><em>inst</em></td><td>)</td>
2768
- <td></td>
2769
- </tr>
2770
- </table>
2771
- </td>
2772
- <td class="mlabels-right">
2773
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
2774
- </tr>
2775
- </table>
2776
- </div><div class="memdoc">
2777
-
2778
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00517">517</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2779
- <div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160;{</div>
2780
- <div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(inst);</div>
2781
- <div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160;}</div>
2782
- </div><!-- fragment -->
2783
- </div>
2784
- </div>
2785
2709
  <a id="abb2bbf6e0dc5adae2140a519259e6f17"></a>
2786
2710
  <h2 class="memtitle"><span class="permalink"><a href="#abb2bbf6e0dc5adae2140a519259e6f17">&#9670;&nbsp;</a></span>isIntrinsicInst()</h2>
2787
2711
 
@@ -2841,10 +2765,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2841
2765
  </div><div class="memdoc">
2842
2766
  <p>Return true if this is a lock acquire call </p>
2843
2767
 
2844
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00573">573</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2845
- <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160;{</div>
2846
- <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(cs);</div>
2847
- <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160;}</div>
2768
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00539">539</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2769
+ <div class="fragment"><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160;{</div>
2770
+ <div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(cs);</div>
2771
+ <div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160;}</div>
2848
2772
  </div><!-- fragment -->
2849
2773
  </div>
2850
2774
  </div>
@@ -2872,10 +2796,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2872
2796
  </table>
2873
2797
  </div><div class="memdoc">
2874
2798
 
2875
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00577">577</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2876
- <div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160;{</div>
2877
- <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(inst);</div>
2878
- <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160;}</div>
2799
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00543">543</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2800
+ <div class="fragment"><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160;{</div>
2801
+ <div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(inst);</div>
2802
+ <div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160;}</div>
2879
2803
  </div><!-- fragment -->
2880
2804
  </div>
2881
2805
  </div>
@@ -2904,10 +2828,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2904
2828
  </div><div class="memdoc">
2905
2829
  <p>Return true if this is a lock acquire call </p>
2906
2830
 
2907
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00585">585</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2908
- <div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160;{</div>
2909
- <div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(cs);</div>
2910
- <div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160;}</div>
2831
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00551">551</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2832
+ <div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160;{</div>
2833
+ <div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(cs);</div>
2834
+ <div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160;}</div>
2911
2835
  </div><!-- fragment -->
2912
2836
  </div>
2913
2837
  </div>
@@ -2935,10 +2859,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
2935
2859
  </table>
2936
2860
  </div><div class="memdoc">
2937
2861
 
2938
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00589">589</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2939
- <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160;{</div>
2940
- <div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(inst);</div>
2941
- <div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160;}</div>
2862
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00555">555</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2863
+ <div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160;{</div>
2864
+ <div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(inst);</div>
2865
+ <div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160;}</div>
2942
2866
  </div><!-- fragment -->
2943
2867
  </div>
2944
2868
  </div>
@@ -3066,10 +2990,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3066
2990
  <p>Program entry function e.g. main. </p>
3067
2991
  <p>Return true if this is a program entry function (e.g. main) </p>
3068
2992
 
3069
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00364">364</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3070
- <div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160;{</div>
3071
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; fun-&gt;getName() == <span class="stringliteral">&quot;main&quot;</span>;</div>
3072
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160;}</div>
2993
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00356">356</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
2994
+ <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160;{</div>
2995
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; fun-&gt;getName() == <span class="stringliteral">&quot;main&quot;</span>;</div>
2996
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160;}</div>
3073
2997
  </div><!-- fragment -->
3074
2998
  </div>
3075
2999
  </div>
@@ -3097,10 +3021,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3097
3021
  </table>
3098
3022
  </div><div class="memdoc">
3099
3023
 
3100
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00643">643</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3101
- <div class="fragment"><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160;{</div>
3102
- <div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
3103
- <div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160;}</div>
3024
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00609">609</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3025
+ <div class="fragment"><div class="line"><a name="l00610"></a><span class="lineno"> 610</span>&#160;{</div>
3026
+ <div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
3027
+ <div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160;}</div>
3104
3028
  </div><!-- fragment -->
3105
3029
  </div>
3106
3030
  </div>
@@ -3128,10 +3052,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3128
3052
  </table>
3129
3053
  </div><div class="memdoc">
3130
3054
 
3131
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00648">648</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3132
- <div class="fragment"><div class="line"><a name="l00649"></a><span class="lineno"> 649</span>&#160;{</div>
3133
- <div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
3134
- <div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160;}</div>
3055
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00614">614</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3056
+ <div class="fragment"><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160;{</div>
3057
+ <div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
3058
+ <div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160;}</div>
3135
3059
  </div><!-- fragment -->
3136
3060
  </div>
3137
3061
  </div>
@@ -3161,12 +3085,12 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3161
3085
 
3162
3086
  <p>Return true if this is a program exit function call. </p>
3163
3087
 
3164
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00395">395</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3165
- <div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160;{</div>
3166
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; (fun-&gt;getName() == <span class="stringliteral">&quot;exit&quot;</span> ||</div>
3167
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; fun-&gt;getName() == <span class="stringliteral">&quot;__assert_rtn&quot;</span> ||</div>
3168
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; fun-&gt;getName() == <span class="stringliteral">&quot;__assert_fail&quot;</span> );</div>
3169
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160;}</div>
3088
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00387">387</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3089
+ <div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160;{</div>
3090
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; (fun-&gt;getName() == <span class="stringliteral">&quot;exit&quot;</span> ||</div>
3091
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; fun-&gt;getName() == <span class="stringliteral">&quot;__assert_rtn&quot;</span> ||</div>
3092
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; fun-&gt;getName() == <span class="stringliteral">&quot;__assert_fail&quot;</span> );</div>
3093
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160;}</div>
3170
3094
  </div><!-- fragment -->
3171
3095
  </div>
3172
3096
  </div>
@@ -3194,11 +3118,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3194
3118
  </table>
3195
3119
  </div><div class="memdoc">
3196
3120
 
3197
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00484">484</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3198
- <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160;{</div>
3199
- <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
3200
- <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
3201
- <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160;}</div>
3121
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00476">476</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3122
+ <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160;{</div>
3123
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
3124
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
3125
+ <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160;}</div>
3202
3126
  </div><!-- fragment -->
3203
3127
  </div>
3204
3128
  </div>
@@ -3226,11 +3150,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3226
3150
  </table>
3227
3151
  </div><div class="memdoc">
3228
3152
 
3229
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00490">490</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3230
- <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160;{</div>
3231
- <div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
3232
- <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
3233
- <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160;}</div>
3153
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00482">482</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3154
+ <div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160;{</div>
3155
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
3156
+ <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
3157
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160;}</div>
3234
3158
  </div><!-- fragment -->
3235
3159
  </div>
3236
3160
  </div>
@@ -3268,104 +3192,6 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3268
3192
  </div><!-- fragment -->
3269
3193
  </div>
3270
3194
  </div>
3271
- <a id="ae62938f722543d6d7fc201b685be1abf"></a>
3272
- <h2 class="memtitle"><span class="permalink"><a href="#ae62938f722543d6d7fc201b685be1abf">&#9670;&nbsp;</a></span>isStaticExtCall() <span class="overload">[1/2]</span></h2>
3273
-
3274
- <div class="memitem">
3275
- <div class="memproto">
3276
- <table class="mlabels">
3277
- <tr>
3278
- <td class="mlabels-left">
3279
- <table class="memname">
3280
- <tr>
3281
- <td class="memname">bool SVF::SVFUtil::isStaticExtCall </td>
3282
- <td>(</td>
3283
- <td class="paramtype">const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a>&#160;</td>
3284
- <td class="paramname"><em>cs</em></td><td>)</td>
3285
- <td></td>
3286
- </tr>
3287
- </table>
3288
- </td>
3289
- <td class="mlabels-right">
3290
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
3291
- </tr>
3292
- </table>
3293
- </div><div class="memdoc">
3294
-
3295
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00497">497</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3296
- <div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160;{</div>
3297
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
3298
- <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
3299
- <div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160;}</div>
3300
- </div><!-- fragment -->
3301
- </div>
3302
- </div>
3303
- <a id="a9236e11e62bde33d6ab1f309300c488a"></a>
3304
- <h2 class="memtitle"><span class="permalink"><a href="#a9236e11e62bde33d6ab1f309300c488a">&#9670;&nbsp;</a></span>isStaticExtCall() <span class="overload">[2/2]</span></h2>
3305
-
3306
- <div class="memitem">
3307
- <div class="memproto">
3308
- <table class="mlabels">
3309
- <tr>
3310
- <td class="mlabels-left">
3311
- <table class="memname">
3312
- <tr>
3313
- <td class="memname">bool SVF::SVFUtil::isStaticExtCall </td>
3314
- <td>(</td>
3315
- <td class="paramtype">const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *&#160;</td>
3316
- <td class="paramname"><em>inst</em></td><td>)</td>
3317
- <td></td>
3318
- </tr>
3319
- </table>
3320
- </td>
3321
- <td class="mlabels-right">
3322
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
3323
- </tr>
3324
- </table>
3325
- </div><div class="memdoc">
3326
-
3327
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00503">503</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3328
- <div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160;{</div>
3329
- <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
3330
- <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
3331
- <div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160;}</div>
3332
- </div><!-- fragment -->
3333
- </div>
3334
- </div>
3335
- <a id="a1bc9bb7bd6c9682debf3ffab7182abf5"></a>
3336
- <h2 class="memtitle"><span class="permalink"><a href="#a1bc9bb7bd6c9682debf3ffab7182abf5">&#9670;&nbsp;</a></span>isStaticExtFun()</h2>
3337
-
3338
- <div class="memitem">
3339
- <div class="memproto">
3340
- <table class="mlabels">
3341
- <tr>
3342
- <td class="mlabels-left">
3343
- <table class="memname">
3344
- <tr>
3345
- <td class="memname">bool SVF::SVFUtil::isStaticExtFun </td>
3346
- <td>(</td>
3347
- <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
3348
- <td class="paramname"><em>fun</em></td><td>)</td>
3349
- <td></td>
3350
- </tr>
3351
- </table>
3352
- </td>
3353
- <td class="mlabels-right">
3354
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
3355
- </tr>
3356
- </table>
3357
- </div><div class="memdoc">
3358
-
3359
- <p>Return true if the call is a static global call. </p>
3360
- <p>note that this function is not suppose to be used externally </p>
3361
-
3362
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00356">356</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3363
- <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160;{</div>
3364
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;has_static(fun);</div>
3365
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160;}</div>
3366
- </div><!-- fragment -->
3367
- </div>
3368
- </div>
3369
3195
  <a id="a3af5073a1cdc000678f7e4bbc943f5d5"></a>
3370
3196
  <h2 class="memtitle"><span class="permalink"><a href="#a3af5073a1cdc000678f7e4bbc943f5d5">&#9670;&nbsp;</a></span>isThreadExitCall() <span class="overload">[1/2]</span></h2>
3371
3197
 
@@ -3391,10 +3217,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3391
3217
  </div><div class="memdoc">
3392
3218
  <p>Return true if this is a thread exit call </p>
3393
3219
 
3394
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00561">561</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3395
- <div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160;{</div>
3396
- <div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(cs);</div>
3397
- <div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160;}</div>
3220
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00527">527</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3221
+ <div class="fragment"><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160;{</div>
3222
+ <div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(cs);</div>
3223
+ <div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160;}</div>
3398
3224
  </div><!-- fragment -->
3399
3225
  </div>
3400
3226
  </div>
@@ -3422,10 +3248,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3422
3248
  </table>
3423
3249
  </div><div class="memdoc">
3424
3250
 
3425
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00565">565</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3426
- <div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160;{</div>
3427
- <div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(inst);</div>
3428
- <div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160;}</div>
3251
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00531">531</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3252
+ <div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160;{</div>
3253
+ <div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(inst);</div>
3254
+ <div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160;}</div>
3429
3255
  </div><!-- fragment -->
3430
3256
  </div>
3431
3257
  </div>
@@ -3454,10 +3280,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3454
3280
  </div><div class="memdoc">
3455
3281
  <p>Return true if this is a thread creation call </p>
3456
3282
 
3457
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00525">525</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3458
- <div class="fragment"><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>&#160;{</div>
3459
- <div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(cs);</div>
3460
- <div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160;}</div>
3283
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00491">491</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3284
+ <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160;{</div>
3285
+ <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(cs);</div>
3286
+ <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160;}</div>
3461
3287
  </div><!-- fragment -->
3462
3288
  </div>
3463
3289
  </div>
@@ -3485,10 +3311,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3485
3311
  </table>
3486
3312
  </div><div class="memdoc">
3487
3313
 
3488
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00529">529</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3489
- <div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160;{</div>
3490
- <div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(inst);</div>
3491
- <div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160;}</div>
3314
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00495">495</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3315
+ <div class="fragment"><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160;{</div>
3316
+ <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(inst);</div>
3317
+ <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160;}</div>
3492
3318
  </div><!-- fragment -->
3493
3319
  </div>
3494
3320
  </div>
@@ -3517,10 +3343,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3517
3343
  </div><div class="memdoc">
3518
3344
  <p>Return true if this is a thread join call </p>
3519
3345
 
3520
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00549">549</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3521
- <div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160;{</div>
3522
- <div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(cs);</div>
3523
- <div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160;}</div>
3346
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00515">515</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3347
+ <div class="fragment"><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160;{</div>
3348
+ <div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(cs);</div>
3349
+ <div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160;}</div>
3524
3350
  </div><!-- fragment -->
3525
3351
  </div>
3526
3352
  </div>
@@ -3548,10 +3374,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
3548
3374
  </table>
3549
3375
  </div><div class="memdoc">
3550
3376
 
3551
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00553">553</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3552
- <div class="fragment"><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160;{</div>
3553
- <div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(inst);</div>
3554
- <div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160;}</div>
3377
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00519">519</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3378
+ <div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160;{</div>
3379
+ <div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(inst);</div>
3380
+ <div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160;}</div>
3555
3381
  </div><!-- fragment -->
3556
3382
  </div>
3557
3383
  </div>
@@ -3659,10 +3485,10 @@ template&lt;typename T &gt; </div>
3659
3485
  </table>
3660
3486
  </div><div class="memdoc">
3661
3487
 
3662
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00655">655</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3663
- <div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160;{</div>
3664
- <div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(t);</div>
3665
- <div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160;}</div>
3488
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00621">621</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3489
+ <div class="fragment"><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160;{</div>
3490
+ <div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(t);</div>
3491
+ <div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160;}</div>
3666
3492
  </div><!-- fragment -->
3667
3493
  </div>
3668
3494
  </div>
@@ -4135,7 +3961,7 @@ template&lt;typename T &gt; </div>
4135
3961
  </table>
4136
3962
  </div><div class="memdoc">
4137
3963
 
4138
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00675">675</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3964
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00641">641</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4139
3965
 
4140
3966
  </div>
4141
3967
  </div>
@@ -4161,7 +3987,7 @@ template&lt;typename... Ts&gt; </div>
4161
3987
  </table>
4162
3988
  </div><div class="memdoc">
4163
3989
 
4164
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00684">684</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
3990
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00650">650</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4165
3991
 
4166
3992
  </div>
4167
3993
  </div>
@@ -4187,7 +4013,7 @@ template&lt;typename... Ts&gt; </div>
4187
4013
  </table>
4188
4014
  </div><div class="memdoc">
4189
4015
 
4190
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00705">705</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4016
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00671">671</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4191
4017
 
4192
4018
  </div>
4193
4019
  </div>
@@ -4213,13 +4039,13 @@ template&lt;typename... Ts&gt; </div>
4213
4039
  </table>
4214
4040
  </div><div class="memdoc">
4215
4041
 
4216
- <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00693">693</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4042
+ <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00659">659</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
4217
4043
 
4218
4044
  </div>
4219
4045
  </div>
4220
4046
  </div><!-- contents -->
4221
4047
  <div class="ttc" id="aSVFUtil_8cpp_html_a326cbc9ef8d75aa44a591bf476c9835b"><div class="ttname"><a href="SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b">KPUR</a></div><div class="ttdeci">#define KPUR</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00044">SVFUtil.cpp:44</a></div></div>
4222
- <div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01008">extapi.c:1008</a></div></div>
4048
+ <div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00724">extapi.c:724</a></div></div>
4223
4049
  <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
4224
4050
  <div class="ttc" id="aSVFUtil_8cpp_html_a137aa83ec74421d226a90c92ec032ac9"><div class="ttname"><a href="SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9">KNRM</a></div><div class="ttdeci">#define KNRM</div><div class="ttdoc">Color for output format.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00039">SVFUtil.cpp:39</a></div></div>
4225
4051
  <div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00661">SVFValue.h:661</a></div></div>
@@ -4227,14 +4053,12 @@ template&lt;typename... Ts&gt; </div>
4227
4053
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
4228
4054
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_add4cd21115988f9f5eec12e268ddf1d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil::timeLimitReached</a></div><div class="ttdeci">void timeLimitReached(int signum)</div><div class="ttdoc">Function to call when alarm for time limit hits.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00280">SVFUtil.cpp:280</a></div></div>
4229
4055
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
4230
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a07400bf7b1f50875f3e5123d13cff880"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">SVF::SVFUtil::isHeapAllocExtCall</a></div><div class="ttdeci">bool isHeapAllocExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00467">SVFUtil.h:467</a></div></div>
4231
4056
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00143">SVFValue.cpp:143</a></div></div>
4232
4057
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
4233
4058
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac71522e8c55f84cfc6c13a0ddff18436"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436">SVF::SVFUtil::wrnMsg</a></div><div class="ttdeci">std::string wrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns warning message by converting a string into yellow string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00061">SVFUtil.cpp:61</a></div></div>
4234
4059
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00327">SVFUtil.h:327</a></div></div>
4235
4060
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
4236
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a1bc9bb7bd6c9682debf3ffab7182abf5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil::isStaticExtFun</a></div><div class="ttdeci">bool isStaticExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a static global call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00356">SVFUtil.h:356</a></div></div>
4237
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9f9b3296d2ce69346ac694ad6b04f2b0"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">SVF::SVFUtil::isHeapAllocExtCallViaRet</a></div><div class="ttdeci">bool isHeapAllocExtCallViaRet(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00456">SVFUtil.h:456</a></div></div>
4061
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9f9b3296d2ce69346ac694ad6b04f2b0"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">SVF::SVFUtil::isHeapAllocExtCallViaRet</a></div><div class="ttdeci">bool isHeapAllocExtCallViaRet(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00448">SVFUtil.h:448</a></div></div>
4238
4062
  <div class="ttc" id="acJSON_8h_html_a503753140aa27b00f99a3501280b2746"><div class="ttname"><a href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a></div><div class="ttdeci">char * buffer</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00163">cJSON.h:163</a></div></div>
4239
4063
  <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
4240
4064
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a></div><div class="ttdeci">@ HCLUST_METHOD_COMPLETE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00070">fastcluster.h:70</a></div></div>
@@ -4245,27 +4069,26 @@ template&lt;typename... Ts&gt; </div>
4245
4069
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
4246
4070
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a630ff9c47f58f9b8df7c8a2b3711477c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil::getMemoryUsageKB</a></div><div class="ttdeci">bool getMemoryUsageKB(u32_t *vmrss_kb, u32_t *vmsize_kb)</div><div class="ttdoc">Get memory usage from system file. Return TRUE if succeed.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00177">SVFUtil.cpp:177</a></div></div>
4247
4071
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a13d4f8034c444986da7c57cb5338f851"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00246">SVFUtil.h:246</a></div></div>
4248
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af2979f019d38f3faa5c82c6ddc688b51"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00434">SVFUtil.h:434</a></div></div>
4072
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af2979f019d38f3faa5c82c6ddc688b51"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00426">SVFUtil.h:426</a></div></div>
4249
4073
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a></div><div class="ttdeci">@ HCLUST_METHOD_SVF_BEST</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00076">fastcluster.h:76</a></div></div>
4250
4074
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00154">SVFValue.cpp:154</a></div></div>
4251
4075
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a></div><div class="ttdeci">@ HCLUST_METHOD_MEDIAN</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00074">fastcluster.h:74</a></div></div>
4252
4076
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a7b4c6c7143d012802ea5ee962bec2deb"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction::isIntrinsic</a></div><div class="ttdeci">bool isIntrinsic() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00344">SVFValue.h:344</a></div></div>
4253
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aec7ee60be22e8f9397db108131696d57"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a></div><div class="ttdeci">bool isProgExitFunction(const SVFFunction *fun)</div><div class="ttdoc">Return true if this is a program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00395">SVFUtil.h:395</a></div></div>
4254
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a6d613bcc37e54b922ad1b1869b66ee59"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a></div><div class="ttdeci">int getHeapAllocHoldingArgPosition(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00478">SVFUtil.h:478</a></div></div>
4077
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aec7ee60be22e8f9397db108131696d57"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a></div><div class="ttdeci">bool isProgExitFunction(const SVFFunction *fun)</div><div class="ttdoc">Return true if this is a program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00387">SVFUtil.h:387</a></div></div>
4078
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a6d613bcc37e54b922ad1b1869b66ee59"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a></div><div class="ttdeci">int getHeapAllocHoldingArgPosition(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00470">SVFUtil.h:470</a></div></div>
4255
4079
  <div class="ttc" id="aSVFUtil_8cpp_html_a66290957baed5df3930ada4cb8caccf1"><div class="ttname"><a href="SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1">KRED</a></div><div class="ttdeci">#define KRED</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00040">SVFUtil.cpp:40</a></div></div>
4256
4080
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_abb2bbf6e0dc5adae2140a519259e6f17"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17">SVF::SVFUtil::isIntrinsicInst</a></div><div class="ttdeci">bool isIntrinsicInst(const SVFInstruction *inst)</div><div class="ttdoc">Return true if it is an llvm intrinsic instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00247">SVFUtil.cpp:247</a></div></div>
4257
4081
  <div class="ttc" id="aSVFUtil_8cpp_html_add84f76d7bfbbc2b00215d7195f8d3bd"><div class="ttname"><a href="SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd">KCYA</a></div><div class="ttdeci">#define KCYA</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00045">SVFUtil.cpp:45</a></div></div>
4258
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
4082
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
4259
4083
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a8cb755f339ad1650f8ae2155451d9c0d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8cb755f339ad1650f8ae2155451d9c0d">SVF::SVFUtil::isCallSite</a></div><div class="ttdeci">bool isCallSite(const SVFValue *val)</div><div class="ttdoc">Whether an instruction is a call or invoke instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00179">SVFUtil.h:179</a></div></div>
4260
4084
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
4261
4085
  <div class="ttc" id="anamespaceSVF_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#l00050">SVFUtil.h:50</a></div></div>
4262
4086
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab4a69173f50ebe48e69103befe516245"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">SVF::SVFUtil::isHeapAllocExtFunViaArg</a></div><div class="ttdeci">bool isHeapAllocExtFunViaArg(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00333">SVFUtil.h:333</a></div></div>
4263
4087
  <div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
4264
- <div class="ttc" id="anamespaceSVF_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="SVFUtil_8h_source.html#l00364">SVFUtil.h:364</a></div></div>
4088
+ <div class="ttc" id="anamespaceSVF_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="SVFUtil_8h_source.html#l00356">SVFUtil.h:356</a></div></div>
4265
4089
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a></div><div class="ttdeci">@ HCLUST_METHOD_SINGLE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00068">fastcluster.h:68</a></div></div>
4266
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac77155f7e19d92292f52944d3fb32277"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">SVF::SVFUtil::isHeapAllocExtCallViaArg</a></div><div class="ttdeci">bool isHeapAllocExtCallViaArg(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00444">SVFUtil.h:444</a></div></div>
4090
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac77155f7e19d92292f52944d3fb32277"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">SVF::SVFUtil::isHeapAllocExtCallViaArg</a></div><div class="ttdeci">bool isHeapAllocExtCallViaArg(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00436">SVFUtil.h:436</a></div></div>
4267
4091
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
4268
- <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9236e11e62bde33d6ab1f309300c488a"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">SVF::SVFUtil::isStaticExtCall</a></div><div class="ttdeci">bool isStaticExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00503">SVFUtil.h:503</a></div></div>
4269
4092
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
4270
4093
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a13729076054a2977670b05a338a6763d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a13729076054a2977670b05a338a6763d">SVF::SVFUtil::isa</a></div><div class="ttdeci">LLVM_NODISCARD bool isa(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00248">Casting.h:248</a></div></div>
4271
4094
  <div class="ttc" id="aSVFUtil_8cpp_html_a3f838f2fc3a9a3b434be606fc908964b"><div class="ttname"><a href="SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b">KBLU</a></div><div class="ttdeci">#define KBLU</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00043">SVFUtil.cpp:43</a></div></div>