ExternalDispatcher.cpp File Reference

#include "ExternalDispatcher.h"
#include "klee/Config/Version.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/ExecutionEngine/GenericValue.h"
#include "llvm/ExecutionEngine/MCJIT.h"
#include "llvm/Support/DynamicLibrary.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/TargetSelect.h"
#include <csetjmp>
#include <csignal>

Include dependency graph for ExternalDispatcher.cpp:

Go to the source code of this file.

Classes
class	klee::ExternalDispatcherImpl

Namespaces
namespace	klee

Functions
static void	sigsegv_handler (int signal, siginfo_t *info, void *context)

Variables
static sigjmp_buf	escapeCallJmpBuf
static uint64_t *	klee::gTheArgsP

Function Documentation

sigsegv_handler()

static void sigsegv_handler ( int  signal, siginfo_t *  info, void *  context  )

static

Definition at line 40 of file ExternalDispatcher.cpp.

References escapeCallJmpBuf.

Referenced by klee::ExternalDispatcherImpl::runProtectedCall().

Here is the caller graph for this function:

Variable Documentation

escapeCallJmpBuf

sigjmp_buf escapeCallJmpBuf

static

Definition at line 36 of file ExternalDispatcher.cpp.

Referenced by klee::ExternalDispatcherImpl::runProtectedCall(), and sigsegv_handler().