svf-tools 1.0.747 → 1.0.749
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +168 -144
- package/SVF-doxygen/html/html/SVFBugReport_8h.html +4 -0
- package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +167 -125
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +5 -4
- package/SVF-doxygen/html/html/annotated.html +292 -290
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug-members.html +107 -0
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +302 -0
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +21 -14
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug-members.html +107 -0
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +302 -0
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +169 -169
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
- package/SVF-doxygen/html/html/classes.html +334 -332
- package/SVF-doxygen/html/html/functions_c.html +21 -17
- package/SVF-doxygen/html/html/functions_eval_f.html +3 -0
- package/SVF-doxygen/html/html/functions_eval_p.html +3 -0
- package/SVF-doxygen/html/html/functions_f.html +21 -15
- package/SVF-doxygen/html/html/functions_func_c.html +23 -21
- package/SVF-doxygen/html/html/functions_func_f.html +3 -0
- package/SVF-doxygen/html/html/functions_func_g.html +19 -17
- package/SVF-doxygen/html/html/functions_func_p.html +8 -3
- package/SVF-doxygen/html/html/functions_g.html +21 -19
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_o.html +17 -17
- package/SVF-doxygen/html/html/functions_p.html +34 -28
- package/SVF-doxygen/html/html/functions_r.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +11 -11
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_type_g.html +1 -1
- package/SVF-doxygen/html/html/functions_type_i.html +1 -1
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/hierarchy.html +4 -2
- package/SVF-doxygen/html/html/namespaceSVF.html +4 -0
- package/SVF-doxygen/html/html/search/all_10.js +325 -323
- package/SVF-doxygen/html/html/search/all_11.js +208 -208
- package/SVF-doxygen/html/html/search/all_12.js +546 -546
- package/SVF-doxygen/html/html/search/all_13.js +189 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +70 -68
- package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
- package/SVF-doxygen/html/html/search/all_8.js +192 -192
- package/SVF-doxygen/html/html/search/all_9.js +597 -597
- package/SVF-doxygen/html/html/search/all_a.js +47 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +113 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +206 -206
- package/SVF-doxygen/html/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +10 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -27
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -35
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +13 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +2 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +6 -6
- package/SVF-doxygen/html/html/search/defines_e.js +3 -3
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +1 -1
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +2 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -47
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -16
- package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +50 -50
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +4 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +19 -19
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +351 -351
- package/SVF-doxygen/html/html/search/functions_1.js +80 -80
- package/SVF-doxygen/html/html/search/functions_10.js +121 -121
- package/SVF-doxygen/html/html/search/functions_11.js +282 -282
- package/SVF-doxygen/html/html/search/functions_12.js +55 -55
- package/SVF-doxygen/html/html/search/functions_13.js +38 -38
- package/SVF-doxygen/html/html/search/functions_14.js +71 -71
- package/SVF-doxygen/html/html/search/functions_15.js +29 -29
- package/SVF-doxygen/html/html/search/functions_16.js +2 -2
- package/SVF-doxygen/html/html/search/functions_17.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +251 -251
- package/SVF-doxygen/html/html/search/functions_3.js +72 -72
- package/SVF-doxygen/html/html/search/functions_4.js +55 -55
- package/SVF-doxygen/html/html/search/functions_5.js +55 -54
- package/SVF-doxygen/html/html/search/functions_6.js +832 -832
- package/SVF-doxygen/html/html/search/functions_7.js +144 -144
- package/SVF-doxygen/html/html/search/functions_8.js +417 -417
- package/SVF-doxygen/html/html/search/functions_9.js +29 -29
- package/SVF-doxygen/html/html/search/functions_a.js +2 -2
- package/SVF-doxygen/html/html/search/functions_b.js +23 -23
- package/SVF-doxygen/html/html/search/functions_c.js +75 -75
- package/SVF-doxygen/html/html/search/functions_d.js +35 -35
- package/SVF-doxygen/html/html/search/functions_e.js +56 -56
- package/SVF-doxygen/html/html/search/functions_f.js +143 -142
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +146 -146
- package/SVF-doxygen/html/html/search/variables_1.js +74 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/html/search/variables_13.js +77 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +35 -35
- package/SVF-doxygen/html/html/search/variables_3.js +148 -148
- package/SVF-doxygen/html/html/search/variables_4.js +56 -56
- package/SVF-doxygen/html/html/search/variables_5.js +40 -40
- package/SVF-doxygen/html/html/search/variables_6.js +67 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +33 -33
- package/package.json +1 -1
- package/svf/include/SABER/SrcSnkSolver.h +2 -2
- package/svf/include/Util/SVFBugReport.h +33 -1
- package/svf/lib/Util/SVFBugReport.cpp +24 -0
|
@@ -125,7 +125,7 @@ $(function() {
|
|
|
125
125
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
126
126
|
, <a class="el" href="classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f">SVF::GraphWriter< GraphType ></a>
|
|
127
127
|
, <a class="el" href="classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12">SVF::SCCDetection< GraphType ></a>
|
|
128
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
128
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
129
129
|
, <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver< GraphType ></a>
|
|
130
130
|
, <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver< GraphType ></a>
|
|
131
131
|
, <a class="el" href="classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23">SVF::WPASolver< GraphType ></a>
|
|
@@ -152,7 +152,7 @@ $(function() {
|
|
|
152
152
|
</li>
|
|
153
153
|
<li>InvGTraits
|
|
154
154
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
155
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
155
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
156
156
|
</li>
|
|
157
157
|
<li>Iterator
|
|
158
158
|
: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
|
|
@@ -100,21 +100,23 @@ $(function() {
|
|
|
100
100
|
<li>WordSize
|
|
101
101
|
: <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
|
|
102
102
|
</li>
|
|
103
|
+
<li>WorkList
|
|
104
|
+
: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
|
|
105
|
+
</li>
|
|
103
106
|
<li>worklist
|
|
104
107
|
: <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
|
|
105
108
|
</li>
|
|
106
109
|
<li>WorkList
|
|
107
|
-
: <a class="el" href="
|
|
108
|
-
, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
|
|
110
|
+
: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
|
|
109
111
|
, <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
|
|
110
112
|
, <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
|
|
111
|
-
, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
112
113
|
</li>
|
|
113
114
|
<li>worklist
|
|
114
115
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
115
116
|
</li>
|
|
116
117
|
<li>WorkList
|
|
117
|
-
: <a class="el" href="
|
|
118
|
+
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
119
|
+
, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
|
|
118
120
|
, <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
|
|
119
121
|
, <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
|
|
120
122
|
, <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
|
|
@@ -129,13 +131,11 @@ $(function() {
|
|
|
129
131
|
</li>
|
|
130
132
|
<li>worklist
|
|
131
133
|
: <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
|
|
134
|
+
, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver< GraphType ></a>
|
|
132
135
|
</li>
|
|
133
136
|
<li>WorkList
|
|
134
137
|
: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver< GraphType ></a>
|
|
135
138
|
</li>
|
|
136
|
-
<li>worklist
|
|
137
|
-
: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver< GraphType ></a>
|
|
138
|
-
</li>
|
|
139
139
|
<li>WorkStack
|
|
140
140
|
: <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
|
|
141
141
|
</li>
|
|
@@ -213,13 +213,13 @@ $(function() {
|
|
|
213
213
|
: <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300">SVF::CFBasicBlockGWTOComp</a>
|
|
214
214
|
</li>
|
|
215
215
|
<li>WTOCycleDepth()
|
|
216
|
-
: <a class="el" href="classSVF_1_1WTOCycleDepth.html#
|
|
216
|
+
: <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82">SVF::WTOCycleDepth< NodeRef ></a>
|
|
217
217
|
</li>
|
|
218
218
|
<li>WTOCycleDepthBuilder()
|
|
219
219
|
: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
|
|
220
220
|
</li>
|
|
221
221
|
<li>WTOVisitor()
|
|
222
|
-
: <a class="el" href="classSVF_1_1WTOVisitor.html#
|
|
222
|
+
: <a class="el" href="classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25">SVF::WTOVisitor</a>
|
|
223
223
|
</li>
|
|
224
224
|
</ul>
|
|
225
225
|
</div><!-- contents -->
|
|
@@ -190,8 +190,10 @@ $(function() {
|
|
|
190
190
|
<tr id="row_74_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeBug.html" target="_self">SVF::DoubleFreeBug</a></td><td class="desc"></td></tr>
|
|
191
191
|
<tr id="row_74_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileNeverCloseBug.html" target="_self">SVF::FileNeverCloseBug</a></td><td class="desc"></td></tr>
|
|
192
192
|
<tr id="row_74_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FilePartialCloseBug.html" target="_self">SVF::FilePartialCloseBug</a></td><td class="desc"></td></tr>
|
|
193
|
-
<tr id="row_74_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
194
|
-
<tr id="row_74_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
193
|
+
<tr id="row_74_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html" target="_self">SVF::FullNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
|
|
194
|
+
<tr id="row_74_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NeverFreeBug.html" target="_self">SVF::NeverFreeBug</a></td><td class="desc"></td></tr>
|
|
195
|
+
<tr id="row_74_6_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialLeakBug.html" target="_self">SVF::PartialLeakBug</a></td><td class="desc"></td></tr>
|
|
196
|
+
<tr id="row_74_7_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html" target="_self">SVF::PartialNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
|
|
195
197
|
<tr id="row_75_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_75_" class="arrow" onclick="toggleFolder('75_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericEdge.html" target="_self">SVF::GenericEdge< NodeTy ></a></td><td class="desc"></td></tr>
|
|
196
198
|
<tr id="row_75_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockEdge.html" target="_self">SVF::CFBasicBlockEdge</a></td><td class="desc"></td></tr>
|
|
197
199
|
<tr id="row_75_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLEdge.html" target="_self">SVF::CFLEdge</a></td><td class="desc"></td></tr>
|
|
@@ -368,6 +368,8 @@ Classes</h2></td></tr>
|
|
|
368
368
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
369
369
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a></td></tr>
|
|
370
370
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
371
|
+
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a></td></tr>
|
|
372
|
+
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
371
373
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a></td></tr>
|
|
372
374
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
373
375
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a></td></tr>
|
|
@@ -658,6 +660,8 @@ Classes</h2></td></tr>
|
|
|
658
660
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
659
661
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a></td></tr>
|
|
660
662
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
663
|
+
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</a></td></tr>
|
|
664
|
+
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
661
665
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PCG.html">PCG</a></td></tr>
|
|
662
666
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
663
667
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a></td></tr>
|