clang 19.0.0git
CheckSizeofPointer.cpp
Go to the documentation of this file.
1//==- CheckSizeofPointer.cpp - Check for sizeof on pointers ------*- C++ -*-==//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines a check for unintended use of sizeof() on pointer
10// expressions.
11//
12//===----------------------------------------------------------------------===//
13
19
20using namespace clang;
21using namespace ento;
22
23namespace {
24class WalkAST : public StmtVisitor<WalkAST> {
25 BugReporter &BR;
26 const CheckerBase *Checker;
28
29public:
30 WalkAST(BugReporter &br, const CheckerBase *checker, AnalysisDeclContext *ac)
31 : BR(br), Checker(checker), AC(ac) {}
32 void VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E);
33 void VisitStmt(Stmt *S) { VisitChildren(S); }
34 void VisitChildren(Stmt *S);
35};
36}
37
38void WalkAST::VisitChildren(Stmt *S) {
39 for (Stmt *Child : S->children())
40 if (Child)
41 Visit(Child);
42}
43
44// CWE-467: Use of sizeof() on a Pointer Type
45void WalkAST::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
46 if (E->getKind() != UETT_SizeOf)
47 return;
48
49 // If an explicit type is used in the code, usually the coder knows what they are
50 // doing.
51 if (E->isArgumentType())
52 return;
53
55 if (T->isPointerType()) {
56
57 // Many false positives have the form 'sizeof *p'. This is reasonable
58 // because people know what they are doing when they intentionally
59 // dereference the pointer.
60 Expr *ArgEx = E->getArgumentExpr();
61 if (!isa<DeclRefExpr>(ArgEx->IgnoreParens()))
62 return;
63
65 PathDiagnosticLocation::createBegin(E, BR.getSourceManager(), AC);
66 BR.EmitBasicReport(AC->getDecl(), Checker,
67 "Potential unintended use of sizeof() on pointer type",
69 "The code calls sizeof() on a pointer type. "
70 "This can produce an unexpected result.",
71 ELoc, ArgEx->getSourceRange());
72 }
73}
74
75//===----------------------------------------------------------------------===//
76// SizeofPointerChecker
77//===----------------------------------------------------------------------===//
78
79namespace {
80class SizeofPointerChecker : public Checker<check::ASTCodeBody> {
81public:
82 void checkASTCodeBody(const Decl *D, AnalysisManager& mgr,
83 BugReporter &BR) const {
84 WalkAST walker(BR, this, mgr.getAnalysisDeclContext(D));
85 walker.Visit(D->getBody());
86 }
87};
88}
89
90void ento::registerSizeofPointerChecker(CheckerManager &mgr) {
91 mgr.registerChecker<SizeofPointerChecker>();
92}
93
94bool ento::shouldRegisterSizeofPointerChecker(const CheckerManager &mgr) {
95 return true;
96}
AnalysisDeclContext contains the context data for the function, method or block under analysis.
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:85
virtual Stmt * getBody() const
getBody - If this Decl represents a declaration for a body of code, such as a function or method defi...
Definition: DeclBase.h:1078
This represents one expression.
Definition: Expr.h:110
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
Definition: Expr.cpp:3055
A (possibly-)qualified type.
Definition: Type.h:738
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Definition: StmtVisitor.h:185
Stmt - This represents one statement.
Definition: Stmt.h:84
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Definition: Stmt.cpp:326
bool isPointerType() const
Definition: Type.h:7402
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
Definition: Expr.h:2568
QualType getTypeOfArgument() const
Gets the argument type, or the type of the argument expression, whichever is appropriate.
Definition: Expr.h:2637
bool isArgumentType() const
Definition: Expr.h:2610
UnaryExprOrTypeTrait getKind() const
Definition: Expr.h:2600
AnalysisDeclContext * getAnalysisDeclContext(const Decl *D)
BugReporter is a utility class for generating PathDiagnostics for analysis.
Definition: BugReporter.h:585
CHECKER * registerChecker(AT &&... Args)
Used to register checkers.
static PathDiagnosticLocation createBegin(const Decl *D, const SourceManager &SM)
Create a location for the beginning of the declaration.
The JSON file list parser is used to communicate input to InstallAPI.
const FunctionProtoType * T