addSink(ProgramStateRef State=nullptr, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
addTransition(ProgramStateRef State=nullptr, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
addTransition(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
blockCount() const | clang::ento::CheckerContext | inline |
CheckerContext(NodeBuilder &builder, ExprEngine &eng, ExplodedNode *pred, const ProgramPoint &loc, bool wasInlined=false) | clang::ento::CheckerContext | inline |
emitReport(std::unique_ptr< BugReport > R) | clang::ento::CheckerContext | inline |
generateErrorNode(ProgramStateRef State=nullptr, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
generateErrorNode(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
generateNonFatalErrorNode(ProgramStateRef State=nullptr, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
generateNonFatalErrorNode(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
generateSink(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::CheckerContext | inline |
getAnalysisManager() | clang::ento::CheckerContext | inline |
getASTContext() | clang::ento::CheckerContext | inline |
getASTContext() const | clang::ento::CheckerContext | inline |
getBlockID() const | clang::ento::CheckerContext | inline |
getBugReporter() | clang::ento::CheckerContext | inline |
getCalleeDecl(const CallExpr *CE) const | clang::ento::CheckerContext | |
getCalleeIdentifier(const CallExpr *CE) const | clang::ento::CheckerContext | inline |
getCalleeName(const FunctionDecl *FunDecl) const | clang::ento::CheckerContext | |
getCalleeName(const CallExpr *CE) const | clang::ento::CheckerContext | inline |
getConstraintManager() | clang::ento::CheckerContext | inline |
getCurrentAnalysisDeclContext() const | clang::ento::CheckerContext | inline |
getDeclDescription(const Decl *D) | clang::ento::CheckerContext | |
getLangOpts() const | clang::ento::CheckerContext | inline |
getLocationContext() const | clang::ento::CheckerContext | inline |
getLocationRegionIfPostStore(const ExplodedNode *N) | clang::ento::CheckerContext | inlinestatic |
getMacroNameOrSpelling(SourceLocation &Loc) | clang::ento::CheckerContext | |
getNoteTag(NoteTag::Callback &&Cb, bool IsPrunable=false) | clang::ento::CheckerContext | inline |
getNoteTag(std::function< std::string(PathSensitiveBugReport &)> &&Cb, bool IsPrunable=false) | clang::ento::CheckerContext | inline |
getNoteTag(std::function< std::string()> &&Cb, bool IsPrunable=false) | clang::ento::CheckerContext | inline |
getNoteTag(StringRef Note, bool IsPrunable=false) | clang::ento::CheckerContext | inline |
getNoteTag(std::function< void(PathSensitiveBugReport &BR, llvm::raw_ostream &OS)> &&Cb, bool IsPrunable=false) | clang::ento::CheckerContext | inline |
getPredecessor() | clang::ento::CheckerContext | inline |
getPreprocessor() | clang::ento::CheckerContext | inline |
getSourceManager() | clang::ento::CheckerContext | inline |
getStackFrame() const | clang::ento::CheckerContext | inline |
getState() const | clang::ento::CheckerContext | inline |
getStateManager() | clang::ento::CheckerContext | inline |
getStoreManager() | clang::ento::CheckerContext | inline |
getSVal(const Stmt *S) const | clang::ento::CheckerContext | inline |
getSValBuilder() | clang::ento::CheckerContext | inline |
getSymbolManager() | clang::ento::CheckerContext | inline |
inTopFrame() const | clang::ento::CheckerContext | inline |
isCLibraryFunction(const FunctionDecl *FD, StringRef Name=StringRef()) | clang::ento::CheckerContext | static |
isDifferent() | clang::ento::CheckerContext | inline |
isGreaterOrEqual(const Expr *E, unsigned long long Val) | clang::ento::CheckerContext | |
isHardenedVariantOf(const FunctionDecl *FD, StringRef Name) | clang::ento::CheckerContext | static |
isNegative(const Expr *E) | clang::ento::CheckerContext | |
wasInlined | clang::ento::CheckerContext | |