svf-tools 1.0.482 → 1.0.485

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 (282) hide show
  1. package/SVF-doxygen/html/html/AndersenHCD_8cpp_source.html +2 -1
  2. package/SVF-doxygen/html/html/AndersenHLCD_8cpp_source.html +2 -1
  3. package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +2 -1
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -1
  5. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -1
  6. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -1
  7. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -1
  8. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -2
  9. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  10. package/SVF-doxygen/html/html/BDDExpr_8cpp_source.html +2 -1
  11. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +32 -32
  13. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +11 -11
  14. package/SVF-doxygen/html/html/CFLAlias_8cpp.html +1 -0
  15. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +46 -13
  16. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +36 -13
  17. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +3 -3
  18. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +8 -8
  19. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +74 -77
  20. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +165 -39
  21. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +3 -3
  24. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +3 -3
  25. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +16 -16
  26. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +10 -10
  27. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -2
  28. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +2 -2
  29. package/SVF-doxygen/html/html/CHG_8cpp_source.html +3 -2
  30. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  33. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -1
  34. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -2
  35. package/SVF-doxygen/html/html/Casting_8h_source.html +2 -1
  36. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -3
  37. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -1
  39. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -2
  42. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -1
  43. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -2
  44. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -1
  46. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -1
  47. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
  49. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -1
  50. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -1
  51. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -1
  52. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -1
  54. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -1
  55. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
  57. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +3 -3
  58. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +6 -4
  59. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -1
  61. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -2
  62. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -2
  64. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  65. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +2 -1
  66. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  67. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -1
  68. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +2 -1
  69. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +3 -2
  70. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -2
  71. package/SVF-doxygen/html/html/MHP_8cpp_source.html +3 -2
  72. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -2
  73. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  74. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -2
  75. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +2 -2
  76. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  77. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -2
  78. package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
  79. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +2 -1
  80. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -1
  81. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +3 -2
  82. package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
  83. package/SVF-doxygen/html/html/Options_8cpp_source.html +4 -4
  84. package/SVF-doxygen/html/html/Options_8h_source.html +4 -4
  85. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -1
  86. package/SVF-doxygen/html/html/PCG_8cpp_source.html +3 -2
  87. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +3 -2
  88. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +2 -1
  90. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -5
  91. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +15 -13
  92. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +12 -12
  93. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -1
  94. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  95. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -1
  96. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -1
  97. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -2
  98. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +3 -2
  99. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -2
  101. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  102. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -1
  103. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +2 -1
  104. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
  105. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  106. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +3 -2
  107. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -1
  108. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  109. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -1
  110. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -1
  111. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +2 -1
  112. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +3 -2
  113. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -1
  114. package/SVF-doxygen/html/html/TCT_8cpp_source.html +3 -2
  115. package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
  116. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -1
  118. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -1
  119. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  120. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +2 -1
  121. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -2
  122. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -1
  124. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  125. package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
  126. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  128. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +1 -1
  129. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +1 -1
  131. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  133. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  134. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +5 -5
  135. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +2 -2
  136. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +54 -53
  137. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +70 -63
  138. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +415 -95
  139. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +25 -25
  140. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +1 -1
  141. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +51 -51
  142. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +4 -4
  143. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +39 -39
  144. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +4 -4
  145. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  146. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +13 -13
  150. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +58 -58
  153. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +3 -3
  154. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +3 -3
  155. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -2
  157. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +2 -2
  160. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  161. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  162. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  163. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
  164. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
  165. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +38 -38
  166. package/SVF-doxygen/html/html/classSVF_1_1Options.html +30 -30
  167. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +2 -2
  168. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -36
  169. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  170. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  171. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +4 -4
  172. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +3 -3
  173. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  174. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +3 -3
  175. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  176. package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
  177. package/SVF-doxygen/html/html/cuddInt_8c.html +30 -30
  178. package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
  179. package/SVF-doxygen/html/html/cuddInt_8h.html +10 -10
  180. package/SVF-doxygen/html/html/cudd_8h.html +14 -14
  181. package/SVF-doxygen/html/html/cudd_8h_source.html +2 -2
  182. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  183. package/SVF-doxygen/html/html/functions_a.html +11 -10
  184. package/SVF-doxygen/html/html/functions_c.html +30 -23
  185. package/SVF-doxygen/html/html/functions_func.html +12 -11
  186. package/SVF-doxygen/html/html/functions_func_c.html +11 -10
  187. package/SVF-doxygen/html/html/functions_func_h.html +3 -2
  188. package/SVF-doxygen/html/html/functions_func_n.html +1 -1
  189. package/SVF-doxygen/html/html/functions_func_o.html +4 -9
  190. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  191. package/SVF-doxygen/html/html/functions_func_u.html +1 -0
  192. package/SVF-doxygen/html/html/functions_g.html +5 -8
  193. package/SVF-doxygen/html/html/functions_h.html +2 -1
  194. package/SVF-doxygen/html/html/functions_i.html +6 -6
  195. package/SVF-doxygen/html/html/functions_l.html +5 -5
  196. package/SVF-doxygen/html/html/functions_n.html +1 -1
  197. package/SVF-doxygen/html/html/functions_o.html +14 -21
  198. package/SVF-doxygen/html/html/functions_p.html +12 -9
  199. package/SVF-doxygen/html/html/functions_r.html +4 -4
  200. package/SVF-doxygen/html/html/functions_s.html +10 -8
  201. package/SVF-doxygen/html/html/functions_t.html +3 -3
  202. package/SVF-doxygen/html/html/functions_type_c.html +1 -0
  203. package/SVF-doxygen/html/html/functions_u.html +1 -0
  204. package/SVF-doxygen/html/html/functions_v.html +3 -3
  205. package/SVF-doxygen/html/html/functions_vars_c.html +1 -0
  206. package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
  207. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  208. package/SVF-doxygen/html/html/functions_w.html +6 -10
  209. package/SVF-doxygen/html/html/globals_a.html +3 -0
  210. package/SVF-doxygen/html/html/globals_f.html +2 -2
  211. package/SVF-doxygen/html/html/globals_g.html +10 -4
  212. package/SVF-doxygen/html/html/globals_l.html +4 -1
  213. package/SVF-doxygen/html/html/globals_m.html +15 -12
  214. package/SVF-doxygen/html/html/globals_s.html +17 -13
  215. package/SVF-doxygen/html/html/globals_vars.html +26 -5
  216. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  217. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  218. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
  219. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +12 -12
  220. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  221. package/SVF-doxygen/html/html/search/all_1.js +2 -1
  222. package/SVF-doxygen/html/html/search/all_10.js +8 -7
  223. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  224. package/SVF-doxygen/html/html/search/all_13.js +12 -11
  225. package/SVF-doxygen/html/html/search/all_14.js +6 -6
  226. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  227. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  228. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  229. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  230. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  231. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  232. package/SVF-doxygen/html/html/search/all_7.js +4 -3
  233. package/SVF-doxygen/html/html/search/all_8.js +1 -1
  234. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  235. package/SVF-doxygen/html/html/search/all_c.js +6 -5
  236. package/SVF-doxygen/html/html/search/all_d.js +3 -2
  237. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  238. package/SVF-doxygen/html/html/search/all_f.js +7 -9
  239. package/SVF-doxygen/html/html/search/functions_0.js +1 -1
  240. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  241. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  242. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  243. package/SVF-doxygen/html/html/search/functions_7.js +1 -1
  244. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  245. package/SVF-doxygen/html/html/search/functions_e.js +4 -6
  246. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
  247. package/SVF-doxygen/html/html/search/variables_1.js +1 -0
  248. package/SVF-doxygen/html/html/search/variables_10.js +1 -0
  249. package/SVF-doxygen/html/html/search/variables_13.js +2 -0
  250. package/SVF-doxygen/html/html/search/variables_14.js +4 -4
  251. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  252. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  253. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  254. package/SVF-doxygen/html/html/search/variables_7.js +4 -3
  255. package/SVF-doxygen/html/html/search/variables_c.js +3 -2
  256. package/SVF-doxygen/html/html/search/variables_d.js +1 -0
  257. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  258. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +10 -13
  259. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +44 -145
  260. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +3 -3
  261. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +6 -5
  262. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -3
  263. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -3
  264. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +1 -1
  265. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +2 -2
  266. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +1 -1
  267. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  268. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  269. package/include/CFL/CFLAlias.h +50 -4
  270. package/include/CFL/CFLGrammar.h +9 -28
  271. package/include/CFL/CFLGrammar.txt +22 -1
  272. package/include/CFL/CFLSolver.h +10 -8
  273. package/include/Graphs/CFLGraph.h +0 -1
  274. package/include/Graphs/GraphPrinter.h +3 -3
  275. package/include/Util/Options.h +2 -2
  276. package/lib/CFL/CFGNormalizer.cpp +8 -14
  277. package/lib/CFL/CFLAlias.cpp +175 -6
  278. package/lib/CFL/CFLSolver.cpp +1 -0
  279. package/lib/Graphs/CFLGraph.cpp +0 -4
  280. package/lib/MemoryModel/PointerAnalysis.cpp +3 -0
  281. package/lib/Util/Options.cpp +8 -8
  282. package/package.json +1 -1
