svf-tools 1.0.469 → 1.0.472

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 (384) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/Andersen_8cpp.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +16 -16
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +3 -3
  7. package/SVF-doxygen/html/html/Annotator_8h_source.html +1 -1
  8. package/SVF-doxygen/html/html/BDDExpr_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +23 -23
  13. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +3 -3
  14. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  15. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -11
  16. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  17. package/SVF-doxygen/html/html/CPPUtil_8cpp.html +15 -15
  18. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +40 -40
  19. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +17 -17
  20. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp.html +1 -1
  21. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
  25. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  26. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
  28. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +18 -18
  29. package/SVF-doxygen/html/html/DCHG_8h_source.html +8 -8
  30. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +6 -6
  31. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
  34. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +4 -4
  35. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +6 -6
  36. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/ExeState_8cpp.html +1 -1
  38. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  40. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +4 -4
  44. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  45. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +5 -5
  46. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +2 -2
  47. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +3 -3
  48. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +2 -2
  49. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  50. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/html/Graph2Json_8h.html +1 -1
  52. package/SVF-doxygen/html/html/Graph2Json_8h_source.html +2 -2
  53. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  54. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  55. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
  57. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  59. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/html/IRGraph_8h_source.html +18 -18
  61. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  62. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  64. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +43 -37
  65. package/SVF-doxygen/html/html/LLVMUtil_8h.html +14 -166
  66. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +49 -106
  67. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +9 -9
  68. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +6 -6
  70. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +11 -11
  71. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +13 -13
  73. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  74. package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
  75. package/SVF-doxygen/html/html/MHP_8cpp_source.html +13 -13
  76. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  77. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  79. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +12 -12
  81. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  82. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
  83. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  84. package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
  85. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  86. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  87. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +12 -12
  88. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +14 -14
  90. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
  91. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  93. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  94. package/SVF-doxygen/html/html/PCG_8cpp_source.html +9 -9
  95. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/PTACallGraph_8cpp.html +1 -1
  97. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +7 -7
  98. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  99. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +17 -17
  100. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +10 -10
  101. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +3 -3
  102. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +8 -8
  103. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  104. package/SVF-doxygen/html/html/PointerAnalysis_8cpp.html +1 -1
  105. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +42 -42
  106. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +26 -26
  107. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +71 -53
  109. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +54 -53
  110. package/SVF-doxygen/html/html/SVFGBuilder_8cpp.html +1 -1
  111. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +7 -7
  112. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  113. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  114. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  115. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  116. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp.html +1 -1
  117. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  118. package/SVF-doxygen/html/html/SVFG_8cpp.html +1 -1
  119. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +7 -7
  120. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  121. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +73 -73
  122. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +34 -34
  123. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +7 -7
  124. package/SVF-doxygen/html/html/SVFIR_8h_source.html +11 -11
  125. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  126. package/SVF-doxygen/html/html/SVFModule_8h_source.html +2 -2
  127. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +3 -3
  128. package/SVF-doxygen/html/html/SVFUtil_8cpp.html +8 -9
  129. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +39 -38
  130. package/SVF-doxygen/html/html/SVFUtil_8h.html +150 -0
  131. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +91 -27
  132. package/SVF-doxygen/html/html/SVFVariables_8cpp.html +1 -1
  133. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +4 -4
  134. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +7 -7
  135. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  136. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  137. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  138. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +79 -77
  140. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +14 -14
  141. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp.html +0 -1
  142. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +94 -100
  143. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +121 -119
  144. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  145. package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
  146. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +2 -2
  147. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  148. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +5 -5
  149. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  150. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  151. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +16 -16
  152. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +3 -3
  153. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -2
  154. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +56 -57
  155. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  156. package/SVF-doxygen/html/html/VFG_8cpp.html +1 -1
  157. package/SVF-doxygen/html/html/VFG_8cpp_source.html +7 -7
  158. package/SVF-doxygen/html/html/VFG_8h_source.html +2 -2
  159. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp.html +1 -1
  160. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +5 -5
  161. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  162. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  163. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  164. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  165. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  169. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  172. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +9 -9
  173. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +6 -6
  174. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  176. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1BDDExprManager.html +2 -2
  179. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +9 -9
  180. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +5 -5
  183. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +3 -3
  185. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +39 -39
  187. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +9 -9
  188. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  189. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  192. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +4 -4
  195. package/SVF-doxygen/html/html/classSVF_1_1CondPointsToSet.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +10 -10
  197. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  199. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  201. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +51 -51
  202. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +5 -5
  204. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  205. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +8 -8
  209. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +5 -5
  213. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +10 -10
  214. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +5 -5
  215. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -7
  216. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  217. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  218. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +5 -5
  219. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +5 -5
  220. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +5 -5
  221. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +4 -4
  224. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +14 -14
  225. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
  226. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +17 -17
  228. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  229. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +2 -2
  232. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  233. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +18 -18
  237. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +8 -8
  239. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +26 -26
  240. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +14 -14
  241. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +25 -25
  242. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +20 -20
  243. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +6 -6
  245. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +9 -9
  246. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +21 -21
  247. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  248. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  249. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +92 -92
  250. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +18 -18
  251. package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  254. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +98 -98
  255. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  256. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +14 -14
  258. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +3 -3
  260. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +2 -2
  261. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  262. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  263. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +18 -18
  264. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +18 -18
  265. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  266. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +83 -83
  267. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
  268. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +5 -5
  269. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  270. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +29 -29
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +4 -4
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +6 -6
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +21 -21
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +105 -105
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  281. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  283. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  284. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +38 -38
  285. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  286. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +130 -128
  287. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +52 -50
  288. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +261 -206
  289. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  290. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  291. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +7 -7
  294. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +6 -6
  296. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +21 -21
  297. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +6 -6
  300. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  303. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  304. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  305. package/SVF-doxygen/html/html/functions_b.html +6 -3
  306. package/SVF-doxygen/html/html/functions_func_i.html +5 -5
  307. package/SVF-doxygen/html/html/functions_i.html +6 -6
  308. package/SVF-doxygen/html/html/functions_l.html +1 -1
  309. package/SVF-doxygen/html/html/functions_n.html +3 -0
  310. package/SVF-doxygen/html/html/functions_o.html +3 -3
  311. package/SVF-doxygen/html/html/functions_p.html +19 -15
  312. package/SVF-doxygen/html/html/functions_r.html +5 -3
  313. package/SVF-doxygen/html/html/functions_s.html +12 -10
  314. package/SVF-doxygen/html/html/functions_v.html +3 -3
  315. package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
  316. package/SVF-doxygen/html/html/functions_vars_n.html +3 -0
  317. package/SVF-doxygen/html/html/functions_w.html +10 -6
  318. package/SVF-doxygen/html/html/globals_c.html +105 -102
  319. package/SVF-doxygen/html/html/globals_r.html +3 -3
  320. package/SVF-doxygen/html/html/globals_s.html +4 -6
  321. package/SVF-doxygen/html/html/globals_type.html +3 -0
  322. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  323. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  324. package/SVF-doxygen/html/html/namespaceSVF.html +17 -35
  325. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +502 -443
  326. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +62 -62
  327. package/SVF-doxygen/html/html/namespacemembers_c.html +0 -3
  328. package/SVF-doxygen/html/html/namespacemembers_func.html +14 -8
  329. package/SVF-doxygen/html/html/namespacemembers_i.html +10 -4
  330. package/SVF-doxygen/html/html/namespacemembers_type.html +0 -3
  331. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  332. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  333. package/SVF-doxygen/html/html/search/all_10.js +9 -9
  334. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  335. package/SVF-doxygen/html/html/search/all_13.js +9 -9
  336. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  337. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  338. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  339. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  340. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  341. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  342. package/SVF-doxygen/html/html/search/all_9.js +5 -5
  343. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  344. package/SVF-doxygen/html/html/search/all_e.js +2 -1
  345. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  346. package/SVF-doxygen/html/html/search/functions_8.js +3 -3
  347. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
  348. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  349. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  350. package/SVF-doxygen/html/html/search/variables_2.js +1 -0
  351. package/SVF-doxygen/html/html/search/variables_e.js +2 -1
  352. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  353. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  354. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
  355. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  356. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  357. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  358. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  359. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  360. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  361. package/include/MemoryModel/SymbolTableInfo.h +3 -2
  362. package/include/SVF-FE/BasicTypes.h +1 -0
  363. package/include/SVF-FE/Graph2Json.h +1 -1
  364. package/include/SVF-FE/LLVMUtil.h +9 -373
  365. package/include/Util/BasicTypes.h +0 -1
  366. package/include/Util/SVFUtil.h +379 -0
  367. package/lib/Graphs/PTACallGraph.cpp +1 -1
  368. package/lib/Graphs/SVFG.cpp +1 -1
  369. package/lib/Graphs/SVFGReadWrite.cpp +1 -1
  370. package/lib/Graphs/VFG.cpp +1 -1
  371. package/lib/MSSA/SVFGBuilder.cpp +1 -1
  372. package/lib/MemoryModel/PointerAnalysis.cpp +1 -0
  373. package/lib/MemoryModel/SVFVariables.cpp +1 -1
  374. package/lib/MemoryModel/SymbolTableInfo.cpp +7 -37
  375. package/lib/SVF-FE/CPPUtil.cpp +1 -0
  376. package/lib/SVF-FE/CallGraphBuilder.cpp +1 -1
  377. package/lib/SVF-FE/LLVMUtil.cpp +34 -8
  378. package/lib/SVF-FE/SVFIRBuilder.cpp +1 -1
  379. package/lib/SVF-FE/SymbolTableBuilder.cpp +13 -5
  380. package/lib/Util/ExeState.cpp +1 -1
  381. package/lib/Util/SVFUtil.cpp +9 -1
  382. package/lib/WPA/Andersen.cpp +1 -1
  383. package/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -1
  384. package/package.json +1 -1
