clang
15.0.0git
|
#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableSet.h"
#include "llvm/ADT/None.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/ilist.h"
#include "llvm/ADT/ilist_node.h"
#include "llvm/ADT/iterator_range.h"
#include <cassert>
#include <memory>
#include <string>
#include <utility>
#include <vector>
Go to the source code of this file.
Classes | |
class | clang::ento::StackHintGenerator |
Interface for classes constructing Stack hints. More... | |
class | clang::ento::StackHintGeneratorForSymbol |
Constructs a Stack hint for the given symbol. More... | |
class | clang::ento::BugReport |
This class provides an interface through which checkers can create individual bug reports. More... | |
class | clang::ento::BasicBugReport |
class | clang::ento::PathSensitiveBugReport |
class | clang::ento::BugReportEquivClass |
class | clang::ento::BugReporterData |
class | clang::ento::BugReporter |
BugReporter is a utility class for generating PathDiagnostics for analysis. More... | |
class | clang::ento::PathSensitiveBugReporter |
GRBugReporter is used for generating path-sensitive reports. More... | |
class | clang::ento::BugReporterContext |
class | clang::ento::DataTag |
The tag that carries some information with it. More... | |
class | clang::ento::DataTag::Factory |
class | clang::ento::NoteTag |
The tag upon which the TagVisitor reacts. More... | |
Namespaces | |
clang | |
clang::ento | |
Typedefs | |
using | clang::ento::DiagnosticForConsumerMapTy = llvm::DenseMap< PathDiagnosticConsumer *, std::unique_ptr< PathDiagnostic > > |
A mapping from diagnostic consumers to the diagnostics they should consume. More... | |