wpa.cpp File Reference

#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/SVFIRBuilder.h"
#include "WPA/WPAPass.h"
#include "Util/CommandLine.h"
#include "Util/Options.h"
#include "SVFIR/SVFFileSystem.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
	)

Build SVFIR

Definition at line 41 of file wpa.cpp.

{
    auto moduleNameVec =
        OptionBase::parseOptions(argc, argv, "Whole Program Points-to Analysis",
                                 "[options] <input-bitcode...>");
 
    // Refers to content of a singleton unique_ptr<SVFIR> in SVFIR.
    SVFIR* pag;
 
    if (Options::ReadJson())
    {
        pag = SVFIRReader::read(moduleNameVec.front());
    }
    else
    {
        if (Options::WriteAnder() == "ir_annotator")
        {
            LLVMModuleSet::preProcessBCs(moduleNameVec);
        }
 
        SVFModule* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);
 
        SVFIRBuilder builder(svfModule);
        pag = builder.build();
 
    }
 
    WPAPass wpa;
    wpa.runOnModule(pag);
 
    LLVMModuleSet::releaseLLVMModuleSet();
    return 0;
}