svf-lib 1.0.1716 → 1.0.1718
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
|
|
@@ -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()
|
|
@@ -356,7 +357,8 @@ private:
|
|
|
356
357
|
std::vector<const Function*> getLLVMGlobalFunctions(const GlobalVariable* global);
|
|
357
358
|
|
|
358
359
|
void loadModules(const std::vector<std::string>& moduleNameVec);
|
|
359
|
-
|
|
360
|
+
// The llvm context of app module and extapi module should be the same
|
|
361
|
+
void loadExtAPIModules(std::unique_ptr<LLVMContext> context = nullptr);
|
|
360
362
|
void addSVFMain();
|
|
361
363
|
|
|
362
364
|
void createSVFDataStructure();
|
|
Binary file
|
|
Binary file
|