1*0b57cec5SDimitry Andric //=== CastToStructChecker.cpp ----------------------------------*- 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 files defines CastToStructChecker, a builtin checker that checks for
10*0b57cec5SDimitry Andric // cast from non-struct pointer to struct pointer and widening struct data cast.
11*0b57cec5SDimitry Andric // This check corresponds to CWE-588.
12*0b57cec5SDimitry Andric //
13*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
14*0b57cec5SDimitry Andric
15*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
16*0b57cec5SDimitry Andric #include "clang/AST/RecursiveASTVisitor.h"
17*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
18*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/Checker.h"
19*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/CheckerManager.h"
20*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
21*0b57cec5SDimitry Andric
22*0b57cec5SDimitry Andric using namespace clang;
23*0b57cec5SDimitry Andric using namespace ento;
24*0b57cec5SDimitry Andric
25*0b57cec5SDimitry Andric namespace {
26*0b57cec5SDimitry Andric class CastToStructVisitor : public RecursiveASTVisitor<CastToStructVisitor> {
27*0b57cec5SDimitry Andric BugReporter &BR;
28*0b57cec5SDimitry Andric const CheckerBase *Checker;
29*0b57cec5SDimitry Andric AnalysisDeclContext *AC;
30*0b57cec5SDimitry Andric
31*0b57cec5SDimitry Andric public:
CastToStructVisitor(BugReporter & B,const CheckerBase * Checker,AnalysisDeclContext * A)32*0b57cec5SDimitry Andric explicit CastToStructVisitor(BugReporter &B, const CheckerBase *Checker,
33*0b57cec5SDimitry Andric AnalysisDeclContext *A)
34*0b57cec5SDimitry Andric : BR(B), Checker(Checker), AC(A) {}
35*0b57cec5SDimitry Andric bool VisitCastExpr(const CastExpr *CE);
36*0b57cec5SDimitry Andric };
37*0b57cec5SDimitry Andric }
38*0b57cec5SDimitry Andric
VisitCastExpr(const CastExpr * CE)39*0b57cec5SDimitry Andric bool CastToStructVisitor::VisitCastExpr(const CastExpr *CE) {
40*0b57cec5SDimitry Andric const Expr *E = CE->getSubExpr();
41*0b57cec5SDimitry Andric ASTContext &Ctx = AC->getASTContext();
42*0b57cec5SDimitry Andric QualType OrigTy = Ctx.getCanonicalType(E->getType());
43*0b57cec5SDimitry Andric QualType ToTy = Ctx.getCanonicalType(CE->getType());
44*0b57cec5SDimitry Andric
45*0b57cec5SDimitry Andric const PointerType *OrigPTy = dyn_cast<PointerType>(OrigTy.getTypePtr());
46*0b57cec5SDimitry Andric const PointerType *ToPTy = dyn_cast<PointerType>(ToTy.getTypePtr());
47*0b57cec5SDimitry Andric
48*0b57cec5SDimitry Andric if (!ToPTy || !OrigPTy)
49*0b57cec5SDimitry Andric return true;
50*0b57cec5SDimitry Andric
51*0b57cec5SDimitry Andric QualType OrigPointeeTy = OrigPTy->getPointeeType();
52*0b57cec5SDimitry Andric QualType ToPointeeTy = ToPTy->getPointeeType();
53*0b57cec5SDimitry Andric
54*0b57cec5SDimitry Andric if (!ToPointeeTy->isStructureOrClassType())
55*0b57cec5SDimitry Andric return true;
56*0b57cec5SDimitry Andric
57*0b57cec5SDimitry Andric // We allow cast from void*.
58*0b57cec5SDimitry Andric if (OrigPointeeTy->isVoidType())
59*0b57cec5SDimitry Andric return true;
60*0b57cec5SDimitry Andric
61*0b57cec5SDimitry Andric // Now the cast-to-type is struct pointer, the original type is not void*.
62*0b57cec5SDimitry Andric if (!OrigPointeeTy->isRecordType()) {
63*0b57cec5SDimitry Andric SourceRange Sr[1] = {CE->getSourceRange()};
64*0b57cec5SDimitry Andric PathDiagnosticLocation Loc(CE, BR.getSourceManager(), AC);
65*0b57cec5SDimitry Andric BR.EmitBasicReport(
66*0b57cec5SDimitry Andric AC->getDecl(), Checker, "Cast from non-struct type to struct type",
67*0b57cec5SDimitry Andric categories::LogicError, "Casting a non-structure type to a structure "
68*0b57cec5SDimitry Andric "type and accessing a field can lead to memory "
69*0b57cec5SDimitry Andric "access errors or data corruption.",
70*0b57cec5SDimitry Andric Loc, Sr);
71*0b57cec5SDimitry Andric } else {
72*0b57cec5SDimitry Andric // Don't warn when size of data is unknown.
73*0b57cec5SDimitry Andric const auto *U = dyn_cast<UnaryOperator>(E);
74*0b57cec5SDimitry Andric if (!U || U->getOpcode() != UO_AddrOf)
75*0b57cec5SDimitry Andric return true;
76*0b57cec5SDimitry Andric
77*0b57cec5SDimitry Andric // Don't warn for references
78*0b57cec5SDimitry Andric const ValueDecl *VD = nullptr;
79*0b57cec5SDimitry Andric if (const auto *SE = dyn_cast<DeclRefExpr>(U->getSubExpr()))
80*0b57cec5SDimitry Andric VD = SE->getDecl();
81*0b57cec5SDimitry Andric else if (const auto *SE = dyn_cast<MemberExpr>(U->getSubExpr()))
82*0b57cec5SDimitry Andric VD = SE->getMemberDecl();
83*0b57cec5SDimitry Andric if (!VD || VD->getType()->isReferenceType())
84*0b57cec5SDimitry Andric return true;
85*0b57cec5SDimitry Andric
86*0b57cec5SDimitry Andric if (ToPointeeTy->isIncompleteType() ||
87*0b57cec5SDimitry Andric OrigPointeeTy->isIncompleteType())
88*0b57cec5SDimitry Andric return true;
89*0b57cec5SDimitry Andric
90*0b57cec5SDimitry Andric // Warn when there is widening cast.
91*0b57cec5SDimitry Andric unsigned ToWidth = Ctx.getTypeInfo(ToPointeeTy).Width;
92*0b57cec5SDimitry Andric unsigned OrigWidth = Ctx.getTypeInfo(OrigPointeeTy).Width;
93*0b57cec5SDimitry Andric if (ToWidth <= OrigWidth)
94*0b57cec5SDimitry Andric return true;
95*0b57cec5SDimitry Andric
96*0b57cec5SDimitry Andric PathDiagnosticLocation Loc(CE, BR.getSourceManager(), AC);
97*0b57cec5SDimitry Andric BR.EmitBasicReport(AC->getDecl(), Checker, "Widening cast to struct type",
98*0b57cec5SDimitry Andric categories::LogicError,
99*0b57cec5SDimitry Andric "Casting data to a larger structure type and accessing "
100*0b57cec5SDimitry Andric "a field can lead to memory access errors or data "
101*0b57cec5SDimitry Andric "corruption.",
102*0b57cec5SDimitry Andric Loc, CE->getSourceRange());
103*0b57cec5SDimitry Andric }
104*0b57cec5SDimitry Andric
105*0b57cec5SDimitry Andric return true;
106*0b57cec5SDimitry Andric }
107*0b57cec5SDimitry Andric
108*0b57cec5SDimitry Andric namespace {
109*0b57cec5SDimitry Andric class CastToStructChecker : public Checker<check::ASTCodeBody> {
110*0b57cec5SDimitry Andric public:
checkASTCodeBody(const Decl * D,AnalysisManager & Mgr,BugReporter & BR) const111*0b57cec5SDimitry Andric void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr,
112*0b57cec5SDimitry Andric BugReporter &BR) const {
113*0b57cec5SDimitry Andric CastToStructVisitor Visitor(BR, this, Mgr.getAnalysisDeclContext(D));
114*0b57cec5SDimitry Andric Visitor.TraverseDecl(const_cast<Decl *>(D));
115*0b57cec5SDimitry Andric }
116*0b57cec5SDimitry Andric };
117*0b57cec5SDimitry Andric } // end anonymous namespace
118*0b57cec5SDimitry Andric
registerCastToStructChecker(CheckerManager & mgr)119*0b57cec5SDimitry Andric void ento::registerCastToStructChecker(CheckerManager &mgr) {
120*0b57cec5SDimitry Andric mgr.registerChecker<CastToStructChecker>();
121*0b57cec5SDimitry Andric }
122*0b57cec5SDimitry Andric
shouldRegisterCastToStructChecker(const CheckerManager & mgr)123*0b57cec5SDimitry Andric bool ento::shouldRegisterCastToStructChecker(const CheckerManager &mgr) {
124*0b57cec5SDimitry Andric return true;
125*0b57cec5SDimitry Andric }
126