xref: /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
15ffd83dbSDimitry Andric //=======- ASTUtils.cpp ------------------------------------------*- C++ -*-==//
25ffd83dbSDimitry Andric //
35ffd83dbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
45ffd83dbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
55ffd83dbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65ffd83dbSDimitry Andric //
75ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
85ffd83dbSDimitry Andric 
95ffd83dbSDimitry Andric #include "ASTUtils.h"
105ffd83dbSDimitry Andric #include "PtrTypesSemantics.h"
115ffd83dbSDimitry Andric #include "clang/AST/CXXInheritance.h"
125ffd83dbSDimitry Andric #include "clang/AST/Decl.h"
135ffd83dbSDimitry Andric #include "clang/AST/DeclCXX.h"
145ffd83dbSDimitry Andric #include "clang/AST/ExprCXX.h"
155ffd83dbSDimitry Andric 
165ffd83dbSDimitry Andric using llvm::Optional;
175ffd83dbSDimitry Andric namespace clang {
185ffd83dbSDimitry Andric 
195ffd83dbSDimitry Andric std::pair<const Expr *, bool>
205ffd83dbSDimitry Andric tryToFindPtrOrigin(const Expr *E, bool StopAtFirstRefCountedObj) {
215ffd83dbSDimitry Andric   while (E) {
225ffd83dbSDimitry Andric     if (auto *cast = dyn_cast<CastExpr>(E)) {
235ffd83dbSDimitry Andric       if (StopAtFirstRefCountedObj) {
245ffd83dbSDimitry Andric         if (auto *ConversionFunc =
255ffd83dbSDimitry Andric                 dyn_cast_or_null<FunctionDecl>(cast->getConversionFunction())) {
265ffd83dbSDimitry Andric           if (isCtorOfRefCounted(ConversionFunc))
275ffd83dbSDimitry Andric             return {E, true};
285ffd83dbSDimitry Andric         }
295ffd83dbSDimitry Andric       }
305ffd83dbSDimitry Andric       // FIXME: This can give false "origin" that would lead to false negatives
315ffd83dbSDimitry Andric       // in checkers. See https://reviews.llvm.org/D37023 for reference.
325ffd83dbSDimitry Andric       E = cast->getSubExpr();
335ffd83dbSDimitry Andric       continue;
345ffd83dbSDimitry Andric     }
355ffd83dbSDimitry Andric     if (auto *call = dyn_cast<CallExpr>(E)) {
365ffd83dbSDimitry Andric       if (auto *memberCall = dyn_cast<CXXMemberCallExpr>(call)) {
37*e8d8bef9SDimitry Andric         Optional<bool> IsGetterOfRefCt =
38*e8d8bef9SDimitry Andric             isGetterOfRefCounted(memberCall->getMethodDecl());
39*e8d8bef9SDimitry Andric         if (IsGetterOfRefCt && *IsGetterOfRefCt) {
405ffd83dbSDimitry Andric           E = memberCall->getImplicitObjectArgument();
415ffd83dbSDimitry Andric           if (StopAtFirstRefCountedObj) {
425ffd83dbSDimitry Andric             return {E, true};
435ffd83dbSDimitry Andric           }
445ffd83dbSDimitry Andric           continue;
455ffd83dbSDimitry Andric         }
465ffd83dbSDimitry Andric       }
475ffd83dbSDimitry Andric 
485ffd83dbSDimitry Andric       if (auto *operatorCall = dyn_cast<CXXOperatorCallExpr>(E)) {
495ffd83dbSDimitry Andric         if (operatorCall->getNumArgs() == 1) {
505ffd83dbSDimitry Andric           E = operatorCall->getArg(0);
515ffd83dbSDimitry Andric           continue;
525ffd83dbSDimitry Andric         }
535ffd83dbSDimitry Andric       }
545ffd83dbSDimitry Andric 
555ffd83dbSDimitry Andric       if (auto *callee = call->getDirectCallee()) {
565ffd83dbSDimitry Andric         if (isCtorOfRefCounted(callee)) {
575ffd83dbSDimitry Andric           if (StopAtFirstRefCountedObj)
585ffd83dbSDimitry Andric             return {E, true};
595ffd83dbSDimitry Andric 
605ffd83dbSDimitry Andric           E = call->getArg(0);
615ffd83dbSDimitry Andric           continue;
625ffd83dbSDimitry Andric         }
635ffd83dbSDimitry Andric 
645ffd83dbSDimitry Andric         if (isPtrConversion(callee)) {
655ffd83dbSDimitry Andric           E = call->getArg(0);
665ffd83dbSDimitry Andric           continue;
675ffd83dbSDimitry Andric         }
685ffd83dbSDimitry Andric       }
695ffd83dbSDimitry Andric     }
705ffd83dbSDimitry Andric     if (auto *unaryOp = dyn_cast<UnaryOperator>(E)) {
715ffd83dbSDimitry Andric       // FIXME: Currently accepts ANY unary operator. Is it OK?
725ffd83dbSDimitry Andric       E = unaryOp->getSubExpr();
735ffd83dbSDimitry Andric       continue;
745ffd83dbSDimitry Andric     }
755ffd83dbSDimitry Andric 
765ffd83dbSDimitry Andric     break;
775ffd83dbSDimitry Andric   }
785ffd83dbSDimitry Andric   // Some other expression.
795ffd83dbSDimitry Andric   return {E, false};
805ffd83dbSDimitry Andric }
815ffd83dbSDimitry Andric 
825ffd83dbSDimitry Andric bool isASafeCallArg(const Expr *E) {
835ffd83dbSDimitry Andric   assert(E);
845ffd83dbSDimitry Andric   if (auto *Ref = dyn_cast<DeclRefExpr>(E)) {
855ffd83dbSDimitry Andric     if (auto *D = dyn_cast_or_null<VarDecl>(Ref->getFoundDecl())) {
865ffd83dbSDimitry Andric       if (isa<ParmVarDecl>(D) || D->isLocalVarDecl())
875ffd83dbSDimitry Andric         return true;
885ffd83dbSDimitry Andric     }
895ffd83dbSDimitry Andric   }
905ffd83dbSDimitry Andric 
915ffd83dbSDimitry Andric   // TODO: checker for method calls on non-refcounted objects
925ffd83dbSDimitry Andric   return isa<CXXThisExpr>(E);
935ffd83dbSDimitry Andric }
945ffd83dbSDimitry Andric 
955ffd83dbSDimitry Andric } // namespace clang
96