StdLibraryFunctionsChecker.cpp File Reference

#include "ErrnoModeling.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.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/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include <optional>
#include <string>

Include dependency graph for StdLibraryFunctionsChecker.cpp:

Go to the source code of this file.

Macros
#define	REGISTER_CHECKER(name)

Functions
static BasicValueFactory &	getBVF (ProgramStateRef State)

Macro Definition Documentation

REGISTER_CHECKER

#define REGISTER_CHECKER

(

name

)

Value:

  void ento::register##name(CheckerManager &mgr) {                             \
    StdLibraryFunctionsChecker *checker =                                      \
        mgr.getChecker<StdLibraryFunctionsChecker>();                          \
    checker->ChecksEnabled[StdLibraryFunctionsChecker::CK_##name] = true;      \
    checker->CheckNames[StdLibraryFunctionsChecker::CK_##name] =               \
        mgr.getCurrentCheckerName();                                           \
  }                                                                            \
                                                                               \
  bool ento::shouldRegister##name(const CheckerManager &mgr) { return true; }

Definition at line 3206 of file StdLibraryFunctionsChecker.cpp.

Function Documentation

getBVF()

static BasicValueFactory& getBVF ( ProgramStateRef  State )

static

Definition at line 777 of file StdLibraryFunctionsChecker.cpp.

References clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::ProgramStateManager::getSValBuilder(), and State.