14f7df9beSJordan Rose //===- Calls.cpp - Wrapper for all function and method calls ------*- C++ -*--// 24f7df9beSJordan Rose // 34f7df9beSJordan Rose // The LLVM Compiler Infrastructure 44f7df9beSJordan Rose // 54f7df9beSJordan Rose // This file is distributed under the University of Illinois Open Source 64f7df9beSJordan Rose // License. See LICENSE.TXT for details. 74f7df9beSJordan Rose // 84f7df9beSJordan Rose //===----------------------------------------------------------------------===// 94f7df9beSJordan Rose // 104f7df9beSJordan Rose /// \file This file defines CallEvent and its subclasses, which represent path- 114f7df9beSJordan Rose /// sensitive instances of different kinds of function and method calls 124f7df9beSJordan Rose /// (C, C++, and Objective-C). 134f7df9beSJordan Rose // 144f7df9beSJordan Rose //===----------------------------------------------------------------------===// 154f7df9beSJordan Rose 164f7df9beSJordan Rose #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 174f7df9beSJordan Rose #include "clang/AST/ParentMap.h" 183a02247dSChandler Carruth #include "clang/Analysis/ProgramPoint.h" 193a02247dSChandler Carruth #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 204f7df9beSJordan Rose #include "llvm/ADT/SmallSet.h" 214f7df9beSJordan Rose #include "llvm/ADT/StringExtras.h" 22444a1304SBenjamin Kramer #include "llvm/Support/raw_ostream.h" 234f7df9beSJordan Rose 244f7df9beSJordan Rose using namespace clang; 254f7df9beSJordan Rose using namespace ento; 264f7df9beSJordan Rose 274f7df9beSJordan Rose QualType CallEvent::getResultType() const { 282da56438SJordan Rose const Expr *E = getOriginExpr(); 292da56438SJordan Rose assert(E && "Calls without origin expressions do not have results"); 302da56438SJordan Rose QualType ResultTy = E->getType(); 314f7df9beSJordan Rose 322da56438SJordan Rose ASTContext &Ctx = getState()->getStateManager().getContext(); 332da56438SJordan Rose 342da56438SJordan Rose // A function that returns a reference to 'int' will have a result type 352da56438SJordan Rose // of simply 'int'. Check the origin expr's value kind to recover the 362da56438SJordan Rose // proper type. 372da56438SJordan Rose switch (E->getValueKind()) { 382da56438SJordan Rose case VK_LValue: 392da56438SJordan Rose ResultTy = Ctx.getLValueReferenceType(ResultTy); 402da56438SJordan Rose break; 412da56438SJordan Rose case VK_XValue: 422da56438SJordan Rose ResultTy = Ctx.getRValueReferenceType(ResultTy); 432da56438SJordan Rose break; 442da56438SJordan Rose case VK_RValue: 452da56438SJordan Rose // No adjustment is necessary. 462da56438SJordan Rose break; 472da56438SJordan Rose } 484f7df9beSJordan Rose 494f7df9beSJordan Rose return ResultTy; 504f7df9beSJordan Rose } 514f7df9beSJordan Rose 524f7df9beSJordan Rose static bool isCallbackArg(SVal V, QualType T) { 534f7df9beSJordan Rose // If the parameter is 0, it's harmless. 544f7df9beSJordan Rose if (V.isZeroConstant()) 554f7df9beSJordan Rose return false; 564f7df9beSJordan Rose 574f7df9beSJordan Rose // If a parameter is a block or a callback, assume it can modify pointer. 584f7df9beSJordan Rose if (T->isBlockPointerType() || 594f7df9beSJordan Rose T->isFunctionPointerType() || 604f7df9beSJordan Rose T->isObjCSelType()) 614f7df9beSJordan Rose return true; 624f7df9beSJordan Rose 634f7df9beSJordan Rose // Check if a callback is passed inside a struct (for both, struct passed by 644f7df9beSJordan Rose // reference and by value). Dig just one level into the struct for now. 654f7df9beSJordan Rose 66d1a08b6eSJordan Rose if (T->isAnyPointerType() || T->isReferenceType()) 674f7df9beSJordan Rose T = T->getPointeeType(); 684f7df9beSJordan Rose 694f7df9beSJordan Rose if (const RecordType *RT = T->getAsStructureType()) { 704f7df9beSJordan Rose const RecordDecl *RD = RT->getDecl(); 714f7df9beSJordan Rose for (RecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end(); 724f7df9beSJordan Rose I != E; ++I) { 734f7df9beSJordan Rose QualType FieldT = I->getType(); 744f7df9beSJordan Rose if (FieldT->isBlockPointerType() || FieldT->isFunctionPointerType()) 754f7df9beSJordan Rose return true; 764f7df9beSJordan Rose } 774f7df9beSJordan Rose } 784f7df9beSJordan Rose 794f7df9beSJordan Rose return false; 804f7df9beSJordan Rose } 814f7df9beSJordan Rose 824f7df9beSJordan Rose bool CallEvent::hasNonZeroCallbackArg() const { 834f7df9beSJordan Rose unsigned NumOfArgs = getNumArgs(); 844f7df9beSJordan Rose 854f7df9beSJordan Rose // If calling using a function pointer, assume the function does not 864f7df9beSJordan Rose // have a callback. TODO: We could check the types of the arguments here. 874f7df9beSJordan Rose if (!getDecl()) 884f7df9beSJordan Rose return false; 894f7df9beSJordan Rose 904f7df9beSJordan Rose unsigned Idx = 0; 914f7df9beSJordan Rose for (CallEvent::param_type_iterator I = param_type_begin(), 924f7df9beSJordan Rose E = param_type_end(); 934f7df9beSJordan Rose I != E && Idx < NumOfArgs; ++I, ++Idx) { 944f7df9beSJordan Rose if (NumOfArgs <= Idx) 954f7df9beSJordan Rose break; 964f7df9beSJordan Rose 974f7df9beSJordan Rose if (isCallbackArg(getArgSVal(Idx), *I)) 984f7df9beSJordan Rose return true; 994f7df9beSJordan Rose } 1004f7df9beSJordan Rose 1014f7df9beSJordan Rose return false; 1024f7df9beSJordan Rose } 1034f7df9beSJordan Rose 104829c3831SJordan Rose bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { 105829c3831SJordan Rose const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(getDecl()); 106829c3831SJordan Rose if (!FD) 107829c3831SJordan Rose return false; 108829c3831SJordan Rose 109829c3831SJordan Rose return CheckerContext::isCLibraryFunction(FD, FunctionName); 110829c3831SJordan Rose } 111829c3831SJordan Rose 1124f7df9beSJordan Rose /// \brief Returns true if a type is a pointer-to-const or reference-to-const 1134f7df9beSJordan Rose /// with no further indirection. 1144f7df9beSJordan Rose static bool isPointerToConst(QualType Ty) { 1154f7df9beSJordan Rose QualType PointeeTy = Ty->getPointeeType(); 1164f7df9beSJordan Rose if (PointeeTy == QualType()) 1174f7df9beSJordan Rose return false; 1184f7df9beSJordan Rose if (!PointeeTy.isConstQualified()) 1194f7df9beSJordan Rose return false; 1204f7df9beSJordan Rose if (PointeeTy->isAnyPointerType()) 1214f7df9beSJordan Rose return false; 1224f7df9beSJordan Rose return true; 1234f7df9beSJordan Rose } 1244f7df9beSJordan Rose 1254f7df9beSJordan Rose // Try to retrieve the function declaration and find the function parameter 1264f7df9beSJordan Rose // types which are pointers/references to a non-pointer const. 1274f7df9beSJordan Rose // We will not invalidate the corresponding argument regions. 1284f7df9beSJordan Rose static void findPtrToConstParams(llvm::SmallSet<unsigned, 1> &PreserveArgs, 1294f7df9beSJordan Rose const CallEvent &Call) { 1304f7df9beSJordan Rose unsigned Idx = 0; 1314f7df9beSJordan Rose for (CallEvent::param_type_iterator I = Call.param_type_begin(), 1324f7df9beSJordan Rose E = Call.param_type_end(); 1334f7df9beSJordan Rose I != E; ++I, ++Idx) { 1344f7df9beSJordan Rose if (isPointerToConst(*I)) 1354f7df9beSJordan Rose PreserveArgs.insert(Idx); 1364f7df9beSJordan Rose } 1374f7df9beSJordan Rose } 1384f7df9beSJordan Rose 1394f7df9beSJordan Rose ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, 1404f7df9beSJordan Rose ProgramStateRef Orig) const { 1414f7df9beSJordan Rose ProgramStateRef Result = (Orig ? Orig : getState()); 1424f7df9beSJordan Rose 1434f7df9beSJordan Rose SmallVector<const MemRegion *, 8> RegionsToInvalidate; 1444f7df9beSJordan Rose getExtraInvalidatedRegions(RegionsToInvalidate); 1454f7df9beSJordan Rose 1464f7df9beSJordan Rose // Indexes of arguments whose values will be preserved by the call. 1474f7df9beSJordan Rose llvm::SmallSet<unsigned, 1> PreserveArgs; 1484f7df9beSJordan Rose if (!argumentsMayEscape()) 1494f7df9beSJordan Rose findPtrToConstParams(PreserveArgs, *this); 1504f7df9beSJordan Rose 1514f7df9beSJordan Rose for (unsigned Idx = 0, Count = getNumArgs(); Idx != Count; ++Idx) { 1524f7df9beSJordan Rose if (PreserveArgs.count(Idx)) 1534f7df9beSJordan Rose continue; 1544f7df9beSJordan Rose 1554f7df9beSJordan Rose SVal V = getArgSVal(Idx); 1564f7df9beSJordan Rose 1574f7df9beSJordan Rose // If we are passing a location wrapped as an integer, unwrap it and 1584f7df9beSJordan Rose // invalidate the values referred by the location. 159*2fdacbc5SDavid Blaikie if (llvm::Optional<nonloc::LocAsInteger> Wrapped = 160*2fdacbc5SDavid Blaikie V.getAs<nonloc::LocAsInteger>()) 1614f7df9beSJordan Rose V = Wrapped->getLoc(); 162*2fdacbc5SDavid Blaikie else if (!V.getAs<Loc>()) 1634f7df9beSJordan Rose continue; 1644f7df9beSJordan Rose 1654f7df9beSJordan Rose if (const MemRegion *R = V.getAsRegion()) { 1664f7df9beSJordan Rose // Invalidate the value of the variable passed by reference. 1674f7df9beSJordan Rose 1684f7df9beSJordan Rose // Are we dealing with an ElementRegion? If the element type is 1694f7df9beSJordan Rose // a basic integer type (e.g., char, int) and the underlying region 1704f7df9beSJordan Rose // is a variable region then strip off the ElementRegion. 1714f7df9beSJordan Rose // FIXME: We really need to think about this for the general case 1724f7df9beSJordan Rose // as sometimes we are reasoning about arrays and other times 1734f7df9beSJordan Rose // about (char*), etc., is just a form of passing raw bytes. 1744f7df9beSJordan Rose // e.g., void *p = alloca(); foo((char*)p); 1754f7df9beSJordan Rose if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { 1764f7df9beSJordan Rose // Checking for 'integral type' is probably too promiscuous, but 1774f7df9beSJordan Rose // we'll leave it in for now until we have a systematic way of 1784f7df9beSJordan Rose // handling all of these cases. Eventually we need to come up 1794f7df9beSJordan Rose // with an interface to StoreManager so that this logic can be 1804f7df9beSJordan Rose // appropriately delegated to the respective StoreManagers while 1814f7df9beSJordan Rose // still allowing us to do checker-specific logic (e.g., 1824f7df9beSJordan Rose // invalidating reference counts), probably via callbacks. 1834f7df9beSJordan Rose if (ER->getElementType()->isIntegralOrEnumerationType()) { 1844f7df9beSJordan Rose const MemRegion *superReg = ER->getSuperRegion(); 1854f7df9beSJordan Rose if (isa<VarRegion>(superReg) || isa<FieldRegion>(superReg) || 1864f7df9beSJordan Rose isa<ObjCIvarRegion>(superReg)) 1874f7df9beSJordan Rose R = cast<TypedRegion>(superReg); 1884f7df9beSJordan Rose } 1894f7df9beSJordan Rose // FIXME: What about layers of ElementRegions? 1904f7df9beSJordan Rose } 1914f7df9beSJordan Rose 1924f7df9beSJordan Rose // Mark this region for invalidation. We batch invalidate regions 1934f7df9beSJordan Rose // below for efficiency. 1944f7df9beSJordan Rose RegionsToInvalidate.push_back(R); 1954f7df9beSJordan Rose } 1964f7df9beSJordan Rose } 1974f7df9beSJordan Rose 1984f7df9beSJordan Rose // Invalidate designated regions using the batch invalidation API. 1994f7df9beSJordan Rose // NOTE: Even if RegionsToInvalidate is empty, we may still invalidate 2004f7df9beSJordan Rose // global variables. 2014f7df9beSJordan Rose return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(), 2024f7df9beSJordan Rose BlockCount, getLocationContext(), 2039747febbSAnna Zaks /*CausedByPointerEscape*/ true, 2044f7df9beSJordan Rose /*Symbols=*/0, this); 2054f7df9beSJordan Rose } 2064f7df9beSJordan Rose 2074f7df9beSJordan Rose ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, 2084f7df9beSJordan Rose const ProgramPointTag *Tag) const { 2094f7df9beSJordan Rose if (const Expr *E = getOriginExpr()) { 2104f7df9beSJordan Rose if (IsPreVisit) 2114f7df9beSJordan Rose return PreStmt(E, getLocationContext(), Tag); 2124f7df9beSJordan Rose return PostStmt(E, getLocationContext(), Tag); 2134f7df9beSJordan Rose } 2144f7df9beSJordan Rose 2154f7df9beSJordan Rose const Decl *D = getDecl(); 2164f7df9beSJordan Rose assert(D && "Cannot get a program point without a statement or decl"); 2174f7df9beSJordan Rose 2184f7df9beSJordan Rose SourceLocation Loc = getSourceRange().getBegin(); 2194f7df9beSJordan Rose if (IsPreVisit) 2204f7df9beSJordan Rose return PreImplicitCall(D, Loc, getLocationContext(), Tag); 2214f7df9beSJordan Rose return PostImplicitCall(D, Loc, getLocationContext(), Tag); 2224f7df9beSJordan Rose } 2234f7df9beSJordan Rose 22472ce8e2dSJordan Rose SVal CallEvent::getArgSVal(unsigned Index) const { 22572ce8e2dSJordan Rose const Expr *ArgE = getArgExpr(Index); 22672ce8e2dSJordan Rose if (!ArgE) 22772ce8e2dSJordan Rose return UnknownVal(); 22872ce8e2dSJordan Rose return getSVal(ArgE); 22972ce8e2dSJordan Rose } 23072ce8e2dSJordan Rose 23172ce8e2dSJordan Rose SourceRange CallEvent::getArgSourceRange(unsigned Index) const { 23272ce8e2dSJordan Rose const Expr *ArgE = getArgExpr(Index); 23372ce8e2dSJordan Rose if (!ArgE) 23472ce8e2dSJordan Rose return SourceRange(); 23572ce8e2dSJordan Rose return ArgE->getSourceRange(); 23672ce8e2dSJordan Rose } 23772ce8e2dSJordan Rose 238829c3831SJordan Rose SVal CallEvent::getReturnValue() const { 239829c3831SJordan Rose const Expr *E = getOriginExpr(); 240829c3831SJordan Rose if (!E) 241829c3831SJordan Rose return UndefinedVal(); 242829c3831SJordan Rose return getSVal(E); 243829c3831SJordan Rose } 244829c3831SJordan Rose 2459299d8c2SBenjamin Kramer void CallEvent::dump() const { 2469299d8c2SBenjamin Kramer dump(llvm::errs()); 2479299d8c2SBenjamin Kramer } 2489299d8c2SBenjamin Kramer 24972ce8e2dSJordan Rose void CallEvent::dump(raw_ostream &Out) const { 25072ce8e2dSJordan Rose ASTContext &Ctx = getState()->getStateManager().getContext(); 25172ce8e2dSJordan Rose if (const Expr *E = getOriginExpr()) { 252235341bcSRichard Smith E->printPretty(Out, 0, Ctx.getPrintingPolicy()); 25372ce8e2dSJordan Rose Out << "\n"; 25472ce8e2dSJordan Rose return; 25572ce8e2dSJordan Rose } 25672ce8e2dSJordan Rose 25772ce8e2dSJordan Rose if (const Decl *D = getDecl()) { 25872ce8e2dSJordan Rose Out << "Call to "; 25972ce8e2dSJordan Rose D->print(Out, Ctx.getPrintingPolicy()); 26072ce8e2dSJordan Rose return; 26172ce8e2dSJordan Rose } 26272ce8e2dSJordan Rose 26372ce8e2dSJordan Rose // FIXME: a string representation of the kind would be nice. 26472ce8e2dSJordan Rose Out << "Unknown call (type " << getKind() << ")"; 26572ce8e2dSJordan Rose } 26672ce8e2dSJordan Rose 2674f7df9beSJordan Rose 268e537cc05SJordan Rose bool CallEvent::isCallStmt(const Stmt *S) { 26972ce8e2dSJordan Rose return isa<CallExpr>(S) || isa<ObjCMessageExpr>(S) 270e537cc05SJordan Rose || isa<CXXConstructExpr>(S) 271e537cc05SJordan Rose || isa<CXXNewExpr>(S); 2724f7df9beSJordan Rose } 2734f7df9beSJordan Rose 2745d2964e7SAnna Zaks /// \brief Returns the result type, adjusted for references. 2755d2964e7SAnna Zaks QualType CallEvent::getDeclaredResultType(const Decl *D) { 2765d2964e7SAnna Zaks assert(D); 2775d2964e7SAnna Zaks if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D)) 2785d2964e7SAnna Zaks return FD->getResultType(); 2795d2964e7SAnna Zaks else if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D)) 2805d2964e7SAnna Zaks return MD->getResultType(); 2815d2964e7SAnna Zaks return QualType(); 2825d2964e7SAnna Zaks } 2835d2964e7SAnna Zaks 28442e8d649SJordan Rose static void addParameterValuesToBindings(const StackFrameContext *CalleeCtx, 28542e8d649SJordan Rose CallEvent::BindingsTy &Bindings, 28642e8d649SJordan Rose SValBuilder &SVB, 28742e8d649SJordan Rose const CallEvent &Call, 28842e8d649SJordan Rose CallEvent::param_iterator I, 28942e8d649SJordan Rose CallEvent::param_iterator E) { 29042e8d649SJordan Rose MemRegionManager &MRMgr = SVB.getRegionManager(); 2914f7df9beSJordan Rose 29242e8d649SJordan Rose unsigned Idx = 0; 29342e8d649SJordan Rose for (; I != E; ++I, ++Idx) { 29442e8d649SJordan Rose const ParmVarDecl *ParamDecl = *I; 29542e8d649SJordan Rose assert(ParamDecl && "Formal parameter has no decl?"); 2964f7df9beSJordan Rose 29742e8d649SJordan Rose SVal ArgVal = Call.getArgSVal(Idx); 29842e8d649SJordan Rose if (!ArgVal.isUnknown()) { 29942e8d649SJordan Rose Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); 30042e8d649SJordan Rose Bindings.push_back(std::make_pair(ParamLoc, ArgVal)); 30142e8d649SJordan Rose } 3024f7df9beSJordan Rose } 3034f7df9beSJordan Rose 30442e8d649SJordan Rose // FIXME: Variadic arguments are not handled at all right now. 30542e8d649SJordan Rose } 30642e8d649SJordan Rose 30742e8d649SJordan Rose 30842e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_begin() const { 30942e8d649SJordan Rose const FunctionDecl *D = getDecl(); 3104f7df9beSJordan Rose if (!D) 3114f7df9beSJordan Rose return 0; 3124f7df9beSJordan Rose 31342e8d649SJordan Rose return D->param_begin(); 31442e8d649SJordan Rose } 31542e8d649SJordan Rose 31642e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_end() const { 31742e8d649SJordan Rose const FunctionDecl *D = getDecl(); 31842e8d649SJordan Rose if (!D) 31942e8d649SJordan Rose return 0; 32042e8d649SJordan Rose 32142e8d649SJordan Rose return D->param_end(); 32242e8d649SJordan Rose } 32342e8d649SJordan Rose 32442e8d649SJordan Rose void AnyFunctionCall::getInitialStackFrameContents( 32542e8d649SJordan Rose const StackFrameContext *CalleeCtx, 32642e8d649SJordan Rose BindingsTy &Bindings) const { 32742e8d649SJordan Rose const FunctionDecl *D = cast<FunctionDecl>(CalleeCtx->getDecl()); 32842e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 32942e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 33042e8d649SJordan Rose D->param_begin(), D->param_end()); 3314f7df9beSJordan Rose } 3324f7df9beSJordan Rose 3334f7df9beSJordan Rose bool AnyFunctionCall::argumentsMayEscape() const { 3344f7df9beSJordan Rose if (hasNonZeroCallbackArg()) 3354f7df9beSJordan Rose return true; 3364f7df9beSJordan Rose 3374f7df9beSJordan Rose const FunctionDecl *D = getDecl(); 3384f7df9beSJordan Rose if (!D) 3394f7df9beSJordan Rose return true; 3404f7df9beSJordan Rose 3414f7df9beSJordan Rose const IdentifierInfo *II = D->getIdentifier(); 3424f7df9beSJordan Rose if (!II) 3437bd0674dSAnna Zaks return false; 3444f7df9beSJordan Rose 3454f7df9beSJordan Rose // This set of "escaping" APIs is 3464f7df9beSJordan Rose 3474f7df9beSJordan Rose // - 'int pthread_setspecific(ptheread_key k, const void *)' stores a 3484f7df9beSJordan Rose // value into thread local storage. The value can later be retrieved with 3494f7df9beSJordan Rose // 'void *ptheread_getspecific(pthread_key)'. So even thought the 3504f7df9beSJordan Rose // parameter is 'const void *', the region escapes through the call. 3514f7df9beSJordan Rose if (II->isStr("pthread_setspecific")) 3524f7df9beSJordan Rose return true; 3534f7df9beSJordan Rose 3544f7df9beSJordan Rose // - xpc_connection_set_context stores a value which can be retrieved later 3554f7df9beSJordan Rose // with xpc_connection_get_context. 3564f7df9beSJordan Rose if (II->isStr("xpc_connection_set_context")) 3574f7df9beSJordan Rose return true; 3584f7df9beSJordan Rose 3594f7df9beSJordan Rose // - funopen - sets a buffer for future IO calls. 3604f7df9beSJordan Rose if (II->isStr("funopen")) 3614f7df9beSJordan Rose return true; 3624f7df9beSJordan Rose 3634f7df9beSJordan Rose StringRef FName = II->getName(); 3644f7df9beSJordan Rose 3654f7df9beSJordan Rose // - CoreFoundation functions that end with "NoCopy" can free a passed-in 3664f7df9beSJordan Rose // buffer even if it is const. 3674f7df9beSJordan Rose if (FName.endswith("NoCopy")) 3684f7df9beSJordan Rose return true; 3694f7df9beSJordan Rose 3704f7df9beSJordan Rose // - NSXXInsertXX, for example NSMapInsertIfAbsent, since they can 3714f7df9beSJordan Rose // be deallocated by NSMapRemove. 3724f7df9beSJordan Rose if (FName.startswith("NS") && (FName.find("Insert") != StringRef::npos)) 3734f7df9beSJordan Rose return true; 3744f7df9beSJordan Rose 3754f7df9beSJordan Rose // - Many CF containers allow objects to escape through custom 3764f7df9beSJordan Rose // allocators/deallocators upon container construction. (PR12101) 3774f7df9beSJordan Rose if (FName.startswith("CF") || FName.startswith("CG")) { 3784f7df9beSJordan Rose return StrInStrNoCase(FName, "InsertValue") != StringRef::npos || 3794f7df9beSJordan Rose StrInStrNoCase(FName, "AddValue") != StringRef::npos || 3804f7df9beSJordan Rose StrInStrNoCase(FName, "SetValue") != StringRef::npos || 3814f7df9beSJordan Rose StrInStrNoCase(FName, "WithData") != StringRef::npos || 3824f7df9beSJordan Rose StrInStrNoCase(FName, "AppendValue") != StringRef::npos || 3834f7df9beSJordan Rose StrInStrNoCase(FName, "SetAttribute") != StringRef::npos; 3844f7df9beSJordan Rose } 3854f7df9beSJordan Rose 3864f7df9beSJordan Rose return false; 3874f7df9beSJordan Rose } 3884f7df9beSJordan Rose 3894f7df9beSJordan Rose 3904f7df9beSJordan Rose const FunctionDecl *SimpleCall::getDecl() const { 3914f7df9beSJordan Rose const FunctionDecl *D = getOriginExpr()->getDirectCallee(); 3924f7df9beSJordan Rose if (D) 3934f7df9beSJordan Rose return D; 3944f7df9beSJordan Rose 3954f7df9beSJordan Rose return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); 3964f7df9beSJordan Rose } 3974f7df9beSJordan Rose 3984f7df9beSJordan Rose 399ce6c99a5SJordan Rose const FunctionDecl *CXXInstanceCall::getDecl() const { 400ce6c99a5SJordan Rose const CallExpr *CE = cast_or_null<CallExpr>(getOriginExpr()); 401ce6c99a5SJordan Rose if (!CE) 402ce6c99a5SJordan Rose return AnyFunctionCall::getDecl(); 403ce6c99a5SJordan Rose 404ce6c99a5SJordan Rose const FunctionDecl *D = CE->getDirectCallee(); 405ce6c99a5SJordan Rose if (D) 406ce6c99a5SJordan Rose return D; 407ce6c99a5SJordan Rose 408ce6c99a5SJordan Rose return getSVal(CE->getCallee()).getAsFunctionDecl(); 409ce6c99a5SJordan Rose } 410ce6c99a5SJordan Rose 4114f7df9beSJordan Rose void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const { 4124f7df9beSJordan Rose if (const MemRegion *R = getCXXThisVal().getAsRegion()) 4134f7df9beSJordan Rose Regions.push_back(R); 4144f7df9beSJordan Rose } 4154f7df9beSJordan Rose 416fcdda361SJordan Rose SVal CXXInstanceCall::getCXXThisVal() const { 417fcdda361SJordan Rose const Expr *Base = getCXXThisExpr(); 418fcdda361SJordan Rose // FIXME: This doesn't handle an overloaded ->* operator. 419fcdda361SJordan Rose if (!Base) 420fcdda361SJordan Rose return UnknownVal(); 421fcdda361SJordan Rose 422fcdda361SJordan Rose SVal ThisVal = getSVal(Base); 423*2fdacbc5SDavid Blaikie assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>()); 424fcdda361SJordan Rose return ThisVal; 425fcdda361SJordan Rose } 426fcdda361SJordan Rose 4274f7df9beSJordan Rose 428089c5510STed Kremenek RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { 4290f6d63beSJordan Rose // Do we have a decl at all? 43051bcb226SJordan Rose const Decl *D = getDecl(); 4314f7df9beSJordan Rose if (!D) 432123af098SAnna Zaks return RuntimeDefinition(); 4334f7df9beSJordan Rose 4340f6d63beSJordan Rose // If the method is non-virtual, we know we can inline it. 4354f7df9beSJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(D); 4364f7df9beSJordan Rose if (!MD->isVirtual()) 437089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 4384f7df9beSJordan Rose 4390f6d63beSJordan Rose // Do we know the implicit 'this' object being called? 4400f6d63beSJordan Rose const MemRegion *R = getCXXThisVal().getAsRegion(); 4410f6d63beSJordan Rose if (!R) 442123af098SAnna Zaks return RuntimeDefinition(); 4430f6d63beSJordan Rose 4440f6d63beSJordan Rose // Do we know anything about the type of 'this'? 4450f6d63beSJordan Rose DynamicTypeInfo DynType = getState()->getDynamicTypeInfo(R); 4460f6d63beSJordan Rose if (!DynType.isValid()) 4470f6d63beSJordan Rose return RuntimeDefinition(); 4480f6d63beSJordan Rose 4490f6d63beSJordan Rose // Is the type a C++ class? (This is mostly a defensive check.) 4500f6d63beSJordan Rose QualType RegionType = DynType.getType()->getPointeeType(); 451d1a08b6eSJordan Rose assert(!RegionType.isNull() && "DynamicTypeInfo should always be a pointer."); 452d1a08b6eSJordan Rose 4530f6d63beSJordan Rose const CXXRecordDecl *RD = RegionType->getAsCXXRecordDecl(); 45499107208SJordan Rose if (!RD || !RD->hasDefinition()) 4550f6d63beSJordan Rose return RuntimeDefinition(); 4560f6d63beSJordan Rose 45799c6c2b4SJordan Rose // Find the decl for this method in that class. 45899c6c2b4SJordan Rose const CXXMethodDecl *Result = MD->getCorrespondingMethodInClass(RD, true); 45981456d9fSJordan Rose if (!Result) { 46081456d9fSJordan Rose // We might not even get the original statically-resolved method due to 46181456d9fSJordan Rose // some particularly nasty casting (e.g. casts to sister classes). 46281456d9fSJordan Rose // However, we should at least be able to search up and down our own class 46381456d9fSJordan Rose // hierarchy, and some real bugs have been caught by checking this. 46481456d9fSJordan Rose assert(!RD->isDerivedFrom(MD->getParent()) && "Couldn't find known method"); 465d44977efSJordan Rose 466d44977efSJordan Rose // FIXME: This is checking that our DynamicTypeInfo is at least as good as 467d44977efSJordan Rose // the static type. However, because we currently don't update 468d44977efSJordan Rose // DynamicTypeInfo when an object is cast, we can't actually be sure the 469d44977efSJordan Rose // DynamicTypeInfo is up to date. This assert should be re-enabled once 470d44977efSJordan Rose // this is fixed. <rdar://problem/12287087> 471d44977efSJordan Rose //assert(!MD->getParent()->isDerivedFrom(RD) && "Bad DynamicTypeInfo"); 472d44977efSJordan Rose 47381456d9fSJordan Rose return RuntimeDefinition(); 47481456d9fSJordan Rose } 4750f6d63beSJordan Rose 4760f6d63beSJordan Rose // Does the decl that we found have an implementation? 4770f6d63beSJordan Rose const FunctionDecl *Definition; 4780f6d63beSJordan Rose if (!Result->hasBody(Definition)) 4790f6d63beSJordan Rose return RuntimeDefinition(); 4800f6d63beSJordan Rose 4810f6d63beSJordan Rose // We found a definition. If we're not sure that this devirtualization is 4820f6d63beSJordan Rose // actually what will happen at runtime, make sure to provide the region so 4830f6d63beSJordan Rose // that ExprEngine can decide what to do with it. 4840f6d63beSJordan Rose if (DynType.canBeASubClass()) 4850f6d63beSJordan Rose return RuntimeDefinition(Definition, R->StripCasts()); 4860f6d63beSJordan Rose return RuntimeDefinition(Definition, /*DispatchRegion=*/0); 4874f7df9beSJordan Rose } 4884f7df9beSJordan Rose 48942e8d649SJordan Rose void CXXInstanceCall::getInitialStackFrameContents( 49042e8d649SJordan Rose const StackFrameContext *CalleeCtx, 49142e8d649SJordan Rose BindingsTy &Bindings) const { 49242e8d649SJordan Rose AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings); 49342e8d649SJordan Rose 49402e5309bSJordan Rose // Handle the binding of 'this' in the new stack frame. 49542e8d649SJordan Rose SVal ThisVal = getCXXThisVal(); 49642e8d649SJordan Rose if (!ThisVal.isUnknown()) { 49702e5309bSJordan Rose ProgramStateManager &StateMgr = getState()->getStateManager(); 49802e5309bSJordan Rose SValBuilder &SVB = StateMgr.getSValBuilder(); 49902e5309bSJordan Rose 50042e8d649SJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 50142e8d649SJordan Rose Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 50202e5309bSJordan Rose 50331c3fa9cSJordan Rose // If we devirtualized to a different member function, we need to make sure 50431c3fa9cSJordan Rose // we have the proper layering of CXXBaseObjectRegions. 50531c3fa9cSJordan Rose if (MD->getCanonicalDecl() != getDecl()->getCanonicalDecl()) { 506710f6b12SJordan Rose ASTContext &Ctx = SVB.getContext(); 50702e5309bSJordan Rose const CXXRecordDecl *Class = MD->getParent(); 508710f6b12SJordan Rose QualType Ty = Ctx.getPointerType(Ctx.getRecordType(Class)); 50902e5309bSJordan Rose 510710f6b12SJordan Rose // FIXME: CallEvent maybe shouldn't be directly accessing StoreManager. 511710f6b12SJordan Rose bool Failed; 512710f6b12SJordan Rose ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); 513710f6b12SJordan Rose assert(!Failed && "Calling an incorrectly devirtualized method"); 51402e5309bSJordan Rose } 51502e5309bSJordan Rose 51631c3fa9cSJordan Rose if (!ThisVal.isUnknown()) 51742e8d649SJordan Rose Bindings.push_back(std::make_pair(ThisLoc, ThisVal)); 51842e8d649SJordan Rose } 51942e8d649SJordan Rose } 52042e8d649SJordan Rose 52142e8d649SJordan Rose 5224f7df9beSJordan Rose 52392e1449bSJordan Rose const Expr *CXXMemberCall::getCXXThisExpr() const { 52492e1449bSJordan Rose return getOriginExpr()->getImplicitObjectArgument(); 5254f7df9beSJordan Rose } 5264f7df9beSJordan Rose 527089c5510STed Kremenek RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { 52812f669e3SJordan Rose // C++11 [expr.call]p1: ...If the selected function is non-virtual, or if the 52912f669e3SJordan Rose // id-expression in the class member access expression is a qualified-id, 53012f669e3SJordan Rose // that function is called. Otherwise, its final overrider in the dynamic type 53112f669e3SJordan Rose // of the object expression is called. 53212f669e3SJordan Rose if (const MemberExpr *ME = dyn_cast<MemberExpr>(getOriginExpr()->getCallee())) 53312f669e3SJordan Rose if (ME->hasQualifier()) 534089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 53512f669e3SJordan Rose 536089c5510STed Kremenek return CXXInstanceCall::getRuntimeDefinition(); 53712f669e3SJordan Rose } 53812f669e3SJordan Rose 5394f7df9beSJordan Rose 54092e1449bSJordan Rose const Expr *CXXMemberOperatorCall::getCXXThisExpr() const { 54192e1449bSJordan Rose return getOriginExpr()->getArg(0); 5424f7df9beSJordan Rose } 5434f7df9beSJordan Rose 5444f7df9beSJordan Rose 5454f7df9beSJordan Rose const BlockDataRegion *BlockCall::getBlockRegion() const { 5464f7df9beSJordan Rose const Expr *Callee = getOriginExpr()->getCallee(); 5474f7df9beSJordan Rose const MemRegion *DataReg = getSVal(Callee).getAsRegion(); 5484f7df9beSJordan Rose 5494f7df9beSJordan Rose return dyn_cast_or_null<BlockDataRegion>(DataReg); 5504f7df9beSJordan Rose } 5514f7df9beSJordan Rose 55242e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_begin() const { 5534f7df9beSJordan Rose const BlockDecl *D = getBlockDecl(); 5544f7df9beSJordan Rose if (!D) 5554f7df9beSJordan Rose return 0; 5564f7df9beSJordan Rose return D->param_begin(); 5574f7df9beSJordan Rose } 5584f7df9beSJordan Rose 55942e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_end() const { 5604f7df9beSJordan Rose const BlockDecl *D = getBlockDecl(); 5614f7df9beSJordan Rose if (!D) 5624f7df9beSJordan Rose return 0; 5634f7df9beSJordan Rose return D->param_end(); 5644f7df9beSJordan Rose } 5654f7df9beSJordan Rose 5664f7df9beSJordan Rose void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const { 5674f7df9beSJordan Rose // FIXME: This also needs to invalidate captured globals. 5684f7df9beSJordan Rose if (const MemRegion *R = getBlockRegion()) 5694f7df9beSJordan Rose Regions.push_back(R); 5704f7df9beSJordan Rose } 5714f7df9beSJordan Rose 57242e8d649SJordan Rose void BlockCall::getInitialStackFrameContents(const StackFrameContext *CalleeCtx, 57342e8d649SJordan Rose BindingsTy &Bindings) const { 57442e8d649SJordan Rose const BlockDecl *D = cast<BlockDecl>(CalleeCtx->getDecl()); 57542e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 57642e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 57742e8d649SJordan Rose D->param_begin(), D->param_end()); 57842e8d649SJordan Rose } 57942e8d649SJordan Rose 58042e8d649SJordan Rose 5814f7df9beSJordan Rose SVal CXXConstructorCall::getCXXThisVal() const { 5824f7df9beSJordan Rose if (Data) 5834f7df9beSJordan Rose return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); 5844f7df9beSJordan Rose return UnknownVal(); 5854f7df9beSJordan Rose } 5864f7df9beSJordan Rose 5874f7df9beSJordan Rose void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const { 5884f7df9beSJordan Rose if (Data) 5894f7df9beSJordan Rose Regions.push_back(static_cast<const MemRegion *>(Data)); 5904f7df9beSJordan Rose } 5914f7df9beSJordan Rose 59242e8d649SJordan Rose void CXXConstructorCall::getInitialStackFrameContents( 59342e8d649SJordan Rose const StackFrameContext *CalleeCtx, 59442e8d649SJordan Rose BindingsTy &Bindings) const { 59542e8d649SJordan Rose AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings); 59642e8d649SJordan Rose 59742e8d649SJordan Rose SVal ThisVal = getCXXThisVal(); 59842e8d649SJordan Rose if (!ThisVal.isUnknown()) { 59942e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 60042e8d649SJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 60142e8d649SJordan Rose Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 60242e8d649SJordan Rose Bindings.push_back(std::make_pair(ThisLoc, ThisVal)); 60342e8d649SJordan Rose } 60442e8d649SJordan Rose } 60542e8d649SJordan Rose 60642e8d649SJordan Rose 6074f7df9beSJordan Rose 6084f7df9beSJordan Rose SVal CXXDestructorCall::getCXXThisVal() const { 6094f7df9beSJordan Rose if (Data) 6102bc9674bSJordan Rose return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); 6114f7df9beSJordan Rose return UnknownVal(); 6124f7df9beSJordan Rose } 6134f7df9beSJordan Rose 614089c5510STed Kremenek RuntimeDefinition CXXDestructorCall::getRuntimeDefinition() const { 6152bc9674bSJordan Rose // Base destructors are always called non-virtually. 6162bc9674bSJordan Rose // Skip CXXInstanceCall's devirtualization logic in this case. 6172bc9674bSJordan Rose if (isBaseDestructor()) 618089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 6192bc9674bSJordan Rose 620089c5510STed Kremenek return CXXInstanceCall::getRuntimeDefinition(); 6212bc9674bSJordan Rose } 6222bc9674bSJordan Rose 62342e8d649SJordan Rose 62442e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_begin() const { 62542e8d649SJordan Rose const ObjCMethodDecl *D = getDecl(); 6264f7df9beSJordan Rose if (!D) 6274f7df9beSJordan Rose return 0; 6284f7df9beSJordan Rose 62942e8d649SJordan Rose return D->param_begin(); 63042e8d649SJordan Rose } 63142e8d649SJordan Rose 63242e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_end() const { 63342e8d649SJordan Rose const ObjCMethodDecl *D = getDecl(); 63442e8d649SJordan Rose if (!D) 63542e8d649SJordan Rose return 0; 63642e8d649SJordan Rose 63742e8d649SJordan Rose return D->param_end(); 6384f7df9beSJordan Rose } 6394f7df9beSJordan Rose 6404f7df9beSJordan Rose void 6414f7df9beSJordan Rose ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const { 6424f7df9beSJordan Rose if (const MemRegion *R = getReceiverSVal().getAsRegion()) 6434f7df9beSJordan Rose Regions.push_back(R); 6444f7df9beSJordan Rose } 6454f7df9beSJordan Rose 6463d5d3d3eSAnna Zaks SVal ObjCMethodCall::getSelfSVal() const { 6473d5d3d3eSAnna Zaks const LocationContext *LCtx = getLocationContext(); 6483d5d3d3eSAnna Zaks const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); 6493d5d3d3eSAnna Zaks if (!SelfDecl) 6503d5d3d3eSAnna Zaks return SVal(); 6513d5d3d3eSAnna Zaks return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 6523d5d3d3eSAnna Zaks } 6533d5d3d3eSAnna Zaks 6544f7df9beSJordan Rose SVal ObjCMethodCall::getReceiverSVal() const { 6554f7df9beSJordan Rose // FIXME: Is this the best way to handle class receivers? 6564f7df9beSJordan Rose if (!isInstanceMessage()) 6574f7df9beSJordan Rose return UnknownVal(); 6584f7df9beSJordan Rose 659472dbcf1SAnna Zaks if (const Expr *RecE = getOriginExpr()->getInstanceReceiver()) 660472dbcf1SAnna Zaks return getSVal(RecE); 6614f7df9beSJordan Rose 6624f7df9beSJordan Rose // An instance message with no expression means we are sending to super. 6634f7df9beSJordan Rose // In this case the object reference is the same as 'self'. 6643d5d3d3eSAnna Zaks assert(getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance); 6653d5d3d3eSAnna Zaks SVal SelfVal = getSelfSVal(); 6663d5d3d3eSAnna Zaks assert(SelfVal.isValid() && "Calling super but not in ObjC method"); 6673d5d3d3eSAnna Zaks return SelfVal; 6683d5d3d3eSAnna Zaks } 6693d5d3d3eSAnna Zaks 6703d5d3d3eSAnna Zaks bool ObjCMethodCall::isReceiverSelfOrSuper() const { 6713d5d3d3eSAnna Zaks if (getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance || 6723d5d3d3eSAnna Zaks getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperClass) 6733d5d3d3eSAnna Zaks return true; 6743d5d3d3eSAnna Zaks 6753d5d3d3eSAnna Zaks if (!isInstanceMessage()) 6763d5d3d3eSAnna Zaks return false; 6773d5d3d3eSAnna Zaks 6783d5d3d3eSAnna Zaks SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); 6793d5d3d3eSAnna Zaks 6803d5d3d3eSAnna Zaks return (RecVal == getSelfSVal()); 6814f7df9beSJordan Rose } 6824f7df9beSJordan Rose 6834f7df9beSJordan Rose SourceRange ObjCMethodCall::getSourceRange() const { 6844f7df9beSJordan Rose switch (getMessageKind()) { 6854f7df9beSJordan Rose case OCM_Message: 6864f7df9beSJordan Rose return getOriginExpr()->getSourceRange(); 6874f7df9beSJordan Rose case OCM_PropertyAccess: 6884f7df9beSJordan Rose case OCM_Subscript: 6894f7df9beSJordan Rose return getContainingPseudoObjectExpr()->getSourceRange(); 6904f7df9beSJordan Rose } 6914f7df9beSJordan Rose llvm_unreachable("unknown message kind"); 6924f7df9beSJordan Rose } 6934f7df9beSJordan Rose 6944f7df9beSJordan Rose typedef llvm::PointerIntPair<const PseudoObjectExpr *, 2> ObjCMessageDataTy; 6954f7df9beSJordan Rose 6964f7df9beSJordan Rose const PseudoObjectExpr *ObjCMethodCall::getContainingPseudoObjectExpr() const { 6974f7df9beSJordan Rose assert(Data != 0 && "Lazy lookup not yet performed."); 6984f7df9beSJordan Rose assert(getMessageKind() != OCM_Message && "Explicit message send."); 6994f7df9beSJordan Rose return ObjCMessageDataTy::getFromOpaqueValue(Data).getPointer(); 7004f7df9beSJordan Rose } 7014f7df9beSJordan Rose 7024f7df9beSJordan Rose ObjCMessageKind ObjCMethodCall::getMessageKind() const { 7034f7df9beSJordan Rose if (Data == 0) { 7044f7df9beSJordan Rose ParentMap &PM = getLocationContext()->getParentMap(); 7054f7df9beSJordan Rose const Stmt *S = PM.getParent(getOriginExpr()); 7064f7df9beSJordan Rose if (const PseudoObjectExpr *POE = dyn_cast_or_null<PseudoObjectExpr>(S)) { 7074f7df9beSJordan Rose const Expr *Syntactic = POE->getSyntacticForm(); 7084f7df9beSJordan Rose 7094f7df9beSJordan Rose // This handles the funny case of assigning to the result of a getter. 7104f7df9beSJordan Rose // This can happen if the getter returns a non-const reference. 7114f7df9beSJordan Rose if (const BinaryOperator *BO = dyn_cast<BinaryOperator>(Syntactic)) 7124f7df9beSJordan Rose Syntactic = BO->getLHS(); 7134f7df9beSJordan Rose 7144f7df9beSJordan Rose ObjCMessageKind K; 7154f7df9beSJordan Rose switch (Syntactic->getStmtClass()) { 7164f7df9beSJordan Rose case Stmt::ObjCPropertyRefExprClass: 7174f7df9beSJordan Rose K = OCM_PropertyAccess; 7184f7df9beSJordan Rose break; 7194f7df9beSJordan Rose case Stmt::ObjCSubscriptRefExprClass: 7204f7df9beSJordan Rose K = OCM_Subscript; 7214f7df9beSJordan Rose break; 7224f7df9beSJordan Rose default: 7234f7df9beSJordan Rose // FIXME: Can this ever happen? 7244f7df9beSJordan Rose K = OCM_Message; 7254f7df9beSJordan Rose break; 7264f7df9beSJordan Rose } 7274f7df9beSJordan Rose 7284f7df9beSJordan Rose if (K != OCM_Message) { 7294f7df9beSJordan Rose const_cast<ObjCMethodCall *>(this)->Data 7304f7df9beSJordan Rose = ObjCMessageDataTy(POE, K).getOpaqueValue(); 7314f7df9beSJordan Rose assert(getMessageKind() == K); 7324f7df9beSJordan Rose return K; 7334f7df9beSJordan Rose } 7344f7df9beSJordan Rose } 7354f7df9beSJordan Rose 7364f7df9beSJordan Rose const_cast<ObjCMethodCall *>(this)->Data 7374f7df9beSJordan Rose = ObjCMessageDataTy(0, 1).getOpaqueValue(); 7384f7df9beSJordan Rose assert(getMessageKind() == OCM_Message); 7394f7df9beSJordan Rose return OCM_Message; 7404f7df9beSJordan Rose } 7414f7df9beSJordan Rose 7424f7df9beSJordan Rose ObjCMessageDataTy Info = ObjCMessageDataTy::getFromOpaqueValue(Data); 7434f7df9beSJordan Rose if (!Info.getPointer()) 7444f7df9beSJordan Rose return OCM_Message; 7454f7df9beSJordan Rose return static_cast<ObjCMessageKind>(Info.getInt()); 7464f7df9beSJordan Rose } 7474f7df9beSJordan Rose 748920af014SAnna Zaks 749920af014SAnna Zaks bool ObjCMethodCall::canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl, 750920af014SAnna Zaks Selector Sel) const { 751920af014SAnna Zaks assert(IDecl); 752920af014SAnna Zaks const SourceManager &SM = 753920af014SAnna Zaks getState()->getStateManager().getContext().getSourceManager(); 754920af014SAnna Zaks 755920af014SAnna Zaks // If the class interface is declared inside the main file, assume it is not 756920af014SAnna Zaks // subcassed. 757920af014SAnna Zaks // TODO: It could actually be subclassed if the subclass is private as well. 758920af014SAnna Zaks // This is probably very rare. 759920af014SAnna Zaks SourceLocation InterfLoc = IDecl->getEndOfDefinitionLoc(); 760920af014SAnna Zaks if (InterfLoc.isValid() && SM.isFromMainFile(InterfLoc)) 761920af014SAnna Zaks return false; 762920af014SAnna Zaks 7636ddb6b1aSAnna Zaks // Assume that property accessors are not overridden. 7646ddb6b1aSAnna Zaks if (getMessageKind() == OCM_PropertyAccess) 7656ddb6b1aSAnna Zaks return false; 766920af014SAnna Zaks 767920af014SAnna Zaks // We assume that if the method is public (declared outside of main file) or 768920af014SAnna Zaks // has a parent which publicly declares the method, the method could be 769920af014SAnna Zaks // overridden in a subclass. 770920af014SAnna Zaks 771920af014SAnna Zaks // Find the first declaration in the class hierarchy that declares 772920af014SAnna Zaks // the selector. 773920af014SAnna Zaks ObjCMethodDecl *D = 0; 774920af014SAnna Zaks while (true) { 775920af014SAnna Zaks D = IDecl->lookupMethod(Sel, true); 776920af014SAnna Zaks 777920af014SAnna Zaks // Cannot find a public definition. 778920af014SAnna Zaks if (!D) 779920af014SAnna Zaks return false; 780920af014SAnna Zaks 781920af014SAnna Zaks // If outside the main file, 782920af014SAnna Zaks if (D->getLocation().isValid() && !SM.isFromMainFile(D->getLocation())) 783920af014SAnna Zaks return true; 784920af014SAnna Zaks 785920af014SAnna Zaks if (D->isOverriding()) { 786920af014SAnna Zaks // Search in the superclass on the next iteration. 787920af014SAnna Zaks IDecl = D->getClassInterface(); 788920af014SAnna Zaks if (!IDecl) 789920af014SAnna Zaks return false; 790920af014SAnna Zaks 791920af014SAnna Zaks IDecl = IDecl->getSuperClass(); 792920af014SAnna Zaks if (!IDecl) 793920af014SAnna Zaks return false; 794920af014SAnna Zaks 795920af014SAnna Zaks continue; 796920af014SAnna Zaks } 797920af014SAnna Zaks 798920af014SAnna Zaks return false; 799920af014SAnna Zaks }; 800920af014SAnna Zaks 801920af014SAnna Zaks llvm_unreachable("The while loop should always terminate."); 802920af014SAnna Zaks } 803920af014SAnna Zaks 804089c5510STed Kremenek RuntimeDefinition ObjCMethodCall::getRuntimeDefinition() const { 80563282aefSAnna Zaks const ObjCMessageExpr *E = getOriginExpr(); 80663282aefSAnna Zaks assert(E); 8075808eb80SAnna Zaks Selector Sel = E->getSelector(); 8084f7df9beSJordan Rose 80963282aefSAnna Zaks if (E->isInstanceMessage()) { 8105808eb80SAnna Zaks 8115808eb80SAnna Zaks // Find the the receiver type. 8125808eb80SAnna Zaks const ObjCObjectPointerType *ReceiverT = 0; 81375f49a9cSAnna Zaks bool CanBeSubClassed = false; 8145808eb80SAnna Zaks QualType SupersType = E->getSuperType(); 815123af098SAnna Zaks const MemRegion *Receiver = 0; 816123af098SAnna Zaks 8175808eb80SAnna Zaks if (!SupersType.isNull()) { 818123af098SAnna Zaks // Super always means the type of immediate predecessor to the method 819123af098SAnna Zaks // where the call occurs. 82075930b65SAnna Zaks ReceiverT = cast<ObjCObjectPointerType>(SupersType); 8215808eb80SAnna Zaks } else { 822123af098SAnna Zaks Receiver = getReceiverSVal().getAsRegion(); 8236a97d92eSJordan Rose if (!Receiver) 824123af098SAnna Zaks return RuntimeDefinition(); 8256a97d92eSJordan Rose 82675f49a9cSAnna Zaks DynamicTypeInfo DTI = getState()->getDynamicTypeInfo(Receiver); 82775f49a9cSAnna Zaks QualType DynType = DTI.getType(); 82875f49a9cSAnna Zaks CanBeSubClassed = DTI.canBeASubClass(); 82975930b65SAnna Zaks ReceiverT = dyn_cast<ObjCObjectPointerType>(DynType); 83075f49a9cSAnna Zaks 83175f49a9cSAnna Zaks if (ReceiverT && CanBeSubClassed) 83275f49a9cSAnna Zaks if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) 83375f49a9cSAnna Zaks if (!canBeOverridenInSubclass(IDecl, Sel)) 83475f49a9cSAnna Zaks CanBeSubClassed = false; 8354f7df9beSJordan Rose } 8364f7df9beSJordan Rose 8375808eb80SAnna Zaks // Lookup the method implementation. 8385808eb80SAnna Zaks if (ReceiverT) 839920af014SAnna Zaks if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) { 840245e45afSTed Kremenek // Repeatedly calling lookupPrivateMethod() is expensive, especially 841245e45afSTed Kremenek // when in many cases it returns null. We cache the results so 842245e45afSTed Kremenek // that repeated queries on the same ObjCIntefaceDecl and Selector 843245e45afSTed Kremenek // don't incur the same cost. On some test cases, we can see the 844245e45afSTed Kremenek // same query being issued thousands of times. 845245e45afSTed Kremenek // 846245e45afSTed Kremenek // NOTE: This cache is essentially a "global" variable, but it 847245e45afSTed Kremenek // only gets lazily created when we get here. The value of the 848245e45afSTed Kremenek // cache probably comes from it being global across ExprEngines, 849245e45afSTed Kremenek // where the same queries may get issued. If we are worried about 850245e45afSTed Kremenek // concurrency, or possibly loading/unloading ASTs, etc., we may 851245e45afSTed Kremenek // need to revisit this someday. In terms of memory, this table 852245e45afSTed Kremenek // stays around until clang quits, which also may be bad if we 853245e45afSTed Kremenek // need to release memory. 854245e45afSTed Kremenek typedef std::pair<const ObjCInterfaceDecl*, Selector> 855245e45afSTed Kremenek PrivateMethodKey; 856245e45afSTed Kremenek typedef llvm::DenseMap<PrivateMethodKey, 857245e45afSTed Kremenek llvm::Optional<const ObjCMethodDecl *> > 858245e45afSTed Kremenek PrivateMethodCache; 859245e45afSTed Kremenek 860245e45afSTed Kremenek static PrivateMethodCache PMC; 861245e45afSTed Kremenek llvm::Optional<const ObjCMethodDecl *> &Val = 862245e45afSTed Kremenek PMC[std::make_pair(IDecl, Sel)]; 863245e45afSTed Kremenek 864245e45afSTed Kremenek // Query lookupPrivateMethod() if the cache does not hit. 865245e45afSTed Kremenek if (!Val.hasValue()) 866245e45afSTed Kremenek Val = IDecl->lookupPrivateMethod(Sel); 867245e45afSTed Kremenek 868245e45afSTed Kremenek const ObjCMethodDecl *MD = Val.getValue(); 86975f49a9cSAnna Zaks if (CanBeSubClassed) 87075f49a9cSAnna Zaks return RuntimeDefinition(MD, Receiver); 871920af014SAnna Zaks else 87275f49a9cSAnna Zaks return RuntimeDefinition(MD, 0); 873920af014SAnna Zaks } 8745808eb80SAnna Zaks 87563282aefSAnna Zaks } else { 87663282aefSAnna Zaks // This is a class method. 87763282aefSAnna Zaks // If we have type info for the receiver class, we are calling via 87863282aefSAnna Zaks // class name. 87963282aefSAnna Zaks if (ObjCInterfaceDecl *IDecl = E->getReceiverInterface()) { 88063282aefSAnna Zaks // Find/Return the method implementation. 88185383182SAnna Zaks return RuntimeDefinition(IDecl->lookupPrivateClassMethod(Sel)); 8824f7df9beSJordan Rose } 88363282aefSAnna Zaks } 88463282aefSAnna Zaks 885123af098SAnna Zaks return RuntimeDefinition(); 8864f7df9beSJordan Rose } 8874f7df9beSJordan Rose 88842e8d649SJordan Rose void ObjCMethodCall::getInitialStackFrameContents( 88942e8d649SJordan Rose const StackFrameContext *CalleeCtx, 89042e8d649SJordan Rose BindingsTy &Bindings) const { 89142e8d649SJordan Rose const ObjCMethodDecl *D = cast<ObjCMethodDecl>(CalleeCtx->getDecl()); 89242e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 89342e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 89442e8d649SJordan Rose D->param_begin(), D->param_end()); 89542e8d649SJordan Rose 89642e8d649SJordan Rose SVal SelfVal = getReceiverSVal(); 89742e8d649SJordan Rose if (!SelfVal.isUnknown()) { 89842e8d649SJordan Rose const VarDecl *SelfD = CalleeCtx->getAnalysisDeclContext()->getSelfDecl(); 89942e8d649SJordan Rose MemRegionManager &MRMgr = SVB.getRegionManager(); 90042e8d649SJordan Rose Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); 90142e8d649SJordan Rose Bindings.push_back(std::make_pair(SelfLoc, SelfVal)); 90242e8d649SJordan Rose } 90342e8d649SJordan Rose } 90442e8d649SJordan Rose 905ce6c99a5SJordan Rose CallEventRef<> 906fcd016e5SJordan Rose CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State, 907fcd016e5SJordan Rose const LocationContext *LCtx) { 908fcd016e5SJordan Rose if (const CXXMemberCallExpr *MCE = dyn_cast<CXXMemberCallExpr>(CE)) 909fcd016e5SJordan Rose return create<CXXMemberCall>(MCE, State, LCtx); 910fcd016e5SJordan Rose 911fcd016e5SJordan Rose if (const CXXOperatorCallExpr *OpCE = dyn_cast<CXXOperatorCallExpr>(CE)) { 912fcd016e5SJordan Rose const FunctionDecl *DirectCallee = OpCE->getDirectCallee(); 913fcd016e5SJordan Rose if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(DirectCallee)) 914fcd016e5SJordan Rose if (MD->isInstance()) 915fcd016e5SJordan Rose return create<CXXMemberOperatorCall>(OpCE, State, LCtx); 916fcd016e5SJordan Rose 917fcd016e5SJordan Rose } else if (CE->getCallee()->getType()->isBlockPointerType()) { 918fcd016e5SJordan Rose return create<BlockCall>(CE, State, LCtx); 919fcd016e5SJordan Rose } 920fcd016e5SJordan Rose 921fcd016e5SJordan Rose // Otherwise, it's a normal function call, static member function call, or 922fcd016e5SJordan Rose // something we can't reason about. 923fcd016e5SJordan Rose return create<FunctionCall>(CE, State, LCtx); 924fcd016e5SJordan Rose } 925c2d249ceSJordan Rose 926c2d249ceSJordan Rose 927c2d249ceSJordan Rose CallEventRef<> 928c2d249ceSJordan Rose CallEventManager::getCaller(const StackFrameContext *CalleeCtx, 929c2d249ceSJordan Rose ProgramStateRef State) { 930c2d249ceSJordan Rose const LocationContext *ParentCtx = CalleeCtx->getParent(); 931c2d249ceSJordan Rose const LocationContext *CallerCtx = ParentCtx->getCurrentStackFrame(); 932c2d249ceSJordan Rose assert(CallerCtx && "This should not be used for top-level stack frames"); 933c2d249ceSJordan Rose 934c2d249ceSJordan Rose const Stmt *CallSite = CalleeCtx->getCallSite(); 935c2d249ceSJordan Rose 936c2d249ceSJordan Rose if (CallSite) { 937c2d249ceSJordan Rose if (const CallExpr *CE = dyn_cast<CallExpr>(CallSite)) 938c2d249ceSJordan Rose return getSimpleCall(CE, State, CallerCtx); 939c2d249ceSJordan Rose 940c2d249ceSJordan Rose switch (CallSite->getStmtClass()) { 9418d48938bSJordan Rose case Stmt::CXXConstructExprClass: 9428d48938bSJordan Rose case Stmt::CXXTemporaryObjectExprClass: { 943c2d249ceSJordan Rose SValBuilder &SVB = State->getStateManager().getSValBuilder(); 944c2d249ceSJordan Rose const CXXMethodDecl *Ctor = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 945c2d249ceSJordan Rose Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); 946c2d249ceSJordan Rose SVal ThisVal = State->getSVal(ThisPtr); 947c2d249ceSJordan Rose 948c2d249ceSJordan Rose return getCXXConstructorCall(cast<CXXConstructExpr>(CallSite), 949c2d249ceSJordan Rose ThisVal.getAsRegion(), State, CallerCtx); 950c2d249ceSJordan Rose } 951c2d249ceSJordan Rose case Stmt::CXXNewExprClass: 952c2d249ceSJordan Rose return getCXXAllocatorCall(cast<CXXNewExpr>(CallSite), State, CallerCtx); 953c2d249ceSJordan Rose case Stmt::ObjCMessageExprClass: 954c2d249ceSJordan Rose return getObjCMethodCall(cast<ObjCMessageExpr>(CallSite), 955c2d249ceSJordan Rose State, CallerCtx); 956c2d249ceSJordan Rose default: 957c2d249ceSJordan Rose llvm_unreachable("This is not an inlineable statement."); 958c2d249ceSJordan Rose } 959c2d249ceSJordan Rose } 960c2d249ceSJordan Rose 961c2d249ceSJordan Rose // Fall back to the CFG. The only thing we haven't handled yet is 962c2d249ceSJordan Rose // destructors, though this could change in the future. 963c2d249ceSJordan Rose const CFGBlock *B = CalleeCtx->getCallSiteBlock(); 964c2d249ceSJordan Rose CFGElement E = (*B)[CalleeCtx->getIndex()]; 965c2d249ceSJordan Rose assert(isa<CFGImplicitDtor>(E) && "All other CFG elements should have exprs"); 966c2d249ceSJordan Rose assert(!isa<CFGTemporaryDtor>(E) && "We don't handle temporaries yet"); 967c2d249ceSJordan Rose 968c2d249ceSJordan Rose SValBuilder &SVB = State->getStateManager().getSValBuilder(); 969c2d249ceSJordan Rose const CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(CalleeCtx->getDecl()); 970c2d249ceSJordan Rose Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx); 971c2d249ceSJordan Rose SVal ThisVal = State->getSVal(ThisPtr); 972c2d249ceSJordan Rose 973c2d249ceSJordan Rose const Stmt *Trigger; 974c2d249ceSJordan Rose if (const CFGAutomaticObjDtor *AutoDtor = dyn_cast<CFGAutomaticObjDtor>(&E)) 975c2d249ceSJordan Rose Trigger = AutoDtor->getTriggerStmt(); 976c2d249ceSJordan Rose else 977c2d249ceSJordan Rose Trigger = Dtor->getBody(); 978c2d249ceSJordan Rose 979c2d249ceSJordan Rose return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), 9802bc9674bSJordan Rose isa<CFGBaseDtor>(E), State, CallerCtx); 981c2d249ceSJordan Rose } 982