clang  14.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
computeObjectUnderConstruction(const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts)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
evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc L, NonLoc R, QualType T)clang::ento::ExprEngineinline
evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc L, SVal R, QualType T)clang::ento::ExprEngineinline
evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, SVal LHS, SVal RHS, QualType T)clang::ento::ExprEngineinline
evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, const CallEvent &Call)clang::ento::ExprEngine
evalComplement(SVal X)clang::ento::ExprEngineinline
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::ExprEngineinline
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::ExprEngineinline
ExecuteWorkListWithInitialState(const LocationContext *L, unsigned Steps, ProgramStateRef InitState, ExplodedNodeSet &Dst)clang::ento::ExprEngineinline
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::ExprEngineinline
getAnalysisManager()clang::ento::ExprEngineinline
getBasicVals()clang::ento::ExprEngineinline
getBugReporter()clang::ento::ExprEngineinline
getBuilderContext()clang::ento::ExprEngineinline
getCheckerManager() constclang::ento::ExprEngineinline
getConstraintManager()clang::ento::ExprEngineinline
getContext() constclang::ento::ExprEngineinline
getCoreEngine() constclang::ento::ExprEngineinline
getCrossTranslationUnitContext()clang::ento::ExprEngineinline
getCurrentCFGElement()clang::ento::ExprEngineinline
getDataTags()clang::ento::ExprEngineinline
geteagerlyAssumeBinOpBifurcationTags()clang::ento::ExprEnginestatic
getGraph()clang::ento::ExprEngineinline
getGraph() constclang::ento::ExprEngineinline
getInitialState(const LocationContext *InitLoc)clang::ento::ExprEngine
getObjectUnderConstruction(ProgramStateRef State, const ConstructionContextItem &Item, const LocationContext *LC)clang::ento::ExprEnginestatic
getRegionManager()clang::ento::ExprEngineinline
getStateManager()clang::ento::ExprEngineinline
getStmt() constclang::ento::ExprEngine
getStoreManager()clang::ento::ExprEngineinline
getSValBuilder()clang::ento::ExprEngineinline
getSymbolManager()clang::ento::ExprEngineinline
handleConstructionContext(const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts)clang::ento::ExprEngineinline
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() constclang::ento::ExprEngineinline
hasMoreIteration(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC)clang::ento::ExprEnginestatic
hasWorkRemaining() constclang::ento::ExprEngineinline
Inline_Minimal enum valueclang::ento::ExprEngine
Inline_Regular enum valueclang::ento::ExprEngine
InliningModes enum nameclang::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) constclang::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)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::ExprEngineinline
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::ExprEnginestatic
setWhetherHasMoreIteration(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC, bool HasMoreIteraton)clang::ento::ExprEnginestatic
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
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
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
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() constclang::ento::ExprEngineinline
~ExprEngine()=defaultclang::ento::ExprEnginevirtual