svf-tools 1.0.477 → 1.0.480

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 (321) hide show
  1. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/CFGNormalizer_8cpp.html +5 -4
  5. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +50 -40
  6. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +20 -18
  7. package/SVF-doxygen/html/html/CFLAlias_8cpp.html +80 -0
  8. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +107 -0
  9. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +14 -35
  10. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +10 -10
  11. package/SVF-doxygen/html/html/CFLGrammar_8cpp.html +1 -0
  12. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +34 -23
  13. package/SVF-doxygen/html/html/CFLGrammar_8h.html +9 -1
  14. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +106 -62
  15. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +58 -151
  16. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +24 -11
  17. package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +2 -0
  18. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +18 -19
  19. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +27 -16
  20. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +20 -16
  21. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +14 -14
  22. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +5 -5
  23. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  29. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +7 -7
  32. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  33. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +36 -32
  38. package/SVF-doxygen/html/html/ExtAPI_8h.html +36 -0
  39. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +66 -64
  40. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +14 -17
  43. package/SVF-doxygen/html/html/GrammarBuilder_8h.html +0 -1
  44. package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +9 -11
  45. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +5 -3
  46. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  50. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  54. package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
  55. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  56. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
  57. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  62. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  66. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
  73. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  74. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
  75. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  76. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +8 -8
  77. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
  80. package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
  82. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  83. package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
  84. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/annotated.html +298 -293
  86. package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
  87. package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -3
  88. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +96 -0
  89. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +197 -0
  90. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.png +0 -0
  91. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +1 -1
  93. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +1 -1
  94. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  96. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  97. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  99. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  100. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +3 -3
  101. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +108 -99
  102. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
  103. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -39
  104. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge-members.html +3 -1
  105. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +62 -0
  106. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList-members.html +91 -0
  107. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +459 -0
  108. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +47 -38
  109. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +180 -137
  110. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +21 -20
  111. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +44 -22
  112. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +8 -8
  113. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +53 -43
  114. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.png +0 -0
  115. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +3 -3
  116. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +14 -14
  117. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +3 -3
  118. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
  119. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
  120. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  121. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  122. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  123. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +158 -125
  124. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +20 -21
  125. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  126. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +29 -21
  127. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +397 -179
  128. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash-members.html +81 -0
  129. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +124 -0
  130. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder-members.html +6 -7
  131. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +73 -91
  132. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  133. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  134. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
  137. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
  139. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  140. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
  141. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  144. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +14 -14
  147. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html +11 -11
  151. package/SVF-doxygen/html/html/classes.html +105 -106
  152. package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
  153. package/SVF-doxygen/html/html/cuddInt_8c.html +17 -17
  154. package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
  155. package/SVF-doxygen/html/html/cuddInt_8h.html +5 -5
  156. package/SVF-doxygen/html/html/cudd_8h.html +9 -9
  157. package/SVF-doxygen/html/html/cudd_8h_source.html +1 -1
  158. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  159. package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html +2 -0
  160. package/SVF-doxygen/html/html/files.html +5 -4
  161. package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
  162. package/SVF-doxygen/html/html/functions_a.html +14 -8
  163. package/SVF-doxygen/html/html/functions_b.html +4 -3
  164. package/SVF-doxygen/html/html/functions_c.html +37 -35
  165. package/SVF-doxygen/html/html/functions_d.html +8 -4
  166. package/SVF-doxygen/html/html/functions_e.html +15 -8
  167. package/SVF-doxygen/html/html/functions_f.html +16 -17
  168. package/SVF-doxygen/html/html/functions_func.html +1 -1
  169. package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
  170. package/SVF-doxygen/html/html/functions_func_b.html +3 -2
  171. package/SVF-doxygen/html/html/functions_func_c.html +32 -28
  172. package/SVF-doxygen/html/html/functions_func_e.html +14 -7
  173. package/SVF-doxygen/html/html/functions_func_f.html +3 -2
  174. package/SVF-doxygen/html/html/functions_func_g.html +22 -18
  175. package/SVF-doxygen/html/html/functions_func_i.html +18 -9
  176. package/SVF-doxygen/html/html/functions_func_l.html +2 -5
  177. package/SVF-doxygen/html/html/functions_func_o.html +20 -5
  178. package/SVF-doxygen/html/html/functions_func_p.html +9 -7
  179. package/SVF-doxygen/html/html/functions_func_s.html +12 -6
  180. package/SVF-doxygen/html/html/functions_g.html +25 -21
  181. package/SVF-doxygen/html/html/functions_i.html +29 -20
  182. package/SVF-doxygen/html/html/functions_k.html +2 -1
  183. package/SVF-doxygen/html/html/functions_l.html +1 -4
  184. package/SVF-doxygen/html/html/functions_n.html +1 -1
  185. package/SVF-doxygen/html/html/functions_o.html +24 -15
  186. package/SVF-doxygen/html/html/functions_p.html +18 -18
  187. package/SVF-doxygen/html/html/functions_r.html +5 -5
  188. package/SVF-doxygen/html/html/functions_s.html +24 -16
  189. package/SVF-doxygen/html/html/functions_t.html +5 -7
  190. package/SVF-doxygen/html/html/functions_type_d.html +4 -2
  191. package/SVF-doxygen/html/html/functions_type_p.html +1 -1
  192. package/SVF-doxygen/html/html/functions_type_s.html +7 -1
  193. package/SVF-doxygen/html/html/functions_type_v.html +3 -0
  194. package/SVF-doxygen/html/html/functions_v.html +7 -1
  195. package/SVF-doxygen/html/html/functions_vars_a.html +6 -0
  196. package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
  197. package/SVF-doxygen/html/html/functions_vars_d.html +4 -2
  198. package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
  199. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  200. package/SVF-doxygen/html/html/functions_vars_k.html +1 -0
  201. package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
  202. package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
  203. package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
  204. package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
  205. package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
  206. package/SVF-doxygen/html/html/functions_w.html +6 -10
  207. package/SVF-doxygen/html/html/globals.html +1 -2
  208. package/SVF-doxygen/html/html/globals_a.html +1 -6
  209. package/SVF-doxygen/html/html/globals_c.html +129 -126
  210. package/SVF-doxygen/html/html/globals_defs_j.html +6 -0
  211. package/SVF-doxygen/html/html/globals_e.html +7 -8
  212. package/SVF-doxygen/html/html/globals_f.html +6 -12
  213. package/SVF-doxygen/html/html/globals_func.html +0 -6
  214. package/SVF-doxygen/html/html/globals_func_f.html +0 -8
  215. package/SVF-doxygen/html/html/globals_g.html +4 -2
  216. package/SVF-doxygen/html/html/globals_j.html +6 -0
  217. package/SVF-doxygen/html/html/globals_l.html +3 -0
  218. package/SVF-doxygen/html/html/globals_s.html +7 -9
  219. package/SVF-doxygen/html/html/globals_v.html +3 -0
  220. package/SVF-doxygen/html/html/globals_vars.html +17 -13
  221. package/SVF-doxygen/html/html/hierarchy.html +449 -444
  222. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  223. package/SVF-doxygen/html/html/namespaceSVF.html +8 -4
  224. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +2 -2
  225. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +8 -8
  226. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  227. package/SVF-doxygen/html/html/search/all_0.js +1 -1
  228. package/SVF-doxygen/html/html/search/all_1.js +5 -4
  229. package/SVF-doxygen/html/html/search/all_10.js +12 -12
  230. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  231. package/SVF-doxygen/html/html/search/all_13.js +22 -17
  232. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  233. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  234. package/SVF-doxygen/html/html/search/all_16.js +2 -0
  235. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  236. package/SVF-doxygen/html/html/search/all_1b.js +1 -0
  237. package/SVF-doxygen/html/html/search/all_2.js +2 -2
  238. package/SVF-doxygen/html/html/search/all_3.js +7 -6
  239. package/SVF-doxygen/html/html/search/all_4.js +5 -5
  240. package/SVF-doxygen/html/html/search/all_5.js +7 -5
  241. package/SVF-doxygen/html/html/search/all_6.js +4 -4
  242. package/SVF-doxygen/html/html/search/all_7.js +11 -9
  243. package/SVF-doxygen/html/html/search/all_9.js +8 -5
  244. package/SVF-doxygen/html/html/search/all_a.js +2 -0
  245. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  246. package/SVF-doxygen/html/html/search/all_c.js +1 -2
  247. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  248. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  249. package/SVF-doxygen/html/html/search/all_f.js +9 -6
  250. package/SVF-doxygen/html/html/search/classes_0.js +1 -0
  251. package/SVF-doxygen/html/html/search/classes_2.js +1 -0
  252. package/SVF-doxygen/html/html/search/classes_f.js +3 -0
  253. package/SVF-doxygen/html/html/search/defines_8.js +2 -0
  254. package/SVF-doxygen/html/html/search/files_2.js +1 -1
  255. package/SVF-doxygen/html/html/search/functions_0.js +1 -3
  256. package/SVF-doxygen/html/html/search/functions_1.js +2 -2
  257. package/SVF-doxygen/html/html/search/functions_11.js +4 -2
  258. package/SVF-doxygen/html/html/search/functions_17.js +1 -0
  259. package/SVF-doxygen/html/html/search/functions_2.js +3 -2
  260. package/SVF-doxygen/html/html/search/functions_3.js +1 -1
  261. package/SVF-doxygen/html/html/search/functions_4.js +5 -3
  262. package/SVF-doxygen/html/html/search/functions_5.js +1 -3
  263. package/SVF-doxygen/html/html/search/functions_6.js +9 -8
  264. package/SVF-doxygen/html/html/search/functions_8.js +4 -1
  265. package/SVF-doxygen/html/html/search/functions_b.js +0 -1
  266. package/SVF-doxygen/html/html/search/functions_e.js +8 -5
  267. package/SVF-doxygen/html/html/search/functions_f.js +4 -4
  268. package/SVF-doxygen/html/html/search/typedefs_11.js +3 -1
  269. package/SVF-doxygen/html/html/search/typedefs_14.js +1 -0
  270. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
  271. package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
  272. package/SVF-doxygen/html/html/search/variables_0.js +1 -1
  273. package/SVF-doxygen/html/html/search/variables_1.js +3 -2
  274. package/SVF-doxygen/html/html/search/variables_12.js +1 -1
  275. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  276. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  277. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  278. package/SVF-doxygen/html/html/search/variables_16.js +2 -0
  279. package/SVF-doxygen/html/html/search/variables_3.js +2 -2
  280. package/SVF-doxygen/html/html/search/variables_4.js +2 -2
  281. package/SVF-doxygen/html/html/search/variables_5.js +2 -2
  282. package/SVF-doxygen/html/html/search/variables_6.js +3 -3
  283. package/SVF-doxygen/html/html/search/variables_7.js +2 -1
  284. package/SVF-doxygen/html/html/search/variables_b.js +1 -1
  285. package/SVF-doxygen/html/html/search/variables_c.js +1 -0
  286. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  287. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +98 -0
  288. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +652 -0
  289. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash-members.html +81 -0
  290. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +124 -0
  291. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +22 -15
  292. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -2
  293. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -2
  294. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +1 -1
  295. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +2 -2
  296. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +1 -1
  297. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  298. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  299. package/include/CFL/CFGNormalizer.h +14 -9
  300. package/include/CFL/CFLAlias.h +1 -40
  301. package/include/CFL/CFLGrammar.h +246 -31
  302. package/include/CFL/CFLGrammar.txt +13 -15
  303. package/include/CFL/CFLGraphBuilder.h +27 -29
  304. package/include/CFL/GrammarBuilder.h +34 -14
  305. package/include/Graphs/CFLGraph.h +12 -0
  306. package/include/Graphs/ConsGEdge.h +1 -0
  307. package/include/SVF-FE/CallGraphBuilder.h +2 -2
  308. package/include/Util/ExtAPI.h +59 -42
  309. package/lib/CFL/CFGNormalizer.cpp +138 -86
  310. package/lib/CFL/CFLAlias.cpp +73 -0
  311. package/lib/CFL/CFLGrammar.cpp +115 -16
  312. package/lib/CFL/CFLGraphBuilder.cpp +64 -1
  313. package/lib/CFL/GrammarBuilder.cpp +42 -60
  314. package/lib/Graphs/CFLGraph.cpp +41 -1
  315. package/lib/MemoryModel/LocationSet.cpp +1 -1
  316. package/lib/SVF-FE/SVFIRBuilder.cpp +2 -2
  317. package/lib/Util/ExtAPI.cpp +34 -2
  318. package/lib/Util/ExtAPI.json +3268 -2585
  319. package/package.json +1 -1
  320. package/clean.sh +0 -10
  321. package/include/CFL/CFLGrammarDev.txt +0 -16
