StaticAnalyzer/Checkers/VLASizeChecker.cpp

1 //=== VLASizeChecker.cpp - Undefined dereference checker --------*- C++ -*-===//
9 // This defines VLASizeChecker, a builtin check in ExprEngine that
11 // In addition, VLASizeChecker is responsible for defining the extent
33 class VLASizeChecker
67 ProgramStateRef VLASizeChecker::checkVLA(CheckerContext &C,
152 ProgramStateRef VLASizeChecker::checkVLAIndexSize(CheckerContext &C,
211 void VLASizeChecker::reportBug(
251 void VLASizeChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
288   // VLASizeChecker is responsible for defining the extent of the array.
299 void VLASizeChecker::checkPreStmt(const UnaryExprOrTypeTraitExpr *UETTE,
325   mgr.registerChecker<VLASizeChecker>();