klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExternalDispatcher.cpp File Reference
#include "ExternalDispatcher.h"
#include "klee/Config/Version.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/ExecutionEngine/JIT.h"
#include "llvm/ExecutionEngine/GenericValue.h"
#include "llvm/Support/CallSite.h"
#include "llvm/Support/DynamicLibrary.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/TargetSelect.h"
#include <setjmp.h>
#include <signal.h>
Include dependency graph for ExternalDispatcher.cpp:

Go to the source code of this file.

Functions

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

Variables

static jmp_buf escapeCallJmpBuf
 
static uint64_t * gTheArgsP
 

Function Documentation

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

Definition at line 55 of file ExternalDispatcher.cpp.

References escapeCallJmpBuf.

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

Here is the caller graph for this function:

Variable Documentation

jmp_buf escapeCallJmpBuf
static
uint64_t* gTheArgsP
static