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
|
@@ -105,10 +105,10 @@ Public Types</h2></td></tr>
|
|
|
105
105
|
<tr class="memitem:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>< const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a></td></tr>
|
|
106
106
|
<tr class="memdesc:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Define worklist. <a href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">More...</a><br /></td></tr>
|
|
107
107
|
<tr class="separator:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
|
-
<tr class="memitem:
|
|
109
|
-
<tr class="separator:
|
|
110
|
-
<tr class="memitem:
|
|
111
|
-
<tr class="separator:
|
|
108
|
+
<tr class="memitem:a6a0d61a71c25ed2e87c4c15c5175a77e inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFGrammar::Production</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a></td></tr>
|
|
109
|
+
<tr class="separator:a6a0d61a71c25ed2e87c4c15c5175a77e inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
|
+
<tr class="memitem:a6c5e6474c6dfe0a067d397ea66c24dac inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFGrammar::Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a></td></tr>
|
|
111
|
+
<tr class="separator:a6c5e6474c6dfe0a067d397ea66c24dac inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
112
|
</table><table class="memberdecls">
|
|
113
113
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
114
114
|
Public Member Functions</h2></td></tr>
|
|
@@ -147,8 +147,8 @@ Public Member Functions</h2></td></tr>
|
|
|
147
147
|
<tr class="separator:a4a688b3d2bc6d9fd9ad0414e715ad4f4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
148
148
|
<tr class="memitem:a1c612d315cb42ea6d4722357e5869ebc"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#a1c612d315cb42ea6d4722357e5869ebc">clearEdges</a> (const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> key)</td></tr>
|
|
149
149
|
<tr class="separator:a1c612d315cb42ea6d4722357e5869ebc"><td class="memSeparator" colspan="2"> </td></tr>
|
|
150
|
-
<tr class="memitem:
|
|
151
|
-
<tr class="separator:
|
|
150
|
+
<tr class="memitem:ac9a41a439655caa32c5ce15e2b9c1607"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</a> (<a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *_graph, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *_grammar)</td></tr>
|
|
151
|
+
<tr class="separator:ac9a41a439655caa32c5ce15e2b9c1607"><td class="memSeparator" colspan="2"> </td></tr>
|
|
152
152
|
<tr class="memitem:a5149116e1dbcffcf656f5a63fa0e0c25"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">~POCRSolver</a> ()</td></tr>
|
|
153
153
|
<tr class="memdesc:a5149116e1dbcffcf656f5a63fa0e0c25"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">More...</a><br /></td></tr>
|
|
154
154
|
<tr class="separator:a5149116e1dbcffcf656f5a63fa0e0c25"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -162,8 +162,8 @@ Public Member Functions</h2></td></tr>
|
|
|
162
162
|
<tr class="memdesc:aee3dd69ba726e194dd31e73d1a9ec8e2"><td class="mdescLeft"> </td><td class="mdescRight">Initialize worklist. <a href="classSVF_1_1POCRSolver.html#aee3dd69ba726e194dd31e73d1a9ec8e2">More...</a><br /></td></tr>
|
|
163
163
|
<tr class="separator:aee3dd69ba726e194dd31e73d1a9ec8e2"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
164
|
<tr class="inherit_header pub_methods_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td></tr>
|
|
165
|
-
<tr class="memitem:
|
|
166
|
-
<tr class="separator:
|
|
165
|
+
<tr class="memitem:afcb585bec6a86f29e9781a5e7ef21dc4 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a> (<a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *_graph, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *_grammar)</td></tr>
|
|
166
|
+
<tr class="separator:afcb585bec6a86f29e9781a5e7ef21dc4 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
167
167
|
<tr class="memitem:a95abd86cf49d28585753ad01b8c8d934 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a95abd86cf49d28585753ad01b8c8d934">~CFLSolver</a> ()</td></tr>
|
|
168
168
|
<tr class="separator:a95abd86cf49d28585753ad01b8c8d934 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
169
169
|
<tr class="memitem:a2ee3436c26ebdb2aaf790c25b1d8b5a6 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a> ()</td></tr>
|
|
@@ -172,9 +172,9 @@ Public Member Functions</h2></td></tr>
|
|
|
172
172
|
<tr class="memitem:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a> () const</td></tr>
|
|
173
173
|
<tr class="memdesc:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Graph. <a href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">More...</a><br /></td></tr>
|
|
174
174
|
<tr class="separator:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
175
|
-
<tr class="memitem:
|
|
176
|
-
<tr class="memdesc:
|
|
177
|
-
<tr class="separator:
|
|
175
|
+
<tr class="memitem:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">getGrammar</a> () const</td></tr>
|
|
176
|
+
<tr class="memdesc:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Grammar. <a href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">More...</a><br /></td></tr>
|
|
177
|
+
<tr class="separator:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
178
178
|
<tr class="memitem:aa6123d73f71b9148d7aafb2ec58bbb34 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a> (const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>)</td></tr>
|
|
179
179
|
<tr class="separator:aa6123d73f71b9148d7aafb2ec58bbb34 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
180
180
|
<tr class="memitem:ab17e45749a732a0ca29eecf6359e2f2f inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f">isWorklistEmpty</a> ()</td></tr>
|
|
@@ -210,8 +210,8 @@ Protected Attributes</h2></td></tr>
|
|
|
210
210
|
<tr class="inherit_header pro_attribs_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td></tr>
|
|
211
211
|
<tr class="memitem:aedd6c605c4c381c738f4c6682c40d9f2 inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td></tr>
|
|
212
212
|
<tr class="separator:aedd6c605c4c381c738f4c6682c40d9f2 inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
213
|
-
<tr class="memitem:
|
|
214
|
-
<tr class="separator:
|
|
213
|
+
<tr class="memitem:a89781bbd0edd309b7c473ed154e7c11d inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a></td></tr>
|
|
214
|
+
<tr class="separator:a89781bbd0edd309b7c473ed154e7c11d inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
215
215
|
<tr class="memitem:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td></tr>
|
|
216
216
|
<tr class="memdesc:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Worklist for resolution. <a href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">More...</a><br /></td></tr>
|
|
217
217
|
<tr class="separator:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -292,8 +292,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
292
292
|
</div>
|
|
293
293
|
</div>
|
|
294
294
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
295
|
-
<a id="
|
|
296
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
295
|
+
<a id="ac9a41a439655caa32c5ce15e2b9c1607"></a>
|
|
296
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac9a41a439655caa32c5ce15e2b9c1607">◆ </a></span>POCRSolver()</h2>
|
|
297
297
|
|
|
298
298
|
<div class="memitem">
|
|
299
299
|
<div class="memproto">
|
|
@@ -310,7 +310,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
310
310
|
<tr>
|
|
311
311
|
<td class="paramkey"></td>
|
|
312
312
|
<td></td>
|
|
313
|
-
<td class="paramtype"><a class="el" href="
|
|
313
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
314
314
|
<td class="paramname"><em>_grammar</em> </td>
|
|
315
315
|
</tr>
|
|
316
316
|
<tr>
|
|
@@ -327,7 +327,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
327
327
|
</div><div class="memdoc">
|
|
328
328
|
|
|
329
329
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00269">269</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
330
|
-
<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span> 
|
|
330
|
+
<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  : <a class="code" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a>(_graph, _grammar)</div>
|
|
331
331
|
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  {</div>
|
|
332
332
|
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  <a class="code" href="classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc">buildCFLData</a>();</div>
|
|
333
333
|
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  }</div>
|
|
@@ -1233,11 +1233,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1233
1233
|
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <a class="code" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(edge);</div>
|
|
1234
1234
|
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  }</div>
|
|
1235
1235
|
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  </div>
|
|
1236
|
-
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1236
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>())</div>
|
|
1237
1237
|
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  {</div>
|
|
1238
1238
|
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> IDMap : <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>())</div>
|
|
1239
1239
|
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  {</div>
|
|
1240
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1240
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
1241
1241
|
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">addEdge</a>(IDMap.first, IDMap.first, X))</div>
|
|
1242
1242
|
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  {</div>
|
|
1243
1243
|
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(IDMap.first);</div>
|
|
@@ -1288,11 +1288,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1288
1288
|
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = Y_edge-><a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>();</div>
|
|
1289
1289
|
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* j = Y_edge-><a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div>
|
|
1290
1290
|
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  </div>
|
|
1291
|
-
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1292
|
-
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1293
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1291
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> Y = Y_edge-><a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>();</div>
|
|
1292
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">hasProdsFromSingleRHS</a>(Y))</div>
|
|
1293
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">getProdsFromSingleRHS</a>(Y))</div>
|
|
1294
1294
|
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  {</div>
|
|
1295
|
-
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1295
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
1296
1296
|
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>++;</div>
|
|
1297
1297
|
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">addEdge</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), X))</div>
|
|
1298
1298
|
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  {</div>
|
|
@@ -1302,12 +1302,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1302
1302
|
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  </div>
|
|
1303
1303
|
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  }</div>
|
|
1304
1304
|
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  </div>
|
|
1305
|
-
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1306
|
-
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1305
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">hasProdsFromFirstRHS</a>(Y))</div>
|
|
1306
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">getProdsFromFirstRHS</a>(Y))</div>
|
|
1307
1307
|
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  {</div>
|
|
1308
|
-
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1309
|
-
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffDsts = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1310
|
-
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1308
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
1309
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffDsts = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod)], X);</div>
|
|
1310
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod)].count();</div>
|
|
1311
1311
|
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> diffDst: diffDsts)</div>
|
|
1312
1312
|
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  {</div>
|
|
1313
1313
|
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(diffDst), X);</div>
|
|
@@ -1315,12 +1315,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1315
1315
|
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  }</div>
|
|
1316
1316
|
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div>
|
|
1317
1317
|
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  </div>
|
|
1318
|
-
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1319
|
-
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1318
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">hasProdsFromSecondRHS</a>(Y))</div>
|
|
1319
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">getProdsFromSecondRHS</a>(Y))</div>
|
|
1320
1320
|
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  {</div>
|
|
1321
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1322
|
-
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffSrcs = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(<a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1323
|
-
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
1321
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
1322
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffSrcs = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(<a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod)], j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), X);</div>
|
|
1323
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod)].count();</div>
|
|
1324
1324
|
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> diffSrc: diffSrcs)</div>
|
|
1325
1325
|
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  {</div>
|
|
1326
1326
|
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(diffSrc), j, X);</div>
|
|
@@ -1433,47 +1433,47 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1433
1433
|
<li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLSolver_8cpp_source.html">CFLSolver.cpp</a></li>
|
|
1434
1434
|
</ul>
|
|
1435
1435
|
</div><!-- contents -->
|
|
1436
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a0c436fdc35825a0f5c244b3f3441ae1a"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">SVF::CFGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00353">CFGrammar.h:353</a></div></div>
|
|
1436
1437
|
<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
|
|
1437
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00360">CFLGrammar.h:360</a></div></div>
|
|
1438
1438
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00047">CFLGraph.cpp:47</a></div></div>
|
|
1439
1439
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
|
|
1440
1440
|
<div class="ttc" id="aclassSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
|
|
1441
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00353">CFLGrammar.h:353</a></div></div>
|
|
1442
1441
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_aa6123d73f71b9148d7aafb2ec58bbb34"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">virtual bool pushIntoWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00084">CFLSolver.h:84</a></div></div>
|
|
1443
1442
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_aac57a7a39ba314e5f16977848417e652"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver::getSuccMap</a></div><div class="ttdeci">DataMap & getSuccMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00183">CFLSolver.h:183</a></div></div>
|
|
1444
1443
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a46ded0b18821a2ade0ee151ac2b2d520"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">SVF::CFLSolver::numOfChecks</a></div><div class="ttdeci">static double numOfChecks</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00052">CFLSolver.h:52</a></div></div>
|
|
1445
1444
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
|
|
1446
1445
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_abb518bb0c0238c9fd1e04b8836f6ff36"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36">SVF::POCRSolver::succMap</a></div><div class="ttdeci">DataMap succMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00125">CFLSolver.h:125</a></div></div>
|
|
1447
1446
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_aedd6c605c4c381c738f4c6682c40d9f2"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00108">CFLSolver.h:108</a></div></div>
|
|
1448
|
-
<div class="ttc" id="
|
|
1447
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a79d4babef29a8206379a0fc4017d5f29"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00308">CFGrammar.h:308</a></div></div>
|
|
1449
1448
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_aeddfde5219cc523acba1db1092fa3a07"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07">SVF::POCRSolver::addSuccs</a></div><div class="ttdeci">bool addSuccs(const NodeID key, const NodeBS &data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00148">CFLSolver.h:148</a></div></div>
|
|
1450
|
-
<div class="ttc" id="
|
|
1451
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00308">CFLGrammar.h:308</a></div></div>
|
|
1449
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a48aa7267893296b066050d3b444c14e7"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00373">CFGrammar.h:373</a></div></div>
|
|
1452
1450
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
1453
1451
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
|
|
1454
|
-
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a06e64c18559b4f311717203ac3fe1fcd"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
|
|
1455
1452
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a9cb6c06d4e9ede63c22637d9a230a584"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver::getPredMap</a></div><div class="ttdeci">DataMap & getPredMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00188">CFLSolver.h:188</a></div></div>
|
|
1456
|
-
<div class="ttc" id="
|
|
1457
|
-
<div class="ttc" id="
|
|
1453
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_afcb585bec6a86f29e9781a5e7ef21dc4"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">SVF::CFLSolver::CFLSolver</a></div><div class="ttdeci">CFLSolver(CFLGraph *_graph, CFGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00054">CFLSolver.h:54</a></div></div>
|
|
1454
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6a0d61a71c25ed2e87c4c15c5175a77e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">SVF::CFLSolver::Production</a></div><div class="ttdeci">CFGrammar::Production Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
|
|
1455
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a09bb0c9e5e626555273193e437de2b70"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">SVF::CFGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions & getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00346">CFGrammar.h:346</a></div></div>
|
|
1458
1456
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a828465a33f85248443937f5efaf57c85"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">SVF::POCRSolver::addEdges</a></div><div class="ttdeci">NodeBS addEdges(const NodeID src, const NodeBS &dstData, const Label ty)</div><div class="ttdoc">add edges and return the set of added edges (dst) for src</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00222">CFLSolver.h:222</a></div></div>
|
|
1459
1457
|
<div class="ttc" id="aclassSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00047">CFLGraph.h:47</a></div></div>
|
|
1460
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00340">CFLGrammar.h:340</a></div></div>
|
|
1461
1458
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ab0c3d9a0f66c0b7604366d5c5c3b1f63"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63">SVF::POCRSolver::addSucc</a></div><div class="ttdeci">bool addSucc(const NodeID key, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00136">CFLSolver.h:136</a></div></div>
|
|
1462
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00328">CFLGrammar.h:328</a></div></div>
|
|
1463
1459
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a3c8839446414979657b8341c4a36141a"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a">SVF::POCRSolver::addPred</a></div><div class="ttdeci">bool addPred(const NodeID key, const NodeID src, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00131">CFLSolver.h:131</a></div></div>
|
|
1464
|
-
<div class="ttc" id="
|
|
1465
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00373">CFLGrammar.h:373</a></div></div>
|
|
1460
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_aefdae80251eaaf9be580d26a5dd268a8"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">SVF::CFGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00334">CFGrammar.h:334</a></div></div>
|
|
1466
1461
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a08d86d5ab5fa57da6217480611f057a2"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">SVF::POCRSolver::const_iterator</a></div><div class="ttdeci">DataMap::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00122">CFLSolver.h:122</a></div></div>
|
|
1467
1462
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
1468
1463
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad9cef1fe91d7904bf6accd88b9a6a55b"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b">SVF::POCRSolver::addPreds</a></div><div class="ttdeci">bool addPreds(const NodeID key, const NodeBS &data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00141">CFLSolver.h:141</a></div></div>
|
|
1469
|
-
<div class="ttc" id="
|
|
1470
|
-
<div class="ttc" id="
|
|
1464
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6a0563acf39967169d6c267387539134"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">SVF::CFGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00328">CFGrammar.h:328</a></div></div>
|
|
1465
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ae5219be7a1d646a0246f7dad560b4f4b"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">SVF::CFGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00378">CFGrammar.h:378</a></div></div>
|
|
1466
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6c5e6474c6dfe0a067d397ea66c24dac"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
|
|
1467
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6d1db255d2b526fa7fdfaa7b2146f0cd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">SVF::CFGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00340">CFGrammar.h:340</a></div></div>
|
|
1468
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a5962f35418f48005240d0a467a777fcd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">SVF::CFGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00368">CFGrammar.h:368</a></div></div>
|
|
1471
1469
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad3c570ffdea011fd06af17571fc566af"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">SVF::POCRSolver::addEdge</a></div><div class="ttdeci">bool addEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00215">CFLSolver.h:215</a></div></div>
|
|
1472
1470
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html_afcf910a94a3b081067f5a55599475a16"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afcf910a94a3b081067f5a55599475a16">SVF::CFLGraph::getCFLEdges</a></div><div class="ttdeci">const CFLEdgeSet & getCFLEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00181">CFLGraph.h:181</a></div></div>
|
|
1473
1471
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a20ca972c50403e2dcad73efa63518d4d"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d">SVF::POCRSolver::predMap</a></div><div class="ttdeci">DataMap predMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00126">CFLSolver.h:126</a></div></div>
|
|
1474
1472
|
<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>
|
|
1475
1473
|
<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>
|
|
1474
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a39ee3733b247f40ea27ddc7e17334544"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">SVF::CFGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00360">CFGrammar.h:360</a></div></div>
|
|
1476
1475
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_af69130dc2dd292890adcc91d5d50a3dc"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc">SVF::POCRSolver::buildCFLData</a></div><div class="ttdeci">virtual void buildCFLData()</div><div class="ttdoc">Init CFLData.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00132">CFLSolver.cpp:132</a></div></div>
|
|
1476
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a89781bbd0edd309b7c473ed154e7c11d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00109">CFLSolver.h:109</a></div></div>
|
|
1477
1477
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
|
|
1478
1478
|
<!-- start footer part -->
|
|
1479
1479
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -2276,8 +2276,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2276
2276
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a5ece7dbaa27e73795a89adb90afe60fe"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe">SVF::SingleAbsValue::isBottomAbsValue</a></div><div class="ttdeci">static bool isBottomAbsValue(const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00099">SingleAbsValue.h:99</a></div></div>
|
|
2277
2277
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr & getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
|
|
2278
2278
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a48568c2eb6d4b6088b7e1fd976730259"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue::ashr</a></div><div class="ttdeci">friend SingleAbsValue ashr(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00322">SingleAbsValue.h:322</a></div></div>
|
|
2279
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2280
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2279
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00059">BoundedZ3Expr.h:59</a></div></div>
|
|
2280
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00109">BoundedZ3Expr.h:109</a></div></div>
|
|
2281
2281
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
2282
2282
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a47aea8b38603cc7cd1dee9eac7e28d4e"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e">SVF::SingleAbsValue::ite</a></div><div class="ttdeci">friend SingleAbsValue ite(const SingleAbsValue &cond, const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00430">SingleAbsValue.h:430</a></div></div>
|
|
2283
2283
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_adea2bf196a9717c252f33f2707510d12"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue::isSymbolAbsValue</a></div><div class="ttdeci">static bool isSymbolAbsValue(const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00119">SingleAbsValue.h:119</a></div></div>
|
|
@@ -2291,7 +2291,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2291
2291
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a3e67fddad6aaec53320da2f8fb8d0f6b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b">SVF::SingleAbsValue::eq</a></div><div class="ttdeci">friend bool eq(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00453">SingleAbsValue.h:453</a></div></div>
|
|
2292
2292
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a42eed004077d61a0c062e1752844d0a6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6">SVF::SingleAbsValue::shl</a></div><div class="ttdeci">friend SingleAbsValue shl(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00334">SingleAbsValue.h:334</a></div></div>
|
|
2293
2293
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ae14d9fa0613b196420b90d20cc8df041"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr::e</a></div><div class="ttdeci">z3::expr e</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00045">Z3Expr.h:45</a></div></div>
|
|
2294
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2294
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00119">BoundedZ3Expr.h:119</a></div></div>
|
|
2295
2295
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afef13058a5d730798bd8b10cdf3e5ea3"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3">SVF::SingleAbsValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00089">SingleAbsValue.h:89</a></div></div>
|
|
2296
2296
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afd0286acbccb8b7630ca2e086ea303b2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2">SVF::SingleAbsValue::lshr</a></div><div class="ttdeci">friend SingleAbsValue lshr(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00346">SingleAbsValue.h:346</a></div></div>
|
|
2297
2297
|
<!-- start footer part -->
|
|
@@ -72,28 +72,29 @@ $(function() {
|
|
|
72
72
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a>, including all inherited members.</p>
|
|
74
74
|
<table class="directory">
|
|
75
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
76
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#
|
|
77
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#
|
|
75
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">addAttribute</a>(CFGrammar::Kind kind, CFGrammar::Attribute attribute)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0">addBiCFLEdge</a>(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Kind label)</td><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c">addBiGepCFLEdge</a>(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Attribute attri)</td><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
78
78
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9">addGNode</a>(u32_t NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
79
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
80
|
-
<tr><td class="entry"><a class="el" href="
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">build</a>(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">build</a>(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">buildBigraph</a>(SVFG *graph, Kind startKind, GrammarBase *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
82
82
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20">buildBiPEGgraph</a>(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR *pag)</td><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a">buildFromDot</a>(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a">buildFromJson</a>(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f">buildFromText</a>(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8">buildlabelToKindMap</a>(GrammarBase *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac">cflGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">connectVGep</a>(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR *pag)</td><td class="entry"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">current</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">getKindToAttrsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">getKindToLabelMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3">getLabelToKindMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">Kind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068">kindToAttrsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e">kindToLabelMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f">labelToKindMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
98
|
</table></div><!-- contents -->
|
|
98
99
|
<!-- start footer part -->
|
|
99
100
|
<hr class="footer"/><address class="footer"><small>
|