clang 10.0.0git

clang::ento::ExprEngine Member List

This is the complete list of members for clang::ento::ExprEngine, including all inherited members.

bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) | clang::ento::ExprEngine |
CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred, const CallEvent &Call, const EvalCallOptions &CallOpts={}) | clang::ento::ExprEngine |
DumpGraph(bool trim=false, StringRef Filename="") | clang::ento::ExprEngine |
DumpGraph(ArrayRef< const ExplodedNode *> Nodes, StringRef Filename="") | clang::ento::ExprEngine |
enqueueEndOfPath(ExplodedNodeSet &S) | clang::ento::ExprEngine |
escapeValues(ProgramStateRef State, ArrayRef< SVal > Vs, PointerEscapeKind K, const CallEvent *Call=nullptr) const | clang::ento::ExprEngine | protected
evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred, SVal location, SVal Val, bool atDeclInit=false, const ProgramPoint *PP=nullptr) | clang::ento::ExprEngine | protected
evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc L, NonLoc R, QualType T) | clang::ento::ExprEngine | inline
evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc L, SVal R, QualType T) | clang::ento::ExprEngine | inline
evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, SVal LHS, SVal RHS, QualType T) | clang::ento::ExprEngine | inline
evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, const CallEvent &Call) | clang::ento::ExprEngine |
evalComplement(SVal X) | clang::ento::ExprEngine | inline
evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) | clang::ento::ExprEngine |
evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundExpr, ExplodedNode *Pred, ProgramStateRef St, SVal location, const ProgramPointTag *tag=nullptr, QualType LoadTy=QualType()) | clang::ento::ExprEngine |
evalMinus(SVal X) | clang::ento::ExprEngine | inline
evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *StoreE, ExplodedNode *Pred, ProgramStateRef St, SVal TargetLV, SVal Val, const ProgramPointTag *tag=nullptr) | clang::ento::ExprEngine |
ExecuteWorkList(const LocationContext *L, unsigned Steps=150000) | clang::ento::ExprEngine | inline
ExecuteWorkListWithInitialState(const LocationContext *L, unsigned Steps, ProgramStateRef InitState, ExplodedNodeSet &Dst) | clang::ento::ExprEngine | inline
ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr, SetOfConstDecls *VisitedCalleesIn, FunctionSummariesTy *FS, InliningModes HowToInlineIn) | clang::ento::ExprEngine |
GenerateAutoTransition(ExplodedNode *N) | clang::ento::ExprEngine |
GenerateCallExitNode(ExplodedNode *N) | clang::ento::ExprEngine |
getAnalysisDeclContextManager() | clang::ento::ExprEngine | inline
getAnalysisManager() override | clang::ento::ExprEngine | inline virtual
getBasicVals() | clang::ento::ExprEngine | inline
getBugReporter() | clang::ento::ExprEngine | inline
getBuilderContext() | clang::ento::ExprEngine | inline
getCheckerManager() const | clang::ento::ExprEngine | inline
getConstraintManager() | clang::ento::ExprEngine | inline
getContext() const | clang::ento::ExprEngine | inline
getCoreEngine() const | clang::ento::ExprEngine | inline
getCrossTranslationUnitContext() override | clang::ento::ExprEngine | inline virtual
getCurrentCFGElement() | clang::ento::ExprEngine | inline
geteagerlyAssumeBinOpBifurcationTags() | clang::ento::ExprEngine | static
getGraph() | clang::ento::ExprEngine | inline
getGraph() const | clang::ento::ExprEngine | inline
getInitialState(const LocationContext *InitLoc) override | clang::ento::ExprEngine | virtual
getNoteTags() | clang::ento::ExprEngine | inline
getObjectUnderConstruction(ProgramStateRef State, const ConstructionContextItem &Item, const LocationContext *LC) | clang::ento::ExprEngine | static
getRegionManager() | clang::ento::ExprEngine | inline
getStateManager() override | clang::ento::ExprEngine | inline virtual
getStmt() const | clang::ento::ExprEngine |
getStoreManager() | clang::ento::ExprEngine | inline
getSValBuilder() | clang::ento::ExprEngine | inline
getSymbolManager() | clang::ento::ExprEngine | inline
handleLValueBitCast(ProgramStateRef state, const Expr *Ex, const LocationContext *LCtx, QualType T, QualType ExTy, const CastExpr *CastE, StmtNodeBuilder &Bldr, ExplodedNode *Pred) | clang::ento::ExprEngine |
handleLVectorSplat(ProgramStateRef state, const LocationContext *LCtx, const CastExpr *CastE, StmtNodeBuilder &Bldr, ExplodedNode *Pred) | clang::ento::ExprEngine |
handleUOExtension(ExplodedNodeSet::iterator I, const UnaryOperator *U, StmtNodeBuilder &Bldr) | clang::ento::ExprEngine |
hasEmptyWorkList() const | clang::ento::ExprEngine | inline
hasWorkRemaining() const | clang::ento::ExprEngine | inline
Inline_Minimal enum value | clang::ento::ExprEngine |
Inline_Regular enum value | clang::ento::ExprEngine |
InliningModes enum name | clang::ento::ExprEngine |
notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef< const MemRegion *> ExplicitRegions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) override | clang::ento::ExprEngine | protected virtual
printJson(raw_ostream &Out, ProgramStateRef State, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const override | clang::ento::ExprEngine | virtual
processAssume(ProgramStateRef state, SVal cond, bool assumption) override | clang::ento::ExprEngine | virtual
ProcessAutomaticObjDtor(const CFGAutomaticObjDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
ProcessBaseDtor(const CFGBaseDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
processBeginOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, ExplodedNodeSet &Dst, const BlockEdge &L) override | clang::ento::ExprEngine | virtual
processBranch(const Stmt *Condition, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) override | clang::ento::ExprEngine | virtual
processCallEnter(NodeBuilderContext &BC, CallEnter CE, ExplodedNode *Pred) override | clang::ento::ExprEngine | virtual
processCallExit(ExplodedNode *Pred) override | clang::ento::ExprEngine | virtual
processCFGBlockEntrance(const BlockEdge &L, NodeBuilderWithSinks &nodeBuilder, ExplodedNode *Pred) override | clang::ento::ExprEngine | virtual
processCFGElement(const CFGElement E, ExplodedNode *Pred, unsigned StmtIdx, NodeBuilderContext *Ctx) override | clang::ento::ExprEngine | virtual
processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) override | clang::ento::ExprEngine | virtual
ProcessDeleteDtor(const CFGDeleteDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
processEndOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, const ReturnStmt *RS=nullptr) override | clang::ento::ExprEngine | virtual
processEndWorklist() override | clang::ento::ExprEngine | virtual
ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred) | clang::ento::ExprEngine |
processIndirectGoto(IndirectGotoNodeBuilder &builder) override | clang::ento::ExprEngine | virtual
ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred) | clang::ento::ExprEngine |
ProcessLoopExit(const Stmt *S, ExplodedNode *Pred) | clang::ento::ExprEngine |
ProcessMemberDtor(const CFGMemberDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred) | clang::ento::ExprEngine |
processPointerEscapedOnBind(ProgramStateRef State, ArrayRef< std::pair< SVal, SVal >> LocAndVals, const LocationContext *LCtx, PointerEscapeKind Kind, const CallEvent *Call) override | clang::ento::ExprEngine | protected virtual
processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val, const LocationContext *LCtx) | clang::ento::ExprEngine | protected
processRegionChange(ProgramStateRef state, const MemRegion *MR, const LocationContext *LCtx) | clang::ento::SubEngine | inline
processRegionChanges(ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef< const MemRegion *> ExplicitRegions, ArrayRef< const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) override | clang::ento::ExprEngine | virtual
processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) override | clang::ento::ExprEngine | virtual
ProcessStmt(const Stmt *S, ExplodedNode *Pred) | clang::ento::ExprEngine |
processSwitch(SwitchNodeBuilder &builder) override | clang::ento::ExprEngine | virtual
ProcessTemporaryDtor(const CFGTemporaryDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
removeDead(ExplodedNode *Node, ExplodedNodeSet &Out, const Stmt *ReferenceStmt, const LocationContext *LC, const Stmt *DiagnosticStmt=nullptr, ProgramPoint::Kind K=ProgramPoint::PreStmtPurgeDeadSymbolsKind) | clang::ento::ExprEngine |
removeDeadOnEndOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
ViewGraph(bool trim=false) | clang::ento::ExprEngine |
ViewGraph(ArrayRef< const ExplodedNode *> Nodes) | clang::ento::ExprEngine |
Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitAtomicExpr(const AtomicExpr *E, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitBinaryOperator(const BinaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCommonDeclRefExpr(const Expr *DR, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE, ExplodedNodeSet &PreVisit, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXConstructExpr(const CXXConstructExpr *E, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest, const Stmt *S, bool IsBaseDtor, ExplodedNode *Pred, ExplodedNodeSet &Dst, EvalCallOptions &Options) | clang::ento::ExprEngine |
VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitIncrementDecrementOperator(const UnaryOperator *U, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitInitListExpr(const InitListExpr *E, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitLogicalExpr(const BinaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *DR, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitObjCMessage(const ObjCMessageExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitReturnStmt(const ReturnStmt *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
VisitUnaryOperator(const UnaryOperator *B, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine |
wasBlocksExhausted() const | clang::ento::ExprEngine | inline
~ExprEngine() override=default | clang::ento::ExprEngine |
~SubEngine() | clang::ento::SubEngine | inline virtual