blob: 593e6e36636393ef1d0e041d849c26696867b00f [file] [log] [blame]
//=======- RawPtrRefMemberChecker.cpp ----------------------------*- C++ -*-==//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "ASTUtils.h"
#include "DiagOutputUtils.h"
#include "PtrTypesSemantics.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "llvm/Support/Casting.h"
#include <optional>
using namespace clang;
using namespace ento;
namespace {
class RawPtrRefMemberChecker
: public Checker<check::ASTDecl<TranslationUnitDecl>> {
private:
BugType Bug;
mutable BugReporter *BR;
protected:
mutable std::optional<RetainTypeChecker> RTC;
public:
RawPtrRefMemberChecker(const char *description)
: Bug(this, description, "WebKit coding guidelines") {}
virtual std::optional<bool>
isPtrCompatible(const clang::QualType,
const clang::CXXRecordDecl *R) const = 0;
virtual bool isPtrCls(const clang::CXXRecordDecl *) const = 0;
virtual const char *typeName() const = 0;
virtual const char *invariant() const = 0;
void checkASTDecl(const TranslationUnitDecl *TUD, AnalysisManager &MGR,
BugReporter &BRArg) const {
BR = &BRArg;
// The calls to checkAST* from AnalysisConsumer don't
// visit template instantiations or lambda classes. We
// want to visit those, so we make our own RecursiveASTVisitor.
struct LocalVisitor : ConstDynamicRecursiveASTVisitor {
const RawPtrRefMemberChecker *Checker;
explicit LocalVisitor(const RawPtrRefMemberChecker *Checker)
: Checker(Checker) {
assert(Checker);
ShouldVisitTemplateInstantiations = true;
ShouldVisitImplicitCode = false;
}
bool VisitTypedefDecl(const TypedefDecl *TD) override {
if (Checker->RTC)
Checker->RTC->visitTypedef(TD);
return true;
}
bool VisitRecordDecl(const RecordDecl *RD) override {
Checker->visitRecordDecl(RD);
return true;
}
bool VisitObjCContainerDecl(const ObjCContainerDecl *CD) override {
Checker->visitObjCDecl(CD);
return true;
}
};
LocalVisitor visitor(this);
if (RTC)
RTC->visitTranslationUnitDecl(TUD);
visitor.TraverseDecl(TUD);
}
void visitRecordDecl(const RecordDecl *RD) const {
if (shouldSkipDecl(RD))
return;
for (auto *Member : RD->fields()) {
auto QT = Member->getType();
const Type *MemberType = QT.getTypePtrOrNull();
if (!MemberType)
continue;
if (auto *MemberCXXRD = MemberType->getPointeeCXXRecordDecl()) {
std::optional<bool> IsCompatible = isPtrCompatible(QT, MemberCXXRD);
if (IsCompatible && *IsCompatible)
reportBug(Member, MemberType, MemberCXXRD, RD);
} else {
std::optional<bool> IsCompatible = isPtrCompatible(QT, nullptr);
auto *PointeeType = MemberType->getPointeeType().getTypePtrOrNull();
if (IsCompatible && *IsCompatible) {
auto *Desugared = PointeeType->getUnqualifiedDesugaredType();
if (auto *ObjCType = dyn_cast_or_null<ObjCInterfaceType>(Desugared))
reportBug(Member, MemberType, ObjCType->getDecl(), RD);
}
}
}
}
void visitObjCDecl(const ObjCContainerDecl *CD) const {
if (auto *ID = dyn_cast<ObjCInterfaceDecl>(CD)) {
for (auto *Ivar : ID->ivars())
visitIvarDecl(CD, Ivar);
return;
}
if (auto *ID = dyn_cast<ObjCImplementationDecl>(CD)) {
for (auto *Ivar : ID->ivars())
visitIvarDecl(CD, Ivar);
return;
}
}
void visitIvarDecl(const ObjCContainerDecl *CD,
const ObjCIvarDecl *Ivar) const {
auto QT = Ivar->getType();
const Type *IvarType = QT.getTypePtrOrNull();
if (!IvarType)
return;
if (auto *IvarCXXRD = IvarType->getPointeeCXXRecordDecl()) {
std::optional<bool> IsCompatible = isPtrCompatible(QT, IvarCXXRD);
if (IsCompatible && *IsCompatible)
reportBug(Ivar, IvarType, IvarCXXRD, CD);
}
}
bool shouldSkipDecl(const RecordDecl *RD) const {
if (!RD->isThisDeclarationADefinition())
return true;
if (RD->isImplicit())
return true;
if (RD->isLambda())
return true;
// If the construct doesn't have a source file, then it's not something
// we want to diagnose.
const auto RDLocation = RD->getLocation();
if (!RDLocation.isValid())
return true;
const auto Kind = RD->getTagKind();
// FIMXE: Should we check union members too?
if (Kind != TagTypeKind::Struct && Kind != TagTypeKind::Class)
return true;
// Ignore CXXRecords that come from system headers.
if (BR->getSourceManager().isInSystemHeader(RDLocation))
return true;
// Ref-counted smartpointers actually have raw-pointer to uncounted type as
// a member but we trust them to handle it correctly.
auto CXXRD = llvm::dyn_cast_or_null<CXXRecordDecl>(RD);
if (CXXRD)
return isPtrCls(CXXRD);
return false;
}
template <typename DeclType, typename PointeeType, typename ParentDeclType>
void reportBug(const DeclType *Member, const Type *MemberType,
const PointeeType *Pointee,
const ParentDeclType *ClassCXXRD) const {
assert(Member);
assert(MemberType);
assert(Pointee);
SmallString<100> Buf;
llvm::raw_svector_ostream Os(Buf);
if (isa<ObjCContainerDecl>(ClassCXXRD))
Os << "Instance variable ";
else
Os << "Member variable ";
printQuotedName(Os, Member);
Os << " in ";
printQuotedQualifiedName(Os, ClassCXXRD);
Os << " is a ";
if (printPointer(Os, MemberType) == PrintDeclKind::Pointer) {
auto Typedef = MemberType->getAs<TypedefType>();
assert(Typedef);
printQuotedQualifiedName(Os, Typedef->getDecl());
} else
printQuotedQualifiedName(Os, Pointee);
Os << "; " << invariant() << ".";
PathDiagnosticLocation BSLoc(Member->getSourceRange().getBegin(),
BR->getSourceManager());
auto Report = std::make_unique<BasicBugReport>(Bug, Os.str(), BSLoc);
Report->addRange(Member->getSourceRange());
BR->emitReport(std::move(Report));
}
enum class PrintDeclKind { Pointee, Pointer };
virtual PrintDeclKind printPointer(llvm::raw_svector_ostream &Os,
const Type *T) const {
T = T->getUnqualifiedDesugaredType();
bool IsPtr = isa<PointerType>(T) || isa<ObjCObjectPointerType>(T);
Os << (IsPtr ? "raw pointer" : "reference") << " to " << typeName() << " ";
return PrintDeclKind::Pointee;
}
};
class NoUncountedMemberChecker final : public RawPtrRefMemberChecker {
public:
NoUncountedMemberChecker()
: RawPtrRefMemberChecker("Member variable is a raw-pointer/reference to "
"reference-countable type") {}
std::optional<bool>
isPtrCompatible(const clang::QualType,
const clang::CXXRecordDecl *R) const final {
return R && isRefCountable(R);
}
bool isPtrCls(const clang::CXXRecordDecl *R) const final {
return isRefCounted(R);
}
const char *typeName() const final { return "ref-countable type"; }
const char *invariant() const final {
return "member variables must be Ref, RefPtr, WeakRef, or WeakPtr";
}
};
class NoUncheckedPtrMemberChecker final : public RawPtrRefMemberChecker {
public:
NoUncheckedPtrMemberChecker()
: RawPtrRefMemberChecker("Member variable is a raw-pointer/reference to "
"checked-pointer capable type") {}
std::optional<bool>
isPtrCompatible(const clang::QualType,
const clang::CXXRecordDecl *R) const final {
return R && isCheckedPtrCapable(R);
}
bool isPtrCls(const clang::CXXRecordDecl *R) const final {
return isCheckedPtr(R);
}
const char *typeName() const final { return "CheckedPtr capable type"; }
const char *invariant() const final {
return "member variables must be a CheckedPtr, CheckedRef, WeakRef, or "
"WeakPtr";
}
};
class NoUnretainedMemberChecker final : public RawPtrRefMemberChecker {
public:
NoUnretainedMemberChecker()
: RawPtrRefMemberChecker("Member variable is a raw-pointer/reference to "
"retainable type") {
RTC = RetainTypeChecker();
}
std::optional<bool>
isPtrCompatible(const clang::QualType QT,
const clang::CXXRecordDecl *) const final {
return RTC->isUnretained(QT);
}
bool isPtrCls(const clang::CXXRecordDecl *R) const final {
return isRetainPtr(R);
}
const char *typeName() const final { return "retainable type"; }
const char *invariant() const final {
return "member variables must be a RetainPtr";
}
PrintDeclKind printPointer(llvm::raw_svector_ostream &Os,
const Type *T) const final {
if (!isa<ObjCObjectPointerType>(T) && T->getAs<TypedefType>()) {
Os << typeName() << " ";
return PrintDeclKind::Pointer;
}
return RawPtrRefMemberChecker::printPointer(Os, T);
}
};
} // namespace
void ento::registerNoUncountedMemberChecker(CheckerManager &Mgr) {
Mgr.registerChecker<NoUncountedMemberChecker>();
}
bool ento::shouldRegisterNoUncountedMemberChecker(const CheckerManager &Mgr) {
return true;
}
void ento::registerNoUncheckedPtrMemberChecker(CheckerManager &Mgr) {
Mgr.registerChecker<NoUncheckedPtrMemberChecker>();
}
bool ento::shouldRegisterNoUncheckedPtrMemberChecker(
const CheckerManager &Mgr) {
return true;
}
void ento::registerNoUnretainedMemberChecker(CheckerManager &Mgr) {
Mgr.registerChecker<NoUnretainedMemberChecker>();
}
bool ento::shouldRegisterNoUnretainedMemberChecker(const CheckerManager &Mgr) {
return true;
}