|
clang
5.0.0
|
#include "ClangSACheckers.h"#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"#include "clang/StaticAnalyzer/Core/Checker.h"#include "clang/StaticAnalyzer/Core/CheckerManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"#include "llvm/ADT/SmallString.h"#include "llvm/Support/raw_ostream.h"Go to the source code of this file.
Functions | |
| static bool | isArrayIndexOutOfBounds (CheckerContext &C, const Expr *Ex) |
|
static |
Definition at line 38 of file UndefResultChecker.cpp.
References clang::ento::SVal::castAs(), clang::ento::ElementRegion::getIndex(), clang::ento::CheckerContext::getLocationContext(), clang::ento::StoreManager::getSizeInElements(), clang::ento::CheckerContext::getState(), clang::ento::CheckerContext::getStoreManager(), clang::ento::SubRegion::getSuperRegion(), clang::ento::ElementRegion::getValueType(), clang::ento::SVal::isValid(), and clang::CodeGen::state.
1.8.6