1 //===- CallEvent.h - Wrapper for all function and method calls --*- 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 /// \file This file defines CallEvent and its subclasses, which represent path-
10 /// sensitive instances of different kinds of function and method calls
11 /// (C, C++, and Objective-C).
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CALLEVENT_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CALLEVENT_H
17
18 #include "clang/AST/Decl.h"
19 #include "clang/AST/DeclBase.h"
20 #include "clang/AST/DeclCXX.h"
21 #include "clang/AST/DeclObjC.h"
22 #include "clang/AST/Expr.h"
23 #include "clang/AST/ExprCXX.h"
24 #include "clang/AST/ExprObjC.h"
25 #include "clang/AST/Stmt.h"
26 #include "clang/AST/Type.h"
27 #include "clang/Basic/IdentifierTable.h"
28 #include "clang/Basic/LLVM.h"
29 #include "clang/Basic/SourceLocation.h"
30 #include "clang/Basic/SourceManager.h"
31 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
32 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
33 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
34 #include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
35 #include "llvm/ADT/ArrayRef.h"
36 #include "llvm/ADT/IntrusiveRefCntPtr.h"
37 #include "llvm/ADT/PointerIntPair.h"
38 #include "llvm/ADT/PointerUnion.h"
39 #include "llvm/ADT/STLExtras.h"
40 #include "llvm/ADT/SmallVector.h"
41 #include "llvm/ADT/StringRef.h"
42 #include "llvm/ADT/iterator_range.h"
43 #include "llvm/Support/Allocator.h"
44 #include "llvm/Support/Casting.h"
45 #include "llvm/Support/ErrorHandling.h"
46 #include <cassert>
47 #include <limits>
48 #include <optional>
49 #include <utility>
50
51 namespace clang {
52
53 class LocationContext;
54 class ProgramPoint;
55 class ProgramPointTag;
56 class StackFrameContext;
57
58 namespace ento {
59
60 enum CallEventKind {
61 CE_Function,
62 CE_CXXMember,
63 CE_CXXMemberOperator,
64 CE_CXXDestructor,
65 CE_BEG_CXX_INSTANCE_CALLS = CE_CXXMember,
66 CE_END_CXX_INSTANCE_CALLS = CE_CXXDestructor,
67 CE_CXXConstructor,
68 CE_CXXInheritedConstructor,
69 CE_BEG_CXX_CONSTRUCTOR_CALLS = CE_CXXConstructor,
70 CE_END_CXX_CONSTRUCTOR_CALLS = CE_CXXInheritedConstructor,
71 CE_CXXAllocator,
72 CE_CXXDeallocator,
73 CE_BEG_FUNCTION_CALLS = CE_Function,
74 CE_END_FUNCTION_CALLS = CE_CXXDeallocator,
75 CE_Block,
76 CE_ObjCMessage
77 };
78
79 class CallEvent;
80
81 template<typename T = CallEvent>
82 class CallEventRef : public IntrusiveRefCntPtr<const T> {
83 public:
CallEventRef(const T * Call)84 CallEventRef(const T *Call) : IntrusiveRefCntPtr<const T>(Call) {}
CallEventRef(const CallEventRef & Orig)85 CallEventRef(const CallEventRef &Orig) : IntrusiveRefCntPtr<const T>(Orig) {}
86
cloneWithState(ProgramStateRef State)87 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
88 return this->get()->template cloneWithState<T>(State);
89 }
90
91 // Allow implicit conversions to a superclass type, since CallEventRef
92 // behaves like a pointer-to-const.
93 template <typename SuperT>
94 operator CallEventRef<SuperT> () const {
95 return this->get();
96 }
97 };
98
99 /// \class RuntimeDefinition
100 /// Defines the runtime definition of the called function.
101 ///
102 /// Encapsulates the information we have about which Decl will be used
103 /// when the call is executed on the given path. When dealing with dynamic
104 /// dispatch, the information is based on DynamicTypeInfo and might not be
105 /// precise.
106 class RuntimeDefinition {
107 /// The Declaration of the function which could be called at runtime.
108 /// NULL if not available.
109 const Decl *D = nullptr;
110
111 /// The region representing an object (ObjC/C++) on which the method is
112 /// called. With dynamic dispatch, the method definition depends on the
113 /// runtime type of this object. NULL when the DynamicTypeInfo is
114 /// precise.
115 const MemRegion *R = nullptr;
116
117 /// A definition is foreign if it has been imported and newly created by the
118 /// ASTImporter. This can be true only if CTU is enabled.
119 const bool Foreign = false;
120
121 public:
122 RuntimeDefinition() = default;
RuntimeDefinition(const Decl * InD)123 RuntimeDefinition(const Decl *InD): D(InD) {}
RuntimeDefinition(const Decl * InD,bool Foreign)124 RuntimeDefinition(const Decl *InD, bool Foreign) : D(InD), Foreign(Foreign) {}
RuntimeDefinition(const Decl * InD,const MemRegion * InR)125 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {}
126
getDecl()127 const Decl *getDecl() { return D; }
isForeign()128 bool isForeign() const { return Foreign; }
129
130 /// Check if the definition we have is precise.
131 /// If not, it is possible that the call dispatches to another definition at
132 /// execution time.
mayHaveOtherDefinitions()133 bool mayHaveOtherDefinitions() { return R != nullptr; }
134
135 /// When other definitions are possible, returns the region whose runtime type
136 /// determines the method definition.
getDispatchRegion()137 const MemRegion *getDispatchRegion() { return R; }
138 };
139
140 /// Represents an abstract call to a function or method along a
141 /// particular path.
142 ///
143 /// CallEvents are created through the factory methods of CallEventManager.
144 ///
145 /// CallEvents should always be cheap to create and destroy. In order for
146 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
147 /// subclasses of CallEvent may not add any data members to the base class.
148 /// Use the "Data" and "Location" fields instead.
149 class CallEvent {
150 public:
151 using Kind = CallEventKind;
152
153 private:
154 ProgramStateRef State;
155 const LocationContext *LCtx;
156 llvm::PointerUnion<const Expr *, const Decl *> Origin;
157 mutable std::optional<bool> Foreign; // Set by CTU analysis.
158
159 protected:
160 // This is user data for subclasses.
161 const void *Data;
162
163 // This is user data for subclasses.
164 // This should come right before RefCount, so that the two fields can be
165 // packed together on LP64 platforms.
166 SourceLocation Location;
167
168 private:
169 template <typename T> friend struct llvm::IntrusiveRefCntPtrInfo;
170
171 mutable unsigned RefCount = 0;
172
Retain()173 void Retain() const { ++RefCount; }
174 void Release() const;
175
176 protected:
177 friend class CallEventManager;
178
CallEvent(const Expr * E,ProgramStateRef state,const LocationContext * lctx)179 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
180 : State(std::move(state)), LCtx(lctx), Origin(E) {}
181
CallEvent(const Decl * D,ProgramStateRef state,const LocationContext * lctx)182 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
183 : State(std::move(state)), LCtx(lctx), Origin(D) {}
184
185 // DO NOT MAKE PUBLIC
CallEvent(const CallEvent & Original)186 CallEvent(const CallEvent &Original)
187 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
188 Data(Original.Data), Location(Original.Location) {}
189
190 /// Copies this CallEvent, with vtable intact, into a new block of memory.
191 virtual void cloneTo(void *Dest) const = 0;
192
193 /// Get the value of arbitrary expressions at this point in the path.
getSVal(const Stmt * S)194 SVal getSVal(const Stmt *S) const {
195 return getState()->getSVal(S, getLocationContext());
196 }
197
198 using ValueList = SmallVectorImpl<SVal>;
199
200 /// Used to specify non-argument regions that will be invalidated as a
201 /// result of this call.
getExtraInvalidatedValues(ValueList & Values,RegionAndSymbolInvalidationTraits * ETraits)202 virtual void getExtraInvalidatedValues(ValueList &Values,
203 RegionAndSymbolInvalidationTraits *ETraits) const {}
204
205 public:
206 CallEvent &operator=(const CallEvent &) = delete;
207 virtual ~CallEvent() = default;
208
209 /// Returns the kind of call this is.
210 virtual Kind getKind() const = 0;
211 virtual StringRef getKindAsString() const = 0;
212
213 /// Returns the declaration of the function or method that will be
214 /// called. May be null.
getDecl()215 virtual const Decl *getDecl() const {
216 return Origin.dyn_cast<const Decl *>();
217 }
218
isForeign()219 bool isForeign() const {
220 assert(Foreign && "Foreign must be set before querying");
221 return *Foreign;
222 }
setForeign(bool B)223 void setForeign(bool B) const { Foreign = B; }
224
225 /// The state in which the call is being evaluated.
getState()226 const ProgramStateRef &getState() const {
227 return State;
228 }
229
230 /// The context in which the call is being evaluated.
getLocationContext()231 const LocationContext *getLocationContext() const {
232 return LCtx;
233 }
234
235 /// Returns the definition of the function or method that will be
236 /// called.
237 virtual RuntimeDefinition getRuntimeDefinition() const = 0;
238
239 /// Returns the expression whose value will be the result of this call.
240 /// May be null.
getOriginExpr()241 virtual const Expr *getOriginExpr() const {
242 return Origin.dyn_cast<const Expr *>();
243 }
244
245 /// Returns the number of arguments (explicit and implicit).
246 ///
247 /// Note that this may be greater than the number of parameters in the
248 /// callee's declaration, and that it may include arguments not written in
249 /// the source.
250 virtual unsigned getNumArgs() const = 0;
251
252 /// Returns true if the callee is known to be from a system header.
isInSystemHeader()253 bool isInSystemHeader() const {
254 const Decl *D = getDecl();
255 if (!D)
256 return false;
257
258 SourceLocation Loc = D->getLocation();
259 if (Loc.isValid()) {
260 const SourceManager &SM =
261 getState()->getStateManager().getContext().getSourceManager();
262 return SM.isInSystemHeader(D->getLocation());
263 }
264
265 // Special case for implicitly-declared global operator new/delete.
266 // These should be considered system functions.
267 if (const auto *FD = dyn_cast<FunctionDecl>(D))
268 return FD->isOverloadedOperator() && FD->isImplicit() && FD->isGlobal();
269
270 return false;
271 }
272
273 /// Returns a source range for the entire call, suitable for
274 /// outputting in diagnostics.
getSourceRange()275 virtual SourceRange getSourceRange() const {
276 return getOriginExpr()->getSourceRange();
277 }
278
279 /// Returns the value of a given argument at the time of the call.
280 virtual SVal getArgSVal(unsigned Index) const;
281
282 /// Returns the expression associated with a given argument.
283 /// May be null if this expression does not appear in the source.
getArgExpr(unsigned Index)284 virtual const Expr *getArgExpr(unsigned Index) const { return nullptr; }
285
286 /// Returns the source range for errors associated with this argument.
287 ///
288 /// May be invalid if the argument is not written in the source.
289 virtual SourceRange getArgSourceRange(unsigned Index) const;
290
291 /// Returns the result type, adjusted for references.
292 QualType getResultType() const;
293
294 /// Returns the return value of the call.
295 ///
296 /// This should only be called if the CallEvent was created using a state in
297 /// which the return value has already been bound to the origin expression.
298 SVal getReturnValue() const;
299
300 /// Returns true if the type of any of the non-null arguments satisfies
301 /// the condition.
302 bool hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const;
303
304 /// Returns true if any of the arguments appear to represent callbacks.
305 bool hasNonZeroCallbackArg() const;
306
307 /// Returns true if any of the arguments is void*.
308 bool hasVoidPointerToNonConstArg() const;
309
310 /// Returns true if any of the arguments are known to escape to long-
311 /// term storage, even if this method will not modify them.
312 // NOTE: The exact semantics of this are still being defined!
313 // We don't really want a list of hardcoded exceptions in the long run,
314 // but we don't want duplicated lists of known APIs in the short term either.
argumentsMayEscape()315 virtual bool argumentsMayEscape() const {
316 return hasNonZeroCallbackArg();
317 }
318
319 /// Returns true if the callee is an externally-visible function in the
320 /// top-level namespace, such as \c malloc.
321 ///
322 /// You can use this call to determine that a particular function really is
323 /// a library function and not, say, a C++ member function with the same name.
324 ///
325 /// If a name is provided, the function must additionally match the given
326 /// name.
327 ///
328 /// Note that this deliberately excludes C++ library functions in the \c std
329 /// namespace, but will include C library functions accessed through the
330 /// \c std namespace. This also does not check if the function is declared
331 /// as 'extern "C"', or if it uses C++ name mangling.
332 // FIXME: Add a helper for checking namespaces.
333 // FIXME: Move this down to AnyFunctionCall once checkers have more
334 // precise callbacks.
335 bool isGlobalCFunction(StringRef SpecificName = StringRef()) const;
336
337 /// Returns the name of the callee, if its name is a simple identifier.
338 ///
339 /// Note that this will fail for Objective-C methods, blocks, and C++
340 /// overloaded operators. The former is named by a Selector rather than a
341 /// simple identifier, and the latter two do not have names.
342 // FIXME: Move this down to AnyFunctionCall once checkers have more
343 // precise callbacks.
getCalleeIdentifier()344 const IdentifierInfo *getCalleeIdentifier() const {
345 const auto *ND = dyn_cast_or_null<NamedDecl>(getDecl());
346 if (!ND)
347 return nullptr;
348 return ND->getIdentifier();
349 }
350
351 /// Returns an appropriate ProgramPoint for this call.
352 ProgramPoint getProgramPoint(bool IsPreVisit = false,
353 const ProgramPointTag *Tag = nullptr) const;
354
355 /// Returns a new state with all argument regions invalidated.
356 ///
357 /// This accepts an alternate state in case some processing has already
358 /// occurred.
359 ProgramStateRef invalidateRegions(unsigned BlockCount,
360 ProgramStateRef Orig = nullptr) const;
361
362 using FrameBindingTy = std::pair<SVal, SVal>;
363 using BindingsTy = SmallVectorImpl<FrameBindingTy>;
364
365 /// Populates the given SmallVector with the bindings in the callee's stack
366 /// frame at the start of this call.
367 virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
368 BindingsTy &Bindings) const = 0;
369
370 /// Returns a copy of this CallEvent, but using the given state.
371 template <typename T>
372 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
373
374 /// Returns a copy of this CallEvent, but using the given state.
cloneWithState(ProgramStateRef NewState)375 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
376 return cloneWithState<CallEvent>(NewState);
377 }
378
379 /// Returns true if this is a statement is a function or method call
380 /// of some kind.
381 static bool isCallStmt(const Stmt *S);
382
383 /// Returns the result type of a function or method declaration.
384 ///
385 /// This will return a null QualType if the result type cannot be determined.
386 static QualType getDeclaredResultType(const Decl *D);
387
388 /// Returns true if the given decl is known to be variadic.
389 ///
390 /// \p D must not be null.
391 static bool isVariadic(const Decl *D);
392
393 /// Returns AnalysisDeclContext for the callee stack frame.
394 /// Currently may fail; returns null on failure.
395 AnalysisDeclContext *getCalleeAnalysisDeclContext() const;
396
397 /// Returns the callee stack frame. That stack frame will only be entered
398 /// during analysis if the call is inlined, but it may still be useful
399 /// in intermediate calculations even if the call isn't inlined.
400 /// May fail; returns null on failure.
401 const StackFrameContext *getCalleeStackFrame(unsigned BlockCount) const;
402
403 /// Returns memory location for a parameter variable within the callee stack
404 /// frame. The behavior is undefined if the block count is different from the
405 /// one that is there when call happens. May fail; returns null on failure.
406 const ParamVarRegion *getParameterLocation(unsigned Index,
407 unsigned BlockCount) const;
408
409 /// Returns true if on the current path, the argument was constructed by
410 /// calling a C++ constructor over it. This is an internal detail of the
411 /// analysis which doesn't necessarily represent the program semantics:
412 /// if we are supposed to construct an argument directly, we may still
413 /// not do that because we don't know how (i.e., construction context is
414 /// unavailable in the CFG or not supported by the analyzer).
isArgumentConstructedDirectly(unsigned Index)415 bool isArgumentConstructedDirectly(unsigned Index) const {
416 // This assumes that the object was not yet removed from the state.
417 return ExprEngine::getObjectUnderConstruction(
418 getState(), {getOriginExpr(), Index}, getLocationContext())
419 .has_value();
420 }
421
422 /// Some calls have parameter numbering mismatched from argument numbering.
423 /// This function converts an argument index to the corresponding
424 /// parameter index. Returns std::nullopt is the argument doesn't correspond
425 /// to any parameter variable.
426 virtual std::optional<unsigned>
getAdjustedParameterIndex(unsigned ASTArgumentIndex)427 getAdjustedParameterIndex(unsigned ASTArgumentIndex) const {
428 return ASTArgumentIndex;
429 }
430
431 /// Some call event sub-classes conveniently adjust mismatching AST indices
432 /// to match parameter indices. This function converts an argument index
433 /// as understood by CallEvent to the argument index as understood by the AST.
getASTArgumentIndex(unsigned CallArgumentIndex)434 virtual unsigned getASTArgumentIndex(unsigned CallArgumentIndex) const {
435 return CallArgumentIndex;
436 }
437
438 /// Returns the construction context of the call, if it is a C++ constructor
439 /// call or a call of a function returning a C++ class instance. Otherwise
440 /// return nullptr.
441 const ConstructionContext *getConstructionContext() const;
442
443 /// If the call returns a C++ record type then the region of its return value
444 /// can be retrieved from its construction context.
445 std::optional<SVal> getReturnValueUnderConstruction() const;
446
447 // Iterator access to formal parameters and their types.
448 private:
449 struct GetTypeFn {
operatorGetTypeFn450 QualType operator()(ParmVarDecl *PD) const { return PD->getType(); }
451 };
452
453 public:
454 /// Return call's formal parameters.
455 ///
456 /// Remember that the number of formal parameters may not match the number
457 /// of arguments for all calls. However, the first parameter will always
458 /// correspond with the argument value returned by \c getArgSVal(0).
459 virtual ArrayRef<ParmVarDecl *> parameters() const = 0;
460
461 using param_type_iterator =
462 llvm::mapped_iterator<ArrayRef<ParmVarDecl *>::iterator, GetTypeFn>;
463
464 /// Returns an iterator over the types of the call's formal parameters.
465 ///
466 /// This uses the callee decl found by default name lookup rather than the
467 /// definition because it represents a public interface, and probably has
468 /// more annotations.
param_type_begin()469 param_type_iterator param_type_begin() const {
470 return llvm::map_iterator(parameters().begin(), GetTypeFn());
471 }
472 /// \sa param_type_begin()
param_type_end()473 param_type_iterator param_type_end() const {
474 return llvm::map_iterator(parameters().end(), GetTypeFn());
475 }
476
477 // For debugging purposes only
478 void dump(raw_ostream &Out) const;
479 void dump() const;
480 };
481
482 /// Represents a call to any sort of function that might have a
483 /// FunctionDecl.
484 class AnyFunctionCall : public CallEvent {
485 protected:
AnyFunctionCall(const Expr * E,ProgramStateRef St,const LocationContext * LCtx)486 AnyFunctionCall(const Expr *E, ProgramStateRef St,
487 const LocationContext *LCtx)
488 : CallEvent(E, St, LCtx) {}
AnyFunctionCall(const Decl * D,ProgramStateRef St,const LocationContext * LCtx)489 AnyFunctionCall(const Decl *D, ProgramStateRef St,
490 const LocationContext *LCtx)
491 : CallEvent(D, St, LCtx) {}
492 AnyFunctionCall(const AnyFunctionCall &Other) = default;
493
494 public:
495 // This function is overridden by subclasses, but they must return
496 // a FunctionDecl.
getDecl()497 const FunctionDecl *getDecl() const override {
498 return cast<FunctionDecl>(CallEvent::getDecl());
499 }
500
501 RuntimeDefinition getRuntimeDefinition() const override;
502
503 bool argumentsMayEscape() const override;
504
505 void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
506 BindingsTy &Bindings) const override;
507
508 ArrayRef<ParmVarDecl *> parameters() const override;
509
classof(const CallEvent * CA)510 static bool classof(const CallEvent *CA) {
511 return CA->getKind() >= CE_BEG_FUNCTION_CALLS &&
512 CA->getKind() <= CE_END_FUNCTION_CALLS;
513 }
514 };
515
516 /// Represents a C function or static C++ member function call.
517 ///
518 /// Example: \c fun()
519 class SimpleFunctionCall : public AnyFunctionCall {
520 friend class CallEventManager;
521
522 protected:
SimpleFunctionCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx)523 SimpleFunctionCall(const CallExpr *CE, ProgramStateRef St,
524 const LocationContext *LCtx)
525 : AnyFunctionCall(CE, St, LCtx) {}
526 SimpleFunctionCall(const SimpleFunctionCall &Other) = default;
527
cloneTo(void * Dest)528 void cloneTo(void *Dest) const override {
529 new (Dest) SimpleFunctionCall(*this);
530 }
531
532 public:
getOriginExpr()533 const CallExpr *getOriginExpr() const override {
534 return cast<CallExpr>(AnyFunctionCall::getOriginExpr());
535 }
536
537 const FunctionDecl *getDecl() const override;
538
getNumArgs()539 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); }
540
getArgExpr(unsigned Index)541 const Expr *getArgExpr(unsigned Index) const override {
542 return getOriginExpr()->getArg(Index);
543 }
544
getKind()545 Kind getKind() const override { return CE_Function; }
getKindAsString()546 StringRef getKindAsString() const override { return "SimpleFunctionCall"; }
547
classof(const CallEvent * CA)548 static bool classof(const CallEvent *CA) {
549 return CA->getKind() == CE_Function;
550 }
551 };
552
553 /// Represents a call to a block.
554 ///
555 /// Example: <tt>^{ statement-body }()</tt>
556 class BlockCall : public CallEvent {
557 friend class CallEventManager;
558
559 protected:
BlockCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx)560 BlockCall(const CallExpr *CE, ProgramStateRef St,
561 const LocationContext *LCtx)
562 : CallEvent(CE, St, LCtx) {}
563 BlockCall(const BlockCall &Other) = default;
564
cloneTo(void * Dest)565 void cloneTo(void *Dest) const override { new (Dest) BlockCall(*this); }
566
567 void getExtraInvalidatedValues(ValueList &Values,
568 RegionAndSymbolInvalidationTraits *ETraits) const override;
569
570 public:
getOriginExpr()571 const CallExpr *getOriginExpr() const override {
572 return cast<CallExpr>(CallEvent::getOriginExpr());
573 }
574
getNumArgs()575 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); }
576
getArgExpr(unsigned Index)577 const Expr *getArgExpr(unsigned Index) const override {
578 return getOriginExpr()->getArg(Index);
579 }
580
581 /// Returns the region associated with this instance of the block.
582 ///
583 /// This may be NULL if the block's origin is unknown.
584 const BlockDataRegion *getBlockRegion() const;
585
getDecl()586 const BlockDecl *getDecl() const override {
587 const BlockDataRegion *BR = getBlockRegion();
588 if (!BR)
589 return nullptr;
590 return BR->getDecl();
591 }
592
isConversionFromLambda()593 bool isConversionFromLambda() const {
594 const BlockDecl *BD = getDecl();
595 if (!BD)
596 return false;
597
598 return BD->isConversionFromLambda();
599 }
600
601 /// For a block converted from a C++ lambda, returns the block
602 /// VarRegion for the variable holding the captured C++ lambda record.
getRegionStoringCapturedLambda()603 const VarRegion *getRegionStoringCapturedLambda() const {
604 assert(isConversionFromLambda());
605 const BlockDataRegion *BR = getBlockRegion();
606 assert(BR && "Block converted from lambda must have a block region");
607
608 auto I = BR->referenced_vars_begin();
609 assert(I != BR->referenced_vars_end());
610
611 return I.getCapturedRegion();
612 }
613
getRuntimeDefinition()614 RuntimeDefinition getRuntimeDefinition() const override {
615 if (!isConversionFromLambda())
616 return RuntimeDefinition(getDecl());
617
618 // Clang converts lambdas to blocks with an implicit user-defined
619 // conversion operator method on the lambda record that looks (roughly)
620 // like:
621 //
622 // typedef R(^block_type)(P1, P2, ...);
623 // operator block_type() const {
624 // auto Lambda = *this;
625 // return ^(P1 p1, P2 p2, ...){
626 // /* return Lambda(p1, p2, ...); */
627 // };
628 // }
629 //
630 // Here R is the return type of the lambda and P1, P2, ... are
631 // its parameter types. 'Lambda' is a fake VarDecl captured by the block
632 // that is initialized to a copy of the lambda.
633 //
634 // Sema leaves the body of a lambda-converted block empty (it is
635 // produced by CodeGen), so we can't analyze it directly. Instead, we skip
636 // the block body and analyze the operator() method on the captured lambda.
637 const VarDecl *LambdaVD = getRegionStoringCapturedLambda()->getDecl();
638 const CXXRecordDecl *LambdaDecl = LambdaVD->getType()->getAsCXXRecordDecl();
639 CXXMethodDecl* LambdaCallOperator = LambdaDecl->getLambdaCallOperator();
640
641 return RuntimeDefinition(LambdaCallOperator);
642 }
643
argumentsMayEscape()644 bool argumentsMayEscape() const override {
645 return true;
646 }
647
648 void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
649 BindingsTy &Bindings) const override;
650
651 ArrayRef<ParmVarDecl *> parameters() const override;
652
getKind()653 Kind getKind() const override { return CE_Block; }
getKindAsString()654 StringRef getKindAsString() const override { return "BlockCall"; }
655
classof(const CallEvent * CA)656 static bool classof(const CallEvent *CA) { return CA->getKind() == CE_Block; }
657 };
658
659 /// Represents a non-static C++ member function call, no matter how
660 /// it is written.
661 class CXXInstanceCall : public AnyFunctionCall {
662 protected:
CXXInstanceCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx)663 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St,
664 const LocationContext *LCtx)
665 : AnyFunctionCall(CE, St, LCtx) {}
CXXInstanceCall(const FunctionDecl * D,ProgramStateRef St,const LocationContext * LCtx)666 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St,
667 const LocationContext *LCtx)
668 : AnyFunctionCall(D, St, LCtx) {}
669 CXXInstanceCall(const CXXInstanceCall &Other) = default;
670
671 void getExtraInvalidatedValues(ValueList &Values,
672 RegionAndSymbolInvalidationTraits *ETraits) const override;
673
674 public:
675 /// Returns the expression representing the implicit 'this' object.
getCXXThisExpr()676 virtual const Expr *getCXXThisExpr() const { return nullptr; }
677
678 /// Returns the value of the implicit 'this' object.
679 virtual SVal getCXXThisVal() const;
680
681 const FunctionDecl *getDecl() const override;
682
683 RuntimeDefinition getRuntimeDefinition() const override;
684
685 void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
686 BindingsTy &Bindings) const override;
687
classof(const CallEvent * CA)688 static bool classof(const CallEvent *CA) {
689 return CA->getKind() >= CE_BEG_CXX_INSTANCE_CALLS &&
690 CA->getKind() <= CE_END_CXX_INSTANCE_CALLS;
691 }
692 };
693
694 /// Represents a non-static C++ member function call.
695 ///
696 /// Example: \c obj.fun()
697 class CXXMemberCall : public CXXInstanceCall {
698 friend class CallEventManager;
699
700 protected:
CXXMemberCall(const CXXMemberCallExpr * CE,ProgramStateRef St,const LocationContext * LCtx)701 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St,
702 const LocationContext *LCtx)
703 : CXXInstanceCall(CE, St, LCtx) {}
704 CXXMemberCall(const CXXMemberCall &Other) = default;
705
cloneTo(void * Dest)706 void cloneTo(void *Dest) const override { new (Dest) CXXMemberCall(*this); }
707
708 public:
getOriginExpr()709 const CXXMemberCallExpr *getOriginExpr() const override {
710 return cast<CXXMemberCallExpr>(CXXInstanceCall::getOriginExpr());
711 }
712
getNumArgs()713 unsigned getNumArgs() const override {
714 if (const CallExpr *CE = getOriginExpr())
715 return CE->getNumArgs();
716 return 0;
717 }
718
getArgExpr(unsigned Index)719 const Expr *getArgExpr(unsigned Index) const override {
720 return getOriginExpr()->getArg(Index);
721 }
722
723 const Expr *getCXXThisExpr() const override;
724
725 RuntimeDefinition getRuntimeDefinition() const override;
726
getKind()727 Kind getKind() const override { return CE_CXXMember; }
getKindAsString()728 StringRef getKindAsString() const override { return "CXXMemberCall"; }
729
classof(const CallEvent * CA)730 static bool classof(const CallEvent *CA) {
731 return CA->getKind() == CE_CXXMember;
732 }
733 };
734
735 /// Represents a C++ overloaded operator call where the operator is
736 /// implemented as a non-static member function.
737 ///
738 /// Example: <tt>iter + 1</tt>
739 class CXXMemberOperatorCall : public CXXInstanceCall {
740 friend class CallEventManager;
741
742 protected:
CXXMemberOperatorCall(const CXXOperatorCallExpr * CE,ProgramStateRef St,const LocationContext * LCtx)743 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St,
744 const LocationContext *LCtx)
745 : CXXInstanceCall(CE, St, LCtx) {}
746 CXXMemberOperatorCall(const CXXMemberOperatorCall &Other) = default;
747
cloneTo(void * Dest)748 void cloneTo(void *Dest) const override {
749 new (Dest) CXXMemberOperatorCall(*this);
750 }
751
752 public:
getOriginExpr()753 const CXXOperatorCallExpr *getOriginExpr() const override {
754 return cast<CXXOperatorCallExpr>(CXXInstanceCall::getOriginExpr());
755 }
756
getNumArgs()757 unsigned getNumArgs() const override {
758 return getOriginExpr()->getNumArgs() - 1;
759 }
760
getArgExpr(unsigned Index)761 const Expr *getArgExpr(unsigned Index) const override {
762 return getOriginExpr()->getArg(Index + 1);
763 }
764
765 const Expr *getCXXThisExpr() const override;
766
getKind()767 Kind getKind() const override { return CE_CXXMemberOperator; }
getKindAsString()768 StringRef getKindAsString() const override { return "CXXMemberOperatorCall"; }
769
classof(const CallEvent * CA)770 static bool classof(const CallEvent *CA) {
771 return CA->getKind() == CE_CXXMemberOperator;
772 }
773
774 std::optional<unsigned>
getAdjustedParameterIndex(unsigned ASTArgumentIndex)775 getAdjustedParameterIndex(unsigned ASTArgumentIndex) const override {
776 // For member operator calls argument 0 on the expression corresponds
777 // to implicit this-parameter on the declaration.
778 return (ASTArgumentIndex > 0)
779 ? std::optional<unsigned>(ASTArgumentIndex - 1)
780 : std::nullopt;
781 }
782
getASTArgumentIndex(unsigned CallArgumentIndex)783 unsigned getASTArgumentIndex(unsigned CallArgumentIndex) const override {
784 // For member operator calls argument 0 on the expression corresponds
785 // to implicit this-parameter on the declaration.
786 return CallArgumentIndex + 1;
787 }
788
getOverloadedOperator()789 OverloadedOperatorKind getOverloadedOperator() const {
790 return getOriginExpr()->getOperator();
791 }
792 };
793
794 /// Represents an implicit call to a C++ destructor.
795 ///
796 /// This can occur at the end of a scope (for automatic objects), at the end
797 /// of a full-expression (for temporaries), or as part of a delete.
798 class CXXDestructorCall : public CXXInstanceCall {
799 friend class CallEventManager;
800
801 protected:
802 using DtorDataTy = llvm::PointerIntPair<const MemRegion *, 1, bool>;
803
804 /// Creates an implicit destructor.
805 ///
806 /// \param DD The destructor that will be called.
807 /// \param Trigger The statement whose completion causes this destructor call.
808 /// \param Target The object region to be destructed.
809 /// \param St The path-sensitive state at this point in the program.
810 /// \param LCtx The location context at this point in the program.
CXXDestructorCall(const CXXDestructorDecl * DD,const Stmt * Trigger,const MemRegion * Target,bool IsBaseDestructor,ProgramStateRef St,const LocationContext * LCtx)811 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger,
812 const MemRegion *Target, bool IsBaseDestructor,
813 ProgramStateRef St, const LocationContext *LCtx)
814 : CXXInstanceCall(DD, St, LCtx) {
815 Data = DtorDataTy(Target, IsBaseDestructor).getOpaqueValue();
816 Location = Trigger->getEndLoc();
817 }
818
819 CXXDestructorCall(const CXXDestructorCall &Other) = default;
820
cloneTo(void * Dest)821 void cloneTo(void *Dest) const override {new (Dest) CXXDestructorCall(*this);}
822
823 public:
getSourceRange()824 SourceRange getSourceRange() const override { return Location; }
getNumArgs()825 unsigned getNumArgs() const override { return 0; }
826
827 RuntimeDefinition getRuntimeDefinition() const override;
828
829 /// Returns the value of the implicit 'this' object.
830 SVal getCXXThisVal() const override;
831
832 /// Returns true if this is a call to a base class destructor.
isBaseDestructor()833 bool isBaseDestructor() const {
834 return DtorDataTy::getFromOpaqueValue(Data).getInt();
835 }
836
getKind()837 Kind getKind() const override { return CE_CXXDestructor; }
getKindAsString()838 StringRef getKindAsString() const override { return "CXXDestructorCall"; }
839
classof(const CallEvent * CA)840 static bool classof(const CallEvent *CA) {
841 return CA->getKind() == CE_CXXDestructor;
842 }
843 };
844
845 /// Represents any constructor invocation. This includes regular constructors
846 /// and inherited constructors.
847 class AnyCXXConstructorCall : public AnyFunctionCall {
848 protected:
AnyCXXConstructorCall(const Expr * E,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx)849 AnyCXXConstructorCall(const Expr *E, const MemRegion *Target,
850 ProgramStateRef St, const LocationContext *LCtx)
851 : AnyFunctionCall(E, St, LCtx) {
852 assert(E && (isa<CXXConstructExpr>(E) || isa<CXXInheritedCtorInitExpr>(E)));
853 // Target may be null when the region is unknown.
854 Data = Target;
855 }
856
857 void getExtraInvalidatedValues(ValueList &Values,
858 RegionAndSymbolInvalidationTraits *ETraits) const override;
859
860 void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
861 BindingsTy &Bindings) const override;
862
863 public:
864 /// Returns the value of the implicit 'this' object.
865 SVal getCXXThisVal() const;
866
classof(const CallEvent * Call)867 static bool classof(const CallEvent *Call) {
868 return Call->getKind() >= CE_BEG_CXX_CONSTRUCTOR_CALLS &&
869 Call->getKind() <= CE_END_CXX_CONSTRUCTOR_CALLS;
870 }
871 };
872
873 /// Represents a call to a C++ constructor.
874 ///
875 /// Example: \c T(1)
876 class CXXConstructorCall : public AnyCXXConstructorCall {
877 friend class CallEventManager;
878
879 protected:
880 /// Creates a constructor call.
881 ///
882 /// \param CE The constructor expression as written in the source.
883 /// \param Target The region where the object should be constructed. If NULL,
884 /// a new symbolic region will be used.
885 /// \param St The path-sensitive state at this point in the program.
886 /// \param LCtx The location context at this point in the program.
CXXConstructorCall(const CXXConstructExpr * CE,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx)887 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target,
888 ProgramStateRef St, const LocationContext *LCtx)
889 : AnyCXXConstructorCall(CE, Target, St, LCtx) {}
890
891 CXXConstructorCall(const CXXConstructorCall &Other) = default;
892
cloneTo(void * Dest)893 void cloneTo(void *Dest) const override { new (Dest) CXXConstructorCall(*this); }
894
895 public:
getOriginExpr()896 const CXXConstructExpr *getOriginExpr() const override {
897 return cast<CXXConstructExpr>(AnyFunctionCall::getOriginExpr());
898 }
899
getDecl()900 const CXXConstructorDecl *getDecl() const override {
901 return getOriginExpr()->getConstructor();
902 }
903
getNumArgs()904 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); }
905
getArgExpr(unsigned Index)906 const Expr *getArgExpr(unsigned Index) const override {
907 return getOriginExpr()->getArg(Index);
908 }
909
getKind()910 Kind getKind() const override { return CE_CXXConstructor; }
getKindAsString()911 StringRef getKindAsString() const override { return "CXXConstructorCall"; }
912
classof(const CallEvent * CA)913 static bool classof(const CallEvent *CA) {
914 return CA->getKind() == CE_CXXConstructor;
915 }
916 };
917
918 /// Represents a call to a C++ inherited constructor.
919 ///
920 /// Example: \c class T : public S { using S::S; }; T(1);
921 ///
922 // Note, it is difficult to model the parameters. This is one of the reasons
923 // why we skip analysis of inheriting constructors as top-level functions.
924 // CXXInheritedCtorInitExpr doesn't take arguments and doesn't model parameter
925 // initialization because there is none: the arguments in the outer
926 // CXXConstructExpr directly initialize the parameters of the base class
927 // constructor, and no copies are made. (Making a copy of the parameter is
928 // incorrect, at least if it's done in an observable way.) The derived class
929 // constructor doesn't even exist in the formal model.
930 /// E.g., in:
931 ///
932 /// struct X { X *p = this; ~X() {} };
933 /// struct A { A(X x) : b(x.p == &x) {} bool b; };
934 /// struct B : A { using A::A; };
935 /// B b = X{};
936 ///
937 /// ... b.b is initialized to true.
938 class CXXInheritedConstructorCall : public AnyCXXConstructorCall {
939 friend class CallEventManager;
940
941 protected:
CXXInheritedConstructorCall(const CXXInheritedCtorInitExpr * CE,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx)942 CXXInheritedConstructorCall(const CXXInheritedCtorInitExpr *CE,
943 const MemRegion *Target, ProgramStateRef St,
944 const LocationContext *LCtx)
945 : AnyCXXConstructorCall(CE, Target, St, LCtx) {}
946
947 CXXInheritedConstructorCall(const CXXInheritedConstructorCall &Other) =
948 default;
949
cloneTo(void * Dest)950 void cloneTo(void *Dest) const override {
951 new (Dest) CXXInheritedConstructorCall(*this);
952 }
953
954 public:
getOriginExpr()955 const CXXInheritedCtorInitExpr *getOriginExpr() const override {
956 return cast<CXXInheritedCtorInitExpr>(AnyFunctionCall::getOriginExpr());
957 }
958
getDecl()959 const CXXConstructorDecl *getDecl() const override {
960 return getOriginExpr()->getConstructor();
961 }
962
963 /// Obtain the stack frame of the inheriting constructor. Argument expressions
964 /// can be found on the call site of that stack frame.
965 const StackFrameContext *getInheritingStackFrame() const;
966
967 /// Obtain the CXXConstructExpr for the sub-class that inherited the current
968 /// constructor (possibly indirectly). It's the statement that contains
969 /// argument expressions.
getInheritingConstructor()970 const CXXConstructExpr *getInheritingConstructor() const {
971 return cast<CXXConstructExpr>(getInheritingStackFrame()->getCallSite());
972 }
973
getNumArgs()974 unsigned getNumArgs() const override {
975 return getInheritingConstructor()->getNumArgs();
976 }
977
getArgExpr(unsigned Index)978 const Expr *getArgExpr(unsigned Index) const override {
979 return getInheritingConstructor()->getArg(Index);
980 }
981
getArgSVal(unsigned Index)982 SVal getArgSVal(unsigned Index) const override {
983 return getState()->getSVal(
984 getArgExpr(Index),
985 getInheritingStackFrame()->getParent()->getStackFrame());
986 }
987
getKind()988 Kind getKind() const override { return CE_CXXInheritedConstructor; }
getKindAsString()989 StringRef getKindAsString() const override {
990 return "CXXInheritedConstructorCall";
991 }
992
classof(const CallEvent * CA)993 static bool classof(const CallEvent *CA) {
994 return CA->getKind() == CE_CXXInheritedConstructor;
995 }
996 };
997
998 /// Represents the memory allocation call in a C++ new-expression.
999 ///
1000 /// This is a call to "operator new".
1001 class CXXAllocatorCall : public AnyFunctionCall {
1002 friend class CallEventManager;
1003
1004 protected:
CXXAllocatorCall(const CXXNewExpr * E,ProgramStateRef St,const LocationContext * LCtx)1005 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St,
1006 const LocationContext *LCtx)
1007 : AnyFunctionCall(E, St, LCtx) {}
1008 CXXAllocatorCall(const CXXAllocatorCall &Other) = default;
1009
cloneTo(void * Dest)1010 void cloneTo(void *Dest) const override { new (Dest) CXXAllocatorCall(*this); }
1011
1012 public:
getOriginExpr()1013 const CXXNewExpr *getOriginExpr() const override {
1014 return cast<CXXNewExpr>(AnyFunctionCall::getOriginExpr());
1015 }
1016
getDecl()1017 const FunctionDecl *getDecl() const override {
1018 return getOriginExpr()->getOperatorNew();
1019 }
1020
getObjectUnderConstruction()1021 SVal getObjectUnderConstruction() const {
1022 return *ExprEngine::getObjectUnderConstruction(getState(), getOriginExpr(),
1023 getLocationContext());
1024 }
1025
1026 /// Number of non-placement arguments to the call. It is equal to 2 for
1027 /// C++17 aligned operator new() calls that have alignment implicitly
1028 /// passed as the second argument, and to 1 for other operator new() calls.
getNumImplicitArgs()1029 unsigned getNumImplicitArgs() const {
1030 return getOriginExpr()->passAlignment() ? 2 : 1;
1031 }
1032
getNumArgs()1033 unsigned getNumArgs() const override {
1034 return getOriginExpr()->getNumPlacementArgs() + getNumImplicitArgs();
1035 }
1036
isArray()1037 bool isArray() const { return getOriginExpr()->isArray(); }
1038
getArraySizeExpr()1039 std::optional<const clang::Expr *> getArraySizeExpr() const {
1040 return getOriginExpr()->getArraySize();
1041 }
1042
getArraySizeVal()1043 SVal getArraySizeVal() const {
1044 assert(isArray() && "The allocator call doesn't allocate and array!");
1045
1046 return getState()->getSVal(*getArraySizeExpr(), getLocationContext());
1047 }
1048
getArgExpr(unsigned Index)1049 const Expr *getArgExpr(unsigned Index) const override {
1050 // The first argument of an allocator call is the size of the allocation.
1051 if (Index < getNumImplicitArgs())
1052 return nullptr;
1053 return getOriginExpr()->getPlacementArg(Index - getNumImplicitArgs());
1054 }
1055
1056 /// Number of placement arguments to the operator new() call. For example,
1057 /// standard std::nothrow operator new and standard placement new both have
1058 /// 1 implicit argument (size) and 1 placement argument, while regular
1059 /// operator new() has 1 implicit argument and 0 placement arguments.
getPlacementArgExpr(unsigned Index)1060 const Expr *getPlacementArgExpr(unsigned Index) const {
1061 return getOriginExpr()->getPlacementArg(Index);
1062 }
1063
getKind()1064 Kind getKind() const override { return CE_CXXAllocator; }
getKindAsString()1065 StringRef getKindAsString() const override { return "CXXAllocatorCall"; }
1066
classof(const CallEvent * CE)1067 static bool classof(const CallEvent *CE) {
1068 return CE->getKind() == CE_CXXAllocator;
1069 }
1070 };
1071
1072 /// Represents the memory deallocation call in a C++ delete-expression.
1073 ///
1074 /// This is a call to "operator delete".
1075 // FIXME: CXXDeleteExpr isn't present for custom delete operators, or even for
1076 // some those that are in the standard library, like the no-throw or align_val
1077 // versions.
1078 // Some pointers:
1079 // http://lists.llvm.org/pipermail/cfe-dev/2020-April/065080.html
1080 // clang/test/Analysis/cxx-dynamic-memory-analysis-order.cpp
1081 // clang/unittests/StaticAnalyzer/CallEventTest.cpp
1082 class CXXDeallocatorCall : public AnyFunctionCall {
1083 friend class CallEventManager;
1084
1085 protected:
CXXDeallocatorCall(const CXXDeleteExpr * E,ProgramStateRef St,const LocationContext * LCtx)1086 CXXDeallocatorCall(const CXXDeleteExpr *E, ProgramStateRef St,
1087 const LocationContext *LCtx)
1088 : AnyFunctionCall(E, St, LCtx) {}
1089 CXXDeallocatorCall(const CXXDeallocatorCall &Other) = default;
1090
cloneTo(void * Dest)1091 void cloneTo(void *Dest) const override {
1092 new (Dest) CXXDeallocatorCall(*this);
1093 }
1094
1095 public:
getOriginExpr()1096 const CXXDeleteExpr *getOriginExpr() const override {
1097 return cast<CXXDeleteExpr>(AnyFunctionCall::getOriginExpr());
1098 }
1099
getDecl()1100 const FunctionDecl *getDecl() const override {
1101 return getOriginExpr()->getOperatorDelete();
1102 }
1103
getNumArgs()1104 unsigned getNumArgs() const override { return getDecl()->getNumParams(); }
1105
getArgExpr(unsigned Index)1106 const Expr *getArgExpr(unsigned Index) const override {
1107 // CXXDeleteExpr's only have a single argument.
1108 return getOriginExpr()->getArgument();
1109 }
1110
getKind()1111 Kind getKind() const override { return CE_CXXDeallocator; }
getKindAsString()1112 StringRef getKindAsString() const override { return "CXXDeallocatorCall"; }
1113
classof(const CallEvent * CE)1114 static bool classof(const CallEvent *CE) {
1115 return CE->getKind() == CE_CXXDeallocator;
1116 }
1117 };
1118
1119 /// Represents the ways an Objective-C message send can occur.
1120 //
1121 // Note to maintainers: OCM_Message should always be last, since it does not
1122 // need to fit in the Data field's low bits.
1123 enum ObjCMessageKind {
1124 OCM_PropertyAccess,
1125 OCM_Subscript,
1126 OCM_Message
1127 };
1128
1129 /// Represents any expression that calls an Objective-C method.
1130 ///
1131 /// This includes all of the kinds listed in ObjCMessageKind.
1132 class ObjCMethodCall : public CallEvent {
1133 friend class CallEventManager;
1134
1135 const PseudoObjectExpr *getContainingPseudoObjectExpr() const;
1136
1137 protected:
ObjCMethodCall(const ObjCMessageExpr * Msg,ProgramStateRef St,const LocationContext * LCtx)1138 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St,
1139 const LocationContext *LCtx)
1140 : CallEvent(Msg, St, LCtx) {
1141 Data = nullptr;
1142 }
1143
1144 ObjCMethodCall(const ObjCMethodCall &Other) = default;
1145
cloneTo(void * Dest)1146 void cloneTo(void *Dest) const override { new (Dest) ObjCMethodCall(*this); }
1147
1148 void getExtraInvalidatedValues(ValueList &Values,
1149 RegionAndSymbolInvalidationTraits *ETraits) const override;
1150
1151 /// Check if the selector may have multiple definitions (may have overrides).
1152 virtual bool canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl,
1153 Selector Sel) const;
1154
1155 public:
getOriginExpr()1156 const ObjCMessageExpr *getOriginExpr() const override {
1157 return cast<ObjCMessageExpr>(CallEvent::getOriginExpr());
1158 }
1159
getDecl()1160 const ObjCMethodDecl *getDecl() const override {
1161 return getOriginExpr()->getMethodDecl();
1162 }
1163
getNumArgs()1164 unsigned getNumArgs() const override {
1165 return getOriginExpr()->getNumArgs();
1166 }
1167
getArgExpr(unsigned Index)1168 const Expr *getArgExpr(unsigned Index) const override {
1169 return getOriginExpr()->getArg(Index);
1170 }
1171
isInstanceMessage()1172 bool isInstanceMessage() const {
1173 return getOriginExpr()->isInstanceMessage();
1174 }
1175
getMethodFamily()1176 ObjCMethodFamily getMethodFamily() const {
1177 return getOriginExpr()->getMethodFamily();
1178 }
1179
getSelector()1180 Selector getSelector() const {
1181 return getOriginExpr()->getSelector();
1182 }
1183
1184 SourceRange getSourceRange() const override;
1185
1186 /// Returns the value of the receiver at the time of this call.
1187 SVal getReceiverSVal() const;
1188
1189 /// Get the interface for the receiver.
1190 ///
1191 /// This works whether this is an instance message or a class message.
1192 /// However, it currently just uses the static type of the receiver.
getReceiverInterface()1193 const ObjCInterfaceDecl *getReceiverInterface() const {
1194 return getOriginExpr()->getReceiverInterface();
1195 }
1196
1197 /// Checks if the receiver refers to 'self' or 'super'.
1198 bool isReceiverSelfOrSuper() const;
1199
1200 /// Returns how the message was written in the source (property access,
1201 /// subscript, or explicit message send).
1202 ObjCMessageKind getMessageKind() const;
1203
1204 /// Returns true if this property access or subscript is a setter (has the
1205 /// form of an assignment).
isSetter()1206 bool isSetter() const {
1207 switch (getMessageKind()) {
1208 case OCM_Message:
1209 llvm_unreachable("This is not a pseudo-object access!");
1210 case OCM_PropertyAccess:
1211 return getNumArgs() > 0;
1212 case OCM_Subscript:
1213 return getNumArgs() > 1;
1214 }
1215 llvm_unreachable("Unknown message kind");
1216 }
1217
1218 // Returns the property accessed by this method, either explicitly via
1219 // property syntax or implicitly via a getter or setter method. Returns
1220 // nullptr if the call is not a prooperty access.
1221 const ObjCPropertyDecl *getAccessedProperty() const;
1222
1223 RuntimeDefinition getRuntimeDefinition() const override;
1224
1225 bool argumentsMayEscape() const override;
1226
1227 void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
1228 BindingsTy &Bindings) const override;
1229
1230 ArrayRef<ParmVarDecl*> parameters() const override;
1231
getKind()1232 Kind getKind() const override { return CE_ObjCMessage; }
getKindAsString()1233 StringRef getKindAsString() const override { return "ObjCMethodCall"; }
1234
classof(const CallEvent * CA)1235 static bool classof(const CallEvent *CA) {
1236 return CA->getKind() == CE_ObjCMessage;
1237 }
1238 };
1239
1240 /// Manages the lifetime of CallEvent objects.
1241 ///
1242 /// CallEventManager provides a way to create arbitrary CallEvents "on the
1243 /// stack" as if they were value objects by keeping a cache of CallEvent-sized
1244 /// memory blocks. The CallEvents created by CallEventManager are only valid
1245 /// for the lifetime of the OwnedCallEvent that holds them; right now these
1246 /// objects cannot be copied and ownership cannot be transferred.
1247 class CallEventManager {
1248 friend class CallEvent;
1249
1250 llvm::BumpPtrAllocator &Alloc;
1251 SmallVector<void *, 8> Cache;
1252
1253 using CallEventTemplateTy = SimpleFunctionCall;
1254
reclaim(const void * Memory)1255 void reclaim(const void *Memory) {
1256 Cache.push_back(const_cast<void *>(Memory));
1257 }
1258
1259 /// Returns memory that can be initialized as a CallEvent.
allocate()1260 void *allocate() {
1261 if (Cache.empty())
1262 return Alloc.Allocate<CallEventTemplateTy>();
1263 else
1264 return Cache.pop_back_val();
1265 }
1266
1267 template <typename T, typename Arg>
create(Arg A,ProgramStateRef St,const LocationContext * LCtx)1268 T *create(Arg A, ProgramStateRef St, const LocationContext *LCtx) {
1269 static_assert(sizeof(T) == sizeof(CallEventTemplateTy),
1270 "CallEvent subclasses are not all the same size");
1271 return new (allocate()) T(A, St, LCtx);
1272 }
1273
1274 template <typename T, typename Arg1, typename Arg2>
create(Arg1 A1,Arg2 A2,ProgramStateRef St,const LocationContext * LCtx)1275 T *create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) {
1276 static_assert(sizeof(T) == sizeof(CallEventTemplateTy),
1277 "CallEvent subclasses are not all the same size");
1278 return new (allocate()) T(A1, A2, St, LCtx);
1279 }
1280
1281 template <typename T, typename Arg1, typename Arg2, typename Arg3>
create(Arg1 A1,Arg2 A2,Arg3 A3,ProgramStateRef St,const LocationContext * LCtx)1282 T *create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St,
1283 const LocationContext *LCtx) {
1284 static_assert(sizeof(T) == sizeof(CallEventTemplateTy),
1285 "CallEvent subclasses are not all the same size");
1286 return new (allocate()) T(A1, A2, A3, St, LCtx);
1287 }
1288
1289 template <typename T, typename Arg1, typename Arg2, typename Arg3,
1290 typename Arg4>
create(Arg1 A1,Arg2 A2,Arg3 A3,Arg4 A4,ProgramStateRef St,const LocationContext * LCtx)1291 T *create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St,
1292 const LocationContext *LCtx) {
1293 static_assert(sizeof(T) == sizeof(CallEventTemplateTy),
1294 "CallEvent subclasses are not all the same size");
1295 return new (allocate()) T(A1, A2, A3, A4, St, LCtx);
1296 }
1297
1298 public:
CallEventManager(llvm::BumpPtrAllocator & alloc)1299 CallEventManager(llvm::BumpPtrAllocator &alloc) : Alloc(alloc) {}
1300
1301 /// Gets an outside caller given a callee context.
1302 CallEventRef<>
1303 getCaller(const StackFrameContext *CalleeCtx, ProgramStateRef State);
1304
1305 /// Gets a call event for a function call, Objective-C method call,
1306 /// a 'new', or a 'delete' call.
1307 CallEventRef<>
1308 getCall(const Stmt *S, ProgramStateRef State,
1309 const LocationContext *LC);
1310
1311 CallEventRef<>
1312 getSimpleCall(const CallExpr *E, ProgramStateRef State,
1313 const LocationContext *LCtx);
1314
1315 CallEventRef<ObjCMethodCall>
getObjCMethodCall(const ObjCMessageExpr * E,ProgramStateRef State,const LocationContext * LCtx)1316 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State,
1317 const LocationContext *LCtx) {
1318 return create<ObjCMethodCall>(E, State, LCtx);
1319 }
1320
1321 CallEventRef<CXXConstructorCall>
getCXXConstructorCall(const CXXConstructExpr * E,const MemRegion * Target,ProgramStateRef State,const LocationContext * LCtx)1322 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target,
1323 ProgramStateRef State, const LocationContext *LCtx) {
1324 return create<CXXConstructorCall>(E, Target, State, LCtx);
1325 }
1326
1327 CallEventRef<CXXInheritedConstructorCall>
getCXXInheritedConstructorCall(const CXXInheritedCtorInitExpr * E,const MemRegion * Target,ProgramStateRef State,const LocationContext * LCtx)1328 getCXXInheritedConstructorCall(const CXXInheritedCtorInitExpr *E,
1329 const MemRegion *Target, ProgramStateRef State,
1330 const LocationContext *LCtx) {
1331 return create<CXXInheritedConstructorCall>(E, Target, State, LCtx);
1332 }
1333
1334 CallEventRef<CXXDestructorCall>
getCXXDestructorCall(const CXXDestructorDecl * DD,const Stmt * Trigger,const MemRegion * Target,bool IsBase,ProgramStateRef State,const LocationContext * LCtx)1335 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger,
1336 const MemRegion *Target, bool IsBase,
1337 ProgramStateRef State, const LocationContext *LCtx) {
1338 return create<CXXDestructorCall>(DD, Trigger, Target, IsBase, State, LCtx);
1339 }
1340
1341 CallEventRef<CXXAllocatorCall>
getCXXAllocatorCall(const CXXNewExpr * E,ProgramStateRef State,const LocationContext * LCtx)1342 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State,
1343 const LocationContext *LCtx) {
1344 return create<CXXAllocatorCall>(E, State, LCtx);
1345 }
1346
1347 CallEventRef<CXXDeallocatorCall>
getCXXDeallocatorCall(const CXXDeleteExpr * E,ProgramStateRef State,const LocationContext * LCtx)1348 getCXXDeallocatorCall(const CXXDeleteExpr *E, ProgramStateRef State,
1349 const LocationContext *LCtx) {
1350 return create<CXXDeallocatorCall>(E, State, LCtx);
1351 }
1352 };
1353
1354 template <typename T>
cloneWithState(ProgramStateRef NewState)1355 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const {
1356 assert(isa<T>(*this) && "Cloning to unrelated type");
1357 static_assert(sizeof(T) == sizeof(CallEvent),
1358 "Subclasses may not add fields");
1359
1360 if (NewState == State)
1361 return cast<T>(this);
1362
1363 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1364 T *Copy = static_cast<T *>(Mgr.allocate());
1365 cloneTo(Copy);
1366 assert(Copy->getKind() == this->getKind() && "Bad copy");
1367
1368 Copy->State = NewState;
1369 return Copy;
1370 }
1371
Release()1372 inline void CallEvent::Release() const {
1373 assert(RefCount > 0 && "Reference count is already zero.");
1374 --RefCount;
1375
1376 if (RefCount > 0)
1377 return;
1378
1379 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1380 Mgr.reclaim(this);
1381
1382 this->~CallEvent();
1383 }
1384
1385 } // namespace ento
1386
1387 } // namespace clang
1388
1389 namespace llvm {
1390
1391 // Support isa<>, cast<>, and dyn_cast<> for CallEventRef.
1392 template<class T> struct simplify_type< clang::ento::CallEventRef<T>> {
1393 using SimpleType = const T *;
1394
1395 static SimpleType
1396 getSimplifiedValue(clang::ento::CallEventRef<T> Val) {
1397 return Val.get();
1398 }
1399 };
1400
1401 } // namespace llvm
1402
1403 #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CALLEVENT_H
1404