svf-tools 1.0.853 → 1.0.855
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/AE_2CMakeLists_8txt.html +106 -0
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +19 -12
- package/SVF-doxygen/html/Andersen_8cpp_source.html +3 -3
- package/SVF-doxygen/html/Andersen_8h_source.html +4 -4
- package/SVF-doxygen/html/CFLStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CMakeLists_8txt.html +5 -5
- package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/ConsG_8cpp_source.html +663 -644
- package/SVF-doxygen/html/ConsG_8h_source.html +335 -332
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +4 -4
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +249 -252
- package/SVF-doxygen/html/DDAStat_8h_source.html +70 -93
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +107 -83
- package/SVF-doxygen/html/PTAStat_8h_source.html +38 -13
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WPAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/ae_8cpp.html +179 -0
- package/SVF-doxygen/html/ae_8cpp_source.html +738 -0
- package/SVF-doxygen/html/annotated.html +1 -0
- package/SVF-doxygen/html/classSVF_1_1AddrCGEdge.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +20 -20
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +10 -10
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +8 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +34 -12
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +8 -2
- package/SVF-doxygen/html/classSVF_1_1CFLStat.html +16 -1
- package/SVF-doxygen/html/classSVF_1_1CSC.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph-members.html +81 -80
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +672 -623
- package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1DDAClient.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +283 -463
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +17 -2
- package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +300 -84
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +17 -2
- package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +99 -0
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +1282 -0
- package/SVF-doxygen/html/classes.html +56 -55
- package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html +86 -0
- package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html +2 -0
- package/SVF-doxygen/html/files.html +22 -20
- package/SVF-doxygen/html/functions.html +4 -4
- package/SVF-doxygen/html/functions_b.html +16 -10
- package/SVF-doxygen/html/functions_c.html +27 -24
- package/SVF-doxygen/html/functions_f.html +3 -3
- package/SVF-doxygen/html/functions_func_b.html +9 -3
- package/SVF-doxygen/html/functions_func_c.html +22 -19
- package/SVF-doxygen/html/functions_func_g.html +17 -16
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_r.html +5 -2
- package/SVF-doxygen/html/functions_func_s.html +18 -15
- package/SVF-doxygen/html/functions_func_t.html +41 -1
- package/SVF-doxygen/html/functions_func_~.html +3 -0
- package/SVF-doxygen/html/functions_g.html +16 -15
- package/SVF-doxygen/html/functions_i.html +3 -3
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_n.html +6 -6
- package/SVF-doxygen/html/functions_o.html +3 -3
- package/SVF-doxygen/html/functions_p.html +12 -12
- package/SVF-doxygen/html/functions_r.html +9 -6
- package/SVF-doxygen/html/functions_s.html +22 -19
- package/SVF-doxygen/html/functions_t.html +47 -7
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +4 -4
- package/SVF-doxygen/html/functions_w.html +9 -7
- package/SVF-doxygen/html/functions_~.html +3 -0
- package/SVF-doxygen/html/globals_a.html +2 -2
- package/SVF-doxygen/html/globals_func_a.html +2 -2
- package/SVF-doxygen/html/globals_func_m.html +5 -4
- package/SVF-doxygen/html/globals_m.html +5 -4
- package/SVF-doxygen/html/globals_s.html +3 -0
- package/SVF-doxygen/html/globals_vars.html +3 -0
- package/SVF-doxygen/html/hierarchy.html +40 -39
- package/SVF-doxygen/html/search/all_0.js +4 -4
- package/SVF-doxygen/html/search/all_1.js +133 -132
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +225 -224
- package/SVF-doxygen/html/search/all_12.js +554 -552
- package/SVF-doxygen/html/search/all_13.js +203 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +168 -168
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +175 -174
- package/SVF-doxygen/html/search/all_2.js +173 -171
- package/SVF-doxygen/html/search/all_3.js +649 -648
- package/SVF-doxygen/html/search/all_4.js +230 -230
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +226 -226
- package/SVF-doxygen/html/search/all_7.js +1048 -1048
- package/SVF-doxygen/html/search/all_8.js +196 -196
- package/SVF-doxygen/html/search/all_9.js +605 -605
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +197 -197
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +74 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +81 -81
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +34 -34
- package/SVF-doxygen/html/search/classes_8.js +57 -57
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +14 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +57 -57
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +364 -364
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -139
- package/SVF-doxygen/html/search/functions_12.js +289 -288
- package/SVF-doxygen/html/search/functions_13.js +72 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +175 -174
- package/SVF-doxygen/html/search/functions_2.js +91 -89
- package/SVF-doxygen/html/search/functions_3.js +262 -261
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +857 -857
- package/SVF-doxygen/html/search/functions_8.js +148 -148
- package/SVF-doxygen/html/search/functions_9.js +421 -421
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +79 -79
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +3 -3
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +62 -62
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +56 -56
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +76 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +45 -45
- package/SVF-doxygen/html/search/variables_12.js +91 -90
- package/SVF-doxygen/html/search/variables_13.js +74 -74
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +50 -50
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +55 -55
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +118 -118
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +1 -1
- package/build.sh +1 -1
- package/package.json +1 -1
- package/svf/include/DDA/DDAStat.h +0 -17
- package/svf/include/Graphs/ConsG.h +2 -0
- package/svf/include/Util/PTAStat.h +19 -1
- package/svf/lib/DDA/DDAStat.cpp +0 -3
- package/svf/lib/Graphs/ConsG.cpp +20 -0
- package/svf/lib/Util/PTAStat.cpp +17 -1
- package/svf/lib/WPA/Andersen.cpp +2 -2
- package/svf/lib/WPA/AndersenStat.cpp +3 -0
- package/svf-llvm/tools/AE/CMakeLists.txt +2 -0
- package/svf-llvm/tools/AE/ae.cpp +607 -0
- package/svf-llvm/tools/CMakeLists.txt +3 -2
|
@@ -425,331 +425,332 @@ $(function() {
|
|
|
425
425
|
<td valign="top"><a class="el" href="classSVF_1_1FlowSensitive.html">FlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
426
426
|
<td valign="top"><a class="el" href="classSVF_1_1ICFGReader.html">ICFGReader</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
427
427
|
<td valign="top"><a class="el" href="structparse__buffer.html">parse_buffer</a>   </td>
|
|
428
|
-
<td valign="top"><a class="el" href="
|
|
428
|
+
<td valign="top"><a class="el" href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a>   </td>
|
|
429
429
|
</tr>
|
|
430
430
|
<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">cast_retty_wrap< To, FromTy, FromTy ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
431
431
|
<td valign="top"><a class="el" href="classSVF_1_1FlowSensitiveStat.html">FlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
432
432
|
<td valign="top"><a class="el" href="classSVF_1_1ICFGStat.html">ICFGStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
433
433
|
<td valign="top"><a class="el" href="classSVF_1_1PartialBufferOverflowBug.html">PartialBufferOverflowBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
434
|
-
<td valign="top"><a class="el" href="
|
|
434
|
+
<td valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
435
435
|
</tr>
|
|
436
436
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CDG.html">CDG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
437
437
|
<td valign="top"><a class="el" href="classSVF_1_1ForkJoinAnalysis.html">ForkJoinAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
438
438
|
<td valign="top"><a class="el" href="classSVF_1_1ICFGWriter.html">ICFGWriter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
439
439
|
<td valign="top"><a class="el" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
440
|
-
<td valign="top"><a class="el" href="
|
|
440
|
+
<td valign="top"><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">GrammarBase::SymbolHash</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
441
441
|
</tr>
|
|
442
442
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CDGBuilder.html">CDGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
443
443
|
<td valign="top"><a class="el" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
444
444
|
<td valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
445
445
|
<td valign="top"><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
446
|
-
<td valign="top"><a class="el" href="
|
|
446
|
+
<td valign="top"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SymbolTableBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
447
447
|
</tr>
|
|
448
448
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
449
449
|
<td valign="top"><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html">FormalOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
450
450
|
<td valign="top"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
451
451
|
<td valign="top"><a class="el" href="classSVF_1_1PCG.html">PCG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
452
|
-
<td valign="top"><a class="el" href="
|
|
452
|
+
<td valign="top"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
453
453
|
</tr>
|
|
454
454
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
455
455
|
<td valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
456
456
|
<td valign="top"><a class="el" href="classSVF_1_1InterICFGNode.html">InterICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
457
457
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
458
|
-
<td valign="top"><a class="el" href="
|
|
458
|
+
<td valign="top"><a class="el" href="classSVF_1_1SymbolTableInfoReader.html">SymbolTableInfoReader</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
459
459
|
</tr>
|
|
460
460
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
461
461
|
<td valign="top"><a class="el" href="classSVF_1_1FormalRetVFGNode.html">FormalRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
462
462
|
<td valign="top"><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html">InterMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
463
463
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
464
|
-
<td valign="top"><a class="el" href="
|
|
464
|
+
<td valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">GrammarBase::SymbolVectorHash</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
465
465
|
</tr>
|
|
466
466
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">CFBasicBlockGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
467
467
|
<td valign="top"><a class="el" href="classSVF_1_1FSMPTA.html">FSMPTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
468
468
|
<td valign="top"><a class="el" href="structinternal__hooks.html">internal_hooks</a>   </td>
|
|
469
469
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html">PersistentIncDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
470
|
-
<td
|
|
471
|
-
</td>
|
|
470
|
+
<td valign="top"><a class="el" href="classSVF_1_1SymState.html">SymState</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
472
471
|
</tr>
|
|
473
472
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
474
473
|
<td valign="top"><a class="el" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
475
474
|
<td valign="top"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
476
475
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
476
|
+
<td rowspan="2" valign="bottom"><a name="letter_t"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  t  </div></td></tr></table>
|
|
477
|
+
</td>
|
|
477
478
|
</tr>
|
|
478
479
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
479
480
|
<td valign="top"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
480
481
|
<td valign="top"><a class="el" href="classSVF_1_1IntervalESBase.html">IntervalESBase</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
481
482
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
482
|
-
<td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html">CFBasicBlockGWTO::TailBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
483
483
|
</tr>
|
|
484
484
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html">CFBasicBlockGWTOComp</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
485
485
|
<td valign="top"><a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
486
486
|
<td valign="top"><a class="el" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
487
487
|
<td valign="top"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
488
|
-
<td valign="top"><a class="el" href="
|
|
488
|
+
<td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html">CFBasicBlockGWTO::TailBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
489
489
|
</tr>
|
|
490
490
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
491
491
|
<td valign="top"><a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
492
492
|
<td valign="top"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
493
493
|
<td valign="top"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
494
|
-
<td valign="top"><a class="el" href="
|
|
494
|
+
<td valign="top"><a class="el" href="classSVF_1_1TCT.html">TCT</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
495
495
|
</tr>
|
|
496
496
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html">CFBasicBlockGWTONode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
497
497
|
<td valign="top"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
498
498
|
<td valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
499
499
|
<td valign="top"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
500
|
-
<td valign="top"><a class="el" href="
|
|
500
|
+
<td valign="top"><a class="el" href="classSVF_1_1TCTEdge.html">TCTEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
501
501
|
</tr>
|
|
502
502
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
503
503
|
<td rowspan="2" valign="bottom"><a name="letter_g"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  g  </div></td></tr></table>
|
|
504
504
|
</td>
|
|
505
505
|
<td valign="top"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
506
506
|
<td valign="top"><a class="el" href="classSVF_1_1POCRAlias.html">POCRAlias</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
507
|
-
<td valign="top"><a class="el" href="
|
|
507
|
+
<td valign="top"><a class="el" href="classSVF_1_1TCTNode.html">TCTNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
508
508
|
</tr>
|
|
509
509
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFGNormalizer.html">CFGNormalizer</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
510
510
|
<td valign="top"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
511
511
|
<td valign="top"><a class="el" href="classSVF_1_1POCRHybrid.html">POCRHybrid</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
512
|
-
<td valign="top"><a class="el" href="
|
|
512
|
+
<td valign="top"><a class="el" href="classSVF_1_1TDForkPE.html">TDForkPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
513
513
|
</tr>
|
|
514
514
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
515
515
|
<td valign="top"><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> (<a class="el" href="namespacellvm.html">llvm</a>)   </td>
|
|
516
516
|
<td valign="top"><a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
517
517
|
<td valign="top"><a class="el" href="classSVF_1_1POCRHybridSolver.html">POCRHybridSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
518
|
-
<td valign="top"><a class="el" href="
|
|
518
|
+
<td valign="top"><a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
519
519
|
</tr>
|
|
520
520
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLAlias.html">CFLAlias</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
521
521
|
<td valign="top"><a class="el" href="classSVF_1_1GenericBug.html">GenericBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
522
522
|
<td valign="top"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">IntraIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
523
523
|
<td valign="top"><a class="el" href="classSVF_1_1POCRSolver.html">POCRSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
524
|
-
<td valign="top"><a class="el" href="
|
|
524
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadAPI.html">ThreadAPI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
525
525
|
</tr>
|
|
526
526
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLBase.html">CFLBase</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
527
527
|
<td valign="top"><a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
528
528
|
<td valign="top"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">IntraMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
529
529
|
<td valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
530
|
-
<td valign="top"><a class="el" href="
|
|
530
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
531
531
|
</tr>
|
|
532
532
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
533
533
|
<td valign="top"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
534
534
|
<td valign="top"><a class="el" href="classSVF_1_1IntraPHIVFGNode.html">IntraPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
535
535
|
<td valign="top"><a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
536
|
-
<td valign="top"><a class="el" href="
|
|
536
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html">ThreadCallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
537
537
|
</tr>
|
|
538
538
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
539
539
|
<td valign="top"><a class="el" href="classSVF_1_1GenericGraphReader.html">GenericGraphReader</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
540
540
|
<td valign="top"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
541
541
|
<td valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
542
|
-
<td valign="top"><a class="el" href="
|
|
542
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadForkEdge.html">ThreadForkEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
543
543
|
</tr>
|
|
544
544
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGramGraphChecker.html">CFLGramGraphChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
545
545
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
546
546
|
<td valign="top"><a class="el" href="classSVF_1_1IRGraph.html">IRGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
547
547
|
<td valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
548
|
-
<td valign="top"><a class="el" href="
|
|
548
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadJoinEdge.html">ThreadJoinEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
549
549
|
</tr>
|
|
550
550
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
551
551
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html">GenericGraphTraits< Inverse< Inverse< T > > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
552
552
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__iterable.html">is_iterable</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
553
553
|
<td valign="top"><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::PointsToIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
554
|
-
<td valign="top"><a class="el" href="
|
|
554
|
+
<td valign="top"><a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html">ThreadMHPIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
555
555
|
</tr>
|
|
556
556
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
557
557
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::CDGNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
558
558
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html">is_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
559
559
|
<td valign="top"><a class="el" href="structSVF_1_1PopulationCounter.html">PopulationCounter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
560
|
-
<td valign="top"><a class="el" href="
|
|
560
|
+
<td valign="top"><a class="el" href="structSVF_1_1TrailingZerosCounter.html">TrailingZerosCounter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
561
561
|
</tr>
|
|
562
562
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
563
563
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::CFBasicBlockNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
564
564
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__map.html">is_map</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
565
565
|
<td valign="top"><a class="el" href="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html">PopulationCounter< T, 8 ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
566
|
-
<td valign="top"><a class="el" href="
|
|
566
|
+
<td valign="top"><a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html">POCRHybridSolver::TreeNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
567
567
|
</tr>
|
|
568
568
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLSolver.html">CFLSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
569
569
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::CFLNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
570
570
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html">is_map< std::map< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
571
571
|
<td valign="top"><a class="el" href="structprintbuffer.html">printbuffer</a>   </td>
|
|
572
|
-
<td
|
|
573
|
-
</td>
|
|
572
|
+
<td valign="top"><a class="el" href="classSVF_1_1TypeAnalysis.html">TypeAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
574
573
|
</tr>
|
|
575
574
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLStat.html">CFLStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
576
575
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::CHNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
577
576
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html">is_map< std::unordered_map< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
578
577
|
<td valign="top"><a class="el" href="classSVF_1_1ProgSlice.html">ProgSlice</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
578
|
+
<td rowspan="2" valign="bottom"><a name="letter_u"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  u  </div></td></tr></table>
|
|
579
|
+
</td>
|
|
579
580
|
</tr>
|
|
580
581
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html">CFLSVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
581
582
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::ConstraintNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
582
583
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__sequence__container.html">is_sequence_container</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
583
584
|
<td valign="top"><a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
584
|
-
<td valign="top"><a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
585
585
|
</tr>
|
|
586
586
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CFLVF.html">CFLVF</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
587
587
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::DCHNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
588
588
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html">is_sequence_container< std::deque< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
589
589
|
<td valign="top"><a class="el" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
590
|
-
<td valign="top"><a class="el" href="
|
|
590
|
+
<td valign="top"><a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
591
591
|
</tr>
|
|
592
592
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CHEdge.html">CHEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
593
593
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
594
594
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html">is_sequence_container< std::list< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
595
595
|
<td valign="top"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
596
|
-
<td
|
|
597
|
-
</td>
|
|
596
|
+
<td valign="top"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">UnaryOPVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
598
597
|
</tr>
|
|
599
598
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CHGBuilder.html">CHGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
600
599
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::ICFGNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
601
600
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html">is_sequence_container< std::vector< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
602
601
|
<td valign="top"><a class="el" href="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
602
|
+
<td rowspan="2" valign="bottom"><a name="letter_v"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  v  </div></td></tr></table>
|
|
603
|
+
</td>
|
|
603
604
|
</tr>
|
|
604
605
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CHGraph.html">CHGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
605
606
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::PTACallGraphNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
606
607
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__set.html">is_set</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
607
608
|
<td valign="top"><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
608
|
-
<td valign="top"><a class="el" href="classSVF_1_1ValVar.html">ValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
609
609
|
</tr>
|
|
610
610
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CHNode.html">CHNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
611
611
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::SVFVar * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
612
612
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html">is_set< std::set< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
613
613
|
<td rowspan="2" valign="bottom"><a name="letter_r"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  r  </div></td></tr></table>
|
|
614
614
|
</td>
|
|
615
|
-
<td valign="top"><a class="el" href="
|
|
615
|
+
<td valign="top"><a class="el" href="classSVF_1_1ValVar.html">ValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
616
616
|
</tr>
|
|
617
617
|
<tr><td valign="top"><a class="el" href="structcJSON.html">cJSON</a>   </td>
|
|
618
618
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::TCTNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
619
619
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html">is_set< std::unordered_set< Ts... > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
620
|
-
<td valign="top"><a class="el" href="
|
|
620
|
+
<td valign="top"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
621
621
|
</tr>
|
|
622
622
|
<tr><td valign="top"><a class="el" href="structcJSON__Hooks.html">cJSON_Hooks</a>   </td>
|
|
623
623
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html">GenericGraphTraits< Inverse< SVF::VFGNode * > ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
624
624
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
625
625
|
<td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator.html">RaceResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
626
|
-
<td valign="top"><a class="el" href="
|
|
626
|
+
<td valign="top"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
627
627
|
</tr>
|
|
628
628
|
<tr><td valign="top"><a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html">NodeIDAllocator::Clusterer</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
629
629
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html">GenericGraphTraits< SVF::CDG * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
630
630
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
631
631
|
<td valign="top"><a class="el" href="classSVF_1_1RaceValidator.html">RaceValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
632
|
-
<td valign="top"><a class="el" href="
|
|
632
|
+
<td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
633
633
|
</tr>
|
|
634
634
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
635
635
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html">GenericGraphTraits< SVF::CDGNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
636
636
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html">isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
637
637
|
<td valign="top"><a class="el" href="classSVF_1_1ReaderIDToObjMap.html">ReaderIDToObjMap</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
638
|
-
<td valign="top"><a class="el" href="
|
|
638
|
+
<td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">VersionedFlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
639
639
|
</tr>
|
|
640
640
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
641
641
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html">GenericGraphTraits< SVF::CFBasicBlockGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
642
642
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
643
643
|
<td valign="top"><a class="el" href="classSVF_1_1ReaderPtrPool.html">ReaderPtrPool</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
644
|
-
<td valign="top"><a class="el" href="
|
|
644
|
+
<td valign="top"><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
645
645
|
</tr>
|
|
646
646
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CommonCHGraph.html">CommonCHGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
647
647
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html">GenericGraphTraits< SVF::CFBasicBlockNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
648
648
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl< To, const From * ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
649
649
|
<td valign="top"><a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html">iter_facade_base::ReferenceProxy</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
650
|
-
<td valign="top"><a class="el" href="
|
|
650
|
+
<td valign="top"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html">VFCFLGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
651
651
|
</tr>
|
|
652
652
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html">CondPointsToSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
653
653
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html">GenericGraphTraits< SVF::CFLGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
654
654
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">isa_impl_cl< To, const From *const ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
655
655
|
<td valign="top"><a class="el" href="classSVF_1_1RelationSolver.html">RelationSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
656
|
-
<td valign="top"><a class="el" href="
|
|
656
|
+
<td valign="top"><a class="el" href="classSVF_1_1VFG.html">VFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
657
657
|
</tr>
|
|
658
658
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CondPTAImpl.html">CondPTAImpl</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
659
659
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html">GenericGraphTraits< SVF::CFLNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
660
660
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html">isa_impl_cl< To, const From ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
661
661
|
<td valign="top"><a class="el" href="classSVF_1_1RelExeState.html">RelExeState</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
662
|
-
<td valign="top"><a class="el" href="
|
|
662
|
+
<td valign="top"><a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
663
663
|
</tr>
|
|
664
664
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html">CondPointsToSet::CondPtsSetIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
665
665
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html">GenericGraphTraits< SVF::CHGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
666
666
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">isa_impl_cl< To, const std::unique_ptr< From > ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
667
667
|
<td valign="top"><a class="el" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
668
|
-
<td
|
|
669
|
-
</td>
|
|
668
|
+
<td valign="top"><a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
670
669
|
</tr>
|
|
671
670
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
672
671
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html">GenericGraphTraits< SVF::CHNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
673
672
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html">isa_impl_cl< To, From * ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
674
673
|
<td valign="top"><a class="el" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
674
|
+
<td rowspan="2" valign="bottom"><a name="letter_w"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  w  </div></td></tr></table>
|
|
675
|
+
</td>
|
|
675
676
|
</tr>
|
|
676
677
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CondVar.html">CondVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
677
678
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html">GenericGraphTraits< SVF::ConstraintGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
678
679
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html">isa_impl_cl< To, From *const ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
679
680
|
<td valign="top"><a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
680
|
-
<td valign="top"><a class="el" href="classSVF_1_1WPAFSSolver.html">WPAFSSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
681
681
|
</tr>
|
|
682
682
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ConsExeState.html">ConsExeState</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
683
683
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html">GenericGraphTraits< SVF::ConstraintNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
684
684
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
685
685
|
<td valign="top"><a class="el" href="classSVF_1_1RetIndSVFGEdge.html">RetIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
686
|
-
<td valign="top"><a class="el" href="
|
|
686
|
+
<td valign="top"><a class="el" href="classSVF_1_1WPAFSSolver.html">WPAFSSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
687
687
|
</tr>
|
|
688
688
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
689
689
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html">GenericGraphTraits< SVF::DCHGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
690
690
|
<td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">isa_impl_wrap< To, FromTy, FromTy ></a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)   </td>
|
|
691
691
|
<td valign="top"><a class="el" href="classSVF_1_1RetMU.html">RetMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
692
|
-
<td valign="top"><a class="el" href="
|
|
692
|
+
<td valign="top"><a class="el" href="classSVF_1_1WPAMinimumSolver.html">WPAMinimumSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
693
693
|
</tr>
|
|
694
694
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
695
695
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html">GenericGraphTraits< SVF::DCHNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
696
696
|
<td valign="top"><a class="el" href="classSVF_1_1iter__adaptor__base.html">iter_adaptor_base</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
697
697
|
<td valign="top"><a class="el" href="classSVF_1_1RetPE.html">RetPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
698
|
-
<td valign="top"><a class="el" href="
|
|
698
|
+
<td valign="top"><a class="el" href="classSVF_1_1WPAPass.html">WPAPass</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
699
699
|
</tr>
|
|
700
700
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
701
701
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html">GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
702
702
|
<td valign="top"><a class="el" href="classSVF_1_1iter__facade__base.html">iter_facade_base</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
703
703
|
<td valign="top"><a class="el" href="classSVF_1_1RetPN.html">RetPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
704
|
-
<td valign="top"><a class="el" href="
|
|
704
|
+
<td valign="top"><a class="el" href="classSVF_1_1WPASCCSolver.html">WPASCCSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
705
705
|
</tr>
|
|
706
706
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
707
707
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html">GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
708
708
|
<td valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
709
709
|
<td rowspan="2" valign="bottom"><a name="letter_s"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  s  </div></td></tr></table>
|
|
710
710
|
</td>
|
|
711
|
-
<td valign="top"><a class="el" href="
|
|
711
|
+
<td valign="top"><a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
712
712
|
</tr>
|
|
713
713
|
<tr><td valign="top"><a class="el" href="classSVF_1_1ContextDDA.html">ContextDDA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
714
714
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html">GenericGraphTraits< SVF::ICFG * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
715
715
|
<td rowspan="2" valign="bottom"><a name="letter_k"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  k  </div></td></tr></table>
|
|
716
716
|
</td>
|
|
717
|
-
<td valign="top"><a class="el" href="
|
|
717
|
+
<td valign="top"><a class="el" href="classSVF_1_1WriterPtrPool.html">WriterPtrPool</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
718
718
|
</tr>
|
|
719
719
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
720
720
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html">GenericGraphTraits< SVF::ICFGNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
721
721
|
<td valign="top"><a class="el" href="classSVF_1_1SaberCheckerAPI.html">SaberCheckerAPI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
722
|
-
<td valign="top"><a class="el" href="
|
|
722
|
+
<td valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
723
723
|
</tr>
|
|
724
724
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
725
725
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html">GenericGraphTraits< SVF::IRGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
726
726
|
<td valign="top"><a class="el" href="structSVF_1_1KindBaseHelper.html">KindBaseHelper</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
727
727
|
<td valign="top"><a class="el" href="classSVF_1_1SaberCondAllocator.html">SaberCondAllocator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
728
|
-
<td valign="top"><a class="el" href="
|
|
728
|
+
<td valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html">CFBasicBlockGWTO::WTOCycleDepthBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
729
729
|
</tr>
|
|
730
730
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CopyVFGNode.html">CopyVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
731
731
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html">GenericGraphTraits< SVF::PTACallGraph * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
732
732
|
<td rowspan="2" valign="bottom"><a name="letter_l"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  l  </div></td></tr></table>
|
|
733
733
|
</td>
|
|
734
734
|
<td valign="top"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SaberSVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
735
|
-
<td
|
|
736
|
-
</td>
|
|
735
|
+
<td valign="top"><a class="el" href="classSVF_1_1WTOVisitor.html">WTOVisitor</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
737
736
|
</tr>
|
|
738
737
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
739
738
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html">GenericGraphTraits< SVF::PTACallGraphNode * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
740
739
|
<td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html">VersionedFlowSensitive::SCC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
740
|
+
<td rowspan="2" valign="bottom"><a name="letter_z"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">  z  </div></td></tr></table>
|
|
741
|
+
</td>
|
|
741
742
|
</tr>
|
|
742
743
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVector::CoreBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
743
744
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html">GenericGraphTraits< SVF::SVFG * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
744
745
|
<td valign="top"><a class="el" href="structSVF_1_1LeadingZerosCounter.html">LeadingZerosCounter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
745
746
|
<td valign="top"><a class="el" href="classSVF_1_1SCCDetection.html">SCCDetection</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
746
|
-
<td valign="top"><a class="el" href="classSVF_1_1Z3Expr.html">Z3Expr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
747
747
|
</tr>
|
|
748
748
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CSC.html">CSC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
749
749
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html">GenericGraphTraits< SVF::SVFVar * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
750
750
|
<td valign="top"><a class="el" href="classSVF_1_1LeakChecker.html">LeakChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
751
751
|
<td valign="top"><a class="el" href="classSVF_1_1SelectStmt.html">SelectStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
752
|
-
<td
|
|
752
|
+
<td valign="top"><a class="el" href="classSVF_1_1Z3Expr.html">Z3Expr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
753
|
+
</tr>
|
|
753
754
|
<tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
754
755
|
<td valign="top"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html">GenericGraphTraits< SVF::TCT * ></a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|
|
755
756
|
<td valign="top"><a class="el" href="classSVF_1_1List.html">List</a> (<a class="el" href="namespaceSVF.html">SVF</a>)   </td>
|