klee::Executor Member List

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

addConstraint(ExecutionState &state, ref< Expr > condition)	klee::Executor	[private]
addedStates	klee::Executor	[private]
addExternalObject(ExecutionState &state, void *addr, unsigned size, bool isReadOnly)	klee::Executor	[private]
addTimer(Timer *timer, double rate)	klee::Executor	[private]
atMemoryLimit	klee::Executor	[private]
bindArgument(KFunction *kf, unsigned index, ExecutionState &state, ref< Expr > value)	klee::Executor	[private]
bindInstructionConstants(KInstruction *KI)	klee::Executor	[private]
bindLocal(KInstruction *target, ExecutionState &state, ref< Expr > value)	klee::Executor	[private]
bindModuleConstants()	klee::Executor	[private]
bindObjectInState(ExecutionState &state, const MemoryObject *mo, bool isLocal)	klee::Executor	[private]
branch(ExecutionState &state, const std::vector< ref< Expr > > &conditions, std::vector< ExecutionState * > &result)	klee::Executor	[private]
BumpMergingSearcher class	klee::Executor	[friend]
callExternalFunction(ExecutionState &state, KInstruction *target, llvm::Function *function, std::vector< ref< Expr > > &arguments)	klee::Executor	[private]
create(const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih)	klee::Interpreter	[static]
doImpliedValueConcretization(ExecutionState &state, ref< Expr > e, ref< ConstantExpr > value)	klee::Executor	[private]
eval(KInstruction *ki, unsigned index, ExecutionState &state) const	klee::Executor	[private]
evalConstant(llvm::Constant *c)	klee::Executor
evalConstantExpr(llvm::ConstantExpr *ce)	klee::Executor	[private]
ExactResolutionList typedef	klee::Executor	[private]
executeAlloc(ExecutionState &state, ref< Expr > size, bool isLocal, KInstruction *target, bool zeroMemory=false, const ObjectState *reallocFrom=0)	klee::Executor	[private]
executeCall(ExecutionState &state, KInstruction *ki, llvm::Function *f, std::vector< ref< Expr > > &arguments)	klee::Executor	[private]
executeFree(ExecutionState &state, ref< Expr > address, KInstruction *target=0)	klee::Executor	[private]
executeGetValue(ExecutionState &state, ref< Expr > e, KInstruction *target)	klee::Executor	[private]
executeInstruction(ExecutionState &state, KInstruction *ki)	klee::Executor	[private]
executeMakeSymbolic(ExecutionState &state, const MemoryObject *mo)	klee::Executor	[private]
executeMemoryOperation(ExecutionState &state, bool isWrite, ref< Expr > address, ref< Expr > value, KInstruction *target)	klee::Executor	[private]
Executor(const InterpreterOptions &opts, InterpreterHandler *ie)	klee::Executor
externalDispatcher	klee::Executor	[private]
fork(ExecutionState &current, ref< Expr > condition, bool isInternal)	klee::Executor	[private]
getAddressInfo(ExecutionState &state, ref< Expr > address) const	klee::Executor	[private]
getArgumentCell(ExecutionState &state, KFunction *kf, unsigned index)	klee::Executor	[inline, private]
getCalledFunction(llvm::CallSite &cs, ExecutionState &state)	klee::Executor	[private]
getConstraintLog(const ExecutionState &state, std::string &res, bool asCVC=false)	klee::Executor	[virtual]
getCoveredLines(const ExecutionState &state, std::map< const std::string *, std::set< unsigned > > &res)	klee::Executor	[virtual]
getDestCell(ExecutionState &state, KInstruction *target)	klee::Executor	[inline, private]
getHandler()	klee::Executor	[inline]
getPathStreamID(const ExecutionState &state)	klee::Executor	[virtual]
getSymbolicPathStreamID(const ExecutionState &state)	klee::Executor	[virtual]
getSymbolicSolution(const ExecutionState &state, std::vector< std::pair< std::string, std::vector< unsigned char > > > &res)	klee::Executor	[virtual]
globalAddresses	klee::Executor	[private]
globalObjects	klee::Executor	[private]
haltExecution	klee::Executor	[private]
handlePointsToObj(ExecutionState &state, KInstruction *target, const std::vector< ref< Expr > > &arguments)	klee::Executor	[private]
inhibitForking	klee::Executor	[private]
initializeGlobalObject(ExecutionState &state, ObjectState *os, llvm::Constant *c, unsigned offset)	klee::Executor	[private]
initializeGlobals(ExecutionState &state)	klee::Executor	[private]
initTimers()	klee::Executor	[private]
Interpreter(const InterpreterOptions &_interpreterOpts)	klee::Interpreter	[inline, protected]
interpreterHandler	klee::Executor	[private]
interpreterOpts	klee::Interpreter	[protected]
ivcEnabled	klee::Executor	[private]
kmodule	klee::Executor	[private]
legalFunctions	klee::Executor	[private]
memory	klee::Executor	[private]
MergingSearcher class	klee::Executor	[friend]
OwningSearcher class	klee::Executor	[friend]
pathWriter	klee::Executor	[private]
printFileLine(ExecutionState &state, KInstruction *ki)	klee::Executor	[private]
processTimers(ExecutionState *current, double maxInstTime)	klee::Executor	[private]
processTree	klee::Executor	[private]
RandomPathSearcher class	klee::Executor	[friend]
removedStates	klee::Executor	[private]
replaceReadWithSymbolic(ExecutionState &state, ref< Expr > e)	klee::Executor	[private]
replayOut	klee::Executor	[private]
replayPath	klee::Executor	[private]
replayPosition	klee::Executor	[private]
resolveExact(ExecutionState &state, ref< Expr > p, ExactResolutionList &results, const std::string &name)	klee::Executor	[private]
run(ExecutionState &initialState)	klee::Executor	[private]
runFunctionAsMain(llvm::Function *f, int argc, char **argv, char **envp)	klee::Executor	[virtual]
searcher	klee::Executor	[private]
seedMap	klee::Executor	[private]
setHaltExecution(bool value)	klee::Executor	[inline, virtual]
setInhibitForking(bool value)	klee::Executor	[inline, virtual]
setModule(llvm::Module *module, const ModuleOptions &opts)	klee::Executor	[virtual]
setPathWriter(TreeStreamWriter *tsw)	klee::Executor	[inline, virtual]
setReplayOut(const struct KTest *out)	klee::Executor	[inline, virtual]
setReplayPath(const std::vector< bool > *path)	klee::Executor	[inline, virtual]
setSymbolicPathWriter(TreeStreamWriter *tsw)	klee::Executor	[inline, virtual]
solver	klee::Executor	[private]
SpecialFunctionHandler class	klee::Executor	[friend]
specialFunctionHandler	klee::Executor	[private]
StatePair typedef	klee::Executor
states	klee::Executor	[private]
statsTracker	klee::Executor	[private]
StatsTracker class	klee::Executor	[friend]
stepInstruction(ExecutionState &state)	klee::Executor	[private]
stpTimeout	klee::Executor	[private]
symPathWriter	klee::Executor	[private]
terminateState(ExecutionState &state)	klee::Executor	[private]
terminateStateEarly(ExecutionState &state, std::string message)	klee::Executor	[private]
terminateStateOnError(ExecutionState &state, const std::string &message, const std::string &suffix, const std::string &longMessage="")	klee::Executor	[private]
terminateStateOnExecError(ExecutionState &state, const std::string &message, const std::string &info="")	klee::Executor	[inline, private]
terminateStateOnExit(ExecutionState &state)	klee::Executor	[private]
timers	klee::Executor	[private]
toConstant(ExecutionState &state, ref< Expr > e, const char *purpose)	klee::Executor	[private]
toUnique(const ExecutionState &state, ref< Expr > &e)	klee::Executor	[private]
transferToBasicBlock(llvm::BasicBlock *dst, llvm::BasicBlock *src, ExecutionState &state)	klee::Executor	[private]
updateStates(ExecutionState *current)	klee::Executor	[private]
useSeeds(const std::vector< struct KTest * > *seeds)	klee::Executor	[inline, virtual]
usingSeeds	klee::Executor	[private]
WeightedRandomSearcher class	klee::Executor	[friend]
~Executor()	klee::Executor	[virtual]
~Interpreter()	klee::Interpreter	[inline, virtual]