svf-tools 1.0.752 → 1.0.754
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.
- package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +76 -76
- package/SVF-doxygen/html/html/CFGNormalizer_8h.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +29 -29
- package/SVF-doxygen/html/html/CFGrammar_8cpp.html +88 -0
- package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +568 -0
- package/SVF-doxygen/html/html/CFGrammar_8h.html +108 -0
- package/SVF-doxygen/html/html/CFGrammar_8h_source.html +643 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +120 -127
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +14 -14
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +12 -12
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +464 -409
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +10 -2
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +120 -175
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +60 -60
- package/SVF-doxygen/html/html/CFLSolver_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +19 -19
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
- package/SVF-doxygen/html/html/PAGGrammar_8txt.html +209 -0
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +11 -11
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
- package/SVF-doxygen/html/html/VFGGrammar_8txt.html +119 -0
- package/SVF-doxygen/html/html/annotated.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +223 -220
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +119 -119
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar-members.html +158 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.html +1051 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +108 -114
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +17 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +333 -280
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +56 -56
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +76 -76
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver-members.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver.html +53 -53
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +148 -145
- package/SVF-doxygen/html/html/classes.html +6 -6
- package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +7 -2
- package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html +80 -0
- package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -2
- package/SVF-doxygen/html/html/files.html +14 -13
- package/SVF-doxygen/html/html/functions_a.html +5 -5
- package/SVF-doxygen/html/html/functions_b.html +9 -7
- package/SVF-doxygen/html/html/functions_c.html +5 -5
- package/SVF-doxygen/html/html/functions_d.html +1 -1
- package/SVF-doxygen/html/html/functions_e.html +4 -4
- package/SVF-doxygen/html/html/functions_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func.html +5 -5
- package/SVF-doxygen/html/html/functions_func_b.html +9 -7
- package/SVF-doxygen/html/html/functions_func_c.html +5 -5
- package/SVF-doxygen/html/html/functions_func_d.html +1 -1
- package/SVF-doxygen/html/html/functions_func_e.html +3 -3
- package/SVF-doxygen/html/html/functions_func_f.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +13 -13
- package/SVF-doxygen/html/html/functions_func_h.html +3 -3
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_n.html +2 -2
- package/SVF-doxygen/html/html/functions_func_p.html +2 -2
- package/SVF-doxygen/html/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +15 -15
- package/SVF-doxygen/html/html/functions_h.html +3 -3
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_k.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +13 -13
- package/SVF-doxygen/html/html/functions_p.html +16 -12
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +17 -19
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_k.html +2 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/globals.html +6 -4
- package/SVF-doxygen/html/html/globals_defs.html +7 -0
- package/SVF-doxygen/html/html/globals_e.html +1 -1
- package/SVF-doxygen/html/html/globals_g.html +3 -3
- package/SVF-doxygen/html/html/globals_m.html +4 -1
- package/SVF-doxygen/html/html/globals_s.html +1 -1
- package/SVF-doxygen/html/html/globals_v.html +2 -2
- package/SVF-doxygen/html/html/globals_vars.html +12 -10
- package/SVF-doxygen/html/html/hierarchy.html +1 -1
- package/SVF-doxygen/html/html/menudata.js +1 -0
- package/SVF-doxygen/html/html/namespaceSVF.html +40 -2
- package/SVF-doxygen/html/html/namespacemembers_b.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
- package/SVF-doxygen/html/html/search/all_0.js +147 -146
- package/SVF-doxygen/html/html/search/all_1.js +478 -478
- package/SVF-doxygen/html/html/search/all_10.js +327 -325
- package/SVF-doxygen/html/html/search/all_11.js +208 -208
- package/SVF-doxygen/html/html/search/all_12.js +545 -545
- package/SVF-doxygen/html/html/search/all_13.js +189 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_2.js +159 -156
- package/SVF-doxygen/html/html/search/all_3.js +637 -638
- package/SVF-doxygen/html/html/search/all_4.js +227 -227
- package/SVF-doxygen/html/html/search/all_5.js +156 -156
- package/SVF-doxygen/html/html/search/all_6.js +223 -223
- package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
- package/SVF-doxygen/html/html/search/all_8.js +192 -192
- package/SVF-doxygen/html/html/search/all_9.js +597 -597
- package/SVF-doxygen/html/html/search/all_a.js +47 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +113 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +206 -206
- package/SVF-doxygen/html/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +10 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +13 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -6
- package/SVF-doxygen/html/html/search/defines_e.js +6 -3
- package/SVF-doxygen/html/html/search/defines_f.html +6 -2
- package/SVF-doxygen/html/html/search/defines_f.js +3 -26
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -1
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +2 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -13
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -17
- package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +49 -50
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +4 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -19
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +351 -351
- package/SVF-doxygen/html/html/search/functions_1.js +81 -80
- package/SVF-doxygen/html/html/search/functions_10.js +121 -121
- package/SVF-doxygen/html/html/search/functions_11.js +281 -281
- package/SVF-doxygen/html/html/search/functions_12.js +55 -55
- package/SVF-doxygen/html/html/search/functions_13.js +38 -38
- package/SVF-doxygen/html/html/search/functions_14.js +71 -71
- package/SVF-doxygen/html/html/search/functions_15.js +29 -29
- package/SVF-doxygen/html/html/search/functions_16.js +2 -2
- package/SVF-doxygen/html/html/search/functions_17.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +251 -251
- package/SVF-doxygen/html/html/search/functions_3.js +71 -71
- package/SVF-doxygen/html/html/search/functions_4.js +55 -55
- package/SVF-doxygen/html/html/search/functions_5.js +55 -55
- package/SVF-doxygen/html/html/search/functions_6.js +832 -832
- package/SVF-doxygen/html/html/search/functions_7.js +144 -144
- package/SVF-doxygen/html/html/search/functions_8.js +417 -417
- package/SVF-doxygen/html/html/search/functions_9.js +29 -29
- package/SVF-doxygen/html/html/search/functions_a.js +2 -2
- package/SVF-doxygen/html/html/search/functions_b.js +23 -23
- package/SVF-doxygen/html/html/search/functions_c.js +75 -75
- package/SVF-doxygen/html/html/search/functions_d.js +35 -35
- package/SVF-doxygen/html/html/search/functions_e.js +56 -56
- package/SVF-doxygen/html/html/search/functions_f.js +143 -143
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +147 -146
- package/SVF-doxygen/html/html/search/variables_1.js +74 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/html/search/variables_13.js +77 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +35 -35
- package/SVF-doxygen/html/html/search/variables_3.js +148 -148
- package/SVF-doxygen/html/html/search/variables_4.js +56 -56
- package/SVF-doxygen/html/html/search/variables_5.js +40 -40
- package/SVF-doxygen/html/html/search/variables_6.js +67 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +33 -33
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +25 -25
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +8 -12
- package/svf/include/CFL/CFGNormalizer.h +11 -11
- package/svf/include/CFL/{CFLGrammar.h → CFGrammar.h} +5 -5
- package/svf/include/CFL/CFLAlias.h +2 -2
- package/svf/include/CFL/CFLBase.h +2 -2
- package/svf/include/CFL/CFLGramGraphChecker.h +1 -1
- package/svf/include/CFL/CFLGraphBuilder.h +30 -81
- package/svf/include/CFL/CFLSolver.h +8 -8
- package/svf/include/CFL/GrammarBuilder.h +1 -1
- package/svf/include/Graphs/CFLGraph.h +3 -3
- package/svf/lib/CFL/CFGNormalizer.cpp +11 -11
- package/svf/lib/CFL/{CFLGrammar.cpp → CFGrammar.cpp} +7 -7
- package/svf/lib/CFL/CFLBase.cpp +5 -11
- package/svf/lib/CFL/CFLGraphBuilder.cpp +125 -74
- package/svf/lib/CFL/CFLVF.cpp +2 -2
- /package/svf/include/CFL/{CFLGrammar.txt → grammar/PAGGrammar.txt} +0 -0
- /package/svf/include/CFL/{PEGGrammar.txt → grammar/PEGGrammar.txt} +0 -0
- /package/svf/include/CFL/{VFG.txt → grammar/VFGGrammar.txt} +0 -0
|
@@ -101,211 +101,156 @@ $(function() {
|
|
|
101
101
|
<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#ifndef INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div>
|
|
102
102
|
<div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#define INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div>
|
|
103
103
|
<div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  </div>
|
|
104
|
-
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="
|
|
104
|
+
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="CFGrammar_8h.html">CFL/CFGrammar.h</a>"</span></div>
|
|
105
105
|
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="preprocessor">#include "<a class="code" href="CFLGraph_8h.html">Graphs/CFLGraph.h</a>"</span></div>
|
|
106
106
|
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="preprocessor">#include "<a class="code" href="SVFG_8h.html">Graphs/SVFG.h</a>"</span></div>
|
|
107
107
|
<div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  </div>
|
|
108
108
|
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
|
|
109
109
|
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> {</div>
|
|
110
110
|
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  </div>
|
|
111
|
-
<div class="line"><a name="
|
|
112
|
-
<div class="line"><a name="
|
|
113
|
-
<div class="line"><a name="
|
|
114
|
-
<div class="line"><a name="
|
|
115
|
-
<div class="line"><a name="
|
|
116
|
-
<div class="line"><a name="
|
|
117
|
-
<div class="line"><a name="
|
|
118
|
-
<div class="line"><a name="
|
|
119
|
-
<div class="line"><a name="
|
|
120
|
-
<div class="line"><a name="
|
|
121
|
-
<div class="line"><a name="
|
|
122
|
-
<div class="line"><a name="
|
|
123
|
-
<div class="line"><a name="
|
|
111
|
+
<div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa"> 40</a></span> <span class="keyword">enum class</span> <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a></div>
|
|
112
|
+
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span> {</div>
|
|
113
|
+
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">plain</a>,</div>
|
|
114
|
+
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995">bidirection</a>,</div>
|
|
115
|
+
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span> };</div>
|
|
116
|
+
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  </div>
|
|
117
|
+
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html"> 50</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div>
|
|
118
|
+
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span> {</div>
|
|
119
|
+
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span> <span class="keyword">protected</span>:</div>
|
|
120
|
+
<div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48"> 55</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a>;</div>
|
|
121
|
+
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c"> 56</a></span>  <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">Symbol</a>;</div>
|
|
122
|
+
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  </div>
|
|
123
|
+
<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f"> 59</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f">labelToKindMap</a>;</div>
|
|
124
|
+
<div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e"> 60</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">kindToLabelMap</a>;</div>
|
|
124
125
|
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  </div>
|
|
125
|
-
<div class="line"><a name="l00063"></a><span class="lineno"
|
|
126
|
+
<div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068"> 63</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFGrammar::Kind, Set<CFGrammar::Attribute></a>> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068">kindToAttrsMap</a>;</div>
|
|
126
127
|
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  </div>
|
|
127
|
-
<div class="line"><a name="
|
|
128
|
+
<div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18"> 65</a></span>  <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">current</a>;</div>
|
|
129
|
+
<div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac"> 66</a></span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>;</div>
|
|
128
130
|
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  </div>
|
|
129
|
-
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <
|
|
131
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">addAttribute</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> kind, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFGrammar::Attribute</a> attribute);</div>
|
|
130
132
|
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  </div>
|
|
131
|
-
<div class="line"><a name="
|
|
132
|
-
<div class="line"><a name="
|
|
133
|
-
<div class="line"><a name="l00075"></a><span class="lineno"
|
|
134
|
-
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span> 
|
|
135
|
-
<div class="line"><a name="
|
|
136
|
-
<div class="line"><a name="
|
|
137
|
-
<div class="line"><a name="
|
|
138
|
-
<div class="line"><a name="
|
|
139
|
-
<div class="line"><a name="
|
|
140
|
-
<div class="line"><a name="
|
|
141
|
-
<div class="line"><a name="
|
|
142
|
-
<div class="line"><a name="
|
|
143
|
-
<div class="line"><a name="
|
|
144
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div>
|
|
145
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), <a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), edge->getEdgeKind());</div>
|
|
146
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  }</div>
|
|
147
|
-
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  }</div>
|
|
148
|
-
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  }</div>
|
|
133
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8">buildlabelToKindMap</a>(<a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div>
|
|
134
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  </div>
|
|
135
|
+
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9">addGNode</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>);</div>
|
|
136
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  </div>
|
|
137
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f">buildFromText</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fileName, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a> direction = <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">BuildDirection::plain</a>);</div>
|
|
138
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  </div>
|
|
139
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a">buildFromDot</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a> direction = <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">BuildDirection::plain</a>);</div>
|
|
140
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  </div>
|
|
141
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a">buildFromJson</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a> direction = <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">BuildDirection::plain</a>);</div>
|
|
142
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  </div>
|
|
143
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span> <span class="keyword">public</span>:</div>
|
|
144
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keyword">template</span><<span class="keyword">class</span> N, <span class="keyword">class</span> E></div>
|
|
145
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">build</a>(<a class="code" href="classSVF_1_1GenericGraph.html">GenericGraph<N,E></a>* graph, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a> direction = <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">BuildDirection::plain</a>);</div>
|
|
149
146
|
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  </div>
|
|
150
|
-
<div class="line"><a name="
|
|
151
|
-
<div class="line"><a name="
|
|
152
|
-
<div class="line"><a name="
|
|
153
|
-
<div class="line"><a name="
|
|
154
|
-
<div class="line"><a name="
|
|
155
|
-
<div class="line"><a name="
|
|
156
|
-
<div class="line"><a name="
|
|
157
|
-
<div class="line"><a name="
|
|
158
|
-
<div class="line"><a name="
|
|
159
|
-
<div class="line"><a name="
|
|
160
|
-
<div class="line"><a name="
|
|
161
|
-
<div class="line"><a name="
|
|
162
|
-
<div class="line"><a name="
|
|
163
|
-
<div class="line"><a name="
|
|
164
|
-
<div class="line"><a name="
|
|
165
|
-
<div class="line"><a name="
|
|
166
|
-
<div class="line"><a name="
|
|
167
|
-
<div class="line"><a name="
|
|
168
|
-
<div class="line"><a name="
|
|
169
|
-
<div class="line"><a name="
|
|
170
|
-
<div class="line"><a name="
|
|
171
|
-
<div class="line"><a name="
|
|
172
|
-
<div class="line"><a name="
|
|
173
|
-
<div class="line"><a name="
|
|
174
|
-
<div class="line"><a name="
|
|
175
|
-
<div class="line"><a name="
|
|
176
|
-
<div class="line"><a name="
|
|
177
|
-
<div class="line"><a name="
|
|
178
|
-
<div class="line"><a name="
|
|
179
|
-
<div class="line"><a name="
|
|
180
|
-
<div class="line"><a name="
|
|
181
|
-
<div class="line"><a name="
|
|
182
|
-
<div class="line"><a name="
|
|
183
|
-
<div class="line"><a name="
|
|
184
|
-
<div class="line"><a name="
|
|
185
|
-
<div class="line"><a name="
|
|
186
|
-
<div class="line"><a name="
|
|
187
|
-
<div class="line"><a name="
|
|
188
|
-
<div class="line"><a name="
|
|
189
|
-
<div class="line"><a name="
|
|
190
|
-
<div class="line"><a name="
|
|
191
|
-
<div class="line"><a name="
|
|
192
|
-
<div class="line"><a name="
|
|
193
|
-
<div class="line"><a name="
|
|
194
|
-
<div class="line"><a name="
|
|
195
|
-
<div class="line"><a name="
|
|
196
|
-
<div class="line"><a name="
|
|
197
|
-
<div class="line"><a name="
|
|
198
|
-
<div class="line"><a name="
|
|
199
|
-
<div class="line"><a name="
|
|
200
|
-
<div class="line"><a name="
|
|
201
|
-
<div class="line"><a name="
|
|
202
|
-
<div class="line"><a name="
|
|
203
|
-
<div class="line"><a name="
|
|
204
|
-
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  }</div>
|
|
205
|
-
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  </div>
|
|
206
|
-
<div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481"> 156</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">getKindToLabelMap</a>()</div>
|
|
207
|
-
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  {</div>
|
|
208
|
-
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">kindToLabelMap</a>;</div>
|
|
209
|
-
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  }</div>
|
|
210
|
-
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  </div>
|
|
211
|
-
<div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a1e842c12f7d133dba2c221e557562bf7"> 162</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFLGrammar::Kind, Set<CFLGrammar::Attribute></a>>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a1e842c12f7d133dba2c221e557562bf7">getKindToAttrsMap</a>()</div>
|
|
212
|
-
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  {</div>
|
|
213
|
-
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#ae1dbc9979ae6599081a2376539cd28c2">kindToAttrsMap</a>;</div>
|
|
214
|
-
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  }</div>
|
|
215
|
-
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  </div>
|
|
216
|
-
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span> };</div>
|
|
217
|
-
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  </div>
|
|
218
|
-
<div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1AliasCFLGraphBuilder.html"> 171</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html">AliasCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div>
|
|
219
|
-
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span> {</div>
|
|
220
|
-
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span> <span class="keyword">public</span>:</div>
|
|
221
|
-
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">buildBigraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div>
|
|
222
|
-
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  </div>
|
|
223
|
-
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">buildBiPEGgraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
224
|
-
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  </div>
|
|
225
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span> <span class="keyword">private</span>:</div>
|
|
226
|
-
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">connectVGep</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *dst, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> level, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
227
|
-
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  </div>
|
|
228
|
-
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">addBiCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> label);</div>
|
|
229
|
-
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  </div>
|
|
230
|
-
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#a715213d0b521b676832ec73b38d2014e">addBiGepCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attri);</div>
|
|
231
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span> };</div>
|
|
232
|
-
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  </div>
|
|
233
|
-
<div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="classSVF_1_1VFCFLGraphBuilder.html"> 193</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1VFCFLGraphBuilder.html">VFCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div>
|
|
234
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span> {</div>
|
|
235
|
-
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span> <span class="keyword">public</span>:</div>
|
|
236
|
-
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">buildBigraph</a>(<a class="code" href="classSVF_1_1SVFG.html">SVFG</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div>
|
|
237
|
-
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  </div>
|
|
238
|
-
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20">buildBiPEGgraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
239
|
-
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  </div>
|
|
240
|
-
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span> <span class="keyword">private</span>:</div>
|
|
241
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">connectVGep</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *dst, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> level, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
242
|
-
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  </div>
|
|
243
|
-
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#a83cacee4212afcc7c472b1307627e022">addBiCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> label);</div>
|
|
244
|
-
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  </div>
|
|
245
|
-
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#a72a7868442168c5b0978deb10722ba84">addBiGepCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attri);</div>
|
|
246
|
-
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span> };</div>
|
|
247
|
-
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  </div>
|
|
248
|
-
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  </div>
|
|
249
|
-
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span> }<span class="comment">// SVF</span></div>
|
|
250
|
-
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  </div>
|
|
251
|
-
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span> <span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/</span><span class="preprocessor"></span></div>
|
|
147
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">build</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fileName, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">BuildDirection</a> direction = <a class="code" href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">BuildDirection::plain</a>);</div>
|
|
148
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  </div>
|
|
149
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  </div>
|
|
150
|
+
<div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3"> 99</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3">getLabelToKindMap</a>()</div>
|
|
151
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  {</div>
|
|
152
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f">labelToKindMap</a>;</div>
|
|
153
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  }</div>
|
|
154
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  </div>
|
|
155
|
+
<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481"> 105</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">getKindToLabelMap</a>()</div>
|
|
156
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  {</div>
|
|
157
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">kindToLabelMap</a>;</div>
|
|
158
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  }</div>
|
|
159
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  </div>
|
|
160
|
+
<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c"> 111</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFGrammar::Kind, Set<CFGrammar::Attribute></a>>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">getKindToAttrsMap</a>()</div>
|
|
161
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  {</div>
|
|
162
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068">kindToAttrsMap</a>;</div>
|
|
163
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div>
|
|
164
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  </div>
|
|
165
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> };</div>
|
|
166
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  </div>
|
|
167
|
+
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1AliasCFLGraphBuilder.html"> 120</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html">AliasCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div>
|
|
168
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span> {</div>
|
|
169
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span> <span class="keyword">public</span>:</div>
|
|
170
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">buildBigraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div>
|
|
171
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  </div>
|
|
172
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">buildBiPEGgraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
173
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  </div>
|
|
174
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span> <span class="keyword">private</span>:</div>
|
|
175
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">connectVGep</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *dst, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> level, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
176
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  </div>
|
|
177
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e">addBiCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> label);</div>
|
|
178
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  </div>
|
|
179
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333">addBiGepCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFGrammar::Attribute</a> attri);</div>
|
|
180
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span> };</div>
|
|
181
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  </div>
|
|
182
|
+
<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1VFCFLGraphBuilder.html"> 142</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1VFCFLGraphBuilder.html">VFCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div>
|
|
183
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span> {</div>
|
|
184
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span> <span class="keyword">public</span>:</div>
|
|
185
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">buildBigraph</a>(<a class="code" href="classSVF_1_1SVFG.html">SVFG</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div>
|
|
186
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  </div>
|
|
187
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20">buildBiPEGgraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
188
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  </div>
|
|
189
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span> <span class="keyword">private</span>:</div>
|
|
190
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">connectVGep</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *dst, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> level, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div>
|
|
191
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  </div>
|
|
192
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0">addBiCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> label);</div>
|
|
193
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  </div>
|
|
194
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c">addBiGepCFLEdge</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a>, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFGrammar::Attribute</a> attri);</div>
|
|
195
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span> };</div>
|
|
196
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  </div>
|
|
197
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  </div>
|
|
198
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span> }<span class="comment">// SVF</span></div>
|
|
199
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  </div>
|
|
200
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span> <span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/</span><span class="preprocessor"></span></div>
|
|
252
201
|
</div><!-- fragment --></div><!-- contents -->
|
|
253
|
-
<div class="ttc" id="
|
|
254
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aad408d6ecb776fd763c9b9221a1bed18"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">SVF::CFLGraphBuilder::current</a></div><div class="ttdeci">Kind current</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#
|
|
202
|
+
<div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caa"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa">SVF::BuildDirection</a></div><div class="ttdeci">BuildDirection</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00040">CFLGraphBuilder.h:40</a></div></div>
|
|
203
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aad408d6ecb776fd763c9b9221a1bed18"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">SVF::CFLGraphBuilder::current</a></div><div class="ttdeci">Kind current</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00065">CFLGraphBuilder.h:65</a></div></div>
|
|
255
204
|
<div class="ttc" id="aclassSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
|
|
256
205
|
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html_a9feeeca8a919b19693e48d6a382c8871"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">SVF::AliasCFLGraphBuilder::connectVGep</a></div><div class="ttdeci">void connectVGep(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR *pag)</div><div class="ttdoc">Connects VGep (Variable GEP)</div></div>
|
|
257
|
-
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="
|
|
258
|
-
<div class="ttc" id="
|
|
259
|
-
<div class="ttc" id="
|
|
260
|
-
<div class="ttc" id="
|
|
261
|
-
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></div><div class="ttdoc">VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#
|
|
262
|
-
<div class="ttc" id="
|
|
263
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00044">CFLGraphBuilder.h:44</a></div></div>
|
|
206
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
|
|
207
|
+
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html_a3069f804d6e63c5d74dc0b4d7399d43e"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e">SVF::AliasCFLGraphBuilder::addBiCFLEdge</a></div><div class="ttdeci">void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Kind label)</div><div class="ttdoc">Handles edges, with the exception of the GEP.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00433">CFLGraphBuilder.cpp:433</a></div></div>
|
|
208
|
+
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></div><div class="ttdoc">AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00120">CFLGraphBuilder.h:120</a></div></div>
|
|
209
|
+
<div class="ttc" id="aCFGrammar_8h_html"><div class="ttname"><a href="CFGrammar_8h.html">CFGrammar.h</a></div></div>
|
|
210
|
+
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></div><div class="ttdoc">VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00142">CFLGraphBuilder.h:142</a></div></div>
|
|
211
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00050">CFLGraphBuilder.h:50</a></div></div>
|
|
264
212
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
265
|
-
<div class="ttc" id="
|
|
266
|
-
<div class="ttc" id="
|
|
267
|
-
<div class="ttc" id="
|
|
268
|
-
<div class="ttc" id="
|
|
269
|
-
<div class="ttc" id="
|
|
213
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a1e3b5220f536443019ea25262169498a"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a">SVF::CFLGraphBuilder::buildFromDot</a></div><div class="ttdeci">CFLGraph * buildFromDot(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</div><div class="ttdoc">Method to build a CFL graph from a Dot file.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00196">CFLGraphBuilder.cpp:196</a></div></div>
|
|
214
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a27b247b46ce0b467459fcc2d53f50383"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder::build</a></div><div class="ttdeci">CFLGraph * build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00101">CFLGraphBuilder.cpp:101</a></div></div>
|
|
215
|
+
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_ac4a6620622ad6642ed8543e0f8c65c20"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20">SVF::VFCFLGraphBuilder::buildBiPEGgraph</a></div><div class="ttdeci">CFLGraph * buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR *pag)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00539">CFLGraphBuilder.cpp:539</a></div></div>
|
|
216
|
+
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html_aa998adcd267038210c2ed93148d00333"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333">SVF::AliasCFLGraphBuilder::addBiGepCFLEdge</a></div><div class="ttdeci">void addBiGepCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Attribute attri)</div><div class="ttdoc">Adds bidirectional GEP edges with attributes.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00442">CFLGraphBuilder.cpp:442</a></div></div>
|
|
217
|
+
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_a5d1beb9f3fb72fbf8857f97d97085ad0"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0">SVF::VFCFLGraphBuilder::addBiCFLEdge</a></div><div class="ttdeci">void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Kind label)</div><div class="ttdoc">Handles edges, with the exception of the GEP.</div></div>
|
|
218
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aa3fb91f78b5d9e2c0eb24e4986a5926c"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">SVF::CFLGraphBuilder::getKindToAttrsMap</a></div><div class="ttdeci">Map< CFGrammar::Kind, Set< CFGrammar::Attribute > > & getKindToAttrsMap()</div><div class="ttdoc">Returns a reference to the map that associates Kinds with their corresponding attributes.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00111">CFLGraphBuilder.h:111</a></div></div>
|
|
270
219
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00155">CFLGraph.h:155</a></div></div>
|
|
271
|
-
<div class="ttc" id="
|
|
272
|
-
<div class="ttc" id="
|
|
220
|
+
<div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995">SVF::BuildDirection::bidirection</a></div><div class="ttdeci">@ bidirection</div></div>
|
|
221
|
+
<div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">SVF::BuildDirection::plain</a></div><div class="ttdeci">@ plain</div></div>
|
|
273
222
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
274
|
-
<div class="ttc" id="
|
|
275
|
-
<div class="ttc" id="
|
|
276
|
-
<div class="ttc" id="
|
|
277
|
-
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_acd5ade19c0e058bfb41a1a8dd84748e1"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVF...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00401">CFLGraphBuilder.cpp:401</a></div></div>
|
|
278
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_ab0d2bd46dd1c3be10c04f573e9365757"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder::build</a></div><div class="ttdeci">void build(GenericGraph< N, E > *graph, CFLGraph *cflGraph)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00075">CFLGraphBuilder.h:75</a></div></div>
|
|
223
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a1ecf9cad8707ba07d3e44624ea273f2f"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f">SVF::CFLGraphBuilder::labelToKindMap</a></div><div class="ttdeci">Map< std::string, Kind > labelToKindMap</div><div class="ttdoc">Maps to maintain mapping between labels and kinds.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00059">CFLGraphBuilder.h:59</a></div></div>
|
|
224
|
+
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_acd5ade19c0e058bfb41a1a8dd84748e1"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVF...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00452">CFLGraphBuilder.cpp:452</a></div></div>
|
|
225
|
+
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_abc399874243614198b0742d1e76b945c"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c">SVF::VFCFLGraphBuilder::addBiGepCFLEdge</a></div><div class="ttdeci">void addBiGepCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Attribute attri)</div><div class="ttdoc">Adds bidirectional GEP edges with attributes.</div></div>
|
|
279
226
|
<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_a23e16f4dd62ffb96e64318c60f594067"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder::connectVGep</a></div><div class="ttdeci">void connectVGep(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR *pag)</div><div class="ttdoc">Connects VGep (Variable GEP)</div></div>
|
|
280
227
|
<div class="ttc" id="aclassSVF_1_1ConstraintGraph_html"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00044">ConsG.h:44</a></div></div>
|
|
281
228
|
<div class="ttc" id="aSVFG_8h_html"><div class="ttname"><a href="SVFG_8h.html">SVFG.h</a></div></div>
|
|
282
|
-
<div class="ttc" id="
|
|
283
|
-
<div class="ttc" id="
|
|
284
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_af034366ce280120e5cd1a5685894e9ac"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">SVF::CFLGraphBuilder::cflGraph</a></div><div class="ttdeci">CFLGraph * cflGraph</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00060">CFLGraphBuilder.h:60</a></div></div>
|
|
229
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
|
|
230
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_af034366ce280120e5cd1a5685894e9ac"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">SVF::CFLGraphBuilder::cflGraph</a></div><div class="ttdeci">CFLGraph * cflGraph</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00066">CFLGraphBuilder.h:66</a></div></div>
|
|
285
231
|
<div class="ttc" id="aCFLGraph_8h_html"><div class="ttname"><a href="CFLGraph_8h.html">CFLGraph.h</a></div></div>
|
|
286
|
-
<div class="ttc" id="
|
|
232
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a41f8cc1264aa99c581e1d6f3150a2d48"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">SVF::CFLGraphBuilder::Kind</a></div><div class="ttdeci">CFGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00055">CFLGraphBuilder.h:55</a></div></div>
|
|
233
|
+
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html_ac74b55198d73acebb9843fd13c1fd880"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">SVF::AliasCFLGraphBuilder::buildBiPEGgraph</a></div><div class="ttdeci">CFLGraph * buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR *pag)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00293">CFLGraphBuilder.cpp:293</a></div></div>
|
|
287
234
|
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aec30ce1ad7be5ac2e41f73ddba356fd9"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9">SVF::CFLGraphBuilder::addGNode</a></div><div class="ttdeci">CFLNode * addGNode(u32_t NodeID)</div><div class="ttdoc">add src and dst node from file</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00082">CFLGraphBuilder.cpp:82</a></div></div>
|
|
288
235
|
<div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
|
|
289
|
-
<div class="ttc" id="
|
|
290
|
-
<div class="ttc" id="
|
|
291
|
-
<div class="ttc" id="
|
|
292
|
-
<div class="ttc" id="
|
|
293
|
-
<div class="ttc" id="
|
|
294
|
-
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
|
|
236
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a7e564f2fbaf9b92aab3decaf6cba93c3"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3">SVF::CFLGraphBuilder::getLabelToKindMap</a></div><div class="ttdeci">Map< std::string, Kind > & getLabelToKindMap()</div><div class="ttdoc">Returns a reference to the map that associates string labels with their corresponding Kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00099">CFLGraphBuilder.h:99</a></div></div>
|
|
237
|
+
<div class="ttc" id="aclassSVF_1_1AliasCFLGraphBuilder_html_ab19243c4aceffce7b257f3d8cb3050fd"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from Gen...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00251">CFLGraphBuilder.cpp:251</a></div></div>
|
|
238
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aa1a24c858e46b68e9f6a99668d880f6a"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a">SVF::CFLGraphBuilder::buildFromJson</a></div><div class="ttdeci">CFLGraph * buildFromJson(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</div><div class="ttdoc">Method to build a CFL graph from a Json file.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00244">CFLGraphBuilder.cpp:244</a></div></div>
|
|
239
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00040">CFGrammar.h:40</a></div></div>
|
|
240
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
|
|
295
241
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
296
|
-
<div class="ttc" id="
|
|
297
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a6c9fa25204550dc5bea1cae52a61472b"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">SVF::CFLGraphBuilder::buildFromDot</a></div><div class="ttdeci">CFLGraph * buildFromDot(std::string filename, GrammarBase *grammar)</div><div class="ttdoc">Method to build a CFL graph from a Dot file.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00153">CFLGraphBuilder.cpp:153</a></div></div>
|
|
242
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_af34aa7ae71e100d8bbe7c1b17c1f0068"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068">SVF::CFLGraphBuilder::kindToAttrsMap</a></div><div class="ttdeci">Map< CFGrammar::Kind, Set< CFGrammar::Attribute > > kindToAttrsMap</div><div class="ttdoc">Map to maintain attributes associated with each kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00063">CFLGraphBuilder.h:63</a></div></div>
|
|
298
243
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
299
244
|
<div class="ttc" id="aclassSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00076">CFLGraph.h:76</a></div></div>
|
|
300
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a03686822a9dd7d886f3c41ba79f8b481"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">SVF::CFLGraphBuilder::getKindToLabelMap</a></div><div class="ttdeci">Map< Kind, std::string > & getKindToLabelMap()</div><div class="ttdoc">Returns a reference to the map that associates Kinds with their corresponding string labels.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#
|
|
245
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a03686822a9dd7d886f3c41ba79f8b481"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">SVF::CFLGraphBuilder::getKindToLabelMap</a></div><div class="ttdeci">Map< Kind, std::string > & getKindToLabelMap()</div><div class="ttdoc">Returns a reference to the map that associates Kinds with their corresponding string labels.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00105">CFLGraphBuilder.h:105</a></div></div>
|
|
301
246
|
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a01e5d31c43d40f8a518aa8d371b085d8"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8">SVF::CFLGraphBuilder::buildlabelToKindMap</a></div><div class="ttdeci">void buildlabelToKindMap(GrammarBase *grammar)</div><div class="ttdoc">build label and kind connect from the grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00054">CFLGraphBuilder.cpp:54</a></div></div>
|
|
302
|
-
<div class="ttc" id="
|
|
303
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
|
|
247
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_af05b577fbb64082d80ca4cfa2e2bc4f1"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">SVF::CFLGraphBuilder::addAttribute</a></div><div class="ttdeci">void addAttribute(CFGrammar::Kind kind, CFGrammar::Attribute attribute)</div><div class="ttdoc">Method to add an attribute to a specific kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00037">CFLGraphBuilder.cpp:37</a></div></div>
|
|
304
248
|
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
|
|
305
|
-
<div class="ttc" id="
|
|
249
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a2ab271d42ab82aea2adf8b0e641aa39c"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00056">CFLGraphBuilder.h:56</a></div></div>
|
|
306
250
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</a></div></div>
|
|
307
251
|
<div class="ttc" id="anamespaceSVF_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="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
308
|
-
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a93b41c2f0eca82e6eaf49895b2b13a1e"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">SVF::CFLGraphBuilder::kindToLabelMap</a></div><div class="ttdeci">Map< Kind, std::string > kindToLabelMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#
|
|
252
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a93b41c2f0eca82e6eaf49895b2b13a1e"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">SVF::CFLGraphBuilder::kindToLabelMap</a></div><div class="ttdeci">Map< Kind, std::string > kindToLabelMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00060">CFLGraphBuilder.h:60</a></div></div>
|
|
253
|
+
<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_aea046c5f1971069a50100afe7ffed89f"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f">SVF::CFLGraphBuilder::buildFromText</a></div><div class="ttdeci">CFLGraph * buildFromText(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</div><div class="ttdoc">Method to build a CFL graph from a Text file.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00142">CFLGraphBuilder.cpp:142</a></div></div>
|
|
309
254
|
<!-- start footer part -->
|
|
310
255
|
<hr class="footer"/><address class="footer"><small>
|
|
311
256
|
Generated by  <a href="http://www.doxygen.org/index.html">
|