Static Value-Flow Analysis
Loading...
Searching...
No Matches
Functions
mta.cpp File Reference
#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/SVFIRBuilder.h"
#include "MTA/MTA.h"
#include "Util/CommandLine.h"
#include "Util/Options.h"

Go to the source code of this file.

Functions

int main (int argc, char **argv)
 

Function Documentation

◆ main()

int main ( int  argc,
char **  argv 
)

Definition at line 33 of file mta.cpp.

34{
35
36 std::vector<std::string> moduleNameVec;
38 argc, argv, "MTA Analysis", "[options] <input-bitcode...>"
39 );
40
43 SVFIR* pag = builder.build();
44
45
46 MTA mta;
47 mta.runOnModule(pag);
48
50
51
52 return 0;
53}
static std::vector< std::string > parseOptions(int argc, char *argv[], std::string description, std::string callFormat)
Definition CommandLine.h:75
static void releaseLLVMModuleSet()
Definition LLVMModule.h:138
static void buildSVFModule(Module &mod)
Definition MTA.h:56
virtual bool runOnModule(SVFIR *module)
We start the pass here.
Definition MTA.cpp:61
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74