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 | |
| cleanupNodeTag() | clang::ento::ExprEngine | static |
| computeObjectUnderConstruction(const Expr *E, ProgramStateRef State, const NodeBuilderContext *BldrCtx, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts, unsigned Idx=0) | clang::ento::ExprEngine | |
| ConstructInitList(const Expr *Source, ArrayRef< Expr * > Args, bool IsTransparent, ExplodedNode *Pred, ExplodedNodeSet &Dst) | 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 | |
| didEagerlyAssumeBifurcateAt(ProgramStateRef State, const Expr *Ex) const | clang::ento::ExprEngine | |
| DumpGraph(bool trim=false, StringRef Filename="") | clang::ento::ExprEngine | |
| DumpGraph(ArrayRef< const ExplodedNode * > Nodes, StringRef Filename="") | clang::ento::ExprEngine | |
| escapeValues(ProgramStateRef State, ArrayRef< SVal > Vs, PointerEscapeKind K, const CallEvent *Call=nullptr) const | clang::ento::ExprEngine | |
| 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 | |
| evalEagerlyAssumeBifurcation(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 | |
| 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 |
| ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr, SetOfConstDecls *VisitedCalleesIn, FunctionSummariesTy *FS, InliningModes HowToInlineIn) | clang::ento::ExprEngine | |
| getAnalysisDeclContextManager() | clang::ento::ExprEngine | inline |
| getAnalysisManager() | clang::ento::ExprEngine | inline |
| getAnalysisManager() const | clang::ento::ExprEngine | inline |
| getBasicVals() | clang::ento::ExprEngine | inline |
| getBugReporter() | clang::ento::ExprEngine | inline |
| getBugReporter() const | clang::ento::ExprEngine | inline |
| getBuilderContext() | clang::ento::ExprEngine | inline |
| getCFGElementRef() const | clang::ento::ExprEngine | inline |
| getCheckerManager() const | clang::ento::ExprEngine | inline |
| getConstraintManager() | clang::ento::ExprEngine | inline |
| getConstraintManager() const | clang::ento::ExprEngine | inline |
| getContext() const | clang::ento::ExprEngine | inline |
| getCoreEngine() const | clang::ento::ExprEngine | inline |
| getCrossTranslationUnitContext() | clang::ento::ExprEngine | inline |
| getCurrentCFGElement() | clang::ento::ExprEngine | inline |
| getDataTags() | clang::ento::ExprEngine | inline |
| getEagerlyAssumeBifurcationTags() | clang::ento::ExprEngine | static |
| getGraph() | clang::ento::ExprEngine | inline |
| getGraph() const | clang::ento::ExprEngine | inline |
| getIndexOfElementToConstruct(ProgramStateRef State, const CXXConstructExpr *E, const LocationContext *LCtx) | clang::ento::ExprEngine | static |
| getInitialState(const LocationContext *InitLoc) | clang::ento::ExprEngine | |
| getObjectUnderConstruction(ProgramStateRef State, const ConstructionContextItem &Item, const LocationContext *LC) | clang::ento::ExprEngine | static |
| getPendingArrayDestruction(ProgramStateRef State, const LocationContext *LCtx) | clang::ento::ExprEngine | static |
| getPendingInitLoop(ProgramStateRef State, const CXXConstructExpr *E, const LocationContext *LCtx) | clang::ento::ExprEngine | static |
| getRegionManager() | clang::ento::ExprEngine | inline |
| getRootLocationContext() const | clang::ento::ExprEngine | inline |
| getStateManager() | clang::ento::ExprEngine | inline |
| getStateManager() const | clang::ento::ExprEngine | inline |
| getStmt() const | clang::ento::ExprEngine | |
| getStoreManager() | clang::ento::ExprEngine | inline |
| getStoreManager() const | clang::ento::ExprEngine | inline |
| getSValBuilder() | clang::ento::ExprEngine | inline |
| getSValBuilder() const | clang::ento::ExprEngine | inline |
| getSymbolManager() | clang::ento::ExprEngine | inline |
| getSymbolManager() const | clang::ento::ExprEngine | inline |
| handleConstructionContext(const Expr *E, ProgramStateRef State, const NodeBuilderContext *BldrCtx, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts, unsigned Idx=0) | 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 | |
| handleUOExtension(ExplodedNode *N, const UnaryOperator *U, StmtNodeBuilder &Bldr) | clang::ento::ExprEngine | |
| hasEmptyWorkList() const | clang::ento::ExprEngine | inline |
| hasMoreIteration(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC) | clang::ento::ExprEngine | static |
| 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) | clang::ento::ExprEngine | |
| printJson(raw_ostream &Out, ProgramStateRef State, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const | clang::ento::ExprEngine | |
| processAssume(ProgramStateRef state, SVal cond, bool assumption) | clang::ento::ExprEngine | |
| 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) | clang::ento::ExprEngine | |
| processBranch(const Stmt *Condition, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF, std::optional< unsigned > IterationsCompletedInLoop) | clang::ento::ExprEngine | |
| processCallEnter(NodeBuilderContext &BC, CallEnter CE, ExplodedNode *Pred) | clang::ento::ExprEngine | |
| processCallExit(ExplodedNode *Pred) | clang::ento::ExprEngine | |
| processCFGBlockEntrance(const BlockEdge &L, NodeBuilderWithSinks &nodeBuilder, ExplodedNode *Pred) | clang::ento::ExprEngine | |
| processCFGElement(const CFGElement E, ExplodedNode *Pred, unsigned StmtIdx, NodeBuilderContext *Ctx) | clang::ento::ExprEngine | |
| processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) | clang::ento::ExprEngine | |
| ProcessDeleteDtor(const CFGDeleteDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine | |
| processEndOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, const ReturnStmt *RS=nullptr) | clang::ento::ExprEngine | |
| processEndWorklist() | clang::ento::ExprEngine | |
| ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred) | clang::ento::ExprEngine | |
| processIndirectGoto(IndirectGotoNodeBuilder &builder) | clang::ento::ExprEngine | |
| 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) | clang::ento::ExprEngine | |
| processRegionChange(ProgramStateRef state, const MemRegion *MR, const LocationContext *LCtx) | clang::ento::ExprEngine | inline |
| processRegionChanges(ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef< const MemRegion * > ExplicitRegions, ArrayRef< const MemRegion * > Regions, const LocationContext *LCtx, const CallEvent *Call) | clang::ento::ExprEngine | |
| processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) | clang::ento::ExprEngine | |
| ProcessStmt(const Stmt *S, ExplodedNode *Pred) | clang::ento::ExprEngine | |
| processSwitch(SwitchNodeBuilder &builder) | clang::ento::ExprEngine | |
| 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 | |
| removeIterationState(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC) | clang::ento::ExprEngine | static |
| runCheckersForBlockEntrance(const NodeBuilderContext &BldCtx, const BlockEntrance &Entrance, ExplodedNode *Pred, ExplodedNodeSet &Dst) | clang::ento::ExprEngine | |
| setWhetherHasMoreIteration(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC, bool HasMoreIteraton) | clang::ento::ExprEngine | static |
| updateObjectsUnderConstruction(SVal V, const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, const EvalCallOptions &CallOpts) | 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 | |
| VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex, 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 | |
| VisitAttributedStmt(const AttributedStmt *A, 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 | |
| VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr *E, ExplodedNode *Pred, ExplodedNodeSet &Dst) | 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 | |
| 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()=default | clang::ento::ExprEngine | virtual |
Generated on for clang by
1.14.0