klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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

 llvm
 
 klee
 

Functions

llvm::Module * klee::linkWithLibrary (llvm::Module *module, const std::string &libraryName)
 Link a module with a specified bitcode archive. More...
 
llvm::Function * klee::getDirectCallTarget (llvm::CallSite)
 
bool klee::functionEscapes (const llvm::Function *f)