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