#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/STLForwardCompat.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <functional>
#include <optional>

Macros
#define	REGISTER_CHECKER(NAME)

Typedefs
using	SearchFn
	Resolve the haystack and delegate to a function-specific search lambda.

Functions
static std::optional< NonLoc >	getIndex (ProgramStateRef State, const ElementRegion *ER, CharKind CK)
static void	printIdxWithOrdinalSuffix (llvm::raw_ostream &Os, unsigned Idx)
static std::optional< StringRef >	getHaystack (CheckerContext &C, const CallEvent &Call)
	Compute the constant search offset for strchr/strrchr/strchrnul.
static StringRef	getCStr (StringRef Haystack)
	Get the null-terminated C string view of the haystack.
static std::optional< char >	getSearchChar (CheckerContext &C, const CallEvent &Call)
	Try to extract the constant character from the second argument.
static std::optional< size_t >	computeStringOffset (CheckerContext &C, const CallEvent &Call, SearchFn Search)
static std::optional< size_t >	searchChar (CheckerContext &C, const CallEvent &Call, StringRef Haystack, bool Reverse, bool NulOnMiss)
	Search for a character in the null-terminated C string view.

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;                                                               \
  }