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
|
@@ -1,129 +1,129 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
|
-
['
|
|
4
|
-
['
|
|
5
|
-
['
|
|
6
|
-
['
|
|
7
|
-
['
|
|
8
|
-
['
|
|
9
|
-
['
|
|
10
|
-
['
|
|
11
|
-
['
|
|
12
|
-
['
|
|
13
|
-
['
|
|
14
|
-
['
|
|
15
|
-
['
|
|
16
|
-
['
|
|
17
|
-
['
|
|
18
|
-
['
|
|
19
|
-
['
|
|
20
|
-
['
|
|
21
|
-
['
|
|
22
|
-
['
|
|
23
|
-
['
|
|
24
|
-
['
|
|
25
|
-
['
|
|
26
|
-
['
|
|
27
|
-
['
|
|
28
|
-
['
|
|
29
|
-
['
|
|
30
|
-
['
|
|
31
|
-
['
|
|
32
|
-
['
|
|
33
|
-
['
|
|
34
|
-
['
|
|
35
|
-
['
|
|
36
|
-
['
|
|
37
|
-
['
|
|
38
|
-
['
|
|
39
|
-
['
|
|
40
|
-
['
|
|
41
|
-
['
|
|
42
|
-
['
|
|
43
|
-
['
|
|
44
|
-
['
|
|
45
|
-
['
|
|
46
|
-
['
|
|
47
|
-
['
|
|
48
|
-
['
|
|
49
|
-
['
|
|
50
|
-
['
|
|
51
|
-
['
|
|
52
|
-
['
|
|
53
|
-
['
|
|
54
|
-
['
|
|
55
|
-
['
|
|
56
|
-
['
|
|
57
|
-
['
|
|
58
|
-
['
|
|
59
|
-
['
|
|
60
|
-
['
|
|
61
|
-
['
|
|
62
|
-
['
|
|
63
|
-
['
|
|
64
|
-
['
|
|
65
|
-
['
|
|
66
|
-
['
|
|
67
|
-
['
|
|
68
|
-
['
|
|
69
|
-
['
|
|
70
|
-
['
|
|
71
|
-
['
|
|
72
|
-
['
|
|
73
|
-
['
|
|
74
|
-
['
|
|
75
|
-
['
|
|
76
|
-
['
|
|
77
|
-
['
|
|
78
|
-
['
|
|
79
|
-
['
|
|
80
|
-
['
|
|
81
|
-
['
|
|
82
|
-
['
|
|
83
|
-
['
|
|
84
|
-
['
|
|
85
|
-
['
|
|
86
|
-
['
|
|
87
|
-
['
|
|
88
|
-
['
|
|
89
|
-
['
|
|
90
|
-
['
|
|
91
|
-
['
|
|
92
|
-
['
|
|
93
|
-
['
|
|
94
|
-
['
|
|
95
|
-
['
|
|
96
|
-
['
|
|
97
|
-
['
|
|
98
|
-
['
|
|
99
|
-
['
|
|
100
|
-
['
|
|
101
|
-
['
|
|
102
|
-
['
|
|
103
|
-
['
|
|
104
|
-
['
|
|
105
|
-
['
|
|
106
|
-
['
|
|
107
|
-
['
|
|
108
|
-
['
|
|
109
|
-
['
|
|
110
|
-
['
|
|
111
|
-
['
|
|
112
|
-
['
|
|
113
|
-
['
|
|
114
|
-
['
|
|
115
|
-
['
|
|
116
|
-
['
|
|
117
|
-
['
|
|
118
|
-
['
|
|
119
|
-
['
|
|
120
|
-
['
|
|
121
|
-
['
|
|
122
|
-
['
|
|
123
|
-
['
|
|
124
|
-
['
|
|
125
|
-
['
|
|
126
|
-
['
|
|
127
|
-
['
|
|
128
|
-
['
|
|
3
|
+
['callbase_11945',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
|
|
4
|
+
['callbrinst_11946',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
|
|
5
|
+
['callchi_11947',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
|
|
6
|
+
['calledgemap_11948',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
|
|
7
|
+
['callgraphedgeconstiter_11949',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
|
|
8
|
+
['callgraphedgeiter_11950',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
|
|
9
|
+
['callgraphedgeset_11951',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
|
|
10
|
+
['callgraphscc_11952',['CallGraphSCC',['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
|
|
11
|
+
['callinst_11953',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
|
|
12
|
+
['callinstset_11954',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#ad33f2f6a08fe6ccad9b6f92c8d211565',1,'SVF::PCG::CallInstSet()']]],
|
|
13
|
+
['callinsttocallgraphedgesmap_11955',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
|
|
14
|
+
['callinsttoforkedgesmap_11956',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
|
|
15
|
+
['callinsttojoinedgesmap_11957',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
|
|
16
|
+
['callinsttoparforedgesmap_11958',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
|
|
17
|
+
['callmu_11959',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
|
|
18
|
+
['callpeset_11960',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
|
|
19
|
+
['callsite2dummyvalpn_11961',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a248c51fefff8d65d0ae267a0ce114833',1,'SVF::Steensgaard::CallSite2DummyValPN()']]],
|
|
20
|
+
['callsiteid_11962',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
|
|
21
|
+
['callsitepair_11963',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
|
|
22
|
+
['callsiteset_11964',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()']]],
|
|
23
|
+
['callsitetoactualinsmapty_11965',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
|
|
24
|
+
['callsitetoactualoutsmapty_11966',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
|
|
25
|
+
['callsitetochisetmap_11967',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
|
|
26
|
+
['callsitetochnodesmap_11968',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
|
|
27
|
+
['callsitetofunptrmap_11969',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
|
|
28
|
+
['callsitetoidmap_11970',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
|
|
29
|
+
['callsitetomrsmap_11971',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
|
|
30
|
+
['callsitetomusetmap_11972',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
|
|
31
|
+
['callsitetonodebsmap_11973',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
|
|
32
|
+
['callsitetopointstomap_11974',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
|
|
33
|
+
['callsitetovfunsetmap_11975',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
|
|
34
|
+
['callsitetovtablesetmap_11976',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
|
|
35
|
+
['callstrcxt_11977',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
|
|
36
|
+
['calltoinstmap_11978',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
|
|
37
|
+
['castinst_11979',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
|
|
38
|
+
['cdata_5fiterator_11980',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
|
|
39
|
+
['cfbasicblockgwtocycledepth_11981',['CFBasicBlockGWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803',1,'SVF::CFBasicBlockGWTO']]],
|
|
40
|
+
['cfbasicblockgwtocycledepthptr_11982',['CFBasicBlockGWTOCycleDepthPtr',['../classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47',1,'SVF::CFBasicBlockGWTO']]],
|
|
41
|
+
['cfbasicblocknodes_11983',['CFBasicBlockNodes',['../classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26',1,'SVF::CFBasicBlockGWTO']]],
|
|
42
|
+
['cfledgedataty_11984',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
|
|
43
|
+
['cfledgeset_11985',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
|
|
44
|
+
['cfledgesetty_11986',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
|
|
45
|
+
['cflsrcsnksolver_11987',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
|
|
46
|
+
['cfworklist_11988',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
|
|
47
|
+
['cgscc_11989',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
|
|
48
|
+
['chedgesetty_11990',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
|
|
49
|
+
['chgraphreader_11991',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
|
|
50
|
+
['chgraphwriter_11992',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
|
|
51
|
+
['chi_11993',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
|
|
52
|
+
['child_5fiterator_11994',['child_iterator',['../classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56',1,'SVF::GraphWriter::child_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
|
|
53
|
+
['childiteratortype_11995',['ChildIteratorType',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a2580185292f7249eb074356cd937cccc',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a72a273d644d002b59a546b047d4bb0dd',1,'SVF::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a95fc3b739ccea8d236e5b795b8770787',1,'SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4036db1b2c075bd1f2b7249b8e268937',1,'SVF::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
|
|
54
|
+
['chiset_11996',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
|
|
55
|
+
['chitype_11997',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
|
|
56
|
+
['chnodesetty_11998',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
|
|
57
|
+
['cilocktospan_11999',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
|
|
58
|
+
['cispan_12000',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
|
|
59
|
+
['cjson_12001',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
|
|
60
|
+
['cjson_5fbool_12002',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
|
|
61
|
+
['cjson_5fhooks_12003',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
|
|
62
|
+
['cmpinst_12004',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
|
|
63
|
+
['condition_12005',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
|
|
64
|
+
['condposmap_12006',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
|
|
65
|
+
['condpts_12007',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
|
|
66
|
+
['condptsconstiter_12008',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
|
|
67
|
+
['condptsiter_12009',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
|
|
68
|
+
['const_5falias_5fiterator_12010',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
|
|
69
|
+
['const_5fcdata_5fiterator_12011',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
|
|
70
|
+
['const_5fglobal_5fiterator_12012',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
|
|
71
|
+
['const_5finst_5fiterator_12013',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
|
|
72
|
+
['const_5fiterator_12014',['const_iterator',['../classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2',1,'SVF::POCRSolver::const_iterator()'],['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()'],['../classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48',1,'SVF::SVFFunction::const_iterator()'],['../classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca',1,'SVF::SVFBasicBlock::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()']]],
|
|
73
|
+
['const_5fovalue_5fiterator_12015',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
|
|
74
|
+
['const_5fpred_5fiterator_12016',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
|
|
75
|
+
['constant_12017',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
|
|
76
|
+
['constantaggregate_12018',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
|
|
77
|
+
['constantaggregatezero_12019',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
|
|
78
|
+
['constantarray_12020',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
|
|
79
|
+
['constantdata_12021',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
|
|
80
|
+
['constantdataarray_12022',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
|
|
81
|
+
['constantdatasequential_12023',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
|
|
82
|
+
['constantexpr_12024',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
|
|
83
|
+
['constantfp_12025',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
|
|
84
|
+
['constantint_12026',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
|
|
85
|
+
['constantpointernull_12027',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
|
|
86
|
+
['constantstruct_12028',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
|
|
87
|
+
['constanttype_12029',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
|
|
88
|
+
['constraintedgesetty_12030',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
|
|
89
|
+
['constraintnodeidtonodemapty_12031',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
|
|
90
|
+
['constraintnodeiter_12032',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
|
|
91
|
+
['constsvfgedgeset_12033',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
|
|
92
|
+
['copysvfgnode_12034',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
|
|
93
|
+
['cptset_12035',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
|
|
94
|
+
['csnumtoinst_12036',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
|
|
95
|
+
['cstoargslistmap_12037',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
|
|
96
|
+
['cstocallnodemapty_12038',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
|
|
97
|
+
['cstoretmap_12039',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
|
|
98
|
+
['cstoretnodemapty_12040',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
|
|
99
|
+
['csworklist_12041',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
|
|
100
|
+
['ctxset_12042',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
|
|
101
|
+
['cvar_12043',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
|
|
102
|
+
['cxtlocdpitem_12044',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
|
|
103
|
+
['cxtlock_12045',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
|
|
104
|
+
['cxtlockproc_12046',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
|
|
105
|
+
['cxtlockprocset_12047',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
|
|
106
|
+
['cxtlockprocvec_12048',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
|
|
107
|
+
['cxtlockset_12049',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
|
|
108
|
+
['cxtlocksetstr_12050',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
|
|
109
|
+
['cxtlocktolockset_12051',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
|
|
110
|
+
['cxtlocktospan_12052',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
|
|
111
|
+
['cxtptset_12053',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
|
|
112
|
+
['cxtstmtset_12054',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
|
|
113
|
+
['cxtstmttoaliveflagmap_12055',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
|
|
114
|
+
['cxtstmttocxtlocks_12056',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
|
|
115
|
+
['cxtstmttocxtlockset_12057',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
|
|
116
|
+
['cxtstmttolockflagmap_12058',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
|
|
117
|
+
['cxtstmttoloopmap_12059',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
|
|
118
|
+
['cxtstmttotidmap_12060',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
|
|
119
|
+
['cxtstmtworklist_12061',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
|
|
120
|
+
['cxtthreadprocset_12062',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
|
|
121
|
+
['cxtthreadprocvec_12063',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
|
|
122
|
+
['cxtthreadstmtset_12064',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
|
|
123
|
+
['cxtthreadstmtworklist_12065',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
|
|
124
|
+
['cxtthreadtoforkcxt_12066',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
|
|
125
|
+
['cxtthreadtofun_12067',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
|
|
126
|
+
['cxtthreadtonodemap_12068',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
|
|
127
|
+
['cxtvar_12069',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
|
|
128
|
+
['cycledepthnumber_12070',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]]
|
|
129
129
|
];
|
|
@@ -1,42 +1,42 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
|
-
['
|
|
4
|
-
['
|
|
5
|
-
['
|
|
6
|
-
['
|
|
7
|
-
['
|
|
8
|
-
['
|
|
9
|
-
['
|
|
10
|
-
['
|
|
11
|
-
['
|
|
12
|
-
['
|
|
13
|
-
['
|
|
14
|
-
['
|
|
15
|
-
['
|
|
16
|
-
['
|
|
17
|
-
['
|
|
18
|
-
['
|
|
19
|
-
['
|
|
20
|
-
['
|
|
21
|
-
['
|
|
22
|
-
['
|
|
23
|
-
['
|
|
24
|
-
['
|
|
25
|
-
['
|
|
26
|
-
['
|
|
27
|
-
['
|
|
28
|
-
['
|
|
29
|
-
['
|
|
30
|
-
['
|
|
31
|
-
['
|
|
32
|
-
['
|
|
33
|
-
['
|
|
34
|
-
['
|
|
35
|
-
['
|
|
36
|
-
['
|
|
37
|
-
['
|
|
38
|
-
['
|
|
39
|
-
['
|
|
40
|
-
['
|
|
41
|
-
['
|
|
3
|
+
['datadeque_12071',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
|
|
4
|
+
['dataiter_12072',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
|
|
5
|
+
['datalayout_12073',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
|
|
6
|
+
['datamap_12074',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
|
|
7
|
+
['dataop_12075',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
|
|
8
|
+
['dataset_12076',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
|
|
9
|
+
['datavector_12077',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
|
|
10
|
+
['dchedgesetty_12078',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
|
|
11
|
+
['debuginfofinder_12079',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
|
|
12
|
+
['dfinoutmap_12080',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
|
|
13
|
+
['dfkeytoidmap_12081',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
|
|
14
|
+
['dfptdataty_12082',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
|
|
15
|
+
['dfptsmap_12083',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
|
|
16
|
+
['dfptsmapconstiter_12084',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
|
|
17
|
+
['dfptsmapiter_12085',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
|
|
18
|
+
['dibasictype_12086',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
|
|
19
|
+
['dicompositetype_12087',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
|
|
20
|
+
['diderivedtype_12088',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
|
|
21
|
+
['difference_5ftype_12089',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
|
|
22
|
+
['diffptdataty_12090',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
|
|
23
|
+
['dinode_12091',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
|
|
24
|
+
['dinodearray_12092',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
|
|
25
|
+
['distoccmap_12093',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
|
|
26
|
+
['disubprogram_12094',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
|
|
27
|
+
['disubrange_12095',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
|
|
28
|
+
['disubroutinetype_12096',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
|
|
29
|
+
['ditype_12097',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
|
|
30
|
+
['dityperefarray_12098',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
|
|
31
|
+
['dominancefrontier_12099',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
|
|
32
|
+
['dominancefrontierbase_12100',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
|
|
33
|
+
['dominatortree_12101',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
|
|
34
|
+
['domtreenode_12102',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
|
|
35
|
+
['dottraits_12103',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
|
|
36
|
+
['dpim_12104',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
|
|
37
|
+
['dpimset_12105',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
|
|
38
|
+
['dpimtocptsetmap_12106',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
|
|
39
|
+
['dpmtocvarmap_12107',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
|
|
40
|
+
['dpmtodpmmap_12108',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
|
|
41
|
+
['dptitemset_12109',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
|
|
42
42
|
];
|
|
@@ -1,19 +1,19 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
|
-
['
|
|
4
|
-
['
|
|
5
|
-
['
|
|
6
|
-
['
|
|
7
|
-
['
|
|
8
|
-
['
|
|
9
|
-
['
|
|
10
|
-
['
|
|
11
|
-
['
|
|
12
|
-
['
|
|
13
|
-
['
|
|
14
|
-
['
|
|
15
|
-
['
|
|
16
|
-
['
|
|
17
|
-
['
|
|
18
|
-
['
|
|
3
|
+
['edgeid_12110',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
|
|
4
|
+
['edgeset_12111',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
|
|
5
|
+
['edgetype_12112',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
|
|
6
|
+
['edgevector_12113',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
|
|
7
|
+
['elementlist_12114',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
|
|
8
|
+
['elementlistconstiter_12115',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
|
|
9
|
+
['elementlistiter_12116',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
|
|
10
|
+
['elementset_12117',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
|
|
11
|
+
['entrychi_12118',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
|
|
12
|
+
['equalgedge_12119',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
|
|
13
|
+
['equalmemregion_12120',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
|
|
14
|
+
['equalnodebs_12121',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
|
|
15
|
+
['equalpointsto_12122',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
|
|
16
|
+
['eventstack_12123',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
|
|
17
|
+
['extractelementinst_12124',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
|
|
18
|
+
['extractvalueinst_12125',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
|
|
19
19
|
];
|