svf-lib 1.0.1024 → 1.0.1027
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-linux/Release-build/lib/libSvf.a +0 -0
- package/SVF-linux/include/Util/Options.h +0 -3
- package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/Graphs/SVFG.h +4 -0
- package/SVF-osx/include/MSSA/MSSAMuChi.h +1 -0
- package/SVF-osx/include/Util/Options.h +3 -3
- package/package.json +1 -1
|
Binary file
|
|
@@ -241,9 +241,6 @@ public:
|
|
|
241
241
|
static const llvm::cl::opt<bool> TBHCStoreReuse;
|
|
242
242
|
static const llvm::cl::opt<bool> TBHCAllReuse;
|
|
243
243
|
|
|
244
|
-
// TypeAnalysis.cpp
|
|
245
|
-
static const llvm::cl::opt<bool> GenICFG;
|
|
246
|
-
|
|
247
244
|
// WPAPass.cpp
|
|
248
245
|
static const llvm::cl::opt<bool> AnderSVFG;
|
|
249
246
|
static const llvm::cl::opt<bool> SABERFULLSVFG;
|
|
Binary file
|
|
Binary file
|
|
@@ -262,6 +262,10 @@ public:
|
|
|
262
262
|
return dvpNode;
|
|
263
263
|
}
|
|
264
264
|
|
|
265
|
+
virtual void writeToFile(const std::string& filename);
|
|
266
|
+
virtual void readFile(const std::string& filename);
|
|
267
|
+
virtual MRVer* getMRVERFromString(const std::string& input);
|
|
268
|
+
|
|
265
269
|
protected:
|
|
266
270
|
/// Add indirect def-use edges of a memory region between two statements,
|
|
267
271
|
//@{
|
|
@@ -158,6 +158,9 @@ public:
|
|
|
158
158
|
static const llvm::cl::opt<bool> SingleVFG;
|
|
159
159
|
static llvm::cl::opt<bool> OPTSVFG;
|
|
160
160
|
|
|
161
|
+
static const llvm::cl::opt<std :: string> WriteSVFG;
|
|
162
|
+
static const llvm::cl::opt<std :: string> ReadSVFG;
|
|
163
|
+
|
|
161
164
|
// FSMPTA.cpp
|
|
162
165
|
static const llvm::cl::opt<bool> UsePCG;
|
|
163
166
|
static const llvm::cl::opt<bool> IntraLock;
|
|
@@ -241,9 +244,6 @@ public:
|
|
|
241
244
|
static const llvm::cl::opt<bool> TBHCStoreReuse;
|
|
242
245
|
static const llvm::cl::opt<bool> TBHCAllReuse;
|
|
243
246
|
|
|
244
|
-
// TypeAnalysis.cpp
|
|
245
|
-
static const llvm::cl::opt<bool> GenICFG;
|
|
246
|
-
|
|
247
247
|
// WPAPass.cpp
|
|
248
248
|
static const llvm::cl::opt<bool> AnderSVFG;
|
|
249
249
|
static const llvm::cl::opt<bool> SABERFULLSVFG;
|