clang 20.0.0git
ASTUtils.h
Go to the documentation of this file.
1//=======- ASTUtis.h ---------------------------------------------*- C++ -*-==//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef LLVM_CLANG_ANALYZER_WEBKIT_ASTUTILS_H
10#define LLVM_CLANG_ANALYZER_WEBKIT_ASTUTILS_H
11
12#include "clang/AST/Decl.h"
13#include "llvm/ADT/APInt.h"
14#include "llvm/Support/Casting.h"
15
16#include <functional>
17#include <string>
18#include <utility>
19
20namespace clang {
21class Expr;
22
23/// This function de-facto defines a set of transformations that we consider
24/// safe (in heuristical sense). These transformation if passed a safe value as
25/// an input should provide a safe value (or an object that provides safe
26/// values).
27///
28/// For more context see Static Analyzer checkers documentation - specifically
29/// webkit.UncountedCallArgsChecker checker. Allowed list of transformations:
30/// - constructors of ref-counted types (including factory methods)
31/// - getters of ref-counted types
32/// - member overloaded operators
33/// - casts
34/// - unary operators like ``&`` or ``*``
35///
36/// If passed expression is of type uncounted pointer/reference we try to find
37/// the "origin" of the pointer value.
38/// Origin can be for example a local variable, nullptr, constant or
39/// this-pointer.
40///
41/// Certain subexpression nodes represent transformations that don't affect
42/// where the memory address originates from. We try to traverse such
43/// subexpressions to get to the relevant child nodes. Whenever we encounter a
44/// subexpression that either can't be ignored, we don't model its semantics or
45/// that has multiple children we stop.
46///
47/// \p E is an expression of uncounted pointer/reference type.
48/// If \p StopAtFirstRefCountedObj is true and we encounter a subexpression that
49/// represents ref-counted object during the traversal we return relevant
50/// sub-expression and true.
51///
52/// Calls \p callback with the subexpression that we traversed to and if \p
53/// StopAtFirstRefCountedObj is true we also specify whether we stopped early.
54/// Returns false if any of calls to callbacks returned false. Otherwise true.
56 const clang::Expr *E, bool StopAtFirstRefCountedObj,
57 std::function<bool(const clang::Expr *, bool)> callback);
58
59/// For \p E referring to a ref-countable/-counted pointer/reference we return
60/// whether it's a safe call argument. Examples: function parameter or
61/// this-pointer. The logic relies on the set of recursive rules we enforce for
62/// WebKit codebase.
63///
64/// \returns Whether \p E is a safe call arugment.
65bool isASafeCallArg(const clang::Expr *E);
66
67/// \returns true if E is a MemberExpr accessing a const smart pointer type.
69
70/// \returns true if E is a CXXMemberCallExpr which returns a const smart
71/// pointer type.
73 using CacheTy = llvm::DenseMap<const FunctionDecl *, bool>;
74 mutable CacheTy Cache{};
75
76public:
77 bool isACallToEnsureFn(const Expr *E) const;
78};
79
80/// \returns name of AST node or empty string.
81template <typename T> std::string safeGetName(const T *ASTNode) {
82 const auto *const ND = llvm::dyn_cast_or_null<clang::NamedDecl>(ASTNode);
83 if (!ND)
84 return "";
85
86 // In case F is for example "operator|" the getName() method below would
87 // assert.
88 if (!ND->getDeclName().isIdentifier())
89 return "";
90
91 return ND->getName().str();
92}
93
94} // namespace clang
95
96#endif
Expr * E
bool isACallToEnsureFn(const Expr *E) const
Definition: ASTUtils.cpp:198
This represents one expression.
Definition: Expr.h:110
The type-property cache.
Definition: Type.cpp:4501
The JSON file list parser is used to communicate input to InstallAPI.
bool isASafeCallArg(const Expr *E)
For E referring to a ref-countable/-counted pointer/reference we return whether it's a safe call argu...
Definition: ASTUtils.cpp:138
const FunctionProtoType * T
bool tryToFindPtrOrigin(const Expr *E, bool StopAtFirstRefCountedObj, std::function< bool(const clang::Expr *, bool)> callback)
This function de-facto defines a set of transformations that we consider safe (in heuristical sense).
Definition: ASTUtils.cpp:25
std::string safeGetName(const T *ASTNode)
Definition: ASTUtils.h:81
bool isConstOwnerPtrMemberExpr(const clang::Expr *E)
Definition: ASTUtils.cpp:153