SpecialFunctionHandler.cpp File Reference

#include "Common.h"
#include "Memory.h"
#include "SpecialFunctionHandler.h"
#include "TimingSolver.h"
#include "klee/ExecutionState.h"
#include "klee/Internal/Module/KInstruction.h"
#include "klee/Internal/Module/KModule.h"
#include "Executor.h"
#include "MemoryManager.h"
#include "llvm/Module.h"
#include <errno.h>

Include dependency graph for SpecialFunctionHandler.cpp:

Go to the source code of this file.

Classes
struct	HandlerInfo
Defines
#define	add(name, handler, ret)
#define	addDNR(name, handler)
Variables
HandlerInfo	handlerInfo []

---

Define Documentation

#define add	(	name,
		handler,
		ret		)

Value:

{ name, \
                                  &SpecialFunctionHandler::handler, \
                                  false, ret, false }

#define addDNR	(	name,
		handler		)

Value:

{ name, \
                                &SpecialFunctionHandler::handler, \
                                true, false, false }

---

Variable Documentation

HandlerInfo handlerInfo[]

Definition at line 49 of file SpecialFunctionHandler.cpp.