clang
17.0.0git
|
#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>
Go to the source code of this file.
Macros | |
#define | REGISTER_CHECKER(name) |
Functions | |
static BasicValueFactory & | getBVF (ProgramStateRef State) |
#define REGISTER_CHECKER | ( | name | ) |
Definition at line 3206 of file StdLibraryFunctionsChecker.cpp.
|
static |
Definition at line 777 of file StdLibraryFunctionsChecker.cpp.
References clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::ProgramStateManager::getSValBuilder(), and State.