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" 17829c3831SJordan Rose #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 184f7df9beSJordan Rose #include "clang/Analysis/ProgramPoint.h" 194f7df9beSJordan Rose #include "clang/AST/ParentMap.h" 204f7df9beSJordan Rose #include "llvm/ADT/SmallSet.h" 214f7df9beSJordan Rose #include "llvm/ADT/StringExtras.h" 22*444a1304SBenjamin 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. 1594f7df9beSJordan Rose if (nonloc::LocAsInteger *Wrapped = dyn_cast<nonloc::LocAsInteger>(&V)) 1604f7df9beSJordan Rose V = Wrapped->getLoc(); 1614f7df9beSJordan Rose else if (!isa<Loc>(V)) 1624f7df9beSJordan Rose continue; 1634f7df9beSJordan Rose 1644f7df9beSJordan Rose if (const MemRegion *R = V.getAsRegion()) { 1654f7df9beSJordan Rose // Invalidate the value of the variable passed by reference. 1664f7df9beSJordan Rose 1674f7df9beSJordan Rose // Are we dealing with an ElementRegion? If the element type is 1684f7df9beSJordan Rose // a basic integer type (e.g., char, int) and the underlying region 1694f7df9beSJordan Rose // is a variable region then strip off the ElementRegion. 1704f7df9beSJordan Rose // FIXME: We really need to think about this for the general case 1714f7df9beSJordan Rose // as sometimes we are reasoning about arrays and other times 1724f7df9beSJordan Rose // about (char*), etc., is just a form of passing raw bytes. 1734f7df9beSJordan Rose // e.g., void *p = alloca(); foo((char*)p); 1744f7df9beSJordan Rose if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { 1754f7df9beSJordan Rose // Checking for 'integral type' is probably too promiscuous, but 1764f7df9beSJordan Rose // we'll leave it in for now until we have a systematic way of 1774f7df9beSJordan Rose // handling all of these cases. Eventually we need to come up 1784f7df9beSJordan Rose // with an interface to StoreManager so that this logic can be 1794f7df9beSJordan Rose // appropriately delegated to the respective StoreManagers while 1804f7df9beSJordan Rose // still allowing us to do checker-specific logic (e.g., 1814f7df9beSJordan Rose // invalidating reference counts), probably via callbacks. 1824f7df9beSJordan Rose if (ER->getElementType()->isIntegralOrEnumerationType()) { 1834f7df9beSJordan Rose const MemRegion *superReg = ER->getSuperRegion(); 1844f7df9beSJordan Rose if (isa<VarRegion>(superReg) || isa<FieldRegion>(superReg) || 1854f7df9beSJordan Rose isa<ObjCIvarRegion>(superReg)) 1864f7df9beSJordan Rose R = cast<TypedRegion>(superReg); 1874f7df9beSJordan Rose } 1884f7df9beSJordan Rose // FIXME: What about layers of ElementRegions? 1894f7df9beSJordan Rose } 1904f7df9beSJordan Rose 1914f7df9beSJordan Rose // Mark this region for invalidation. We batch invalidate regions 1924f7df9beSJordan Rose // below for efficiency. 1934f7df9beSJordan Rose RegionsToInvalidate.push_back(R); 1944f7df9beSJordan Rose } 1954f7df9beSJordan Rose } 1964f7df9beSJordan Rose 1974f7df9beSJordan Rose // Invalidate designated regions using the batch invalidation API. 1984f7df9beSJordan Rose // NOTE: Even if RegionsToInvalidate is empty, we may still invalidate 1994f7df9beSJordan Rose // global variables. 2004f7df9beSJordan Rose return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(), 2014f7df9beSJordan Rose BlockCount, getLocationContext(), 2024f7df9beSJordan Rose /*Symbols=*/0, this); 2034f7df9beSJordan Rose } 2044f7df9beSJordan Rose 2054f7df9beSJordan Rose ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, 2064f7df9beSJordan Rose const ProgramPointTag *Tag) const { 2074f7df9beSJordan Rose if (const Expr *E = getOriginExpr()) { 2084f7df9beSJordan Rose if (IsPreVisit) 2094f7df9beSJordan Rose return PreStmt(E, getLocationContext(), Tag); 2104f7df9beSJordan Rose return PostStmt(E, getLocationContext(), Tag); 2114f7df9beSJordan Rose } 2124f7df9beSJordan Rose 2134f7df9beSJordan Rose const Decl *D = getDecl(); 2144f7df9beSJordan Rose assert(D && "Cannot get a program point without a statement or decl"); 2154f7df9beSJordan Rose 2164f7df9beSJordan Rose SourceLocation Loc = getSourceRange().getBegin(); 2174f7df9beSJordan Rose if (IsPreVisit) 2184f7df9beSJordan Rose return PreImplicitCall(D, Loc, getLocationContext(), Tag); 2194f7df9beSJordan Rose return PostImplicitCall(D, Loc, getLocationContext(), Tag); 2204f7df9beSJordan Rose } 2214f7df9beSJordan Rose 22272ce8e2dSJordan Rose SVal CallEvent::getArgSVal(unsigned Index) const { 22372ce8e2dSJordan Rose const Expr *ArgE = getArgExpr(Index); 22472ce8e2dSJordan Rose if (!ArgE) 22572ce8e2dSJordan Rose return UnknownVal(); 22672ce8e2dSJordan Rose return getSVal(ArgE); 22772ce8e2dSJordan Rose } 22872ce8e2dSJordan Rose 22972ce8e2dSJordan Rose SourceRange CallEvent::getArgSourceRange(unsigned Index) const { 23072ce8e2dSJordan Rose const Expr *ArgE = getArgExpr(Index); 23172ce8e2dSJordan Rose if (!ArgE) 23272ce8e2dSJordan Rose return SourceRange(); 23372ce8e2dSJordan Rose return ArgE->getSourceRange(); 23472ce8e2dSJordan Rose } 23572ce8e2dSJordan Rose 236829c3831SJordan Rose SVal CallEvent::getReturnValue() const { 237829c3831SJordan Rose const Expr *E = getOriginExpr(); 238829c3831SJordan Rose if (!E) 239829c3831SJordan Rose return UndefinedVal(); 240829c3831SJordan Rose return getSVal(E); 241829c3831SJordan Rose } 242829c3831SJordan Rose 2439299d8c2SBenjamin Kramer void CallEvent::dump() const { 2449299d8c2SBenjamin Kramer dump(llvm::errs()); 2459299d8c2SBenjamin Kramer } 2469299d8c2SBenjamin Kramer 24772ce8e2dSJordan Rose void CallEvent::dump(raw_ostream &Out) const { 24872ce8e2dSJordan Rose ASTContext &Ctx = getState()->getStateManager().getContext(); 24972ce8e2dSJordan Rose if (const Expr *E = getOriginExpr()) { 250235341bcSRichard Smith E->printPretty(Out, 0, Ctx.getPrintingPolicy()); 25172ce8e2dSJordan Rose Out << "\n"; 25272ce8e2dSJordan Rose return; 25372ce8e2dSJordan Rose } 25472ce8e2dSJordan Rose 25572ce8e2dSJordan Rose if (const Decl *D = getDecl()) { 25672ce8e2dSJordan Rose Out << "Call to "; 25772ce8e2dSJordan Rose D->print(Out, Ctx.getPrintingPolicy()); 25872ce8e2dSJordan Rose return; 25972ce8e2dSJordan Rose } 26072ce8e2dSJordan Rose 26172ce8e2dSJordan Rose // FIXME: a string representation of the kind would be nice. 26272ce8e2dSJordan Rose Out << "Unknown call (type " << getKind() << ")"; 26372ce8e2dSJordan Rose } 26472ce8e2dSJordan Rose 2654f7df9beSJordan Rose 266e537cc05SJordan Rose bool CallEvent::isCallStmt(const Stmt *S) { 26772ce8e2dSJordan Rose return isa<CallExpr>(S) || isa<ObjCMessageExpr>(S) 268e537cc05SJordan Rose || isa<CXXConstructExpr>(S) 269e537cc05SJordan Rose || isa<CXXNewExpr>(S); 2704f7df9beSJordan Rose } 2714f7df9beSJordan Rose 2725d2964e7SAnna Zaks /// \brief Returns the result type, adjusted for references. 2735d2964e7SAnna Zaks QualType CallEvent::getDeclaredResultType(const Decl *D) { 2745d2964e7SAnna Zaks assert(D); 2755d2964e7SAnna Zaks if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D)) 2765d2964e7SAnna Zaks return FD->getResultType(); 2775d2964e7SAnna Zaks else if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D)) 2785d2964e7SAnna Zaks return MD->getResultType(); 2795d2964e7SAnna Zaks return QualType(); 2805d2964e7SAnna Zaks } 2815d2964e7SAnna Zaks 28242e8d649SJordan Rose static void addParameterValuesToBindings(const StackFrameContext *CalleeCtx, 28342e8d649SJordan Rose CallEvent::BindingsTy &Bindings, 28442e8d649SJordan Rose SValBuilder &SVB, 28542e8d649SJordan Rose const CallEvent &Call, 28642e8d649SJordan Rose CallEvent::param_iterator I, 28742e8d649SJordan Rose CallEvent::param_iterator E) { 28842e8d649SJordan Rose MemRegionManager &MRMgr = SVB.getRegionManager(); 2894f7df9beSJordan Rose 29042e8d649SJordan Rose unsigned Idx = 0; 29142e8d649SJordan Rose for (; I != E; ++I, ++Idx) { 29242e8d649SJordan Rose const ParmVarDecl *ParamDecl = *I; 29342e8d649SJordan Rose assert(ParamDecl && "Formal parameter has no decl?"); 2944f7df9beSJordan Rose 29542e8d649SJordan Rose SVal ArgVal = Call.getArgSVal(Idx); 29642e8d649SJordan Rose if (!ArgVal.isUnknown()) { 29742e8d649SJordan Rose Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); 29842e8d649SJordan Rose Bindings.push_back(std::make_pair(ParamLoc, ArgVal)); 29942e8d649SJordan Rose } 3004f7df9beSJordan Rose } 3014f7df9beSJordan Rose 30242e8d649SJordan Rose // FIXME: Variadic arguments are not handled at all right now. 30342e8d649SJordan Rose } 30442e8d649SJordan Rose 30542e8d649SJordan Rose 30642e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_begin() const { 30742e8d649SJordan Rose const FunctionDecl *D = getDecl(); 3084f7df9beSJordan Rose if (!D) 3094f7df9beSJordan Rose return 0; 3104f7df9beSJordan Rose 31142e8d649SJordan Rose return D->param_begin(); 31242e8d649SJordan Rose } 31342e8d649SJordan Rose 31442e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_end() const { 31542e8d649SJordan Rose const FunctionDecl *D = getDecl(); 31642e8d649SJordan Rose if (!D) 31742e8d649SJordan Rose return 0; 31842e8d649SJordan Rose 31942e8d649SJordan Rose return D->param_end(); 32042e8d649SJordan Rose } 32142e8d649SJordan Rose 32242e8d649SJordan Rose void AnyFunctionCall::getInitialStackFrameContents( 32342e8d649SJordan Rose const StackFrameContext *CalleeCtx, 32442e8d649SJordan Rose BindingsTy &Bindings) const { 32542e8d649SJordan Rose const FunctionDecl *D = cast<FunctionDecl>(CalleeCtx->getDecl()); 32642e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 32742e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 32842e8d649SJordan Rose D->param_begin(), D->param_end()); 3294f7df9beSJordan Rose } 3304f7df9beSJordan Rose 3314f7df9beSJordan Rose bool AnyFunctionCall::argumentsMayEscape() const { 3324f7df9beSJordan Rose if (hasNonZeroCallbackArg()) 3334f7df9beSJordan Rose return true; 3344f7df9beSJordan Rose 3354f7df9beSJordan Rose const FunctionDecl *D = getDecl(); 3364f7df9beSJordan Rose if (!D) 3374f7df9beSJordan Rose return true; 3384f7df9beSJordan Rose 3394f7df9beSJordan Rose const IdentifierInfo *II = D->getIdentifier(); 3404f7df9beSJordan Rose if (!II) 3417bd0674dSAnna Zaks return false; 3424f7df9beSJordan Rose 3434f7df9beSJordan Rose // This set of "escaping" APIs is 3444f7df9beSJordan Rose 3454f7df9beSJordan Rose // - 'int pthread_setspecific(ptheread_key k, const void *)' stores a 3464f7df9beSJordan Rose // value into thread local storage. The value can later be retrieved with 3474f7df9beSJordan Rose // 'void *ptheread_getspecific(pthread_key)'. So even thought the 3484f7df9beSJordan Rose // parameter is 'const void *', the region escapes through the call. 3494f7df9beSJordan Rose if (II->isStr("pthread_setspecific")) 3504f7df9beSJordan Rose return true; 3514f7df9beSJordan Rose 3524f7df9beSJordan Rose // - xpc_connection_set_context stores a value which can be retrieved later 3534f7df9beSJordan Rose // with xpc_connection_get_context. 3544f7df9beSJordan Rose if (II->isStr("xpc_connection_set_context")) 3554f7df9beSJordan Rose return true; 3564f7df9beSJordan Rose 3574f7df9beSJordan Rose // - funopen - sets a buffer for future IO calls. 3584f7df9beSJordan Rose if (II->isStr("funopen")) 3594f7df9beSJordan Rose return true; 3604f7df9beSJordan Rose 3614f7df9beSJordan Rose StringRef FName = II->getName(); 3624f7df9beSJordan Rose 3634f7df9beSJordan Rose // - CoreFoundation functions that end with "NoCopy" can free a passed-in 3644f7df9beSJordan Rose // buffer even if it is const. 3654f7df9beSJordan Rose if (FName.endswith("NoCopy")) 3664f7df9beSJordan Rose return true; 3674f7df9beSJordan Rose 3684f7df9beSJordan Rose // - NSXXInsertXX, for example NSMapInsertIfAbsent, since they can 3694f7df9beSJordan Rose // be deallocated by NSMapRemove. 3704f7df9beSJordan Rose if (FName.startswith("NS") && (FName.find("Insert") != StringRef::npos)) 3714f7df9beSJordan Rose return true; 3724f7df9beSJordan Rose 3734f7df9beSJordan Rose // - Many CF containers allow objects to escape through custom 3744f7df9beSJordan Rose // allocators/deallocators upon container construction. (PR12101) 3754f7df9beSJordan Rose if (FName.startswith("CF") || FName.startswith("CG")) { 3764f7df9beSJordan Rose return StrInStrNoCase(FName, "InsertValue") != StringRef::npos || 3774f7df9beSJordan Rose StrInStrNoCase(FName, "AddValue") != StringRef::npos || 3784f7df9beSJordan Rose StrInStrNoCase(FName, "SetValue") != StringRef::npos || 3794f7df9beSJordan Rose StrInStrNoCase(FName, "WithData") != StringRef::npos || 3804f7df9beSJordan Rose StrInStrNoCase(FName, "AppendValue") != StringRef::npos || 3814f7df9beSJordan Rose StrInStrNoCase(FName, "SetAttribute") != StringRef::npos; 3824f7df9beSJordan Rose } 3834f7df9beSJordan Rose 3844f7df9beSJordan Rose return false; 3854f7df9beSJordan Rose } 3864f7df9beSJordan Rose 3874f7df9beSJordan Rose 3884f7df9beSJordan Rose const FunctionDecl *SimpleCall::getDecl() const { 3894f7df9beSJordan Rose const FunctionDecl *D = getOriginExpr()->getDirectCallee(); 3904f7df9beSJordan Rose if (D) 3914f7df9beSJordan Rose return D; 3924f7df9beSJordan Rose 3934f7df9beSJordan Rose return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); 3944f7df9beSJordan Rose } 3954f7df9beSJordan Rose 3964f7df9beSJordan Rose 397ce6c99a5SJordan Rose const FunctionDecl *CXXInstanceCall::getDecl() const { 398ce6c99a5SJordan Rose const CallExpr *CE = cast_or_null<CallExpr>(getOriginExpr()); 399ce6c99a5SJordan Rose if (!CE) 400ce6c99a5SJordan Rose return AnyFunctionCall::getDecl(); 401ce6c99a5SJordan Rose 402ce6c99a5SJordan Rose const FunctionDecl *D = CE->getDirectCallee(); 403ce6c99a5SJordan Rose if (D) 404ce6c99a5SJordan Rose return D; 405ce6c99a5SJordan Rose 406ce6c99a5SJordan Rose return getSVal(CE->getCallee()).getAsFunctionDecl(); 407ce6c99a5SJordan Rose } 408ce6c99a5SJordan Rose 4094f7df9beSJordan Rose void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const { 4104f7df9beSJordan Rose if (const MemRegion *R = getCXXThisVal().getAsRegion()) 4114f7df9beSJordan Rose Regions.push_back(R); 4124f7df9beSJordan Rose } 4134f7df9beSJordan Rose 414fcdda361SJordan Rose SVal CXXInstanceCall::getCXXThisVal() const { 415fcdda361SJordan Rose const Expr *Base = getCXXThisExpr(); 416fcdda361SJordan Rose // FIXME: This doesn't handle an overloaded ->* operator. 417fcdda361SJordan Rose if (!Base) 418fcdda361SJordan Rose return UnknownVal(); 419fcdda361SJordan Rose 420fcdda361SJordan Rose SVal ThisVal = getSVal(Base); 42129fc261cSJordan Rose assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal)); 422fcdda361SJordan Rose return ThisVal; 423fcdda361SJordan Rose } 424fcdda361SJordan Rose 4254f7df9beSJordan Rose 426089c5510STed Kremenek RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { 4270f6d63beSJordan Rose // Do we have a decl at all? 42851bcb226SJordan Rose const Decl *D = getDecl(); 4294f7df9beSJordan Rose if (!D) 430123af098SAnna Zaks return RuntimeDefinition(); 4314f7df9beSJordan Rose 4320f6d63beSJordan Rose // If the method is non-virtual, we know we can inline it. 4334f7df9beSJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(D); 4344f7df9beSJordan Rose if (!MD->isVirtual()) 435089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 4364f7df9beSJordan Rose 4370f6d63beSJordan Rose // Do we know the implicit 'this' object being called? 4380f6d63beSJordan Rose const MemRegion *R = getCXXThisVal().getAsRegion(); 4390f6d63beSJordan Rose if (!R) 440123af098SAnna Zaks return RuntimeDefinition(); 4410f6d63beSJordan Rose 4420f6d63beSJordan Rose // Do we know anything about the type of 'this'? 4430f6d63beSJordan Rose DynamicTypeInfo DynType = getState()->getDynamicTypeInfo(R); 4440f6d63beSJordan Rose if (!DynType.isValid()) 4450f6d63beSJordan Rose return RuntimeDefinition(); 4460f6d63beSJordan Rose 4470f6d63beSJordan Rose // Is the type a C++ class? (This is mostly a defensive check.) 4480f6d63beSJordan Rose QualType RegionType = DynType.getType()->getPointeeType(); 449d1a08b6eSJordan Rose assert(!RegionType.isNull() && "DynamicTypeInfo should always be a pointer."); 450d1a08b6eSJordan Rose 4510f6d63beSJordan Rose const CXXRecordDecl *RD = RegionType->getAsCXXRecordDecl(); 45299107208SJordan Rose if (!RD || !RD->hasDefinition()) 4530f6d63beSJordan Rose return RuntimeDefinition(); 4540f6d63beSJordan Rose 45599c6c2b4SJordan Rose // Find the decl for this method in that class. 45699c6c2b4SJordan Rose const CXXMethodDecl *Result = MD->getCorrespondingMethodInClass(RD, true); 45781456d9fSJordan Rose if (!Result) { 45881456d9fSJordan Rose // We might not even get the original statically-resolved method due to 45981456d9fSJordan Rose // some particularly nasty casting (e.g. casts to sister classes). 46081456d9fSJordan Rose // However, we should at least be able to search up and down our own class 46181456d9fSJordan Rose // hierarchy, and some real bugs have been caught by checking this. 46281456d9fSJordan Rose assert(!RD->isDerivedFrom(MD->getParent()) && "Couldn't find known method"); 463d44977efSJordan Rose 464d44977efSJordan Rose // FIXME: This is checking that our DynamicTypeInfo is at least as good as 465d44977efSJordan Rose // the static type. However, because we currently don't update 466d44977efSJordan Rose // DynamicTypeInfo when an object is cast, we can't actually be sure the 467d44977efSJordan Rose // DynamicTypeInfo is up to date. This assert should be re-enabled once 468d44977efSJordan Rose // this is fixed. <rdar://problem/12287087> 469d44977efSJordan Rose //assert(!MD->getParent()->isDerivedFrom(RD) && "Bad DynamicTypeInfo"); 470d44977efSJordan Rose 47181456d9fSJordan Rose return RuntimeDefinition(); 47281456d9fSJordan Rose } 4730f6d63beSJordan Rose 4740f6d63beSJordan Rose // Does the decl that we found have an implementation? 4750f6d63beSJordan Rose const FunctionDecl *Definition; 4760f6d63beSJordan Rose if (!Result->hasBody(Definition)) 4770f6d63beSJordan Rose return RuntimeDefinition(); 4780f6d63beSJordan Rose 4790f6d63beSJordan Rose // We found a definition. If we're not sure that this devirtualization is 4800f6d63beSJordan Rose // actually what will happen at runtime, make sure to provide the region so 4810f6d63beSJordan Rose // that ExprEngine can decide what to do with it. 4820f6d63beSJordan Rose if (DynType.canBeASubClass()) 4830f6d63beSJordan Rose return RuntimeDefinition(Definition, R->StripCasts()); 4840f6d63beSJordan Rose return RuntimeDefinition(Definition, /*DispatchRegion=*/0); 4854f7df9beSJordan Rose } 4864f7df9beSJordan Rose 48742e8d649SJordan Rose void CXXInstanceCall::getInitialStackFrameContents( 48842e8d649SJordan Rose const StackFrameContext *CalleeCtx, 48942e8d649SJordan Rose BindingsTy &Bindings) const { 49042e8d649SJordan Rose AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings); 49142e8d649SJordan Rose 49202e5309bSJordan Rose // Handle the binding of 'this' in the new stack frame. 49342e8d649SJordan Rose SVal ThisVal = getCXXThisVal(); 49442e8d649SJordan Rose if (!ThisVal.isUnknown()) { 49502e5309bSJordan Rose ProgramStateManager &StateMgr = getState()->getStateManager(); 49602e5309bSJordan Rose SValBuilder &SVB = StateMgr.getSValBuilder(); 49702e5309bSJordan Rose 49842e8d649SJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 49942e8d649SJordan Rose Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 50002e5309bSJordan Rose 50131c3fa9cSJordan Rose // If we devirtualized to a different member function, we need to make sure 50231c3fa9cSJordan Rose // we have the proper layering of CXXBaseObjectRegions. 50331c3fa9cSJordan Rose if (MD->getCanonicalDecl() != getDecl()->getCanonicalDecl()) { 504710f6b12SJordan Rose ASTContext &Ctx = SVB.getContext(); 50502e5309bSJordan Rose const CXXRecordDecl *Class = MD->getParent(); 506710f6b12SJordan Rose QualType Ty = Ctx.getPointerType(Ctx.getRecordType(Class)); 50702e5309bSJordan Rose 508710f6b12SJordan Rose // FIXME: CallEvent maybe shouldn't be directly accessing StoreManager. 509710f6b12SJordan Rose bool Failed; 510710f6b12SJordan Rose ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); 511710f6b12SJordan Rose assert(!Failed && "Calling an incorrectly devirtualized method"); 51202e5309bSJordan Rose } 51302e5309bSJordan Rose 51431c3fa9cSJordan Rose if (!ThisVal.isUnknown()) 51542e8d649SJordan Rose Bindings.push_back(std::make_pair(ThisLoc, ThisVal)); 51642e8d649SJordan Rose } 51742e8d649SJordan Rose } 51842e8d649SJordan Rose 51942e8d649SJordan Rose 5204f7df9beSJordan Rose 52192e1449bSJordan Rose const Expr *CXXMemberCall::getCXXThisExpr() const { 52292e1449bSJordan Rose return getOriginExpr()->getImplicitObjectArgument(); 5234f7df9beSJordan Rose } 5244f7df9beSJordan Rose 525089c5510STed Kremenek RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { 52612f669e3SJordan Rose // C++11 [expr.call]p1: ...If the selected function is non-virtual, or if the 52712f669e3SJordan Rose // id-expression in the class member access expression is a qualified-id, 52812f669e3SJordan Rose // that function is called. Otherwise, its final overrider in the dynamic type 52912f669e3SJordan Rose // of the object expression is called. 53012f669e3SJordan Rose if (const MemberExpr *ME = dyn_cast<MemberExpr>(getOriginExpr()->getCallee())) 53112f669e3SJordan Rose if (ME->hasQualifier()) 532089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 53312f669e3SJordan Rose 534089c5510STed Kremenek return CXXInstanceCall::getRuntimeDefinition(); 53512f669e3SJordan Rose } 53612f669e3SJordan Rose 5374f7df9beSJordan Rose 53892e1449bSJordan Rose const Expr *CXXMemberOperatorCall::getCXXThisExpr() const { 53992e1449bSJordan Rose return getOriginExpr()->getArg(0); 5404f7df9beSJordan Rose } 5414f7df9beSJordan Rose 5424f7df9beSJordan Rose 5434f7df9beSJordan Rose const BlockDataRegion *BlockCall::getBlockRegion() const { 5444f7df9beSJordan Rose const Expr *Callee = getOriginExpr()->getCallee(); 5454f7df9beSJordan Rose const MemRegion *DataReg = getSVal(Callee).getAsRegion(); 5464f7df9beSJordan Rose 5474f7df9beSJordan Rose return dyn_cast_or_null<BlockDataRegion>(DataReg); 5484f7df9beSJordan Rose } 5494f7df9beSJordan Rose 55042e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_begin() const { 5514f7df9beSJordan Rose const BlockDecl *D = getBlockDecl(); 5524f7df9beSJordan Rose if (!D) 5534f7df9beSJordan Rose return 0; 5544f7df9beSJordan Rose return D->param_begin(); 5554f7df9beSJordan Rose } 5564f7df9beSJordan Rose 55742e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_end() const { 5584f7df9beSJordan Rose const BlockDecl *D = getBlockDecl(); 5594f7df9beSJordan Rose if (!D) 5604f7df9beSJordan Rose return 0; 5614f7df9beSJordan Rose return D->param_end(); 5624f7df9beSJordan Rose } 5634f7df9beSJordan Rose 5644f7df9beSJordan Rose void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const { 5654f7df9beSJordan Rose // FIXME: This also needs to invalidate captured globals. 5664f7df9beSJordan Rose if (const MemRegion *R = getBlockRegion()) 5674f7df9beSJordan Rose Regions.push_back(R); 5684f7df9beSJordan Rose } 5694f7df9beSJordan Rose 57042e8d649SJordan Rose void BlockCall::getInitialStackFrameContents(const StackFrameContext *CalleeCtx, 57142e8d649SJordan Rose BindingsTy &Bindings) const { 57242e8d649SJordan Rose const BlockDecl *D = cast<BlockDecl>(CalleeCtx->getDecl()); 57342e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 57442e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 57542e8d649SJordan Rose D->param_begin(), D->param_end()); 57642e8d649SJordan Rose } 57742e8d649SJordan Rose 57842e8d649SJordan Rose 5794f7df9beSJordan Rose SVal CXXConstructorCall::getCXXThisVal() const { 5804f7df9beSJordan Rose if (Data) 5814f7df9beSJordan Rose return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); 5824f7df9beSJordan Rose return UnknownVal(); 5834f7df9beSJordan Rose } 5844f7df9beSJordan Rose 5854f7df9beSJordan Rose void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const { 5864f7df9beSJordan Rose if (Data) 5874f7df9beSJordan Rose Regions.push_back(static_cast<const MemRegion *>(Data)); 5884f7df9beSJordan Rose } 5894f7df9beSJordan Rose 59042e8d649SJordan Rose void CXXConstructorCall::getInitialStackFrameContents( 59142e8d649SJordan Rose const StackFrameContext *CalleeCtx, 59242e8d649SJordan Rose BindingsTy &Bindings) const { 59342e8d649SJordan Rose AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings); 59442e8d649SJordan Rose 59542e8d649SJordan Rose SVal ThisVal = getCXXThisVal(); 59642e8d649SJordan Rose if (!ThisVal.isUnknown()) { 59742e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 59842e8d649SJordan Rose const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 59942e8d649SJordan Rose Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 60042e8d649SJordan Rose Bindings.push_back(std::make_pair(ThisLoc, ThisVal)); 60142e8d649SJordan Rose } 60242e8d649SJordan Rose } 60342e8d649SJordan Rose 60442e8d649SJordan Rose 6054f7df9beSJordan Rose 6064f7df9beSJordan Rose SVal CXXDestructorCall::getCXXThisVal() const { 6074f7df9beSJordan Rose if (Data) 6082bc9674bSJordan Rose return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); 6094f7df9beSJordan Rose return UnknownVal(); 6104f7df9beSJordan Rose } 6114f7df9beSJordan Rose 612089c5510STed Kremenek RuntimeDefinition CXXDestructorCall::getRuntimeDefinition() const { 6132bc9674bSJordan Rose // Base destructors are always called non-virtually. 6142bc9674bSJordan Rose // Skip CXXInstanceCall's devirtualization logic in this case. 6152bc9674bSJordan Rose if (isBaseDestructor()) 616089c5510STed Kremenek return AnyFunctionCall::getRuntimeDefinition(); 6172bc9674bSJordan Rose 618089c5510STed Kremenek return CXXInstanceCall::getRuntimeDefinition(); 6192bc9674bSJordan Rose } 6202bc9674bSJordan Rose 62142e8d649SJordan Rose 62242e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_begin() const { 62342e8d649SJordan Rose const ObjCMethodDecl *D = getDecl(); 6244f7df9beSJordan Rose if (!D) 6254f7df9beSJordan Rose return 0; 6264f7df9beSJordan Rose 62742e8d649SJordan Rose return D->param_begin(); 62842e8d649SJordan Rose } 62942e8d649SJordan Rose 63042e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_end() const { 63142e8d649SJordan Rose const ObjCMethodDecl *D = getDecl(); 63242e8d649SJordan Rose if (!D) 63342e8d649SJordan Rose return 0; 63442e8d649SJordan Rose 63542e8d649SJordan Rose return D->param_end(); 6364f7df9beSJordan Rose } 6374f7df9beSJordan Rose 6384f7df9beSJordan Rose void 6394f7df9beSJordan Rose ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const { 6404f7df9beSJordan Rose if (const MemRegion *R = getReceiverSVal().getAsRegion()) 6414f7df9beSJordan Rose Regions.push_back(R); 6424f7df9beSJordan Rose } 6434f7df9beSJordan Rose 6443d5d3d3eSAnna Zaks SVal ObjCMethodCall::getSelfSVal() const { 6453d5d3d3eSAnna Zaks const LocationContext *LCtx = getLocationContext(); 6463d5d3d3eSAnna Zaks const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); 6473d5d3d3eSAnna Zaks if (!SelfDecl) 6483d5d3d3eSAnna Zaks return SVal(); 6493d5d3d3eSAnna Zaks return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 6503d5d3d3eSAnna Zaks } 6513d5d3d3eSAnna Zaks 6524f7df9beSJordan Rose SVal ObjCMethodCall::getReceiverSVal() const { 6534f7df9beSJordan Rose // FIXME: Is this the best way to handle class receivers? 6544f7df9beSJordan Rose if (!isInstanceMessage()) 6554f7df9beSJordan Rose return UnknownVal(); 6564f7df9beSJordan Rose 657472dbcf1SAnna Zaks if (const Expr *RecE = getOriginExpr()->getInstanceReceiver()) 658472dbcf1SAnna Zaks return getSVal(RecE); 6594f7df9beSJordan Rose 6604f7df9beSJordan Rose // An instance message with no expression means we are sending to super. 6614f7df9beSJordan Rose // In this case the object reference is the same as 'self'. 6623d5d3d3eSAnna Zaks assert(getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance); 6633d5d3d3eSAnna Zaks SVal SelfVal = getSelfSVal(); 6643d5d3d3eSAnna Zaks assert(SelfVal.isValid() && "Calling super but not in ObjC method"); 6653d5d3d3eSAnna Zaks return SelfVal; 6663d5d3d3eSAnna Zaks } 6673d5d3d3eSAnna Zaks 6683d5d3d3eSAnna Zaks bool ObjCMethodCall::isReceiverSelfOrSuper() const { 6693d5d3d3eSAnna Zaks if (getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance || 6703d5d3d3eSAnna Zaks getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperClass) 6713d5d3d3eSAnna Zaks return true; 6723d5d3d3eSAnna Zaks 6733d5d3d3eSAnna Zaks if (!isInstanceMessage()) 6743d5d3d3eSAnna Zaks return false; 6753d5d3d3eSAnna Zaks 6763d5d3d3eSAnna Zaks SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); 6773d5d3d3eSAnna Zaks 6783d5d3d3eSAnna Zaks return (RecVal == getSelfSVal()); 6794f7df9beSJordan Rose } 6804f7df9beSJordan Rose 6814f7df9beSJordan Rose SourceRange ObjCMethodCall::getSourceRange() const { 6824f7df9beSJordan Rose switch (getMessageKind()) { 6834f7df9beSJordan Rose case OCM_Message: 6844f7df9beSJordan Rose return getOriginExpr()->getSourceRange(); 6854f7df9beSJordan Rose case OCM_PropertyAccess: 6864f7df9beSJordan Rose case OCM_Subscript: 6874f7df9beSJordan Rose return getContainingPseudoObjectExpr()->getSourceRange(); 6884f7df9beSJordan Rose } 6894f7df9beSJordan Rose llvm_unreachable("unknown message kind"); 6904f7df9beSJordan Rose } 6914f7df9beSJordan Rose 6924f7df9beSJordan Rose typedef llvm::PointerIntPair<const PseudoObjectExpr *, 2> ObjCMessageDataTy; 6934f7df9beSJordan Rose 6944f7df9beSJordan Rose const PseudoObjectExpr *ObjCMethodCall::getContainingPseudoObjectExpr() const { 6954f7df9beSJordan Rose assert(Data != 0 && "Lazy lookup not yet performed."); 6964f7df9beSJordan Rose assert(getMessageKind() != OCM_Message && "Explicit message send."); 6974f7df9beSJordan Rose return ObjCMessageDataTy::getFromOpaqueValue(Data).getPointer(); 6984f7df9beSJordan Rose } 6994f7df9beSJordan Rose 7004f7df9beSJordan Rose ObjCMessageKind ObjCMethodCall::getMessageKind() const { 7014f7df9beSJordan Rose if (Data == 0) { 7024f7df9beSJordan Rose ParentMap &PM = getLocationContext()->getParentMap(); 7034f7df9beSJordan Rose const Stmt *S = PM.getParent(getOriginExpr()); 7044f7df9beSJordan Rose if (const PseudoObjectExpr *POE = dyn_cast_or_null<PseudoObjectExpr>(S)) { 7054f7df9beSJordan Rose const Expr *Syntactic = POE->getSyntacticForm(); 7064f7df9beSJordan Rose 7074f7df9beSJordan Rose // This handles the funny case of assigning to the result of a getter. 7084f7df9beSJordan Rose // This can happen if the getter returns a non-const reference. 7094f7df9beSJordan Rose if (const BinaryOperator *BO = dyn_cast<BinaryOperator>(Syntactic)) 7104f7df9beSJordan Rose Syntactic = BO->getLHS(); 7114f7df9beSJordan Rose 7124f7df9beSJordan Rose ObjCMessageKind K; 7134f7df9beSJordan Rose switch (Syntactic->getStmtClass()) { 7144f7df9beSJordan Rose case Stmt::ObjCPropertyRefExprClass: 7154f7df9beSJordan Rose K = OCM_PropertyAccess; 7164f7df9beSJordan Rose break; 7174f7df9beSJordan Rose case Stmt::ObjCSubscriptRefExprClass: 7184f7df9beSJordan Rose K = OCM_Subscript; 7194f7df9beSJordan Rose break; 7204f7df9beSJordan Rose default: 7214f7df9beSJordan Rose // FIXME: Can this ever happen? 7224f7df9beSJordan Rose K = OCM_Message; 7234f7df9beSJordan Rose break; 7244f7df9beSJordan Rose } 7254f7df9beSJordan Rose 7264f7df9beSJordan Rose if (K != OCM_Message) { 7274f7df9beSJordan Rose const_cast<ObjCMethodCall *>(this)->Data 7284f7df9beSJordan Rose = ObjCMessageDataTy(POE, K).getOpaqueValue(); 7294f7df9beSJordan Rose assert(getMessageKind() == K); 7304f7df9beSJordan Rose return K; 7314f7df9beSJordan Rose } 7324f7df9beSJordan Rose } 7334f7df9beSJordan Rose 7344f7df9beSJordan Rose const_cast<ObjCMethodCall *>(this)->Data 7354f7df9beSJordan Rose = ObjCMessageDataTy(0, 1).getOpaqueValue(); 7364f7df9beSJordan Rose assert(getMessageKind() == OCM_Message); 7374f7df9beSJordan Rose return OCM_Message; 7384f7df9beSJordan Rose } 7394f7df9beSJordan Rose 7404f7df9beSJordan Rose ObjCMessageDataTy Info = ObjCMessageDataTy::getFromOpaqueValue(Data); 7414f7df9beSJordan Rose if (!Info.getPointer()) 7424f7df9beSJordan Rose return OCM_Message; 7434f7df9beSJordan Rose return static_cast<ObjCMessageKind>(Info.getInt()); 7444f7df9beSJordan Rose } 7454f7df9beSJordan Rose 746920af014SAnna Zaks 747920af014SAnna Zaks bool ObjCMethodCall::canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl, 748920af014SAnna Zaks Selector Sel) const { 749920af014SAnna Zaks assert(IDecl); 750920af014SAnna Zaks const SourceManager &SM = 751920af014SAnna Zaks getState()->getStateManager().getContext().getSourceManager(); 752920af014SAnna Zaks 753920af014SAnna Zaks // If the class interface is declared inside the main file, assume it is not 754920af014SAnna Zaks // subcassed. 755920af014SAnna Zaks // TODO: It could actually be subclassed if the subclass is private as well. 756920af014SAnna Zaks // This is probably very rare. 757920af014SAnna Zaks SourceLocation InterfLoc = IDecl->getEndOfDefinitionLoc(); 758920af014SAnna Zaks if (InterfLoc.isValid() && SM.isFromMainFile(InterfLoc)) 759920af014SAnna Zaks return false; 760920af014SAnna Zaks 7616ddb6b1aSAnna Zaks // Assume that property accessors are not overridden. 7626ddb6b1aSAnna Zaks if (getMessageKind() == OCM_PropertyAccess) 7636ddb6b1aSAnna Zaks return false; 764920af014SAnna Zaks 765920af014SAnna Zaks // We assume that if the method is public (declared outside of main file) or 766920af014SAnna Zaks // has a parent which publicly declares the method, the method could be 767920af014SAnna Zaks // overridden in a subclass. 768920af014SAnna Zaks 769920af014SAnna Zaks // Find the first declaration in the class hierarchy that declares 770920af014SAnna Zaks // the selector. 771920af014SAnna Zaks ObjCMethodDecl *D = 0; 772920af014SAnna Zaks while (true) { 773920af014SAnna Zaks D = IDecl->lookupMethod(Sel, true); 774920af014SAnna Zaks 775920af014SAnna Zaks // Cannot find a public definition. 776920af014SAnna Zaks if (!D) 777920af014SAnna Zaks return false; 778920af014SAnna Zaks 779920af014SAnna Zaks // If outside the main file, 780920af014SAnna Zaks if (D->getLocation().isValid() && !SM.isFromMainFile(D->getLocation())) 781920af014SAnna Zaks return true; 782920af014SAnna Zaks 783920af014SAnna Zaks if (D->isOverriding()) { 784920af014SAnna Zaks // Search in the superclass on the next iteration. 785920af014SAnna Zaks IDecl = D->getClassInterface(); 786920af014SAnna Zaks if (!IDecl) 787920af014SAnna Zaks return false; 788920af014SAnna Zaks 789920af014SAnna Zaks IDecl = IDecl->getSuperClass(); 790920af014SAnna Zaks if (!IDecl) 791920af014SAnna Zaks return false; 792920af014SAnna Zaks 793920af014SAnna Zaks continue; 794920af014SAnna Zaks } 795920af014SAnna Zaks 796920af014SAnna Zaks return false; 797920af014SAnna Zaks }; 798920af014SAnna Zaks 799920af014SAnna Zaks llvm_unreachable("The while loop should always terminate."); 800920af014SAnna Zaks } 801920af014SAnna Zaks 802089c5510STed Kremenek RuntimeDefinition ObjCMethodCall::getRuntimeDefinition() const { 80363282aefSAnna Zaks const ObjCMessageExpr *E = getOriginExpr(); 80463282aefSAnna Zaks assert(E); 8055808eb80SAnna Zaks Selector Sel = E->getSelector(); 8064f7df9beSJordan Rose 80763282aefSAnna Zaks if (E->isInstanceMessage()) { 8085808eb80SAnna Zaks 8095808eb80SAnna Zaks // Find the the receiver type. 8105808eb80SAnna Zaks const ObjCObjectPointerType *ReceiverT = 0; 81175f49a9cSAnna Zaks bool CanBeSubClassed = false; 8125808eb80SAnna Zaks QualType SupersType = E->getSuperType(); 813123af098SAnna Zaks const MemRegion *Receiver = 0; 814123af098SAnna Zaks 8155808eb80SAnna Zaks if (!SupersType.isNull()) { 816123af098SAnna Zaks // Super always means the type of immediate predecessor to the method 817123af098SAnna Zaks // where the call occurs. 81875930b65SAnna Zaks ReceiverT = cast<ObjCObjectPointerType>(SupersType); 8195808eb80SAnna Zaks } else { 820123af098SAnna Zaks Receiver = getReceiverSVal().getAsRegion(); 8216a97d92eSJordan Rose if (!Receiver) 822123af098SAnna Zaks return RuntimeDefinition(); 8236a97d92eSJordan Rose 82475f49a9cSAnna Zaks DynamicTypeInfo DTI = getState()->getDynamicTypeInfo(Receiver); 82575f49a9cSAnna Zaks QualType DynType = DTI.getType(); 82675f49a9cSAnna Zaks CanBeSubClassed = DTI.canBeASubClass(); 82775930b65SAnna Zaks ReceiverT = dyn_cast<ObjCObjectPointerType>(DynType); 82875f49a9cSAnna Zaks 82975f49a9cSAnna Zaks if (ReceiverT && CanBeSubClassed) 83075f49a9cSAnna Zaks if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) 83175f49a9cSAnna Zaks if (!canBeOverridenInSubclass(IDecl, Sel)) 83275f49a9cSAnna Zaks CanBeSubClassed = false; 8334f7df9beSJordan Rose } 8344f7df9beSJordan Rose 8355808eb80SAnna Zaks // Lookup the method implementation. 8365808eb80SAnna Zaks if (ReceiverT) 837920af014SAnna Zaks if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) { 83875f49a9cSAnna Zaks const ObjCMethodDecl *MD = IDecl->lookupPrivateMethod(Sel); 83975f49a9cSAnna Zaks if (CanBeSubClassed) 84075f49a9cSAnna Zaks return RuntimeDefinition(MD, Receiver); 841920af014SAnna Zaks else 84275f49a9cSAnna Zaks return RuntimeDefinition(MD, 0); 843920af014SAnna Zaks } 8445808eb80SAnna Zaks 84563282aefSAnna Zaks } else { 84663282aefSAnna Zaks // This is a class method. 84763282aefSAnna Zaks // If we have type info for the receiver class, we are calling via 84863282aefSAnna Zaks // class name. 84963282aefSAnna Zaks if (ObjCInterfaceDecl *IDecl = E->getReceiverInterface()) { 85063282aefSAnna Zaks // Find/Return the method implementation. 85185383182SAnna Zaks return RuntimeDefinition(IDecl->lookupPrivateClassMethod(Sel)); 8524f7df9beSJordan Rose } 85363282aefSAnna Zaks } 85463282aefSAnna Zaks 855123af098SAnna Zaks return RuntimeDefinition(); 8564f7df9beSJordan Rose } 8574f7df9beSJordan Rose 85842e8d649SJordan Rose void ObjCMethodCall::getInitialStackFrameContents( 85942e8d649SJordan Rose const StackFrameContext *CalleeCtx, 86042e8d649SJordan Rose BindingsTy &Bindings) const { 86142e8d649SJordan Rose const ObjCMethodDecl *D = cast<ObjCMethodDecl>(CalleeCtx->getDecl()); 86242e8d649SJordan Rose SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 86342e8d649SJordan Rose addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 86442e8d649SJordan Rose D->param_begin(), D->param_end()); 86542e8d649SJordan Rose 86642e8d649SJordan Rose SVal SelfVal = getReceiverSVal(); 86742e8d649SJordan Rose if (!SelfVal.isUnknown()) { 86842e8d649SJordan Rose const VarDecl *SelfD = CalleeCtx->getAnalysisDeclContext()->getSelfDecl(); 86942e8d649SJordan Rose MemRegionManager &MRMgr = SVB.getRegionManager(); 87042e8d649SJordan Rose Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); 87142e8d649SJordan Rose Bindings.push_back(std::make_pair(SelfLoc, SelfVal)); 87242e8d649SJordan Rose } 87342e8d649SJordan Rose } 87442e8d649SJordan Rose 875ce6c99a5SJordan Rose CallEventRef<> 876fcd016e5SJordan Rose CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State, 877fcd016e5SJordan Rose const LocationContext *LCtx) { 878fcd016e5SJordan Rose if (const CXXMemberCallExpr *MCE = dyn_cast<CXXMemberCallExpr>(CE)) 879fcd016e5SJordan Rose return create<CXXMemberCall>(MCE, State, LCtx); 880fcd016e5SJordan Rose 881fcd016e5SJordan Rose if (const CXXOperatorCallExpr *OpCE = dyn_cast<CXXOperatorCallExpr>(CE)) { 882fcd016e5SJordan Rose const FunctionDecl *DirectCallee = OpCE->getDirectCallee(); 883fcd016e5SJordan Rose if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(DirectCallee)) 884fcd016e5SJordan Rose if (MD->isInstance()) 885fcd016e5SJordan Rose return create<CXXMemberOperatorCall>(OpCE, State, LCtx); 886fcd016e5SJordan Rose 887fcd016e5SJordan Rose } else if (CE->getCallee()->getType()->isBlockPointerType()) { 888fcd016e5SJordan Rose return create<BlockCall>(CE, State, LCtx); 889fcd016e5SJordan Rose } 890fcd016e5SJordan Rose 891fcd016e5SJordan Rose // Otherwise, it's a normal function call, static member function call, or 892fcd016e5SJordan Rose // something we can't reason about. 893fcd016e5SJordan Rose return create<FunctionCall>(CE, State, LCtx); 894fcd016e5SJordan Rose } 895c2d249ceSJordan Rose 896c2d249ceSJordan Rose 897c2d249ceSJordan Rose CallEventRef<> 898c2d249ceSJordan Rose CallEventManager::getCaller(const StackFrameContext *CalleeCtx, 899c2d249ceSJordan Rose ProgramStateRef State) { 900c2d249ceSJordan Rose const LocationContext *ParentCtx = CalleeCtx->getParent(); 901c2d249ceSJordan Rose const LocationContext *CallerCtx = ParentCtx->getCurrentStackFrame(); 902c2d249ceSJordan Rose assert(CallerCtx && "This should not be used for top-level stack frames"); 903c2d249ceSJordan Rose 904c2d249ceSJordan Rose const Stmt *CallSite = CalleeCtx->getCallSite(); 905c2d249ceSJordan Rose 906c2d249ceSJordan Rose if (CallSite) { 907c2d249ceSJordan Rose if (const CallExpr *CE = dyn_cast<CallExpr>(CallSite)) 908c2d249ceSJordan Rose return getSimpleCall(CE, State, CallerCtx); 909c2d249ceSJordan Rose 910c2d249ceSJordan Rose switch (CallSite->getStmtClass()) { 9118d48938bSJordan Rose case Stmt::CXXConstructExprClass: 9128d48938bSJordan Rose case Stmt::CXXTemporaryObjectExprClass: { 913c2d249ceSJordan Rose SValBuilder &SVB = State->getStateManager().getSValBuilder(); 914c2d249ceSJordan Rose const CXXMethodDecl *Ctor = cast<CXXMethodDecl>(CalleeCtx->getDecl()); 915c2d249ceSJordan Rose Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); 916c2d249ceSJordan Rose SVal ThisVal = State->getSVal(ThisPtr); 917c2d249ceSJordan Rose 918c2d249ceSJordan Rose return getCXXConstructorCall(cast<CXXConstructExpr>(CallSite), 919c2d249ceSJordan Rose ThisVal.getAsRegion(), State, CallerCtx); 920c2d249ceSJordan Rose } 921c2d249ceSJordan Rose case Stmt::CXXNewExprClass: 922c2d249ceSJordan Rose return getCXXAllocatorCall(cast<CXXNewExpr>(CallSite), State, CallerCtx); 923c2d249ceSJordan Rose case Stmt::ObjCMessageExprClass: 924c2d249ceSJordan Rose return getObjCMethodCall(cast<ObjCMessageExpr>(CallSite), 925c2d249ceSJordan Rose State, CallerCtx); 926c2d249ceSJordan Rose default: 927c2d249ceSJordan Rose llvm_unreachable("This is not an inlineable statement."); 928c2d249ceSJordan Rose } 929c2d249ceSJordan Rose } 930c2d249ceSJordan Rose 931c2d249ceSJordan Rose // Fall back to the CFG. The only thing we haven't handled yet is 932c2d249ceSJordan Rose // destructors, though this could change in the future. 933c2d249ceSJordan Rose const CFGBlock *B = CalleeCtx->getCallSiteBlock(); 934c2d249ceSJordan Rose CFGElement E = (*B)[CalleeCtx->getIndex()]; 935c2d249ceSJordan Rose assert(isa<CFGImplicitDtor>(E) && "All other CFG elements should have exprs"); 936c2d249ceSJordan Rose assert(!isa<CFGTemporaryDtor>(E) && "We don't handle temporaries yet"); 937c2d249ceSJordan Rose 938c2d249ceSJordan Rose SValBuilder &SVB = State->getStateManager().getSValBuilder(); 939c2d249ceSJordan Rose const CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(CalleeCtx->getDecl()); 940c2d249ceSJordan Rose Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx); 941c2d249ceSJordan Rose SVal ThisVal = State->getSVal(ThisPtr); 942c2d249ceSJordan Rose 943c2d249ceSJordan Rose const Stmt *Trigger; 944c2d249ceSJordan Rose if (const CFGAutomaticObjDtor *AutoDtor = dyn_cast<CFGAutomaticObjDtor>(&E)) 945c2d249ceSJordan Rose Trigger = AutoDtor->getTriggerStmt(); 946c2d249ceSJordan Rose else 947c2d249ceSJordan Rose Trigger = Dtor->getBody(); 948c2d249ceSJordan Rose 949c2d249ceSJordan Rose return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), 9502bc9674bSJordan Rose isa<CFGBaseDtor>(E), State, CallerCtx); 951c2d249ceSJordan Rose } 952