contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp

   1 //== CheckerContext.cpp - Context info for path-sensitive checkers-----------=//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 //  This file defines CheckerContext that provides contextual info for
  11 //  path-sensitive checkers.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
  16 #include "clang/Basic/Builtins.h"
  17 #include "clang/Lex/Lexer.h"
  18
  19 using namespace clang;
  20 using namespace ento;
  21
  22 const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const {
  23   ProgramStateRef State = getState();
  24   const Expr *Callee = CE->getCallee();
  25   SVal L = State->getSVal(Callee, Pred->getLocationContext());
  26   return L.getAsFunctionDecl();
  27 }
  28
  29 StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const {
  30   if (!FunDecl)
  31     return StringRef();
  32   IdentifierInfo *funI = FunDecl->getIdentifier();
  33   if (!funI)
  34     return StringRef();
  35   return funI->getName();
  36 }
  37
  38
  39 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD,
  40                                         StringRef Name) {
  41   // To avoid false positives (Ex: finding user defined functions with
  42   // similar names), only perform fuzzy name matching when it's a builtin.
  43   // Using a string compare is slow, we might want to switch on BuiltinID here.
  44   unsigned BId = FD->getBuiltinID();
  45   if (BId != 0) {
  46     if (Name.empty())
  47       return true;
  48     StringRef BName = FD->getASTContext().BuiltinInfo.getName(BId);
  49     if (BName.find(Name) != StringRef::npos)
  50       return true;
  51   }
  52
  53   const IdentifierInfo *II = FD->getIdentifier();
  54   // If this is a special C++ name without IdentifierInfo, it can't be a
  55   // C library function.
  56   if (!II)
  57     return false;
  58
  59   // Look through 'extern "C"' and anything similar invented in the future.
  60   // If this function is not in TU directly, it is not a C library function.
  61   if (!FD->getDeclContext()->getRedeclContext()->isTranslationUnit())
  62     return false;
  63
  64   // If this function is not externally visible, it is not a C library function.
  65   // Note that we make an exception for inline functions, which may be
  66   // declared in header files without external linkage.
  67   if (!FD->isInlined() && !FD->isExternallyVisible())
  68     return false;
  69
  70   if (Name.empty())
  71     return true;
  72
  73   StringRef FName = II->getName();
  74   if (FName.equals(Name))
  75     return true;
  76
  77   if (FName.startswith("__inline") && (FName.find(Name) != StringRef::npos))
  78     return true;
  79
  80   if (FName.startswith("__") && FName.endswith("_chk") &&
  81       FName.find(Name) != StringRef::npos)
  82     return true;
  83
  84   return false;
  85 }
  86
  87 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
  88   if (Loc.isMacroID())
  89     return Lexer::getImmediateMacroName(Loc, getSourceManager(),
  90                                              getLangOpts());
  91   SmallVector<char, 16> buf;
  92   return Lexer::getSpelling(Loc, buf, getSourceManager(), getLangOpts());
  93 }
  94