Static Value-Flow Analysis
|
#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) |
Definition at line 33 of file mta.cpp.