Searched refs:ArrayBoundCheckerV2 (Results 1 – 3 of 3) sorted by relevance
126 class ArrayBoundCheckerV2 : public Checker<check::PostStmt<ArraySubscriptExpr>, class550 void ArrayBoundCheckerV2::performCheck(const Expr *E, CheckerContext &C) const { in performCheck()673 void ArrayBoundCheckerV2::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting()696 void ArrayBoundCheckerV2::reportOOB(CheckerContext &C, in reportOOB()728 bool ArrayBoundCheckerV2::isFromCtypeMacro(const Stmt *S, ASTContext &ACtx) { in isFromCtypeMacro()747 bool ArrayBoundCheckerV2::isInAddressOf(const Stmt *S, ASTContext &ACtx) { in isInAddressOf()759 bool ArrayBoundCheckerV2::isIdiomaticPastTheEndPtr(const Expr *E, in isIdiomaticPastTheEndPtr()772 mgr.registerChecker<ArrayBoundCheckerV2>(); in registerArrayBoundCheckerV2()
1038 def ArrayBoundCheckerV2 : Checker<"ArrayBoundV2">,
652 SRCS_FUL+= StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp