klee::Interpreter Member List

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

create(const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih)	klee::Interpreter	[static]
getConstraintLog(const ExecutionState &state, std::string &res, bool asCVC=false)=0	klee::Interpreter	[pure virtual]
getCoveredLines(const ExecutionState &state, std::map< const std::string *, std::set< unsigned > > &res)=0	klee::Interpreter	[pure virtual]
getPathStreamID(const ExecutionState &state)=0	klee::Interpreter	[pure virtual]
getSymbolicPathStreamID(const ExecutionState &state)=0	klee::Interpreter	[pure virtual]
getSymbolicSolution(const ExecutionState &state, std::vector< std::pair< std::string, std::vector< unsigned char > > > &res)=0	klee::Interpreter	[pure virtual]
Interpreter(const InterpreterOptions &_interpreterOpts)	klee::Interpreter	[inline, protected]
interpreterOpts	klee::Interpreter	[protected]
runFunctionAsMain(llvm::Function *f, int argc, char **argv, char **envp)=0	klee::Interpreter	[pure virtual]
setHaltExecution(bool value)=0	klee::Interpreter	[pure virtual]
setInhibitForking(bool value)=0	klee::Interpreter	[pure virtual]
setModule(llvm::Module *module, const ModuleOptions &opts)=0	klee::Interpreter	[pure virtual]
setPathWriter(TreeStreamWriter *tsw)=0	klee::Interpreter	[pure virtual]
setReplayOut(const struct KTest *out)=0	klee::Interpreter	[pure virtual]
setReplayPath(const std::vector< bool > *path)=0	klee::Interpreter	[pure virtual]
setSymbolicPathWriter(TreeStreamWriter *tsw)=0	klee::Interpreter	[pure virtual]
useSeeds(const std::vector< struct KTest * > *seeds)=0	klee::Interpreter	[pure virtual]
~Interpreter()	klee::Interpreter	[inline, virtual]