|
clang 23.0.0git
|
#include "clang/ScalableStaticAnalysis/Analyses/TypeConstrainedPointers/TypeConstrainedPointers.h"#include "../SSAFAnalysesCommon.h"#include "clang/AST/ASTContext.h"#include "clang/AST/Decl.h"#include "clang/AST/DeclCXX.h"#include "clang/AST/Type.h"#include "clang/Basic/OperatorKinds.h"#include "clang/ScalableStaticAnalysis/Core/Model/EntityId.h"#include "clang/ScalableStaticAnalysis/Core/Serialization/JSONFormat.h"#include "clang/ScalableStaticAnalysis/Core/TUSummary/ExtractorRegistry.h"#include "clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryExtractor.h"#include "clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisRegistry.h"#include "clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisResult.h"#include "clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/SummaryAnalysis.h"#include "llvm/ADT/StringRef.h"#include "llvm/Support/Error.h"#include "llvm/Support/JSON.h"#include <memory>#include <optional>#include <utility>#include <vector>Go to the source code of this file.
Namespaces | |
| namespace | clang |
| The JSON file list parser is used to communicate input to InstallAPI. | |
| namespace | clang::ssaf |
Functions | |
| static TUSummaryExtractorRegistry::Add< TypeConstrainedPointersExtractor > | RegisterTypeConstrainedPointersExtractor (TypeConstrainedPointersEntitySummary::Name, "Extract pointer entities that must retain their pointer type") |
Variables | |
| volatile int | clang::ssaf::TypeConstrainedPointersAnchorSource = 0 |
|
static |