1*0b57cec5SDimitry Andric //==- CheckSizeofPointer.cpp - Check for sizeof on pointers ------*- C++ -*-==//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This file defines a check for unintended use of sizeof() on pointer
10*0b57cec5SDimitry Andric // expressions.
11*0b57cec5SDimitry Andric //
12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
13*0b57cec5SDimitry Andric
14*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
15*0b57cec5SDimitry Andric #include "clang/AST/StmtVisitor.h"
16*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
17*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/Checker.h"
18*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
19*0b57cec5SDimitry Andric
20*0b57cec5SDimitry Andric using namespace clang;
21*0b57cec5SDimitry Andric using namespace ento;
22*0b57cec5SDimitry Andric
23*0b57cec5SDimitry Andric namespace {
24*0b57cec5SDimitry Andric class WalkAST : public StmtVisitor<WalkAST> {
25*0b57cec5SDimitry Andric BugReporter &BR;
26*0b57cec5SDimitry Andric const CheckerBase *Checker;
27*0b57cec5SDimitry Andric AnalysisDeclContext* AC;
28*0b57cec5SDimitry Andric
29*0b57cec5SDimitry Andric public:
WalkAST(BugReporter & br,const CheckerBase * checker,AnalysisDeclContext * ac)30*0b57cec5SDimitry Andric WalkAST(BugReporter &br, const CheckerBase *checker, AnalysisDeclContext *ac)
31*0b57cec5SDimitry Andric : BR(br), Checker(checker), AC(ac) {}
32*0b57cec5SDimitry Andric void VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E);
VisitStmt(Stmt * S)33*0b57cec5SDimitry Andric void VisitStmt(Stmt *S) { VisitChildren(S); }
34*0b57cec5SDimitry Andric void VisitChildren(Stmt *S);
35*0b57cec5SDimitry Andric };
36*0b57cec5SDimitry Andric }
37*0b57cec5SDimitry Andric
VisitChildren(Stmt * S)38*0b57cec5SDimitry Andric void WalkAST::VisitChildren(Stmt *S) {
39*0b57cec5SDimitry Andric for (Stmt *Child : S->children())
40*0b57cec5SDimitry Andric if (Child)
41*0b57cec5SDimitry Andric Visit(Child);
42*0b57cec5SDimitry Andric }
43*0b57cec5SDimitry Andric
44*0b57cec5SDimitry Andric // CWE-467: Use of sizeof() on a Pointer Type
VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr * E)45*0b57cec5SDimitry Andric void WalkAST::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
46*0b57cec5SDimitry Andric if (E->getKind() != UETT_SizeOf)
47*0b57cec5SDimitry Andric return;
48*0b57cec5SDimitry Andric
49*0b57cec5SDimitry Andric // If an explicit type is used in the code, usually the coder knows what they are
50*0b57cec5SDimitry Andric // doing.
51*0b57cec5SDimitry Andric if (E->isArgumentType())
52*0b57cec5SDimitry Andric return;
53*0b57cec5SDimitry Andric
54*0b57cec5SDimitry Andric QualType T = E->getTypeOfArgument();
55*0b57cec5SDimitry Andric if (T->isPointerType()) {
56*0b57cec5SDimitry Andric
57*0b57cec5SDimitry Andric // Many false positives have the form 'sizeof *p'. This is reasonable
58*0b57cec5SDimitry Andric // because people know what they are doing when they intentionally
59*0b57cec5SDimitry Andric // dereference the pointer.
60*0b57cec5SDimitry Andric Expr *ArgEx = E->getArgumentExpr();
61*0b57cec5SDimitry Andric if (!isa<DeclRefExpr>(ArgEx->IgnoreParens()))
62*0b57cec5SDimitry Andric return;
63*0b57cec5SDimitry Andric
64*0b57cec5SDimitry Andric PathDiagnosticLocation ELoc =
65*0b57cec5SDimitry Andric PathDiagnosticLocation::createBegin(E, BR.getSourceManager(), AC);
66*0b57cec5SDimitry Andric BR.EmitBasicReport(AC->getDecl(), Checker,
67*0b57cec5SDimitry Andric "Potential unintended use of sizeof() on pointer type",
68*0b57cec5SDimitry Andric categories::LogicError,
69*0b57cec5SDimitry Andric "The code calls sizeof() on a pointer type. "
70*0b57cec5SDimitry Andric "This can produce an unexpected result.",
71*0b57cec5SDimitry Andric ELoc, ArgEx->getSourceRange());
72*0b57cec5SDimitry Andric }
73*0b57cec5SDimitry Andric }
74*0b57cec5SDimitry Andric
75*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
76*0b57cec5SDimitry Andric // SizeofPointerChecker
77*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
78*0b57cec5SDimitry Andric
79*0b57cec5SDimitry Andric namespace {
80*0b57cec5SDimitry Andric class SizeofPointerChecker : public Checker<check::ASTCodeBody> {
81*0b57cec5SDimitry Andric public:
checkASTCodeBody(const Decl * D,AnalysisManager & mgr,BugReporter & BR) const82*0b57cec5SDimitry Andric void checkASTCodeBody(const Decl *D, AnalysisManager& mgr,
83*0b57cec5SDimitry Andric BugReporter &BR) const {
84*0b57cec5SDimitry Andric WalkAST walker(BR, this, mgr.getAnalysisDeclContext(D));
85*0b57cec5SDimitry Andric walker.Visit(D->getBody());
86*0b57cec5SDimitry Andric }
87*0b57cec5SDimitry Andric };
88*0b57cec5SDimitry Andric }
89*0b57cec5SDimitry Andric
registerSizeofPointerChecker(CheckerManager & mgr)90*0b57cec5SDimitry Andric void ento::registerSizeofPointerChecker(CheckerManager &mgr) {
91*0b57cec5SDimitry Andric mgr.registerChecker<SizeofPointerChecker>();
92*0b57cec5SDimitry Andric }
93*0b57cec5SDimitry Andric
shouldRegisterSizeofPointerChecker(const CheckerManager & mgr)94*0b57cec5SDimitry Andric bool ento::shouldRegisterSizeofPointerChecker(const CheckerManager &mgr) {
95*0b57cec5SDimitry Andric return true;
96*0b57cec5SDimitry Andric }
97