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
|
@@ -85,87 +85,88 @@ $(function() {
|
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
86
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278">buildCG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
100
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
104
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
106
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
108
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
110
|
-
<tr><td class="entry"><a class="el" href="
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
116
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
118
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
120
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
122
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
123
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
124
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
126
|
-
<tr><td class="entry"><a class="el" href="
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
128
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
130
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
134
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
135
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
136
|
-
<tr><td class="entry"><a class="el" href="
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
138
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
139
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
140
|
-
<tr><td class="entry"><a class="el" href="
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
142
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
143
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
144
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a65c96cdd904e4240fbc7a044f89b91a1">clearSolitaries</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a7e4c0c3e6e3c64d2729abd0f161cf550">ConstraintGraph</a>(SVFIR *p)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f">ConstraintNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025">ConstraintNodeIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">directEdgeSet</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462">dump</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f">edgeIndex</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b">getAddrCGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a">getAllFieldsObjVars</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415">getBaseObjVar</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ab2b4725a8fcae8a1bc3c026d236005b8">getBlackHoleNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ad7196d5f05192d9468ee0ca93b6b66ee">getDirectCGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4">getEdge</a>(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731">getFIObjVar</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a64c3531053c084bf7195c0900d8902c9">getGepObjVar</a>(NodeID id, const APOffset &apOffset)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a48a71f212e368769218a6f332822c976">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#afb849d8f3425ff36497d062ecefd2cc1">getLoadCGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704">getNextCollapseNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a4dd7feb1ed62883dd35ced962ba6b59e">getPAGEdgeSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">getRep</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68">getReturnNode</a>(const SVFFunction *value) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a61ef90be6ccc01634e5440f22a0f746e">getStoreCGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">getSubs</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5">getValueNode</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5">getVarargNode</a>(const SVFFunction *value) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d">hasConstraintNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51">hasEdge</a>(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be">hasNodesToBeCollapsed</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9">isBlkObjOrConstantObj</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c">isPWCNode</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">isSingleFieldObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
135
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">isZeroOffsettedGepCGEdge</a>(ConstraintEdge *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
137
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">LoadCGEdgeSet</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39">moveEdgesToRepNode</a>(ConstraintNode *node, ConstraintNode *rep)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd">moveInEdgesToRepNode</a>(ConstraintNode *node, ConstraintNode *rep)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59">moveOutEdgesToRepNode</a>(ConstraintNode *node, ConstraintNode *rep)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
142
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b">nodesToBeCollapsed</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
143
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">NodeToRepMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">nodeToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
145
145
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">nodeToSubsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
146
|
-
<tr><td class="entry"><a class="el" href="
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
148
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
150
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
152
|
-
<tr><td class="entry"><a class="el" href="
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
154
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
155
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
156
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
157
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
158
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
159
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
160
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
161
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
162
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
163
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
164
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
165
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
166
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
167
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#
|
|
168
|
-
<tr><td class="entry"><a class="el" href="
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">NodeToSubsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa8b09f64c6e4bbd081c6062a1a0e8948">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa87bf07fc538c2cf425138727e7acbce">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee">removeAddrEdge</a>(AddrCGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3">removeConstraintNode</a>(ConstraintNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244">removeDirectEdge</a>(ConstraintEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
153
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
154
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28">removeLoadEdge</a>(LoadCGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2">removeStoreEdge</a>(StoreCGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
156
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e">resetRep</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
157
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3">resetSubs</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722">reTargetDstOfEdge</a>(ConstraintEdge *edge, ConstraintNode *newDstNode)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
159
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">reTargetSrcOfEdge</a>(ConstraintEdge *edge, ConstraintNode *newSrcNode)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
160
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f">sccRepNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
161
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3">sccSubNodes</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
162
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724">setPWCNode</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
163
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb">setRep</a>(NodeID node, NodeID rep)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
164
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8">setSubs</a>(NodeID node, NodeBS &subs)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
165
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">StoreCGEdgeSet</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
166
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
167
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"></td></tr>
|
|
168
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html#a171331edb83de1fd118eebb3a0fa1662">~ConstraintGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
169
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
169
170
|
</table></div><!-- contents -->
|
|
170
171
|
<!-- start footer part -->
|
|
171
172
|
<hr class="footer"/><address class="footer"><small>
|