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
|
@@ -1020,7 +1020,7 @@ $(function() {
|
|
|
1020
1020
|
: <a class="el" href="classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab">SVF::TCT</a>
|
|
1021
1021
|
</li>
|
|
1022
1022
|
<li>getEpsilonProds()
|
|
1023
|
-
: <a class="el" href="
|
|
1023
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar</a>
|
|
1024
1024
|
</li>
|
|
1025
1025
|
<li>getEs()
|
|
1026
1026
|
: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae6ce6caa5645ae5c7cb24e094d4be78f">SVF::SVFIR2ConsExeState</a>
|
|
@@ -1119,7 +1119,7 @@ $(function() {
|
|
|
1119
1119
|
: <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff">SVF::PAGBuilderFromFile</a>
|
|
1120
1120
|
</li>
|
|
1121
1121
|
<li>getFilledProductions()
|
|
1122
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
1122
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">SVF::CFGNormalizer</a>
|
|
1123
1123
|
</li>
|
|
1124
1124
|
<li>getFIObjVar()
|
|
1125
1125
|
: <a class="el" href="classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731">SVF::ConstraintGraph</a>
|
|
@@ -1127,10 +1127,10 @@ $(function() {
|
|
|
1127
1127
|
, <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
|
|
1128
1128
|
</li>
|
|
1129
1129
|
<li>getFirstRHSSymbol()
|
|
1130
|
-
: <a class="el" href="
|
|
1130
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar</a>
|
|
1131
1131
|
</li>
|
|
1132
1132
|
<li>getFirstRHSToProds()
|
|
1133
|
-
: <a class="el" href="
|
|
1133
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">SVF::CFGrammar</a>
|
|
1134
1134
|
</li>
|
|
1135
1135
|
<li>getFlattenedElemIdx()
|
|
1136
1136
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo</a>
|
|
@@ -1337,7 +1337,7 @@ $(function() {
|
|
|
1337
1337
|
: <a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph< NodeTy, EdgeTy ></a>
|
|
1338
1338
|
</li>
|
|
1339
1339
|
<li>getGrammar()
|
|
1340
|
-
: <a class="el" href="classSVF_1_1CFLSolver.html#
|
|
1340
|
+
: <a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">SVF::CFLSolver</a>
|
|
1341
1341
|
</li>
|
|
1342
1342
|
<li>getGraph()
|
|
1343
1343
|
: <a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">SVF::CFLSolver</a>
|
|
@@ -1547,7 +1547,7 @@ $(function() {
|
|
|
1547
1547
|
, <a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">SVF::VFG</a>
|
|
1548
1548
|
</li>
|
|
1549
1549
|
<li>getKindToAttrsMap()
|
|
1550
|
-
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
1550
|
+
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">SVF::CFLGraphBuilder</a>
|
|
1551
1551
|
, <a class="el" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">SVF::GrammarBase</a>
|
|
1552
1552
|
</li>
|
|
1553
1553
|
<li>getKindToLabelMap()
|
|
@@ -1557,7 +1557,7 @@ $(function() {
|
|
|
1557
1557
|
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3">SVF::CFLGraphBuilder</a>
|
|
1558
1558
|
</li>
|
|
1559
1559
|
<li>getLHSSymbol()
|
|
1560
|
-
: <a class="el" href="
|
|
1560
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">SVF::CFGrammar</a>
|
|
1561
1561
|
</li>
|
|
1562
1562
|
<li>getLHSTopLevPtr()
|
|
1563
1563
|
: <a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">SVF::VFG</a>
|
|
@@ -2193,13 +2193,13 @@ $(function() {
|
|
|
2193
2193
|
: <a class="el" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">SVF::CxtProc</a>
|
|
2194
2194
|
</li>
|
|
2195
2195
|
<li>getProdsFromFirstRHS()
|
|
2196
|
-
: <a class="el" href="
|
|
2196
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">SVF::CFGrammar</a>
|
|
2197
2197
|
</li>
|
|
2198
2198
|
<li>getProdsFromSecondRHS()
|
|
2199
|
-
: <a class="el" href="
|
|
2199
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">SVF::CFGrammar</a>
|
|
2200
2200
|
</li>
|
|
2201
2201
|
<li>getProdsFromSingleRHS()
|
|
2202
|
-
: <a class="el" href="
|
|
2202
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">SVF::CFGrammar</a>
|
|
2203
2203
|
</li>
|
|
2204
2204
|
<li>getPropaPts()
|
|
2205
2205
|
: <a class="el" href="classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -2397,10 +2397,10 @@ $(function() {
|
|
|
2397
2397
|
: <a class="el" href="classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31">SVF::SVFGStat</a>
|
|
2398
2398
|
</li>
|
|
2399
2399
|
<li>getSecondRHSSymbol()
|
|
2400
|
-
: <a class="el" href="
|
|
2400
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">SVF::CFGrammar</a>
|
|
2401
2401
|
</li>
|
|
2402
2402
|
<li>getSecondRHSToProds()
|
|
2403
|
-
: <a class="el" href="
|
|
2403
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">SVF::CFGrammar</a>
|
|
2404
2404
|
</li>
|
|
2405
2405
|
<li>getSExtValue()
|
|
2406
2406
|
: <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
|
|
@@ -2419,7 +2419,7 @@ $(function() {
|
|
|
2419
2419
|
, <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">SVF::SVFUtil::simplify_type< const From ></a>
|
|
2420
2420
|
</li>
|
|
2421
2421
|
<li>getSingleRHSToProds()
|
|
2422
|
-
: <a class="el" href="
|
|
2422
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">SVF::CFGrammar</a>
|
|
2423
2423
|
</li>
|
|
2424
2424
|
<li>getSinks()
|
|
2425
2425
|
: <a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">SVF::ProgSlice</a>
|
|
@@ -432,13 +432,13 @@ $(function() {
|
|
|
432
432
|
: <a class="el" href="classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0">SVF::CondPointsToSet< Cond ></a>
|
|
433
433
|
</li>
|
|
434
434
|
<li>hasProdsFromFirstRHS()
|
|
435
|
-
: <a class="el" href="
|
|
435
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">SVF::CFGrammar</a>
|
|
436
436
|
</li>
|
|
437
437
|
<li>hasProdsFromSecondRHS()
|
|
438
|
-
: <a class="el" href="
|
|
438
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">SVF::CFGrammar</a>
|
|
439
439
|
</li>
|
|
440
440
|
<li>hasProdsFromSingleRHS()
|
|
441
|
-
: <a class="el" href="
|
|
441
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">SVF::CFGrammar</a>
|
|
442
442
|
</li>
|
|
443
443
|
<li>hasPTASVFStmtList()
|
|
444
444
|
: <a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">SVF::SVFIR</a>
|
|
@@ -342,7 +342,7 @@ $(function() {
|
|
|
342
342
|
: <a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase</a>
|
|
343
343
|
</li>
|
|
344
344
|
<li>insertToCFLGrammar()
|
|
345
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
345
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">SVF::CFGNormalizer</a>
|
|
346
346
|
</li>
|
|
347
347
|
<li>InterDisjointMRG()
|
|
348
348
|
: <a class="el" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">SVF::InterDisjointMRG</a>
|
|
@@ -133,7 +133,7 @@ $(function() {
|
|
|
133
133
|
: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
|
|
134
134
|
</li>
|
|
135
135
|
<li>normalize()
|
|
136
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
136
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">SVF::CFGNormalizer</a>
|
|
137
137
|
</li>
|
|
138
138
|
<li>normalizeCFLGrammar()
|
|
139
139
|
: <a class="el" href="classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9">SVF::CFLBase</a>
|
|
@@ -159,7 +159,7 @@ $(function() {
|
|
|
159
159
|
: <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639">SVF::NullPtrVFGNode</a>
|
|
160
160
|
</li>
|
|
161
161
|
<li>num_generator()
|
|
162
|
-
: <a class="el" href="
|
|
162
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">SVF::CFGrammar</a>
|
|
163
163
|
</li>
|
|
164
164
|
<li>numEdgeDestLabels()
|
|
165
165
|
: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">SVF::DefaultDOTGraphTraits</a>
|
|
@@ -208,10 +208,10 @@ $(function() {
|
|
|
208
208
|
: <a class="el" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">SVF::POCRHybrid</a>
|
|
209
209
|
</li>
|
|
210
210
|
<li>POCRHybridSolver()
|
|
211
|
-
: <a class="el" href="classSVF_1_1POCRHybridSolver.html#
|
|
211
|
+
: <a class="el" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">SVF::POCRHybridSolver</a>
|
|
212
212
|
</li>
|
|
213
213
|
<li>POCRSolver()
|
|
214
|
-
: <a class="el" href="classSVF_1_1POCRSolver.html#
|
|
214
|
+
: <a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">SVF::POCRSolver</a>
|
|
215
215
|
</li>
|
|
216
216
|
<li>pointee_iter()
|
|
217
217
|
: <a class="el" href="structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e">SVF::pointee_iter< WrappedIteratorT, T ></a>
|
|
@@ -209,7 +209,7 @@ $(function() {
|
|
|
209
209
|
: <a class="el" href="classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a>
|
|
210
210
|
</li>
|
|
211
211
|
<li>removeFirstSymbol()
|
|
212
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
212
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">SVF::CFGNormalizer</a>
|
|
213
213
|
</li>
|
|
214
214
|
<li>removeFront()
|
|
215
215
|
: <a class="el" href="classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a">SVF::FIFOWorkList< Data ></a>
|
|
@@ -784,7 +784,7 @@ $(function() {
|
|
|
784
784
|
: <a class="el" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">SVF::GrammarBase</a>
|
|
785
785
|
</li>
|
|
786
786
|
<li>strTrans()
|
|
787
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
787
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
|
|
788
788
|
</li>
|
|
789
789
|
<li>subNodes()
|
|
790
790
|
: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection< GraphType >::GNodeSCCInfo</a>
|
|
@@ -1086,7 +1086,7 @@ $(function() {
|
|
|
1086
1086
|
: <a class="el" href="classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab">SVF::TCT</a>
|
|
1087
1087
|
</li>
|
|
1088
1088
|
<li>getEpsilonProds()
|
|
1089
|
-
: <a class="el" href="
|
|
1089
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar</a>
|
|
1090
1090
|
</li>
|
|
1091
1091
|
<li>getEs()
|
|
1092
1092
|
: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae6ce6caa5645ae5c7cb24e094d4be78f">SVF::SVFIR2ConsExeState</a>
|
|
@@ -1185,7 +1185,7 @@ $(function() {
|
|
|
1185
1185
|
: <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff">SVF::PAGBuilderFromFile</a>
|
|
1186
1186
|
</li>
|
|
1187
1187
|
<li>getFilledProductions()
|
|
1188
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
1188
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">SVF::CFGNormalizer</a>
|
|
1189
1189
|
</li>
|
|
1190
1190
|
<li>getFIObjVar()
|
|
1191
1191
|
: <a class="el" href="classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731">SVF::ConstraintGraph</a>
|
|
@@ -1193,10 +1193,10 @@ $(function() {
|
|
|
1193
1193
|
, <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
|
|
1194
1194
|
</li>
|
|
1195
1195
|
<li>getFirstRHSSymbol()
|
|
1196
|
-
: <a class="el" href="
|
|
1196
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar</a>
|
|
1197
1197
|
</li>
|
|
1198
1198
|
<li>getFirstRHSToProds()
|
|
1199
|
-
: <a class="el" href="
|
|
1199
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">SVF::CFGrammar</a>
|
|
1200
1200
|
</li>
|
|
1201
1201
|
<li>getFlattenedElemIdx()
|
|
1202
1202
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo</a>
|
|
@@ -1403,7 +1403,7 @@ $(function() {
|
|
|
1403
1403
|
: <a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph< NodeTy, EdgeTy ></a>
|
|
1404
1404
|
</li>
|
|
1405
1405
|
<li>getGrammar()
|
|
1406
|
-
: <a class="el" href="classSVF_1_1CFLSolver.html#
|
|
1406
|
+
: <a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">SVF::CFLSolver</a>
|
|
1407
1407
|
</li>
|
|
1408
1408
|
<li>getGraph()
|
|
1409
1409
|
: <a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">SVF::CFLSolver</a>
|
|
@@ -1613,7 +1613,7 @@ $(function() {
|
|
|
1613
1613
|
, <a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">SVF::VFG</a>
|
|
1614
1614
|
</li>
|
|
1615
1615
|
<li>getKindToAttrsMap()
|
|
1616
|
-
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
1616
|
+
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">SVF::CFLGraphBuilder</a>
|
|
1617
1617
|
, <a class="el" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">SVF::GrammarBase</a>
|
|
1618
1618
|
</li>
|
|
1619
1619
|
<li>getKindToLabelMap()
|
|
@@ -1623,7 +1623,7 @@ $(function() {
|
|
|
1623
1623
|
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a7e564f2fbaf9b92aab3decaf6cba93c3">SVF::CFLGraphBuilder</a>
|
|
1624
1624
|
</li>
|
|
1625
1625
|
<li>getLHSSymbol()
|
|
1626
|
-
: <a class="el" href="
|
|
1626
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">SVF::CFGrammar</a>
|
|
1627
1627
|
</li>
|
|
1628
1628
|
<li>getLHSTopLevPtr()
|
|
1629
1629
|
: <a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">SVF::VFG</a>
|
|
@@ -2262,13 +2262,13 @@ $(function() {
|
|
|
2262
2262
|
: <a class="el" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">SVF::CxtProc</a>
|
|
2263
2263
|
</li>
|
|
2264
2264
|
<li>getProdsFromFirstRHS()
|
|
2265
|
-
: <a class="el" href="
|
|
2265
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">SVF::CFGrammar</a>
|
|
2266
2266
|
</li>
|
|
2267
2267
|
<li>getProdsFromSecondRHS()
|
|
2268
|
-
: <a class="el" href="
|
|
2268
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">SVF::CFGrammar</a>
|
|
2269
2269
|
</li>
|
|
2270
2270
|
<li>getProdsFromSingleRHS()
|
|
2271
|
-
: <a class="el" href="
|
|
2271
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">SVF::CFGrammar</a>
|
|
2272
2272
|
</li>
|
|
2273
2273
|
<li>getPropaPts()
|
|
2274
2274
|
: <a class="el" href="classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -2466,10 +2466,10 @@ $(function() {
|
|
|
2466
2466
|
: <a class="el" href="classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31">SVF::SVFGStat</a>
|
|
2467
2467
|
</li>
|
|
2468
2468
|
<li>getSecondRHSSymbol()
|
|
2469
|
-
: <a class="el" href="
|
|
2469
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">SVF::CFGrammar</a>
|
|
2470
2470
|
</li>
|
|
2471
2471
|
<li>getSecondRHSToProds()
|
|
2472
|
-
: <a class="el" href="
|
|
2472
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">SVF::CFGrammar</a>
|
|
2473
2473
|
</li>
|
|
2474
2474
|
<li>getSExtValue()
|
|
2475
2475
|
: <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
|
|
@@ -2488,7 +2488,7 @@ $(function() {
|
|
|
2488
2488
|
, <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">SVF::SVFUtil::simplify_type< const From ></a>
|
|
2489
2489
|
</li>
|
|
2490
2490
|
<li>getSingleRHSToProds()
|
|
2491
|
-
: <a class="el" href="
|
|
2491
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">SVF::CFGrammar</a>
|
|
2492
2492
|
</li>
|
|
2493
2493
|
<li>getSinks()
|
|
2494
2494
|
: <a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">SVF::ProgSlice</a>
|
|
@@ -3086,8 +3086,8 @@ $(function() {
|
|
|
3086
3086
|
: <a class="el" href="classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289">SVF::SCCDetection< GraphType ></a>
|
|
3087
3087
|
</li>
|
|
3088
3088
|
<li>grammar
|
|
3089
|
-
: <a class="el" href="classSVF_1_1CFLBase.html#
|
|
3090
|
-
, <a class="el" href="classSVF_1_1CFLSolver.html#
|
|
3089
|
+
: <a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">SVF::CFLBase</a>
|
|
3090
|
+
, <a class="el" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">SVF::CFLSolver</a>
|
|
3091
3091
|
, <a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder</a>
|
|
3092
3092
|
</li>
|
|
3093
3093
|
<li>grammarBase
|
|
@@ -439,13 +439,13 @@ $(function() {
|
|
|
439
439
|
: <a class="el" href="classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0">SVF::CondPointsToSet< Cond ></a>
|
|
440
440
|
</li>
|
|
441
441
|
<li>hasProdsFromFirstRHS()
|
|
442
|
-
: <a class="el" href="
|
|
442
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">SVF::CFGrammar</a>
|
|
443
443
|
</li>
|
|
444
444
|
<li>hasProdsFromSecondRHS()
|
|
445
|
-
: <a class="el" href="
|
|
445
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">SVF::CFGrammar</a>
|
|
446
446
|
</li>
|
|
447
447
|
<li>hasProdsFromSingleRHS()
|
|
448
|
-
: <a class="el" href="
|
|
448
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">SVF::CFGrammar</a>
|
|
449
449
|
</li>
|
|
450
450
|
<li>hasPTASVFStmtList()
|
|
451
451
|
: <a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">SVF::SVFIR</a>
|
|
@@ -557,7 +557,7 @@ $(function() {
|
|
|
557
557
|
: <a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase</a>
|
|
558
558
|
</li>
|
|
559
559
|
<li>insertToCFLGrammar()
|
|
560
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
560
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">SVF::CFGNormalizer</a>
|
|
561
561
|
</li>
|
|
562
562
|
<li>inst
|
|
563
563
|
: <a class="el" href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">SVF::CxtStmt</a>
|
|
@@ -1701,7 +1701,7 @@ $(function() {
|
|
|
1701
1701
|
: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator</a>
|
|
1702
1702
|
</li>
|
|
1703
1703
|
<li>iter_adaptor_base()
|
|
1704
|
-
: <a class="el" href="classSVF_1_1iter__adaptor__base.html#
|
|
1704
|
+
: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT ></a>
|
|
1705
1705
|
</li>
|
|
1706
1706
|
<li>iter_facade_base
|
|
1707
1707
|
: <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy</a>
|
|
@@ -89,8 +89,8 @@ $(function() {
|
|
|
89
89
|
, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2">SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a>
|
|
90
90
|
</li>
|
|
91
91
|
<li>Kind
|
|
92
|
-
: <a class="el" href="classSVF_1_1CFLGraph.html#
|
|
93
|
-
, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
92
|
+
: <a class="el" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">SVF::CFLGraph</a>
|
|
93
|
+
, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48">SVF::CFLGraphBuilder</a>
|
|
94
94
|
</li>
|
|
95
95
|
<li>kind
|
|
96
96
|
: <a class="el" href="classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071">SVF::CommonCHGraph</a>
|
|
@@ -106,7 +106,7 @@ $(function() {
|
|
|
106
106
|
, <a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">SVF::VFG</a>
|
|
107
107
|
</li>
|
|
108
108
|
<li>kindToAttrsMap
|
|
109
|
-
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
109
|
+
: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068">SVF::CFLGraphBuilder</a>
|
|
110
110
|
, <a class="el" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">SVF::GrammarBase</a>
|
|
111
111
|
</li>
|
|
112
112
|
<li>kindToLabelMap
|
|
@@ -226,18 +226,18 @@ $(function() {
|
|
|
226
226
|
<li>LoadStmt()
|
|
227
227
|
: <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
|
|
228
228
|
</li>
|
|
229
|
-
<li>loadsToMRsMap
|
|
230
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
|
|
231
|
-
</li>
|
|
232
229
|
<li>LoadsToMRsMap
|
|
233
230
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
|
|
234
231
|
</li>
|
|
235
|
-
<li>
|
|
236
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#
|
|
232
|
+
<li>loadsToMRsMap
|
|
233
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
|
|
237
234
|
</li>
|
|
238
235
|
<li>LoadsToPointsToMap
|
|
239
236
|
: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
|
|
240
237
|
</li>
|
|
238
|
+
<li>loadsToPointsToMap
|
|
239
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
|
|
240
|
+
</li>
|
|
241
241
|
<li>loadTime
|
|
242
242
|
: <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
|
|
243
243
|
</li>
|
|
@@ -122,7 +122,7 @@ $(function() {
|
|
|
122
122
|
: <a class="el" href="classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8">SVF::MemSSA</a>
|
|
123
123
|
</li>
|
|
124
124
|
<li>newTerminalSubscript
|
|
125
|
-
: <a class="el" href="
|
|
125
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">SVF::CFGrammar</a>
|
|
126
126
|
</li>
|
|
127
127
|
<li>next
|
|
128
128
|
: <a class="el" href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON</a>
|
|
@@ -339,7 +339,7 @@ $(function() {
|
|
|
339
339
|
: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
|
|
340
340
|
</li>
|
|
341
341
|
<li>normalize()
|
|
342
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
342
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">SVF::CFGNormalizer</a>
|
|
343
343
|
</li>
|
|
344
344
|
<li>normalizeCFLGrammar()
|
|
345
345
|
: <a class="el" href="classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9">SVF::CFLBase</a>
|
|
@@ -380,7 +380,7 @@ $(function() {
|
|
|
380
380
|
: <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639">SVF::NullPtrVFGNode</a>
|
|
381
381
|
</li>
|
|
382
382
|
<li>num_generator()
|
|
383
|
-
: <a class="el" href="
|
|
383
|
+
: <a class="el" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">SVF::CFGrammar</a>
|
|
384
384
|
</li>
|
|
385
385
|
<li>numEdgeDestLabels()
|
|
386
386
|
: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">SVF::DefaultDOTGraphTraits</a>
|
|
@@ -112,12 +112,12 @@ $(function() {
|
|
|
112
112
|
<li>offsetOrSizeStr
|
|
113
113
|
: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">SVF::ExtAPI::Operand</a>
|
|
114
114
|
</li>
|
|
115
|
-
<li>offsetVarAndGepTypePairs
|
|
116
|
-
: <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
|
|
117
|
-
</li>
|
|
118
115
|
<li>OffsetVarAndGepTypePairs
|
|
119
116
|
: <a class="el" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">SVF::AccessPath</a>
|
|
120
117
|
</li>
|
|
118
|
+
<li>offsetVarAndGepTypePairs
|
|
119
|
+
: <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
|
|
120
|
+
</li>
|
|
121
121
|
<li>onStack
|
|
122
122
|
: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
|
|
123
123
|
</li>
|
|
@@ -645,37 +645,37 @@ $(function() {
|
|
|
645
645
|
, <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
|
|
646
646
|
, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
|
|
647
647
|
</li>
|
|
648
|
-
<li>OPVers
|
|
649
|
-
: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
|
|
650
|
-
</li>
|
|
651
648
|
<li>opVers
|
|
652
649
|
: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
|
|
653
650
|
</li>
|
|
654
651
|
<li>OPVers
|
|
655
|
-
: <a class="el" href="
|
|
652
|
+
: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
|
|
656
653
|
</li>
|
|
657
654
|
<li>opVers
|
|
658
655
|
: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
|
|
659
656
|
</li>
|
|
660
657
|
<li>OPVers
|
|
661
|
-
: <a class="el" href="
|
|
658
|
+
: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
|
|
662
659
|
</li>
|
|
663
660
|
<li>opVers
|
|
664
661
|
: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI< Cond ></a>
|
|
665
662
|
</li>
|
|
666
663
|
<li>OPVers
|
|
667
|
-
: <a class="el" href="
|
|
664
|
+
: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI< Cond ></a>
|
|
668
665
|
</li>
|
|
669
666
|
<li>opVers
|
|
670
667
|
: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
|
|
671
|
-
, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
|
|
672
668
|
</li>
|
|
673
669
|
<li>OPVers
|
|
674
|
-
: <a class="el" href="
|
|
675
|
-
, <a class="el" href="
|
|
670
|
+
: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
|
|
671
|
+
, <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
|
|
676
672
|
</li>
|
|
677
673
|
<li>opVers
|
|
678
|
-
: <a class="el" href="
|
|
674
|
+
: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
|
|
675
|
+
, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
|
|
676
|
+
</li>
|
|
677
|
+
<li>OPVers
|
|
678
|
+
: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
|
|
679
679
|
</li>
|
|
680
680
|
<li>Or
|
|
681
681
|
: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
|
|
@@ -175,12 +175,12 @@ $(function() {
|
|
|
175
175
|
<li>PAGPrint
|
|
176
176
|
: <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
|
|
177
177
|
</li>
|
|
178
|
-
<li>pagReadFromTXT()
|
|
179
|
-
: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
|
|
180
|
-
</li>
|
|
181
178
|
<li>pagReadFromTxt
|
|
182
179
|
: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
|
|
183
180
|
</li>
|
|
181
|
+
<li>pagReadFromTXT()
|
|
182
|
+
: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
|
|
183
|
+
</li>
|
|
184
184
|
<li>pairheadmap
|
|
185
185
|
: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
|
|
186
186
|
</li>
|
|
@@ -445,10 +445,10 @@ $(function() {
|
|
|
445
445
|
, <a class="el" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">SVF::POCRHybrid</a>
|
|
446
446
|
</li>
|
|
447
447
|
<li>POCRHybridSolver()
|
|
448
|
-
: <a class="el" href="classSVF_1_1POCRHybridSolver.html#
|
|
448
|
+
: <a class="el" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">SVF::POCRHybridSolver</a>
|
|
449
449
|
</li>
|
|
450
450
|
<li>POCRSolver()
|
|
451
|
-
: <a class="el" href="classSVF_1_1POCRSolver.html#
|
|
451
|
+
: <a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">SVF::POCRSolver</a>
|
|
452
452
|
</li>
|
|
453
453
|
<li>pointee_iter()
|
|
454
454
|
: <a class="el" href="structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e">SVF::pointee_iter< WrappedIteratorT, T ></a>
|
|
@@ -534,12 +534,12 @@ $(function() {
|
|
|
534
534
|
<li>predBBs
|
|
535
535
|
: <a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock</a>
|
|
536
536
|
</li>
|
|
537
|
-
<li>Predicate
|
|
538
|
-
: <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
|
|
539
|
-
</li>
|
|
540
537
|
<li>predicate
|
|
541
538
|
: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
|
|
542
539
|
</li>
|
|
540
|
+
<li>Predicate
|
|
541
|
+
: <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
|
|
542
|
+
</li>
|
|
543
543
|
<li>PredictPtOcc
|
|
544
544
|
: <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
|
|
545
545
|
</li>
|
|
@@ -781,7 +781,7 @@ $(function() {
|
|
|
781
781
|
: <a class="el" href="classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72">SVF::FlowSensitive</a>
|
|
782
782
|
</li>
|
|
783
783
|
<li>Production
|
|
784
|
-
: <a class="el" href="classSVF_1_1CFLSolver.html#
|
|
784
|
+
: <a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">SVF::CFLSolver</a>
|
|
785
785
|
, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase</a>
|
|
786
786
|
</li>
|
|
787
787
|
<li>Productions
|
|
@@ -1014,11 +1014,15 @@ $(function() {
|
|
|
1014
1014
|
, <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
|
|
1015
1015
|
, <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
1016
1016
|
, <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
1017
|
-
, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
1018
1017
|
</li>
|
|
1019
1018
|
<li>ptsMap
|
|
1020
1019
|
: <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
1021
|
-
|
|
1020
|
+
</li>
|
|
1021
|
+
<li>PtsMap
|
|
1022
|
+
: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
1023
|
+
</li>
|
|
1024
|
+
<li>ptsMap
|
|
1025
|
+
: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
1022
1026
|
</li>
|
|
1023
1027
|
<li>PtsMapConstIter
|
|
1024
1028
|
: <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -1071,7 +1075,7 @@ $(function() {
|
|
|
1071
1075
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
|
|
1072
1076
|
, <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
|
|
1073
1077
|
, <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
|
|
1074
|
-
, <a class="el" href="classSVF_1_1TCT.html#
|
|
1078
|
+
, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
|
|
1075
1079
|
</li>
|
|
1076
1080
|
<li>pushIntoWorklist()
|
|
1077
1081
|
: <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>
|
|
@@ -292,7 +292,7 @@ $(function() {
|
|
|
292
292
|
: <a class="el" href="classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a>
|
|
293
293
|
</li>
|
|
294
294
|
<li>removeFirstSymbol()
|
|
295
|
-
: <a class="el" href="classSVF_1_1CFGNormalizer.html#
|
|
295
|
+
: <a class="el" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">SVF::CFGNormalizer</a>
|
|
296
296
|
</li>
|
|
297
297
|
<li>removeFront()
|
|
298
298
|
: <a class="el" href="classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a">SVF::FIFOWorkList< Data ></a>
|