ModuleUtil.h

Go to the documentation of this file.

//===-- ModuleUtil.h --------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#ifndef KLEE_TRANSFORM_UTIL_H
#define KLEE_TRANSFORM_UTIL_H

#include <string>

namespace llvm {
  class Function;
  class Instruction;
  class Module; 
}

namespace klee {
 
  llvm::Module *linkWithLibrary(llvm::Module *module, 
                                const std::string &libraryName);

  llvm::Function *getDirectCallTarget(const llvm::Instruction*);

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

}

#endif