Skip to content

Commit ecfccb0

Browse files
update saber
1 parent 004badd commit ecfccb0

File tree

1 file changed

+3
-8
lines changed

1 file changed

+3
-8
lines changed

svf-llvm/tools/SABER/saber.cpp

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -47,15 +47,9 @@ int main(int argc, char ** argv)
4747
argc, argv, "Source-Sink Bug Detector", "[options] <input-bitcode...>"
4848
);
4949

50-
SVFIRBuilder builder;
51-
SVFIR* pag;
52-
if (Options::WriteAnder() == "ir_annotator")
53-
{
54-
LLVMModuleSet::preProcessBCs(moduleNameVec);
55-
}
56-
5750
LLVMModuleSet::buildSVFModule(moduleNameVec);
58-
pag = builder.build();
51+
SVFIRBuilder builder;
52+
SVFIR* pag = builder.build();
5953

6054

6155
std::unique_ptr<LeakChecker> saber;
@@ -76,3 +70,4 @@ int main(int argc, char ** argv)
7670
return 0;
7771

7872
}
73+

0 commit comments

Comments
 (0)