llvm2svf.cpp File Reference

#include "SVF-LLVM/SVFIRBuilder.h"
#include "Util/CommandLine.h"
#include "Util/Options.h"
#include "SVFIR/SVFFileSystem.h"
#include <iostream>
#include <string>

Go to the source code of this file.

Functions
std::string	replaceExtension (const std::string &path)
int	main (int argc, char **argv)

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 54 of file llvm2svf.cpp.

{
    auto moduleNameVec = OptionBase::parseOptions(
                             argc, argv, "llvm2svf", "[options] <input-bitcode...>");
 
    if (Options::WriteAnder() == "ir_annotator")
    {
        LLVMModuleSet::preProcessBCs(moduleNameVec);
    }
 
    SVFModule* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);
    const std::string jsonPath = replaceExtension(moduleNameVec.front());
    // PAG is borrowed from a unique_ptr, so we don't need to delete it.
    const SVFIR* pag = SVFIRBuilder(svfModule).build();
 
    SVFIRWriter::writeJsonToPath(pag, jsonPath);
    SVFUtil::outs() << "SVF IR is written to '" << jsonPath << "'\n";
    LLVMModuleSet::releaseLLVMModuleSet();
    return 0;
}

replaceExtension()

std::string replaceExtension

(

const std::string &

path

)

Definition at line 42 of file llvm2svf.cpp.

{
    size_t pos = path.rfind('.');
    if (pos == std::string::npos ||
            (path.substr(pos) != ".bc" && path.substr(pos) != ".ll"))
    {
        SVFUtil::errs() << "Error: expect file with extension .bc or .ll\n";
        exit(EXIT_FAILURE);
    }
    return path.substr(0, pos) + ".svf.json";
}