klee
klee::ExternalDispatcherImpl Member List

This is the complete list of members for klee::ExternalDispatcherImpl, including all inherited members.

createDispatcher(llvm::Function *f, llvm::Instruction *i, llvm::Module *module)klee::ExternalDispatcherImplprivate
ctxklee::ExternalDispatcherImplprivate
dispatchersklee::ExternalDispatcherImplprivate
dispatchers_ty typedefklee::ExternalDispatcherImplprivate
executeCall(llvm::Function *function, llvm::Instruction *i, uint64_t *args)klee::ExternalDispatcherImpl
executionEngineklee::ExternalDispatcherImplprivate
ExternalDispatcherImpl(llvm::LLVMContext &ctx)klee::ExternalDispatcherImpl
getFreshModuleID()klee::ExternalDispatcherImplprivate
getLastErrno()klee::ExternalDispatcherImpl
lastErrnoklee::ExternalDispatcherImplprivate
moduleIDsklee::ExternalDispatcherImplprivate
preboundFunctionsklee::ExternalDispatcherImplprivate
resolveSymbol(const std::string &name)klee::ExternalDispatcherImpl
runProtectedCall(llvm::Function *f, uint64_t *args)klee::ExternalDispatcherImplprivate
setLastErrno(int newErrno)klee::ExternalDispatcherImpl
singleDispatchModuleklee::ExternalDispatcherImplprivate
~ExternalDispatcherImpl()klee::ExternalDispatcherImpl