@@ -24,14 +24,14 @@ var searchData=
24
24
  ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
25
25
  ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
26
26
  ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
27
- ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
28
- ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
29
- ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
27
+ ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
28
+ ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
29
+ ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
30
30
  ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
31
31
  ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
32
32
  ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
33
33
  ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
34
- ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
34
+ ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
35
35
  ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
36
36
  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
37
37
  ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -7,7 +7,7 @@ var searchData=
7
7
  ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
8
8
  ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
9
9
  ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
10
- ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
10
+ ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
11
11
  ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
12
12
  ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
13
13
  ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],
@@ -25,7 +25,7 @@ var searchData=
25
25
  ['callinsttothreadjoinedgesmap',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
26
26
  ['callpes',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
27
27
  ['callsite',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
28
- ['callsite2dummyvalpn',['callsite2DummyValPN',['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen']]],
28
+ ['callsite2dummyvalpn',['callsite2DummyValPN',['../classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05',1,'SVF::CFLAlias::callsite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()']]],
29
29
  ['callsiteargslistmap',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
30
30
  ['callsiteretmap',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
31
31
  ['callsiteset',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR::callSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e',1,'SVF::SymbolTableInfo::callSiteSet()']]],
@@ -1,9 +1,9 @@
1
1
  var searchData=
2
2
  [
3
- ['f',['f',['../structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7',1,'DdHook::f()'],['../structDdCache.html#a74c07792181f1d898f9fb4524c8942ad',1,'DdCache::f()'],['../CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2',1,'F(): CFLGrammar.txt']]],
3
+ ['f',['f',['../structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7',1,'DdHook::f()'],['../structDdCache.html#a74c07792181f1d898f9fb4524c8942ad',1,'DdCache::f()'],['../CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564',1,'F(): CFLGrammar.txt']]],
4
4
  ['falsecond',['falseCond',['../classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269',1,'SVF::BDDExprManager']]],
5
5
  ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
6
- ['fbar',['Fbar',['../CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d',1,'CFLGrammar.txt']]],
6
+ ['fbar',['Fbar',['../CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2',1,'CFLGrammar.txt']]],
7
7
  ['fieldreps',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
8
8
  ['fieldtypes',['fieldTypes',['../classSVF_1_1DCHGraph.html#a574ec14099f1112b394b00a79f3fdf1a',1,'SVF::DCHGraph']]],
9
9
  ['file',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
@@ -7,8 +7,10 @@ var searchData=
7
7
  ['gctime',['GCTime',['../structDdManager.html#a9eee204f20f831cc8da778e4d408d9c6',1,'DdManager']]],
8
8
  ['gen',['gen',['../structDdGen.html#a48e1ed569e2355b0a313fda5b75c1de1',1,'DdGen']]],
9
9
  ['generalnummap',['generalNumMap',['../classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6',1,'SVF::PTAStat']]],
10
- ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04',1,'CFLGrammar.txt']]],
11
- ['gepbar_5fi',['Gepbar_i',['../CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725',1,'CFLGrammar.txt']]],
10
+ ['gep_5f0',['Gep_0',['../CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1',1,'CFLGrammar.txt']]],
11
+ ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#a653086130f70f043218d296d00529455',1,'CFLGrammar.txt']]],
12
+ ['gepbar_5fi',['Gepbar_i',['../CFLGrammar_8txt.html#ac1aa386be0aca60acd35f22fa31e818c',1,'CFLGrammar.txt']]],
13
+ ['gepbar_5fj',['Gepbar_j',['../CFLGrammar_8txt.html#aeb412ddd133fefb41dbf77aca541935b',1,'CFLGrammar.txt']]],
12
14
  ['gepinedges',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
13
15
  ['gepnodenumindex',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
14
16
  ['gepobjvarmap',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8',1,'SVF::SVFIR']]],
@@ -29,7 +31,6 @@ var searchData=
29
31
  ['globsvfstmtset',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
30
32
  ['grammar',['grammar',['../classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be',1,'SVF::CFLAlias::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
31
33
  ['grammarfilename',['GrammarFilename',['../classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596',1,'SVF::Options']]],
32
- ['grammarisebnf',['GrammarIsEBNF',['../classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785',1,'SVF::Options']]],
33
34
  ['graph',['graph',['../classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b',1,'SVF::CFLAlias::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()']]],
34
35
  ['graphisfromdot',['GraphIsFromDot',['../classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888',1,'SVF::Options']]],
35
36
  ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]],
@@ -14,8 +14,9 @@ var searchData=
14
14
  ['llvmfunc2svffunc',['LLVMFunc2SVFFunc',['../classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335',1,'SVF::SVFModule']]],
15
15
  ['llvmfunctionset',['LLVMFunctionSet',['../classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af',1,'SVF::SVFModule']]],
16
16
  ['llvmmoduleset',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
17
- ['load',['Load',['../CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6',1,'CFLGrammar.txt']]],
17
+ ['load',['Load',['../CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d',1,'CFLGrammar.txt']]],
18
18
  ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
19
+ ['loadbar',['Loadbar',['../CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a',1,'CFLGrammar.txt']]],
19
20
  ['loadcgedgeset',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
20
21
  ['loadinedges',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
21
22
  ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
@@ -46,7 +47,7 @@ var searchData=
46
47
  ['lookups',['lookUps',['../structDdLocalCache.html#a8ead01c431438c3c6efd103adaeba0b8',1,'DdLocalCache']]],
47
48
  ['lookupunions',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
48
49
  ['loopanalysis',['LoopAnalysis',['../classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1',1,'SVF::Options']]],
49
- ['loopbound',['LoopBound',['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()'],['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()']]],
50
+ ['loopbound',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()']]],
50
51
  ['loopinfobuilder',['loopInfoBuilder',['../classSVF_1_1TCT.html#ae64d6203b41c92d4ca617b8e976b88b2',1,'SVF::TCT']]],
51
52
  ['looseupto',['looseUpTo',['../structDdManager.html#a08442885cc19bd4e63ee8ca294669efa',1,'DdManager']]],
52
53
  ['low',['low',['../structMtrNode.html#a589c940a5262c8da11bf843a369bb2db',1,'MtrNode']]],
@@ -47,6 +47,7 @@ var searchData=
47
47
  ['maxstsize',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
48
48
  ['meldlabelingtime',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
49
49
  ['mem',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
50
+ ['memflow',['Memflow',['../CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621',1,'CFLGrammar.txt']]],
50
51
  ['memorylist',['memoryList',['../structDdHashTable.html#ac6afee68587d525006440d95abc9cbd5',1,'DdHashTable::memoryList()'],['../structDdManager.html#acd1165476d9c94202b6bf5b14fd0dd88',1,'DdManager::memoryList()']]],
51
52
  ['mempar',['MemPar',['../classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3',1,'SVF::Options']]],
52
53
  ['memregset',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
@@ -111,7 +111,7 @@ var searchData=
111
111
  ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
112
112
  ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
113
113
  ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
114
- ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
114
+ ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
115
115
  ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
116
116
  ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
117
117
  ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],
@@ -149,7 +149,7 @@ var searchData=
149
149
  ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
150
150
  ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
151
151
  ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
152
- ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()']]],
152
+ ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
153
153
  ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
154
154
  ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
155
155
  ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],
@@ -71,22 +71,19 @@ $(function() {
71
71
  <table class="directory">
72
72
  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a></td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"></td></tr>
73
73
  <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a></td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"></td></tr>
74
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a44626f9398fcd711698253c0b7d4b444">operator s64_t</a>() const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f">operator u32_t</a>()</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad527452ed8aa18d2d12995a26d86bb7e">operator u64_t</a>()</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">operator!=</a>(const Symbol &amp;s) const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">operator&lt;</a>(const Symbol &amp;rhs)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7f04d82851226d9b6014f67190021cc7">operator=</a>(const int &amp;i)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">operator=</a>(unsigned long long num)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#abd25553b5b6b7051009bf33799d8f460">operator=</a>(const Kind &amp;kind)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
74
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f">operator u32_t</a>()</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
+ <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f">operator u32_t</a>() const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">operator!=</a>(const Symbol &amp;s) const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">operator&lt;</a>(const Symbol &amp;rhs)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">operator=</a>(const u32_t &amp;i)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
+ <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">operator=</a>(unsigned long long num)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
80
  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">operator==</a>(const Symbol &amp;s)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
81
  <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">operator==</a>(const Symbol &amp;s) const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aba3a3485abcb5cd4bbb6aa3253b4945e">operator==</a>(const int &amp;i)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">operator==</a>(const u32_t &amp;i)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
83
  <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">operator==</a>(const Kind &amp;k) const</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a30c7075aa4533807103c41418961c952">operator==</a>(const Kind &amp;k)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>()</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">Symbol</a>(const u32_t &amp;num)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a></td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>()</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
+ <tr><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">Symbol</a>(const u32_t &amp;num)</td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a></td><td class="entry"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></td><td class="entry"></td></tr>
90
87
  </table></div><!-- contents -->
91
88
  <!-- start footer part -->
92
89
  <hr class="footer"/><address class="footer"><small>