- Generated by
1.9.3
|
klee
|
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 |
| allocateGlobalObjects(ExecutionState &state) | klee::Executor | private |
| arrayCache | 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, const Array *array=0) | klee::Executor | private |
| branch(ExecutionState &state, const std::vector< ref< Expr > > &conditions, std::vector< ExecutionState * > &result, BranchType reason) | klee::Executor | private |
| branchingPermitted(const ExecutionState &state) const | klee::Executor | private |
| callExternalFunction(ExecutionState &state, KInstruction *target, llvm::Function *function, std::vector< ref< Expr > > &arguments) | klee::Executor | private |
| checkMemoryUsage() | klee::Executor | private |
| computeOffsets(KGEPInstruction *kgepi, TypeIt ib, TypeIt ie) | klee::Executor | private |
| computeOffsetsSeqTy(KGEPInstruction *kgepi, ref< ConstantExpr > &constantOffset, uint64_t index, const TypeIt it) | klee::Executor | private |
| coreSolverTimeout | klee::Executor | private |
| create(llvm::LLVMContext &ctx, const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih) | klee::Interpreter | static |
| debugBufferString | klee::Executor | private |
| debugInstFile | klee::Executor | private |
| debugLogBuffer | klee::Executor | private |
| doDumpStates() | klee::Executor | private |
| doImpliedValueConcretization(ExecutionState &state, ref< Expr > e, ref< ConstantExpr > value) | klee::Executor | private |
| dumpPTree() | klee::Executor | private |
| dumpStates() | klee::Executor | private |
| eh_typeids | klee::Executor | private |
| eval(KInstruction *ki, unsigned index, ExecutionState &state) const | klee::Executor | private |
| evalConstant(const llvm::Constant *c, const KInstruction *ki=NULL) | klee::Executor | private |
| evalConstantExpr(const llvm::ConstantExpr *c, const KInstruction *ki=NULL) | 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, size_t allocationAlignment=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, const std::string &name) | klee::Executor | private |
| executeMemoryOperation(ExecutionState &state, bool isWrite, ref< Expr > address, ref< Expr > value, KInstruction *target) | klee::Executor | private |
| Executor(llvm::LLVMContext &ctx, const InterpreterOptions &opts, InterpreterHandler *ie) | klee::Executor | |
| externalDispatcher | klee::Executor | private |
| fork(ExecutionState ¤t, ref< Expr > condition, bool isInternal, BranchType reason) | klee::Executor | private |
| getAddressInfo(ExecutionState &state, ref< Expr > address) const | klee::Executor | private |
| getAllocationAlignment(const llvm::Value *allocSite) const | klee::Executor | |
| getArgumentCell(ExecutionState &state, KFunction *kf, unsigned index) | klee::Executor | inlineprivate |
| getConstraintLog(const ExecutionState &state, std::string &res, Interpreter::LogType logFormat=Interpreter::STP) override | klee::Executor | virtual |
| getCoveredLines(const ExecutionState &state, std::map< const std::string *, std::set< unsigned > > &res) override | klee::Executor | virtual |
| getDestCell(ExecutionState &state, KInstruction *target) | klee::Executor | inlineprivate |
| getEhTypeidFor(ref< Expr > type_info) | klee::Executor | private |
| getErrnoLocation(const ExecutionState &state) const | klee::Executor | |
| getHandler() | klee::Executor | inline |
| getLastNonKleeInternalInstruction(const ExecutionState &state, llvm::Instruction **lastInstruction) | klee::Executor | private |
| getMergingSearcher() const | klee::Executor | inline |
| getPathStreamID(const ExecutionState &state) override | klee::Executor | virtual |
| getSymbolicPathStreamID(const ExecutionState &state) override | klee::Executor | virtual |
| getSymbolicSolution(const ExecutionState &state, std::vector< std::pair< std::string, std::vector< unsigned char > > > &res) override | klee::Executor | virtual |
| getTargetFunction(llvm::Value *calledVal, ExecutionState &state) | klee::Executor | private |
| getWidthForLLVMType(llvm::Type *type) const | klee::Executor | |
| globalAddresses | klee::Executor | private |
| globalObjects | klee::Executor | private |
| haltExecution | klee::Executor | private |
| inhibitForking | klee::Executor | private |
| initializeGlobalAlias(const llvm::Constant *c) | klee::Executor | private |
| initializeGlobalAliases() | klee::Executor | private |
| initializeGlobalObject(ExecutionState &state, ObjectState *os, const llvm::Constant *c, unsigned offset) | klee::Executor | private |
| initializeGlobalObjects(ExecutionState &state) | klee::Executor | private |
| initializeGlobals(ExecutionState &state) | klee::Executor | private |
| Interpreter(const InterpreterOptions &_interpreterOpts) | klee::Interpreter | inlineprotected |
| interpreterHandler | klee::Executor | private |
| interpreterOpts | klee::Interpreter | protected |
| ivcEnabled | klee::Executor | private |
| klee::constructUserSearcher | klee::Executor | friend |
| kmodule | klee::Executor | private |
| KQUERY enum value | klee::Interpreter | |
| legalFunctions | klee::Executor | private |
| LogType enum name | klee::Interpreter | |
| maxInstructionTime | klee::Executor | private |
| maxStaticPctChecks(ExecutionState ¤t, ref< Expr > condition) | klee::Executor | private |
| memory | klee::Executor | private |
| MergeHandler | klee::Executor | friend |
| mergingSearcher | klee::Executor | private |
| optimizer | klee::Executor | private |
| OwningSearcher | klee::Executor | friend |
| pathWriter | klee::Executor | private |
| prepareForEarlyExit() override | klee::Executor | virtual |
| printDebugInstructions(ExecutionState &state) | klee::Executor | private |
| processTree | klee::Executor | private |
| removedStates | klee::Executor | private |
| replaceReadWithSymbolic(ExecutionState &state, ref< Expr > e) | klee::Executor | private |
| replayKTest | 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) override | klee::Executor | virtual |
| searcher | klee::Executor | private |
| seedMap | klee::Executor | private |
| serializeLandingpad(ExecutionState &state, const llvm::LandingPadInst &lpi, bool &stateTerminated) | klee::Executor | private |
| setHaltExecution(bool value) override | klee::Executor | inlinevirtual |
| setInhibitForking(bool value) override | klee::Executor | inlinevirtual |
| setMergingSearcher(MergingSearcher *ms) | klee::Executor | inline |
| setModule(std::vector< std::unique_ptr< llvm::Module > > &modules, const ModuleOptions &opts) override | klee::Executor | virtual |
| setPathWriter(TreeStreamWriter *tsw) override | klee::Executor | inlinevirtual |
| setReplayKTest(const struct KTest *out) override | klee::Executor | inlinevirtual |
| setReplayPath(const std::vector< bool > *path) override | klee::Executor | inlinevirtual |
| setSymbolicPathWriter(TreeStreamWriter *tsw) override | klee::Executor | inlinevirtual |
| SMTLIB2 enum value | klee::Interpreter | |
| solver | klee::Executor | private |
| SpecialFunctionHandler | klee::Executor | friend |
| specialFunctionHandler | klee::Executor | private |
| StatePair typedef | klee::Executor | |
| states | klee::Executor | private |
| StatsTracker | klee::Executor | friend |
| statsTracker | klee::Executor | private |
| stepInstruction(ExecutionState &state) | klee::Executor | private |
| STP enum value | klee::Interpreter | |
| symPathWriter | klee::Executor | private |
| terminateState(ExecutionState &state) | klee::Executor | private |
| terminateStateEarly(ExecutionState &state, const llvm::Twine &message, StateTerminationType terminationType) | klee::Executor | private |
| terminateStateOnError(ExecutionState &state, const llvm::Twine &message, StateTerminationType terminationType, const llvm::Twine &longMessage="", const char *suffix=nullptr) | klee::Executor | private |
| terminateStateOnExecError(ExecutionState &state, const llvm::Twine &message, const llvm::Twine &info="") | klee::Executor | private |
| terminateStateOnExit(ExecutionState &state) | klee::Executor | private |
| terminateStateOnSolverError(ExecutionState &state, const llvm::Twine &message) | klee::Executor | private |
| terminateStateOnUserError(ExecutionState &state, const llvm::Twine &message) | klee::Executor | private |
| theRNG | klee::Executor | |
| 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 |
| unwindToNextLandingpad(ExecutionState &state) | klee::Executor | private |
| updateStates(ExecutionState *current) | klee::Executor | private |
| useSeeds(const std::vector< struct KTest * > *seeds) override | klee::Executor | inlinevirtual |
| usingSeeds | klee::Executor | private |
| WeightedRandomSearcher | klee::Executor | friend |
| ~Executor() | klee::Executor | virtual |
| ~Interpreter() | klee::Interpreter | inlinevirtual |
1.9.3