clang  6.0.0svn
clang::ento::SubEngine Member List

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

getAnalysisManager()=0clang::ento::SubEnginepure virtual
getInitialState(const LocationContext *InitLoc)=0clang::ento::SubEnginepure virtual
getStateManager()=0clang::ento::SubEnginepure virtual
notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef< const MemRegion *> ExplicitRegions, ArrayRef< const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &HTraits)=0clang::ento::SubEnginepure virtual
printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep)=0clang::ento::SubEnginepure virtual
processAssume(ProgramStateRef state, SVal cond, bool assumption)=0clang::ento::SubEnginepure virtual
processBeginOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, ExplodedNodeSet &Dst, const BlockEdge &L)=0clang::ento::SubEnginepure virtual
processBranch(const Stmt *Condition, const Stmt *Term, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF)=0clang::ento::SubEnginepure virtual
processCallEnter(NodeBuilderContext &BC, CallEnter CE, ExplodedNode *Pred)=0clang::ento::SubEnginepure virtual
processCallExit(ExplodedNode *Pred)=0clang::ento::SubEnginepure virtual
processCFGBlockEntrance(const BlockEdge &L, NodeBuilderWithSinks &nodeBuilder, ExplodedNode *Pred)=0clang::ento::SubEnginepure virtual
processCFGElement(const CFGElement E, ExplodedNode *Pred, unsigned StmtIdx, NodeBuilderContext *Ctx)=0clang::ento::SubEnginepure virtual
processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF)=0clang::ento::SubEnginepure virtual
processEndOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, const ReturnStmt *RS=nullptr)=0clang::ento::SubEnginepure virtual
processEndWorklist(bool hasWorkRemaining)=0clang::ento::SubEnginepure virtual
processIndirectGoto(IndirectGotoNodeBuilder &builder)=0clang::ento::SubEnginepure virtual
processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val, const LocationContext *LCtx)=0clang::ento::SubEnginepure virtual
processRegionChange(ProgramStateRef state, const MemRegion *MR, const LocationContext *LCtx)clang::ento::SubEngineinline
processRegionChanges(ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef< const MemRegion *> ExplicitRegions, ArrayRef< const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call)=0clang::ento::SubEnginepure virtual
processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF)=0clang::ento::SubEnginepure virtual
processSwitch(SwitchNodeBuilder &builder)=0clang::ento::SubEnginepure virtual
~SubEngine()clang::ento::SubEngineinlinevirtual