@@ -0,0 +1,81 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.13"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: Member List</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.13 -->
33
+ <script type="text/javascript">
34
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
35
+ </script>
36
+ <script type="text/javascript" src="menudata.js"></script>
37
+ <script type="text/javascript" src="menu.js"></script>
38
+ <script type="text/javascript">
39
+ $(function() {
40
+ initMenu('',true,false,'search.php','Search');
41
+ $(document).ready(function() { init_search(); });
42
+ });
43
+ </script>
44
+ <div id="main-nav"></div>
45
+ <!-- window showing the filter options -->
46
+ <div id="MSearchSelectWindow"
47
+ onmouseover="return searchBox.OnSearchSelectShow()"
48
+ onmouseout="return searchBox.OnSearchSelectHide()"
49
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
50
+ </div>
51
+
52
+ <!-- iframe showing the search results (closed by default) -->
53
+ <div id="MSearchResultsWindow">
54
+ <iframe src="javascript:void(0)" frameborder="0"
55
+ name="MSearchResults" id="MSearchResults">
56
+ </iframe>
57
+ </div>
58
+
59
+ <div id="nav-path" class="navpath">
60
+ <ul>
61
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a></li><li class="navelem"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a></li> </ul>
62
+ </div>
63
+ </div><!-- top -->
64
+ <div class="header">
65
+ <div class="headertitle">
66
+ <div class="title">SVF::GrammarBase::SymbolHash Member List</div> </div>
67
+ </div><!--header-->
68
+ <div class="contents">
69
+
70
+ <p>This is the complete list of members for <a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SVF::GrammarBase::SymbolHash</a>, including all inherited members.</p>
71
+ <table class="directory">
72
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">operator()</a>(const Symbol &amp;s) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SVF::GrammarBase::SymbolHash</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
73
+ </table></div><!-- contents -->
74
+ <!-- start footer part -->
75
+ <hr class="footer"/><address class="footer"><small>
76
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
77
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
78
+ </a> 1.8.13
79
+ </small></address>
80
+ </body>
81
+ </html>
@@ -0,0 +1,124 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.13"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::GrammarBase::SymbolHash Class Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.13 -->
33
+ <script type="text/javascript">
34
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
35
+ </script>
36
+ <script type="text/javascript" src="menudata.js"></script>
37
+ <script type="text/javascript" src="menu.js"></script>
38
+ <script type="text/javascript">
39
+ $(function() {
40
+ initMenu('',true,false,'search.php','Search');
41
+ $(document).ready(function() { init_search(); });
42
+ });
43
+ </script>
44
+ <div id="main-nav"></div>
45
+ <!-- window showing the filter options -->
46
+ <div id="MSearchSelectWindow"
47
+ onmouseover="return searchBox.OnSearchSelectShow()"
48
+ onmouseout="return searchBox.OnSearchSelectHide()"
49
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
50
+ </div>
51
+
52
+ <!-- iframe showing the search results (closed by default) -->
53
+ <div id="MSearchResultsWindow">
54
+ <iframe src="javascript:void(0)" frameborder="0"
55
+ name="MSearchResults" id="MSearchResults">
56
+ </iframe>
57
+ </div>
58
+
59
+ <div id="nav-path" class="navpath">
60
+ <ul>
61
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a></li><li class="navelem"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a></li> </ul>
62
+ </div>
63
+ </div><!-- top -->
64
+ <div class="header">
65
+ <div class="summary">
66
+ <a href="#pub-methods">Public Member Functions</a> &#124;
67
+ <a href="classSVF_1_1GrammarBase_1_1SymbolHash-members.html">List of all members</a> </div>
68
+ <div class="headertitle">
69
+ <div class="title">SVF::GrammarBase::SymbolHash Class Reference</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+
73
+ <p><code>#include &lt;<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>&gt;</code></p>
74
+ <table class="memberdecls">
75
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
76
+ Public Member Functions</h2></td></tr>
77
+ <tr class="memitem:a9213c70ec0cb74fbd7559db8fb45fd54"><td class="memItemLeft" align="right" valign="top">size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">operator()</a> (const <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &amp;s) const</td></tr>
78
+ <tr class="separator:a9213c70ec0cb74fbd7559db8fb45fd54"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
+ </table>
80
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
81
+ <div class="textblock">
82
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00139">139</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
83
+ </div><h2 class="groupheader">Member Function Documentation</h2>
84
+ <a id="a9213c70ec0cb74fbd7559db8fb45fd54"></a>
85
+ <h2 class="memtitle"><span class="permalink"><a href="#a9213c70ec0cb74fbd7559db8fb45fd54">&#9670;&nbsp;</a></span>operator()()</h2>
86
+
87
+ <div class="memitem">
88
+ <div class="memproto">
89
+ <table class="mlabels">
90
+ <tr>
91
+ <td class="mlabels-left">
92
+ <table class="memname">
93
+ <tr>
94
+ <td class="memname">size_t SVF::GrammarBase::SymbolHash::operator() </td>
95
+ <td>(</td>
96
+ <td class="paramtype">const <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &amp;&#160;</td>
97
+ <td class="paramname"><em>s</em></td><td>)</td>
98
+ <td> const</td>
99
+ </tr>
100
+ </table>
101
+ </td>
102
+ <td class="mlabels-right">
103
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
104
+ </tr>
105
+ </table>
106
+ </div><div class="memdoc">
107
+
108
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00142">142</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
109
+ <div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; std::hash&lt;u32_t&gt; h;</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> h(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(s));</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</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>
110
+ </div><!-- fragment -->
111
+ </div>
112
+ </div>
113
+ <hr/>The documentation for this class was generated from the following file:<ul>
114
+ <li>/home/runner/work/SVF/SVF/include/CFL/<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a></li>
115
+ </ul>
116
+ </div><!-- contents -->
117
+ <!-- start footer part -->
118
+ <hr class="footer"/><address class="footer"><small>
119
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
120
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
121
+ </a> 1.8.13
122
+ </small></address>
123
+ </body>
124
+ </html>
@@ -70,14 +70,13 @@ $(function() {
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
72
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">build</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"></td></tr>
73
- <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a96bbf4a3b10d1c962c1750af24e17bab">build</a>(Map&lt; std::string, SVF::CFLGraph::Symbol &gt; &amp;preMap) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"></td></tr>
74
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"></td></tr>
75
- <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"></td></tr>
73
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">build</a>(Map&lt; std::string, SVF::GrammarBase::Symbol &gt; &amp;preMap) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"></td></tr>
74
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
75
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
76
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b">GrammarBuilder</a>(std::string fileName)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942">loadFileString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
78
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">loadWordProductions</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
79
- <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#aec359cdc61c47fbd5ef1341e8ef4a556">parseProduction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(std::string s) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">loadWordProductions</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
78
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">parseProductionsString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
79
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(std::string s) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
81
80
  </table></div><!-- contents -->
82
81
  <!-- start footer part -->
83
82
  <hr class="footer"/><address class="footer"><small>