svf-lib 1.0.2254 → 1.0.2255
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-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/cfl +0 -0
- package/SVF-osx/Release-build/bin/dvf +0 -0
- package/SVF-osx/Release-build/bin/llvm2svf +0 -0
- package/SVF-osx/Release-build/bin/mta +0 -0
- package/SVF-osx/Release-build/bin/saber +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/bin/wpa +0 -0
- package/SVF-osx/Release-build/include/Util/Options.h +3 -3
- package/SVF-osx/Release-build/lib/libSvfCore.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -126,7 +126,7 @@ public:
|
|
|
126
126
|
static const Option<bool> CallGraphDotGraph;
|
|
127
127
|
static const Option<bool> PAGPrint;
|
|
128
128
|
static const Option<u32_t> IndirectCallLimit;
|
|
129
|
-
static
|
|
129
|
+
static Option<bool> UsePreCompFieldSensitive;
|
|
130
130
|
static const Option<bool> EnableAliasCheck;
|
|
131
131
|
static const Option<bool> EnableTypeCheck;
|
|
132
132
|
static const Option<bool> EnableThreadCallGraph;
|
|
@@ -184,8 +184,8 @@ public:
|
|
|
184
184
|
|
|
185
185
|
// SymbolTableInfo.cpp
|
|
186
186
|
static const Option<bool> LocMemModel;
|
|
187
|
-
static
|
|
188
|
-
static
|
|
187
|
+
static Option<bool> ModelConsts;
|
|
188
|
+
static Option<bool> ModelArrays;
|
|
189
189
|
static const Option<bool> CyclicFldIdx;
|
|
190
190
|
static const Option<bool> SymTabPrint;
|
|
191
191
|
|
|
Binary file
|
|
Binary file
|