@@ -127,8 +127,8 @@ Variables</h2></td></tr>
127
127
  </table>
128
128
  </div><div class="memdoc">
129
129
 
130
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00086">86</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
131
- <div class="fragment"><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160;{</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordtype">size_t</span> lastRightParen = name.rfind(<span class="stringliteral">&quot;)&quot;</span>);</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(lastRightParen &gt; 0);</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> paren_num = 1, pos;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">for</span> (pos = lastRightParen - 1; pos &gt;= 0; pos--)</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; {</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <span class="keywordflow">if</span> (name[pos] == <span class="charliteral">&#39;)&#39;</span>)</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; paren_num++;</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">if</span> (name[pos] == <span class="charliteral">&#39;(&#39;</span>)</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; paren_num--;</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">if</span> (paren_num == 0)</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">break</span>;</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; }</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <span class="keywordflow">return</span> name.substr(0, pos);</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
130
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00087">87</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
131
+ <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;{</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordtype">size_t</span> lastRightParen = name.rfind(<span class="stringliteral">&quot;)&quot;</span>);</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(lastRightParen &gt; 0);</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> paren_num = 1, pos;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keywordflow">for</span> (pos = lastRightParen - 1; pos &gt;= 0; pos--)</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">if</span> (name[pos] == <span class="charliteral">&#39;)&#39;</span>)</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; paren_num++;</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">if</span> (name[pos] == <span class="charliteral">&#39;(&#39;</span>)</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; paren_num--;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">if</span> (paren_num == 0)</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">break</span>;</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> name.substr(0, pos);</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
132
132
  <div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
133
133
  </div><!-- fragment -->
134
134
  </div>
@@ -157,11 +157,11 @@ Variables</h2></td></tr>
157
157
  </table>
158
158
  </div><div class="memdoc">
159
159
 
160
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00135">135</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
161
- <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160;{</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="comment">// when handling multi-inheritance,</span></div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="comment">// the compiler may generate thunk functions</span></div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="comment">// to perform `this` pointer adjustment</span></div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="comment">// they are indicated with `virtual thunk to `</span></div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="comment">// and `nun-virtual thunk to`.</span></div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="comment">// if the classname starts with part of a</span></div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="comment">// demangled name starts with</span></div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="comment">// these prefixes, we need to remove the prefix</span></div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="comment">// to get the real class name</span></div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keyword">static</span> vector&lt;string&gt; thunkPrefixes = {<a class="code" href="CPPUtil_8cpp.html#a4c88591df6fded12caa8bb751c46b5c8">VThunkFuncLabel</a>, <a class="code" href="CPPUtil_8cpp.html#aa2f5766925ff00cfecffb533af221144">NVThunkFunLabel</a>};</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; thunkPrefixes.size(); i++)</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keyword">auto</span> prefix = thunkPrefixes[i];</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">if</span> (dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.size() &gt; prefix.size() &amp;&amp;</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.compare(0, prefix.size(), prefix) == 0)</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a> = dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.substr(prefix.size());</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">isThunkFunc</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160;}</div><div class="ttc" id="structSVF_1_1cppUtil_1_1DemangledName_html_af6117df8aec7f4c077058fa8f00b0243"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">SVF::cppUtil::DemangledName::isThunkFunc</a></div><div class="ttdeci">bool isThunkFunc</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8h_source.html#l00050">CPPUtil.h:50</a></div></div>
160
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00136">136</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
161
+ <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="comment">// when handling multi-inheritance,</span></div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="comment">// the compiler may generate thunk functions</span></div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="comment">// to perform `this` pointer adjustment</span></div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="comment">// they are indicated with `virtual thunk to `</span></div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="comment">// and `nun-virtual thunk to`.</span></div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="comment">// if the classname starts with part of a</span></div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="comment">// demangled name starts with</span></div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="comment">// these prefixes, we need to remove the prefix</span></div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="comment">// to get the real class name</span></div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keyword">static</span> vector&lt;string&gt; thunkPrefixes = {<a class="code" href="CPPUtil_8cpp.html#a4c88591df6fded12caa8bb751c46b5c8">VThunkFuncLabel</a>, <a class="code" href="CPPUtil_8cpp.html#aa2f5766925ff00cfecffb533af221144">NVThunkFunLabel</a>};</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; thunkPrefixes.size(); i++)</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keyword">auto</span> prefix = thunkPrefixes[i];</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">if</span> (dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.size() &gt; prefix.size() &amp;&amp;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.compare(0, prefix.size(), prefix) == 0)</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a> = dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">className</a>.substr(prefix.size());</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; dname.<a class="code" href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">isThunkFunc</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160;}</div><div class="ttc" id="structSVF_1_1cppUtil_1_1DemangledName_html_af6117df8aec7f4c077058fa8f00b0243"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">SVF::cppUtil::DemangledName::isThunkFunc</a></div><div class="ttdeci">bool isThunkFunc</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8h_source.html#l00050">CPPUtil.h:50</a></div></div>
162
162
  <div class="ttc" id="structSVF_1_1cppUtil_1_1DemangledName_html_a5cd207bce618521166e6fa235014b297"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297">SVF::cppUtil::DemangledName::className</a></div><div class="ttdeci">std::string className</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8h_source.html#l00048">CPPUtil.h:48</a></div></div>
163
- <div class="ttc" id="CPPUtil_8cpp_html_aa2f5766925ff00cfecffb533af221144"><div class="ttname"><a href="CPPUtil_8cpp.html#aa2f5766925ff00cfecffb533af221144">NVThunkFunLabel</a></div><div class="ttdeci">const string NVThunkFunLabel</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00050">CPPUtil.cpp:50</a></div></div>
164
- <div class="ttc" id="CPPUtil_8cpp_html_a4c88591df6fded12caa8bb751c46b5c8"><div class="ttname"><a href="CPPUtil_8cpp.html#a4c88591df6fded12caa8bb751c46b5c8">VThunkFuncLabel</a></div><div class="ttdeci">const string VThunkFuncLabel</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00051">CPPUtil.cpp:51</a></div></div>
163
+ <div class="ttc" id="CPPUtil_8cpp_html_aa2f5766925ff00cfecffb533af221144"><div class="ttname"><a href="CPPUtil_8cpp.html#aa2f5766925ff00cfecffb533af221144">NVThunkFunLabel</a></div><div class="ttdeci">const string NVThunkFunLabel</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00051">CPPUtil.cpp:51</a></div></div>
164
+ <div class="ttc" id="CPPUtil_8cpp_html_a4c88591df6fded12caa8bb751c46b5c8"><div class="ttname"><a href="CPPUtil_8cpp.html#a4c88591df6fded12caa8bb751c46b5c8">VThunkFuncLabel</a></div><div class="ttdeci">const string VThunkFuncLabel</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00052">CPPUtil.cpp:52</a></div></div>
165
165
  </div><!-- fragment -->
166
166
  </div>
167
167
  </div>
@@ -189,8 +189,8 @@ Variables</h2></td></tr>
189
189
  </table>
190
190
  </div><div class="memdoc">
191
191
 
192
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00056">56</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
193
- <div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;{</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> leftnum = 0, rightnum = 0;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <span class="keywordtype">string</span> subname = name;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="keywordtype">size_t</span> leftpos, rightpos;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; leftpos = subname.find(<span class="stringliteral">&quot;&lt;&quot;</span>);</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">while</span> (leftpos != string::npos)</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; {</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; subname = subname.substr(leftpos+1);</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; leftpos = subname.find(<span class="stringliteral">&quot;&lt;&quot;</span>);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; leftnum++;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; }</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; subname = name;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; rightpos = subname.find(<span class="stringliteral">&quot;&gt;&quot;</span>);</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">while</span> (rightpos != string::npos)</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; {</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; subname = subname.substr(rightpos+1);</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; rightpos = subname.find(<span class="stringliteral">&quot;&gt;&quot;</span>);</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; rightnum++;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">if</span> (leftnum != rightnum)</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; {</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
192
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00057">57</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
193
+ <div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;{</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> leftnum = 0, rightnum = 0;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="keywordtype">string</span> subname = name;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keywordtype">size_t</span> leftpos, rightpos;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; leftpos = subname.find(<span class="stringliteral">&quot;&lt;&quot;</span>);</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordflow">while</span> (leftpos != string::npos)</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; subname = subname.substr(leftpos+1);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; leftpos = subname.find(<span class="stringliteral">&quot;&lt;&quot;</span>);</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; leftnum++;</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; }</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; subname = name;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; rightpos = subname.find(<span class="stringliteral">&quot;&gt;&quot;</span>);</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordflow">while</span> (rightpos != string::npos)</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; {</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; subname = subname.substr(rightpos+1);</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; rightpos = subname.find(<span class="stringliteral">&quot;&gt;&quot;</span>);</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; rightnum++;</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; }</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">if</span> (leftnum != rightnum)</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; {</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; }</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; {</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; }</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
194
194
  </div><!-- fragment -->
195
195
  </div>
196
196
  </div>
@@ -207,7 +207,7 @@ Variables</h2></td></tr>
207
207
  </table>
208
208
  </div><div class="memdoc">
209
209
 
210
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00053">53</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
210
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00054">54</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
211
211
 
212
212
  </div>
213
213
  </div>
@@ -223,7 +223,7 @@ Variables</h2></td></tr>
223
223
  </table>
224
224
  </div><div class="memdoc">
225
225
 
226
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00050">50</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
226
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00051">51</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
227
227
 
228
228
  </div>
229
229
  </div>
@@ -239,7 +239,7 @@ Variables</h2></td></tr>
239
239
  </table>
240
240
  </div><div class="memdoc">
241
241
 
242
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00054">54</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
242
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00055">55</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
243
243
 
244
244
  </div>
245
245
  </div>
@@ -255,7 +255,7 @@ Variables</h2></td></tr>
255
255
  </table>
256
256
  </div><div class="memdoc">
257
257
 
258
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00047">47</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
258
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00048">48</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
259
259
 
260
260
  </div>
261
261
  </div>
@@ -271,7 +271,7 @@ Variables</h2></td></tr>
271
271
  </table>
272
272
  </div><div class="memdoc">
273
273
 
274
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00044">44</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
274
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00045">45</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
275
275
 
276
276
  </div>
277
277
  </div>
@@ -287,7 +287,7 @@ Variables</h2></td></tr>
287
287
  </table>
288
288
  </div><div class="memdoc">
289
289
 
290
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00041">41</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
290
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00042">42</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
291
291
 
292
292
  </div>
293
293
  </div>
@@ -303,7 +303,7 @@ Variables</h2></td></tr>
303
303
  </table>
304
304
  </div><div class="memdoc">
305
305
 
306
- <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00051">51</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
306
+ <p class="definition">Definition at line <a class="el" href="CPPUtil_8cpp_source.html#l00052">52</a> of file <a class="el" href="CPPUtil_8cpp_source.html">CPPUtil.cpp</a>.</p>
307
307
 
308
308
  </div>
309
309
  </div>