#include "klee/Config/Version.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Module.h"
#include <memory>
#include <string>
#include <vector>

Include dependency graph for ModuleUtil.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	klee

Functions
std::unique_ptr< llvm::Module >	klee::linkModules (std::vector< std::unique_ptr< llvm::Module > > &modules, llvm::StringRef entryFunction, std::string &errorMsg)

llvm::Function *	klee::getDirectCallTarget (const llvm::CallBase &cb, bool moduleIsFullyLinked)

bool	klee::functionEscapes (const llvm::Function *f)

bool	klee::loadFile (const std::string &libraryName, llvm::LLVMContext &context, std::vector< std::unique_ptr< llvm::Module > > &modules, std::string &errorMsg)

Namespaces

Functions