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

//== CheckerContext.cpp - Context info for path-sensitive checkers-----------=//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file defines CheckerContext that provides contextual info for
//  path-sensitive checkers.
//
//===----------------------------------------------------------------------===//

#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/Basic/Builtins.h"
#include "clang/Lex/Lexer.h"
#include "llvm/ADT/StringExtras.h"

usingnamespaceclang;
usingnamespaceento;

const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const { … }

StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const { … }

StringRef CheckerContext::getDeclDescription(const Decl *D) { … }

bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD,
                                        StringRef Name) { … }

bool CheckerContext::isHardenedVariantOf(const FunctionDecl *FD,
                                         StringRef Name) { … }

StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) { … }

/// Evaluate comparison and return true if it's known that condition is true
static bool evalComparison(SVal LHSVal, BinaryOperatorKind ComparisonOp,
                           SVal RHSVal, ProgramStateRef State) { … }

bool CheckerContext::isGreaterOrEqual(const Expr *E, unsigned long long Val) { … }

bool CheckerContext::isNegative(const Expr *E) { … }