svf-lib 1.0.1718 → 1.0.1719
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
|
|
@@ -111,7 +111,8 @@ public:
|
|
|
111
111
|
llvmModuleSet = nullptr;
|
|
112
112
|
}
|
|
113
113
|
|
|
114
|
-
|
|
114
|
+
// The parameter of context should be the llvm context of the mod, the llvm context of mod and extapi module should be the same
|
|
115
|
+
static SVFModule* buildSVFModule(Module& mod, std::unique_ptr<LLVMContext> context);
|
|
115
116
|
static SVFModule* buildSVFModule(const std::vector<std::string>& moduleNameVec);
|
|
116
117
|
|
|
117
118
|
inline SVFModule* getSVFModule()
|
|
@@ -355,7 +356,8 @@ private:
|
|
|
355
356
|
std::vector<const Function*> getLLVMGlobalFunctions(const GlobalVariable* global);
|
|
356
357
|
|
|
357
358
|
void loadModules(const std::vector<std::string>& moduleNameVec);
|
|
358
|
-
|
|
359
|
+
// The llvm context of app module and extapi module should be the same
|
|
360
|
+
void loadExtAPIModules(std::unique_ptr<LLVMContext> context = nullptr);
|
|
359
361
|
void addSVFMain();
|
|
360
362
|
|
|
361
363
|
void createSVFDataStructure();
|