klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ModuleUtil.h
Go to the documentation of this file.
1 //===-- ModuleUtil.h --------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_TRANSFORM_UTIL_H
11 #define KLEE_TRANSFORM_UTIL_H
12 
13 #include <string>
14 
15 namespace llvm {
16  class Function;
17  class Instruction;
18  class Module;
19  class CallSite;
20 }
21 
22 namespace klee {
23 
25  llvm::Module *linkWithLibrary(llvm::Module *module,
26  const std::string &libraryName);
27 
32  llvm::Function *getDirectCallTarget(llvm::CallSite);
33 
37  bool functionEscapes(const llvm::Function *f);
38 
39 }
40 
41 #endif
bool functionEscapes(const llvm::Function *f)
llvm::Module * linkWithLibrary(llvm::Module *module, const std::string &libraryName)
Link a module with a specified bitcode archive.
llvm::Function * getDirectCallTarget(llvm::CallSite)