Searched refs:ExternalDispatcher (Results 1 – 4 of 4) sorted by relevance
28 class ExternalDispatcher {33 ExternalDispatcher(llvm::LLVMContext &ctx);34 ~ExternalDispatcher();
337 ExternalDispatcher::ExternalDispatcher(llvm::LLVMContext &ctx) in ExternalDispatcher() function in klee::ExternalDispatcher340 ExternalDispatcher::~ExternalDispatcher() { delete impl; } in ~ExternalDispatcher()342 bool ExternalDispatcher::executeCall(llvm::Function *function, in executeCall()347 void *ExternalDispatcher::resolveSymbol(const std::string &name) { in resolveSymbol()351 int ExternalDispatcher::getLastErrno() { return impl->getLastErrno(); } in getLastErrno()352 void ExternalDispatcher::setLastErrno(int newErrno) { in setLastErrno()
61 class ExternalDispatcher; variable128 ExternalDispatcher *externalDispatcher;
453 externalDispatcher(new ExternalDispatcher(ctx)), statsTracker(0), in Executor()