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
@@ -59,286 +59,193 @@ $(function() {
59
59
  </div><!-- top -->
60
60
  <div class="header">
61
61
  <div class="summary">
62
- <a href="#func-members">Functions</a> &#124;
63
62
  <a href="#var-members">Variables</a> </div>
64
63
  <div class="headertitle">
65
64
  <div class="title">/home/runner/work/SVF/SVF/include/CFL/CFLGrammar.txt File Reference</div> </div>
66
65
  </div><!--header-->
67
66
  <div class="contents">
68
67
  <table class="memberdecls">
69
- <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
70
- Functions</h2></td></tr>
71
- <tr class="memitem:a6434ab7c4bf9aff40fdc0eccb3b2233b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6434ab7c4bf9aff40fdc0eccb3b2233b">Addr</a> (Copy) *</td></tr>
72
- <tr class="separator:a6434ab7c4bf9aff40fdc0eccb3b2233b"><td class="memSeparator" colspan="2">&#160;</td></tr>
73
- <tr class="memitem:a31f4235535454cb2ef4e9f913aae1fdb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a31f4235535454cb2ef4e9f913aae1fdb">Addr</a> (Store V Load) *</td></tr>
74
- <tr class="separator:a31f4235535454cb2ef4e9f913aae1fdb"><td class="memSeparator" colspan="2">&#160;</td></tr>
75
- <tr class="memitem:ab3e8365e4019f02941439ff7980d8972"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972">F</a> (Copy) *</td></tr>
76
- <tr class="separator:ab3e8365e4019f02941439ff7980d8972"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
- <tr class="memitem:a5526c6e27f7632db909dee64f361d2c9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> (Store V Load) *</td></tr>
78
- <tr class="separator:a5526c6e27f7632db909dee64f361d2c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
- <tr class="memitem:abe55d46cd4b862944984f96d21c66c6d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#abe55d46cd4b862944984f96d21c66c6d">Addrbar</a> (Copybar) *</td></tr>
80
- <tr class="separator:abe55d46cd4b862944984f96d21c66c6d"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:afb4c9b0a496866ec32706fadad690e73"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb4c9b0a496866ec32706fadad690e73">Addrbar</a> (Loadbar V Storebar) *</td></tr>
82
- <tr class="separator:afb4c9b0a496866ec32706fadad690e73"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
- <tr class="memitem:a6fd7ba961de09e32f8086ffb5c1d49cb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">Fbar</a> (Copybar) *</td></tr>
84
- <tr class="separator:a6fd7ba961de09e32f8086ffb5c1d49cb"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
- <tr class="memitem:a4154da66867aeecdfb16bff361b9d1ce"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a4154da66867aeecdfb16bff361b9d1ce">Fbar</a> (Loadbar V Storebar) *</td></tr>
86
- <tr class="separator:a4154da66867aeecdfb16bff361b9d1ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
- </table><table class="memberdecls">
88
68
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
89
69
  Variables</h2></td></tr>
90
70
  <tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
91
71
  <tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
- <tr class="memitem:ac999a2adc7cbeaf993f9a04c8ef24011"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ac999a2adc7cbeaf993f9a04c8ef24011">Addrbar</a></td></tr>
93
- <tr class="separator:ac999a2adc7cbeaf993f9a04c8ef24011"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
- <tr class="memitem:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></td></tr>
72
+ <tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
73
+ <tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2">&#160;</td></tr>
74
+ <tr class="memitem:aac550daeb926fa3c77376959d6712fc6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6">Load</a></td></tr>
75
+ <tr class="separator:aac550daeb926fa3c77376959d6712fc6"><td class="memSeparator" colspan="2">&#160;</td></tr>
76
+ <tr class="memitem:a439ab12c27eee7f7bf2190c952ba5725"><td class="memItemLeft" align="right" valign="top">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a></td></tr>
77
+ <tr class="separator:a439ab12c27eee7f7bf2190c952ba5725"><td class="memSeparator" colspan="2">&#160;</td></tr>
78
+ <tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
79
+ <tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
80
+ <tr class="memitem:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a></td></tr>
81
+ <tr class="separator:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ <tr class="memitem:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></td></tr>
95
83
  <tr class="separator:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
- <tr class="memitem:a5b3055246549a012698b576b9d1b25c3"><td class="memItemLeft" align="right" valign="top">V Gepbar_i V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a5b3055246549a012698b576b9d1b25c3">Gep_i</a></td></tr>
97
- <tr class="separator:a5b3055246549a012698b576b9d1b25c3"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
- <tr class="memitem:a2ffa1ee00ec8ef61103041d6cff4a7f9"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#afb4c9b0a496866ec32706fadad690e73">Addrbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9">Addr</a></td></tr>
99
- <tr class="separator:a2ffa1ee00ec8ef61103041d6cff4a7f9"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
- <tr class="memitem:ac2933a97eaa2fb70d499347016ae1636"><td class="memItemLeft" align="right" valign="top">V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636">epsilon</a></td></tr>
101
- <tr class="separator:ac2933a97eaa2fb70d499347016ae1636"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
+ <tr class="memitem:a017fa6c558fa1eff0a13180c8340aba8"><td class="memItemLeft" align="right" valign="top">V Addrbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a></td></tr>
85
+ <tr class="separator:a017fa6c558fa1eff0a13180c8340aba8"><td class="memSeparator" colspan="2">&#160;</td></tr>
86
+ <tr class="memitem:a3570ef0c1d906134e5aa6077d39fef04"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a></td></tr>
87
+ <tr class="separator:a3570ef0c1d906134e5aa6077d39fef04"><td class="memSeparator" colspan="2">&#160;</td></tr>
88
+ <tr class="memitem:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memItemLeft" align="right" valign="top">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5">Vgep</a></td></tr>
89
+ <tr class="separator:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
90
  </table>
103
- <h2 class="groupheader">Function Documentation</h2>
104
- <a id="a6434ab7c4bf9aff40fdc0eccb3b2233b"></a>
105
- <h2 class="memtitle"><span class="permalink"><a href="#a6434ab7c4bf9aff40fdc0eccb3b2233b">&#9670;&nbsp;</a></span>Addr() <span class="overload">[1/2]</span></h2>
91
+ <h2 class="groupheader">Variable Documentation</h2>
92
+ <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
93
+ <h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
106
94
 
107
95
  <div class="memitem">
108
96
  <div class="memproto">
109
97
  <table class="memname">
110
98
  <tr>
111
- <td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> Addr </td>
112
- <td>(</td>
113
- <td class="paramtype">Copy&#160;</td>
114
- <td class="paramname"></td><td>)</td>
115
- <td></td>
99
+ <td class="memname">Start __pad0__</td>
116
100
  </tr>
117
101
  </table>
118
102
  </div><div class="memdoc">
119
103
 
120
- </div>
121
- </div>
122
- <a id="a31f4235535454cb2ef4e9f913aae1fdb"></a>
123
- <h2 class="memtitle"><span class="permalink"><a href="#a31f4235535454cb2ef4e9f913aae1fdb">&#9670;&nbsp;</a></span>Addr() <span class="overload">[2/2]</span></h2>
124
-
125
- <div class="memitem">
126
- <div class="memproto">
127
- <table class="memname">
128
- <tr>
129
- <td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> Addr </td>
130
- <td>(</td>
131
- <td class="paramtype">Store V&#160;</td>
132
- <td class="paramname"><em>Load</em></td><td>)</td>
133
- <td></td>
134
- </tr>
135
- </table>
136
- </div><div class="memdoc">
104
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00006">6</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
137
105
 
138
106
  </div>
139
107
  </div>
140
- <a id="abe55d46cd4b862944984f96d21c66c6d"></a>
141
- <h2 class="memtitle"><span class="permalink"><a href="#abe55d46cd4b862944984f96d21c66c6d">&#9670;&nbsp;</a></span>Addrbar() <span class="overload">[1/2]</span></h2>
108
+ <a id="a017fa6c558fa1eff0a13180c8340aba8"></a>
109
+ <h2 class="memtitle"><span class="permalink"><a href="#a017fa6c558fa1eff0a13180c8340aba8">&#9670;&nbsp;</a></span>Addr</h2>
142
110
 
143
111
  <div class="memitem">
144
112
  <div class="memproto">
145
113
  <table class="memname">
146
114
  <tr>
147
- <td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> Addrbar </td>
148
- <td>(</td>
149
- <td class="paramtype">Copybar&#160;</td>
150
- <td class="paramname"></td><td>)</td>
151
- <td></td>
115
+ <td class="memname">V Addrbar Addr</td>
152
116
  </tr>
153
117
  </table>
154
118
  </div><div class="memdoc">
155
119
 
156
- </div>
157
- </div>
158
- <a id="afb4c9b0a496866ec32706fadad690e73"></a>
159
- <h2 class="memtitle"><span class="permalink"><a href="#afb4c9b0a496866ec32706fadad690e73">&#9670;&nbsp;</a></span>Addrbar() <span class="overload">[2/2]</span></h2>
160
-
161
- <div class="memitem">
162
- <div class="memproto">
163
- <table class="memname">
164
- <tr>
165
- <td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> Addrbar </td>
166
- <td>(</td>
167
- <td class="paramtype">Loadbar V&#160;</td>
168
- <td class="paramname"><em>Storebar</em></td><td>)</td>
169
- <td></td>
170
- </tr>
171
- </table>
172
- </div><div class="memdoc">
120
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00014">14</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
173
121
 
174
122
  </div>
175
123
  </div>
176
- <a id="ab3e8365e4019f02941439ff7980d8972"></a>
177
- <h2 class="memtitle"><span class="permalink"><a href="#ab3e8365e4019f02941439ff7980d8972">&#9670;&nbsp;</a></span>F() <span class="overload">[1/2]</span></h2>
124
+ <a id="a36f63c7a581bf6d351f835c6127a2519"></a>
125
+ <h2 class="memtitle"><span class="permalink"><a href="#a36f63c7a581bf6d351f835c6127a2519">&#9670;&nbsp;</a></span>Copy</h2>
178
126
 
179
127
  <div class="memitem">
180
128
  <div class="memproto">
181
129
  <table class="memname">
182
130
  <tr>
183
- <td class="memname">F </td>
184
- <td>(</td>
185
- <td class="paramtype">Copy&#160;</td>
186
- <td class="paramname"></td><td>)</td>
187
- <td></td>
131
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Copy</td>
188
132
  </tr>
189
133
  </table>
190
134
  </div><div class="memdoc">
191
135
 
192
- </div>
193
- </div>
194
- <a id="a5526c6e27f7632db909dee64f361d2c9"></a>
195
- <h2 class="memtitle"><span class="permalink"><a href="#a5526c6e27f7632db909dee64f361d2c9">&#9670;&nbsp;</a></span>F() <span class="overload">[2/2]</span></h2>
196
-
197
- <div class="memitem">
198
- <div class="memproto">
199
- <table class="memname">
200
- <tr>
201
- <td class="memname">F </td>
202
- <td>(</td>
203
- <td class="paramtype">Store V&#160;</td>
204
- <td class="paramname"><em>Load</em></td><td>)</td>
205
- <td></td>
206
- </tr>
207
- </table>
208
- </div><div class="memdoc">
136
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
209
137
 
210
138
  </div>
211
139
  </div>
212
- <a id="a6fd7ba961de09e32f8086ffb5c1d49cb"></a>
213
- <h2 class="memtitle"><span class="permalink"><a href="#a6fd7ba961de09e32f8086ffb5c1d49cb">&#9670;&nbsp;</a></span>Fbar() <span class="overload">[1/2]</span></h2>
140
+ <a id="a114c2e5cd44b3ea4720e9191ed819f3b"></a>
141
+ <h2 class="memtitle"><span class="permalink"><a href="#a114c2e5cd44b3ea4720e9191ed819f3b">&#9670;&nbsp;</a></span>epsilon</h2>
214
142
 
215
143
  <div class="memitem">
216
144
  <div class="memproto">
217
145
  <table class="memname">
218
146
  <tr>
219
- <td class="memname">Fbar </td>
220
- <td>(</td>
221
- <td class="paramtype">Copybar&#160;</td>
222
- <td class="paramname"></td><td>)</td>
223
- <td></td>
147
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> epsilon</td>
224
148
  </tr>
225
149
  </table>
226
150
  </div><div class="memdoc">
227
151
 
228
- </div>
229
- </div>
230
- <a id="a4154da66867aeecdfb16bff361b9d1ce"></a>
231
- <h2 class="memtitle"><span class="permalink"><a href="#a4154da66867aeecdfb16bff361b9d1ce">&#9670;&nbsp;</a></span>Fbar() <span class="overload">[2/2]</span></h2>
232
-
233
- <div class="memitem">
234
- <div class="memproto">
235
- <table class="memname">
236
- <tr>
237
- <td class="memname">Fbar </td>
238
- <td>(</td>
239
- <td class="paramtype">Loadbar V&#160;</td>
240
- <td class="paramname"><em>Storebar</em></td><td>)</td>
241
- <td></td>
242
- </tr>
243
- </table>
244
- </div><div class="memdoc">
152
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
245
153
 
246
154
  </div>
247
155
  </div>
248
- <h2 class="groupheader">Variable Documentation</h2>
249
- <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
250
- <h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
156
+ <a id="acc7b4cf736579c4d83be2316d5a9e5f2"></a>
157
+ <h2 class="memtitle"><span class="permalink"><a href="#acc7b4cf736579c4d83be2316d5a9e5f2">&#9670;&nbsp;</a></span>F</h2>
251
158
 
252
159
  <div class="memitem">
253
160
  <div class="memproto">
254
161
  <table class="memname">
255
162
  <tr>
256
- <td class="memname">Start __pad0__</td>
163
+ <td class="memname">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V F</td>
257
164
  </tr>
258
165
  </table>
259
166
  </div><div class="memdoc">
260
167
 
261
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00004">4</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
168
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00013">13</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
262
169
 
263
170
  </div>
264
171
  </div>
265
- <a id="a2ffa1ee00ec8ef61103041d6cff4a7f9"></a>
266
- <h2 class="memtitle"><span class="permalink"><a href="#a2ffa1ee00ec8ef61103041d6cff4a7f9">&#9670;&nbsp;</a></span>Addr</h2>
172
+ <a id="ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"></a>
173
+ <h2 class="memtitle"><span class="permalink"><a href="#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">&#9670;&nbsp;</a></span>Fbar</h2>
267
174
 
268
175
  <div class="memitem">
269
176
  <div class="memproto">
270
177
  <table class="memname">
271
178
  <tr>
272
- <td class="memname">Vbar <a class="el" href="CFLGrammar_8txt.html#afb4c9b0a496866ec32706fadad690e73">Addrbar</a> Addr</td>
179
+ <td class="memname">Fbar Loadbar V Storebar Fbar</td>
273
180
  </tr>
274
181
  </table>
275
182
  </div><div class="memdoc">
276
183
 
277
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
184
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
278
185
 
279
186
  </div>
280
187
  </div>
281
- <a id="ac999a2adc7cbeaf993f9a04c8ef24011"></a>
282
- <h2 class="memtitle"><span class="permalink"><a href="#ac999a2adc7cbeaf993f9a04c8ef24011">&#9670;&nbsp;</a></span>Addrbar</h2>
188
+ <a id="a3570ef0c1d906134e5aa6077d39fef04"></a>
189
+ <h2 class="memtitle"><span class="permalink"><a href="#a3570ef0c1d906134e5aa6077d39fef04">&#9670;&nbsp;</a></span>Gep_i</h2>
283
190
 
284
191
  <div class="memitem">
285
192
  <div class="memproto">
286
193
  <table class="memname">
287
194
  <tr>
288
- <td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> Addrbar</td>
195
+ <td class="memname">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V Gep_i</td>
289
196
  </tr>
290
197
  </table>
291
198
  </div><div class="memdoc">
292
199
 
293
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00009">9</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
200
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
294
201
 
295
202
  </div>
296
203
  </div>
297
- <a id="ac2933a97eaa2fb70d499347016ae1636"></a>
298
- <h2 class="memtitle"><span class="permalink"><a href="#ac2933a97eaa2fb70d499347016ae1636">&#9670;&nbsp;</a></span>epsilon</h2>
204
+ <a id="a439ab12c27eee7f7bf2190c952ba5725"></a>
205
+ <h2 class="memtitle"><span class="permalink"><a href="#a439ab12c27eee7f7bf2190c952ba5725">&#9670;&nbsp;</a></span>Gepbar_i</h2>
299
206
 
300
207
  <div class="memitem">
301
208
  <div class="memproto">
302
209
  <table class="memname">
303
210
  <tr>
304
- <td class="memname">Vbar epsilon</td>
211
+ <td class="memname">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> Gepbar_i</td>
305
212
  </tr>
306
213
  </table>
307
214
  </div><div class="memdoc">
308
215
 
309
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00017">17</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
216
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00009">9</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
310
217
 
311
218
  </div>
312
219
  </div>
313
- <a id="acc7b4cf736579c4d83be2316d5a9e5f2"></a>
314
- <h2 class="memtitle"><span class="permalink"><a href="#acc7b4cf736579c4d83be2316d5a9e5f2">&#9670;&nbsp;</a></span>F</h2>
220
+ <a id="aac550daeb926fa3c77376959d6712fc6"></a>
221
+ <h2 class="memtitle"><span class="permalink"><a href="#aac550daeb926fa3c77376959d6712fc6">&#9670;&nbsp;</a></span>Load</h2>
315
222
 
316
223
  <div class="memitem">
317
224
  <div class="memproto">
318
225
  <table class="memname">
319
226
  <tr>
320
- <td class="memname">V <a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> V F</td>
227
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V Load</td>
321
228
  </tr>
322
229
  </table>
323
230
  </div><div class="memdoc">
324
231
 
325
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00014">14</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
232
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00008">8</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
326
233
 
327
234
  </div>
328
235
  </div>
329
- <a id="a5b3055246549a012698b576b9d1b25c3"></a>
330
- <h2 class="memtitle"><span class="permalink"><a href="#a5b3055246549a012698b576b9d1b25c3">&#9670;&nbsp;</a></span>Gep_i</h2>
236
+ <a id="a0ac67c3cc3f9d992f8c4e779092905e5"></a>
237
+ <h2 class="memtitle"><span class="permalink"><a href="#a0ac67c3cc3f9d992f8c4e779092905e5">&#9670;&nbsp;</a></span>Vgep</h2>
331
238
 
332
239
  <div class="memitem">
333
240
  <div class="memproto">
334
241
  <table class="memname">
335
242
  <tr>
336
- <td class="memname">Vbar Gepbar_i Vbar Gep_i</td>
243
+ <td class="memname">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
337
244
  </tr>
338
245
  </table>
339
246
  </div><div class="memdoc">
340
247
 
341
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
248
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
342
249
 
343
250
  </div>
344
251
  </div>