klee::SpecialFunctionHandler Member List

This is the complete list of members for klee::SpecialFunctionHandler, including all inherited members.

begin()	klee::SpecialFunctionHandler	static
bind()	klee::SpecialFunctionHandler
end()	klee::SpecialFunctionHandler	static
executor	klee::SpecialFunctionHandler
handle(ExecutionState &state, llvm::Function *f, KInstruction *target, std::vector< ref< Expr > > &arguments)	klee::SpecialFunctionHandler
HANDLER(handleAbort)	klee::SpecialFunctionHandler
HANDLER(handleAssert)	klee::SpecialFunctionHandler
HANDLER(handleAssertFail)	klee::SpecialFunctionHandler
HANDLER(handleAssume)	klee::SpecialFunctionHandler
HANDLER(handleCalloc)	klee::SpecialFunctionHandler
HANDLER(handleCheckMemoryAccess)	klee::SpecialFunctionHandler
HANDLER(handleDefineFixedObject)	klee::SpecialFunctionHandler
HANDLER(handleDelete)	klee::SpecialFunctionHandler
HANDLER(handleDeleteArray)	klee::SpecialFunctionHandler
HANDLER(handleErrnoLocation)	klee::SpecialFunctionHandler
HANDLER(handleExit)	klee::SpecialFunctionHandler
HANDLER(handleFree)	klee::SpecialFunctionHandler
HANDLER(handleGetErrno)	klee::SpecialFunctionHandler
HANDLER(handleGetObjSize)	klee::SpecialFunctionHandler
HANDLER(handleGetValue)	klee::SpecialFunctionHandler
HANDLER(handleIsSymbolic)	klee::SpecialFunctionHandler
HANDLER(handleMakeSymbolic)	klee::SpecialFunctionHandler
HANDLER(handleMalloc)	klee::SpecialFunctionHandler
HANDLER(handleMemalign)	klee::SpecialFunctionHandler
HANDLER(handleMarkGlobal)	klee::SpecialFunctionHandler
HANDLER(handleOpenMerge)	klee::SpecialFunctionHandler
HANDLER(handleCloseMerge)	klee::SpecialFunctionHandler
HANDLER(handleNew)	klee::SpecialFunctionHandler
HANDLER(handleNewArray)	klee::SpecialFunctionHandler
HANDLER(handlePreferCex)	klee::SpecialFunctionHandler
HANDLER(handlePosixPreferCex)	klee::SpecialFunctionHandler
HANDLER(handlePrintExpr)	klee::SpecialFunctionHandler
HANDLER(handlePrintRange)	klee::SpecialFunctionHandler
HANDLER(handleRange)	klee::SpecialFunctionHandler
HANDLER(handleRealloc)	klee::SpecialFunctionHandler
HANDLER(handleReportError)	klee::SpecialFunctionHandler
HANDLER(handleRevirtObjects)	klee::SpecialFunctionHandler
HANDLER(handleSetForking)	klee::SpecialFunctionHandler
HANDLER(handleSilentExit)	klee::SpecialFunctionHandler
HANDLER(handleStackTrace)	klee::SpecialFunctionHandler
HANDLER(handleUnderConstrained)	klee::SpecialFunctionHandler
HANDLER(handleWarning)	klee::SpecialFunctionHandler
HANDLER(handleWarningOnce)	klee::SpecialFunctionHandler
HANDLER(handleAddOverflow)	klee::SpecialFunctionHandler
HANDLER(handleMulOverflow)	klee::SpecialFunctionHandler
HANDLER(handleSubOverflow)	klee::SpecialFunctionHandler
HANDLER(handleDivRemOverflow)	klee::SpecialFunctionHandler
Handler typedef	klee::SpecialFunctionHandler
handlers	klee::SpecialFunctionHandler
handlers_ty typedef	klee::SpecialFunctionHandler
prepare(std::vector< const char * > &preservedFunctions)	klee::SpecialFunctionHandler
readStringAtAddress(ExecutionState &state, ref< Expr > address)	klee::SpecialFunctionHandler
size()	klee::SpecialFunctionHandler	static
SpecialFunctionHandler(Executor &_executor)	klee::SpecialFunctionHandler