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] |