SpecialFunctionHandler.h File Reference

#include "klee/Config/config.h"
#include <iterator>
#include <map>
#include <vector>
#include <string>

Include dependency graph for SpecialFunctionHandler.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	klee::SpecialFunctionHandler
struct	klee::SpecialFunctionHandler::HandlerInfo
class	klee::SpecialFunctionHandler::const_iterator

Namespaces
namespace	llvm
namespace	klee

Macros
#define	HANDLER(name)

Macro Definition Documentation

HANDLER

#define HANDLER

(

name

)

Value:

                                void name(ExecutionState &state, \
                                KInstruction *target, \
                                std::vector< ref<Expr> > &arguments)

Definition at line 102 of file SpecialFunctionHandler.h.