SpecialFunctionHandler.cpp File Reference

#include "SpecialFunctionHandler.h"
#include "ExecutionState.h"
#include "Executor.h"
#include "Memory.h"
#include "MemoryManager.h"
#include "MergeHandler.h"
#include "Searcher.h"
#include "StatsTracker.h"
#include "TimingSolver.h"
#include "klee/Config/config.h"
#include "klee/Module/KInstruction.h"
#include "klee/Module/KModule.h"
#include "klee/Solver/SolverCmdLine.h"
#include "klee/Support/Casting.h"
#include "klee/Support/Debug.h"
#include "klee/Support/ErrorHandling.h"
#include "klee/Support/OptionCategories.h"
#include "llvm/ADT/Twine.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include <errno.h>
#include <sstream>

Include dependency graph for SpecialFunctionHandler.cpp:

Go to the source code of this file.

Macros
#define	add(name, handler, ret)
#define	addDNR(name, handler)

Variables
static SpecialFunctionHandler::HandlerInfo	handlerInfo []

Macro Definition Documentation

add

#define add	(		name,
			handler,
			ret
	)

Value:

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

addDNR

#define addDNR	(		name,
			handler
	)

Value:

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

Variable Documentation

handlerInfo

SpecialFunctionHandler::HandlerInfo handlerInfo[]

static

Todo:

Almost all of the demands in this file should be replaced with terminateState calls.

Definition at line 68 of file SpecialFunctionHandler.cpp.

Referenced by klee::SpecialFunctionHandler::begin(), klee::SpecialFunctionHandler::bind(), klee::SpecialFunctionHandler::prepare(), and klee::SpecialFunctionHandler::size().