CStringChecker.cpp File Reference

#include "InterCheckerAPI.h"
#include "clang/AST/OperationKinds.h"
#include "clang/Basic/CharInfo.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <functional>
#include <optional>

Go to the source code of this file.

Macros
#define	REGISTER_CHECKER(NAME)

Functions
static std::optional< NonLoc >	getIndex (ProgramStateRef State, const ElementRegion *ER, CharKind CK)
static void	printIdxWithOrdinalSuffix (llvm::raw_ostream &Os, unsigned Idx)

Macro Definition Documentation

REGISTER_CHECKER

#define REGISTER_CHECKER

(

NAME

)

Value:

  void ento::registerCString##NAME(CheckerManager &Mgr) {                      \
    Mgr.getChecker<CStringChecker>()->NAME.enable(Mgr);                        \
  }                                                                            \
                                                                               \
  bool ento::shouldRegisterCString##NAME(const CheckerManager &) {             \
    return true;                                                               \
  }

Definition at line 2926 of file CStringChecker.cpp.

Function Documentation

getIndex()

std::optional< NonLoc > getIndex ( ProgramStateRef State, const ElementRegion * ER, CharKind CK )

static

Definition at line 398 of file CStringChecker.cpp.

References clang::ento::SVal::castAs(), clang::ASTContext::CharTy, clang::ento::SValBuilder::evalBinOpNN(), clang::ento::SValBuilder::getContext(), clang::ento::ElementRegion::getIndex(), clang::CharUnits::getQuantity(), clang::ASTContext::getSizeType(), clang::ento::SValBuilder::getStateManager(), clang::ento::ProgramStateManager::getSValBuilder(), clang::ASTContext::getTypeSizeInChars(), clang::ento::ElementRegion::getValueType(), clang::ento::SValBuilder::makeIntVal(), and clang::ASTContext::WideCharTy.

printIdxWithOrdinalSuffix()

void printIdxWithOrdinalSuffix ( llvm::raw_ostream & Os, unsigned Idx )

static

Definition at line 425 of file CStringChecker.cpp.