svf-lib 1.0.1782 → 1.0.1783
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.
|
Binary file
|
|
Binary file
|
|
@@ -80,17 +80,6 @@ public:
|
|
|
80
80
|
// ContextDDA.cpp
|
|
81
81
|
static const Option<u32_t> CxtBudget;
|
|
82
82
|
|
|
83
|
-
// DDAClient.cpp
|
|
84
|
-
static const Option<bool> SingleLoad;
|
|
85
|
-
static const Option<bool> DumpFree;
|
|
86
|
-
static const Option<bool> DumpUninitVar;
|
|
87
|
-
static const Option<bool> DumpUninitPtr;
|
|
88
|
-
static const Option<bool> DumpSUPts;
|
|
89
|
-
static const Option<bool> DumpSUStore;
|
|
90
|
-
static const Option<bool> MallocOnly;
|
|
91
|
-
static const Option<bool> TaintUninitHeap;
|
|
92
|
-
static const Option<bool> TaintUninitStack;
|
|
93
|
-
|
|
94
83
|
// DDAPass.cpp
|
|
95
84
|
static const Option<u32_t> MaxPathLen;
|
|
96
85
|
static const Option<u32_t> MaxContextLen;
|
|
@@ -121,14 +110,12 @@ public:
|
|
|
121
110
|
// Sparse value-flow graph (VFG.cpp)
|
|
122
111
|
static const Option<bool> DumpVFG;
|
|
123
112
|
|
|
124
|
-
// Location set for modeling abstract memory object (AccessPath.cpp)
|
|
125
|
-
static const Option<bool> SingleStride;
|
|
126
|
-
|
|
127
113
|
// Base class of pointer analyses (PointerAnalysis.cpp)
|
|
128
114
|
static const Option<bool> TypePrint;
|
|
129
115
|
static const Option<bool> FuncPointerPrint;
|
|
130
116
|
static const Option<bool> PTSPrint;
|
|
131
117
|
static const Option<bool> PTSAllPrint;
|
|
118
|
+
static const Option<bool> PrintFieldWithBasePrefix;
|
|
132
119
|
static const Option<bool> PStat;
|
|
133
120
|
static const Option<u32_t> StatBudget;
|
|
134
121
|
static const Option<bool> PAGDotGraph;
|