klee
klee::ExternalDispatcher Member List

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

executeCall(llvm::Function *function, llvm::Instruction *i, uint64_t *args)klee::ExternalDispatcher
ExternalDispatcher(llvm::LLVMContext &ctx)klee::ExternalDispatcher
getLastErrno()klee::ExternalDispatcher
implklee::ExternalDispatcherprivate
resolveSymbol(const std::string &name)klee::ExternalDispatcher
setLastErrno(int newErrno)klee::ExternalDispatcher
~ExternalDispatcher()klee::ExternalDispatcher