clang API Documentation
| _register(CHECKER *checker, CheckerManager &mgr) | clang::ento::Checker< check::PreStmt< ReturnStmt >, check::PostStmt< DeclStmt >, check::PreObjCMessage, check::PostObjCMessage, check::PreCall, check::PostCall, check::BranchCondition, check::Location, check::Bind, check::DeadSymbols, check::EndFunction, check::EndAnalysis, check::EndOfTranslationUnit, eval::Call, eval::Assume, check::LiveSymbols, check::RegionChanges, check::PointerEscape, check::ConstPointerEscape, check::Event< ImplicitNullDerefEvent >, check::ASTDecl< FunctionDecl > > | [inline, static] |
| checkASTDecl(const FunctionDecl *D, AnalysisManager &Mgr, BugReporter &BR) const | clang::ento::CheckerDocumentation | [inline] |
| checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const | clang::ento::CheckerDocumentation | [inline] |
| checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const | clang::ento::CheckerDocumentation | [inline] |
| checkConstPointerEscape(ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind) const | clang::ento::CheckerDocumentation | [inline] |
| checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) const | clang::ento::CheckerDocumentation | [inline] |
| checkEndFunction(CheckerContext &Ctx) const | clang::ento::CheckerDocumentation | [inline] |
| checkEndOfTranslationUnit(const TranslationUnitDecl *TU, AnalysisManager &Mgr, BugReporter &BR) const | clang::ento::CheckerDocumentation | [inline] |
| checkEvent(ImplicitNullDerefEvent Event) const | clang::ento::CheckerDocumentation | [inline] |
| checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const | clang::ento::CheckerDocumentation | [inline] |
| checkLocation(SVal Loc, bool IsLoad, const Stmt *S, CheckerContext &) const | clang::ento::CheckerDocumentation | [inline] |
| checkPointerEscape(ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind) const | clang::ento::CheckerDocumentation | [inline] |
| checkPostCall(const CallEvent &Call, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkPostStmt(const DeclStmt *DS, CheckerContext &C) const | clang::ento::CheckerDocumentation | |
| checkPreCall(const CallEvent &Call, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| checkRegionChanges(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef< const MemRegion * > ExplicitRegions, ArrayRef< const MemRegion * > Regions, const CallEvent *Call) const | clang::ento::CheckerDocumentation | [inline] |
| evalAssume(ProgramStateRef State, SVal Cond, bool Assumption) const | clang::ento::CheckerDocumentation | [inline] |
| evalCall(const CallExpr *CE, CheckerContext &C) const | clang::ento::CheckerDocumentation | [inline] |
| wantsRegionChangeUpdate(ProgramStateRef St) const | clang::ento::CheckerDocumentation | [inline] |