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