klee::Interpreter Member List

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

create(llvm::LLVMContext &ctx, const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih)	klee::Interpreter	static
getConstraintLog(const ExecutionState &state, std::string &res, LogType logFormat=STP)=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	inlineprotected
interpreterOpts	klee::Interpreter	protected
KQUERY enum value	klee::Interpreter
LogType enum name	klee::Interpreter
prepareForEarlyExit()=0	klee::Interpreter	pure virtual
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(std::vector< std::unique_ptr< llvm::Module > > &modules, const ModuleOptions &opts)=0	klee::Interpreter	pure virtual
setPathWriter(TreeStreamWriter *tsw)=0	klee::Interpreter	pure virtual
setReplayKTest(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
SMTLIB2 enum value	klee::Interpreter
STP enum value	klee::Interpreter
useSeeds(const std::vector< struct KTest * > *seeds)=0	klee::Interpreter	pure virtual
~Interpreter()	klee::Interpreter	inlinevirtual