cfl.cpp File Reference

#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/SVFIRBuilder.h"
#include "CFL/CFLAlias.h"
#include "CFL/CFLVF.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 42 of file cfl.cpp.

{
    // Parses command-line arguments and stores any module names in moduleNameVec
    std::vector<std::string> moduleNameVec;
    moduleNameVec = OptionBase::parseOptions(
                        argc, argv, "CFL Reachability Analysis", "[options] <input-bitcode...>"
                    );
 
    // Pointer to the SVF Intermediate Representation (IR) of the module
    SVFIR* svfir = nullptr;
 
    // If no CFLGraph option is specified, the SVFIR is built from the .bc (bytecode) files of the modules
    if (Options::CFLGraph().empty())
    {
        LLVMModuleSet::buildSVFModule(moduleNameVec);
        SVFIRBuilder builder;
        svfir = builder.build();
    }  // if no dot form CFLGraph is specified, we use svfir from .bc.
 
    // The CFLBase pointer that will be used to run the analysis
    std::unique_ptr<CFLBase> cfl;
 
    // Determines which type of analysis to run based on the options and sets up cfl accordingly
    if (Options::CFLSVFG())
        cfl = std::make_unique<CFLVF>(svfir);
    else if (Options::POCRHybrid())
        cfl = std::make_unique<POCRHybrid>(svfir);
    else if (Options::POCRAlias())
        cfl = std::make_unique<POCRAlias>(svfir);
    else
        cfl = std::make_unique<CFLAlias>(svfir); // if no svfg is specified, we use CFLAlias as the default one.
 
    // Runs the analysis
    cfl->analyze();
 
    // Releases the SVFIR and the LLVMModuleSet to free memory
    SVFIR::releaseSVFIR();
    SVF::LLVMModuleSet::releaseLLVMModuleSet();
 
 
    return 0;
 
}