svf-lib 1.0.1597 → 1.0.1598
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
|
|
@@ -248,6 +248,7 @@ public:
|
|
|
248
248
|
static const Option<bool> VtableInSVFIR;
|
|
249
249
|
|
|
250
250
|
// WPAPass.cpp
|
|
251
|
+
static const Option<std::string> ExtAPIInput;
|
|
251
252
|
static const Option<bool> AnderSVFG;
|
|
252
253
|
static const Option<bool> SABERFULLSVFG;
|
|
253
254
|
static const Option<bool> PrintAliases;
|
|
@@ -340,9 +340,11 @@ private:
|
|
|
340
340
|
std::vector<const Function*> getLLVMGlobalFunctions(const GlobalVariable* global);
|
|
341
341
|
|
|
342
342
|
void loadModules(const std::vector<std::string>& moduleNameVec);
|
|
343
|
+
void loadExtModules();
|
|
343
344
|
void addSVFMain();
|
|
344
345
|
|
|
345
346
|
void createSVFDataStructure();
|
|
347
|
+
void createSVFFunction(const Function* func);
|
|
346
348
|
void initSVFFunction();
|
|
347
349
|
void initSVFBasicBlock(const Function* func);
|
|
348
350
|
void initDomTree(SVFFunction* func, const Function* f);
|