sync with SVF

Author: jumormt

Assignment-1/Tests/test.cpp

@@ -9,10 +9,10 @@
 using namespace std;
 
 void TestICFG(std::vector<std::string>& moduleNameVec) {
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
 
 	/// Build Program Assignment Graph (SVFIR)
-	SVFIRBuilder builder(svfModule);
+	SVFIRBuilder builder;
 	SVFIR* pag = builder.build();
 	ICFG* icfg = pag->getICFG();
 	// If you want to test your own case, please change the dump name
@@ -46,8 +46,8 @@ void TestICFG(std::vector<std::string>& moduleNameVec) {
 }
 
 void TestPTA(std::vector<std::string>& moduleNameVec) {
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
-	SVF::SVFIRBuilder builder(svfModule);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	SVF::SVFIRBuilder builder;
 	SVF::SVFIR* pag = builder.build();
 	AndersenPTA* andersenPTA = new AndersenPTA(pag);
 	andersenPTA->analyze();
@@ -57,9 +57,9 @@ void TestPTA(std::vector<std::string>& moduleNameVec) {
 }
 
 void TestTaint(std::vector<std::string>& moduleNameVec) {
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
 	/// Build Program Assignment Graph (SVFIR)
-	SVF::SVFIRBuilder builder(svfModule);
+	SVF::SVFIRBuilder builder;
 	SVF::SVFIR* pag = builder.build();
 
 	ICFGTraversal* taint = new ICFGTraversal(pag);

Assignment-2/Tests/test-sse.cpp

@@ -35,10 +35,10 @@ int main(int argc, char** argv) {
 	                                         "Software-Verification-Teaching Assignment 4",
 	                                         "[options] <input-bitcode...>");
 
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
 	LLVMModuleSet::getLLVMModuleSet()->dumpModulesToFile(".svf");
 
-	SVFIRBuilder builder(svfModule);
+	SVFIRBuilder builder;
 	SVFIR* svfir = builder.build();
 
 	CallGraph* callgraph = AndersenWaveDiff::createAndersenWaveDiff(svfir)->getCallGraph();

Assignment-3/Tests/test-ae.cpp

@@ -28,8 +28,8 @@ int main(int argc, char** argv) {
 	    OptionBase::parseOptions(arg_num, arg_value, "Static Symbolic Execution", "[options] <input-bitcode...>");
 	delete[] arg_value;
 
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
-	SVFIRBuilder builder(svfModule);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	SVFIRBuilder builder;
 	SVFIR* pag = builder.build();
 	AndersenWaveDiff* ander = AndersenWaveDiff::createAndersenWaveDiff(pag);
 	CallGraph* callgraph = ander->getCallGraph();

SVFIR/SVFIR.cpp

@@ -53,10 +53,10 @@ int main(int argc, char** argv) {
 
 	moduleNameVec = OptionBase::parseOptions(arg_num, arg_value, "SVF IR", "[options] <input-bitcode...>");
 
-	SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
+	LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
 
 	/// Build Program Assignment Graph (SVFIR or PAG)
-	SVFIRBuilder builder(svfModule);
+	SVFIRBuilder builder;
 	SVFIR* pag = builder.build();
 	// Dump pag
 	pag->dump(pag->getModuleIdentifier() + ".pag");