clang
15.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/CFGStmtMap.h"
#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/IdentifierTable.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "clang/CrossTU/CrossTranslationUnit.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/None.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/PointerIntPair.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <utility>
Go to the source code of this file.
Classes | |
struct | PrivateMethodKey |
struct | llvm::DenseMapInfo< PrivateMethodKey > |
Namespaces | |
llvm | |
YAML serialization mapping. | |
Macros | |
#define | DEBUG_TYPE "static-analyzer-call-event" |
Typedefs | |
using | ObjCMessageDataTy = llvm::PointerIntPair< const PseudoObjectExpr *, 2 > |
Functions | |
static bool | isCallback (QualType T) |
static bool | isVoidPointerToNonConst (QualType T) |
static bool | isPointerToConst (QualType Ty) |
Returns true if a type is a pointer-to-const or reference-to-const with no further indirection. More... | |
static void | findPtrToConstParams (llvm::SmallSet< unsigned, 4 > &PreserveArgs, const CallEvent &Call) |
static bool | isTransparentUnion (QualType T) |
static SVal | processArgument (SVal Value, const Expr *ArgumentExpr, const ParmVarDecl *Parameter, SValBuilder &SVB) |
static void | addParameterValuesToBindings (const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef< ParmVarDecl * > parameters) |
static const Expr * | getSyntacticFromForPseudoObjectExpr (const PseudoObjectExpr *POE) |
static const ObjCMethodDecl * | findDefiningRedecl (const ObjCMethodDecl *MD) |
static const ObjCMethodDecl * | lookupRuntimeDefinition (const ObjCInterfaceDecl *Interface, Selector LookupSelector, bool InstanceMethod) |
#define DEBUG_TYPE "static-analyzer-call-event" |
Definition at line 67 of file CallEvent.cpp.
using ObjCMessageDataTy = llvm::PointerIntPair<const PseudoObjectExpr *, 2> |
Definition at line 981 of file CallEvent.cpp.
|
static |
Definition at line 427 of file CallEvent.cpp.
References clang::ento::CE_CXXAllocator, and processArgument().
Referenced by clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::ento::BlockCall::getInitialStackFrameContents(), and clang::ento::ObjCMethodCall::getInitialStackFrameContents().
|
static |
Definition at line 1121 of file CallEvent.cpp.
References clang::ObjCMethodDecl::hasBody(), and clang::Decl::redecls().
Referenced by clang::ento::ObjCMethodCall::getRuntimeDefinition().
|
static |
Definition at line 223 of file CallEvent.cpp.
References isPointerToConst().
Referenced by clang::ento::CallEvent::invalidateRegions().
|
static |
Definition at line 990 of file CallEvent.cpp.
References clang::PseudoObjectExpr::getSyntacticForm(), and clang::Expr::IgnoreParens().
Referenced by clang::ento::ObjCMethodCall::getAccessedProperty().
Definition at line 80 of file CallEvent.cpp.
References clang::RecordDecl::fields(), clang::Type::getAsStructureType(), clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isFunctionPointerType(), clang::Type::isObjCSelType(), and clang::Type::isReferenceType().
Referenced by clang::ento::CallEvent::hasNonZeroCallbackArg().
Returns true if a type is a pointer-to-const or reference-to-const with no further indirection.
Definition at line 209 of file CallEvent.cpp.
References clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), and clang::QualType::isConstQualified().
Referenced by findPtrToConstParams().
Definition at line 391 of file CallEvent.cpp.
References clang::Type::getAsUnionType(), clang::RecordType::getDecl(), and clang::Decl::hasAttr().
Referenced by processArgument().
Definition at line 104 of file CallEvent.cpp.
References clang::Type::getAs(), clang::Type::getPointeeType(), clang::QualType::isConstQualified(), and clang::Type::isVoidType().
Referenced by clang::ento::CallEvent::hasVoidPointerToNonConstArg().
|
static |
Definition at line 1171 of file CallEvent.cpp.
References clang::ObjCInterfaceDecl::lookupMethod(), and clang::ObjCInterfaceDecl::lookupPrivateMethod().
Referenced by clang::ento::ObjCMethodCall::getRuntimeDefinition().
|
static |
Definition at line 398 of file CallEvent.cpp.
References clang::Expr::getType(), isTransparentUnion(), and clang::Parameter.
Referenced by addParameterValuesToBindings().