ModuleUtil.h File Reference

#include <string>

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	llvm
namespace	klee
Functions
llvm::Module *	klee::linkWithLibrary (llvm::Module *module, const std::string &libraryName)
	Link a module with a specified bitcode archive.
llvm::Function *	klee::getDirectCallTarget (const llvm::Instruction *)
bool	klee::functionEscapes (const llvm::Function *f)