Namespaces
namespace	ErrorMessages

Classes
class	AnalysisBase
	Minimal common base for both analysis kinds. More...
class	AnalysisDriver
	Orchestrates whole-program analysis over an LUSummary. More...
class	AnalysisName
	Uniquely identifies a whole-program analysis and the AnalysisResult it produces. More...
class	AnalysisRegistry
	Unified registry for SummaryAnalysis and DerivedAnalysis implementations. More...
class	AnalysisResult
	Base class for whole-program analysis results. More...
class	BuildNamespace
	Represents a single namespace in the build process. More...
struct	CallGraphSummary
	Summary of direct call-graph edges for a single function entity. More...
class	DerivedAnalysis
	Typed intermediate that concrete derived analyses inherit from. More...
class	DerivedAnalysisBase
	Type-erased base for derived analyses. More...
class	EntityId
	Lightweight opaque handle representing an entity in an EntityIdTable. More...
class	EntityIdTable
	Manages entity name interning and provides efficient EntityId handles. More...
class	EntityLinkage
	Represents the linkage properties of an entity in the program model. More...
class	EntityLinker
class	EntityName
	Uniquely identifies an entity in a program. More...
class	EntityPointerLevelTranslator
class	EntitySummary
	Base class for analysis-specific summary data. More...
class	EntitySummaryEncoding
	Represents EntitySummary data in its serialized, format-specific encoding. More...
class	ErrorBuilder
	Fluent API for constructing contextual errors. More...
struct	FormatFile
struct	FormatInfoEntry
struct	HasAnalysisName
	Type trait that checks whether `T` has a static `analysisName()` method returning `AnalysisName`. More...
struct	HasAnalysisName< T, std::void_t< decltype(T::analysisName())> >
struct	HasSummaryName
	Type trait that checks whether `T` has a static `summaryName()` method returning `SummaryName`. More...
struct	HasSummaryName< T, std::void_t< decltype(T::summaryName())> >
class	JSONEntitySummaryEncoding
class	JSONFormat
class	LUSummary
	Represents a link unit (LU) summary containing merged entity summaries. More...
class	LUSummaryConsumer
	Consumes a LUSummary by dispatching its entity data to registered SummaryDataBuilders and returning the results in a SummaryDataStore. More...
class	LUSummaryEncoding
	Represents a link unit summary in its serialized encoding. More...
class	NestedBuildNamespace
	Represents a hierarchical sequence of build namespaces. More...
struct	PointerFlowAnalysisResult
	The whole-program pointer-flow graph. More...
class	PointerFlowEntitySummary
class	SerializationFormat
	Abstract base class for serialization formats. More...
class	SourceEditEmitter
class	SSAFOptions
class	SummaryAnalysis
	Typed intermediate that concrete summary analyses inherit from. More...
class	SummaryAnalysisBase
	Type-erased base for summary analyses. More...
class	SummaryData
	Base class for whole-program analysis data. More...
class	SummaryDataBuilder
	Typed intermediate template that concrete builders inherit from. More...
class	SummaryDataBuilderBase
	Abstract base class for all summary data builders. More...
class	SummaryDataBuilderRegistry
	Registry for SummaryDataBuilder implementations. More...
class	SummaryDataStore
	Owns a collection of SummaryData objects keyed by SummaryName. More...
class	SummaryName
	Uniquely identifies an analysis summary. More...
class	Transformation
class	TransformationReportEmitter
class	TUSummary
	Data extracted for a given translation unit and for a given set of analyses. More...
class	TUSummaryBuilder
class	TUSummaryEncoding
	Represents a translation unit summary in its serialized encoding. More...
class	TUSummaryExtractor
class	TUSummaryExtractorFrontendAction
	Wraps the existing `FrontendAction` and injects the extractor `ASTConsumers` into the pipeline after the ASTConsumers of the wrapped action. More...
struct	UnsafeBufferReachableAnalysisResult
struct	UnsafeBufferUsageAnalysisResult
class	UnsafeBufferUsageEntitySummary
	An UnsafeBufferUsageEntitySummary contains a set of EntityPointerLevels extracted from unsafe buffer pointers contributed by an entity. More...
class	UnsafeBufferUsageTUSummaryExtractor
class	WPASuite
	Bundles the EntityIdTable (moved from the LUSummary) and the analysis results produced by one AnalysisDriver::run() call, keyed by AnalysisName. More...

Typedefs
using	EdgeSet = std::map<EntityPointerLevel, EntityPointerLevelSet>
	Maps each LHS pointer (source / assignee) to the set of RHS pointers (destinations / assigned values) at static assignment sites.
using	Artifact = std::variant<TUSummary, LUSummary, WPASuite>
	Sum type returned by `SerializationFormat::readArtifact`, used when the caller does not know up-front which kind of top-level SSAF artifact a file contains.
using	ArtifactEncoding = std::variant<TUSummaryEncoding, LUSummaryEncoding>
	Lazily-deserialized counterpart of `Artifact:` the same on-disk artifacts but with their per-entity summary payloads left as opaque format-specific encodings rather than fully resolved analysis results.
using	SerializationFormatRegistry = llvm::Registry<SerializationFormat>
template<typename Derived>
using	DerivesFromEntitySummary
using	TUSummaryExtractorRegistry
using	TransformationRegistry
using	Array = llvm::json::Array
using	Object = llvm::json::Object
using	Value = llvm::json::Value

Enumerations
enum class	BuildNamespaceKind : unsigned short { CompilationUnit , LinkUnit }
enum class	EntityLinkageType { None , Internal , External }

Functions
EntityPointerLevel	incrementPointerLevel (const EntityPointerLevel &E)
	An EntityPointerLevel is associated with a level of the declared pointer/array type of an entity.
llvm::json::Value	entityPointerLevelToJSON (const EntityPointerLevel &EPL, JSONFormat::EntityIdToJSONFn EntityId2JSON)
Expected< EntityPointerLevel >	entityPointerLevelFromJSON (const llvm::json::Value &EPLData, JSONFormat::EntityIdFromJSONFn EntityIdFromJSON)
llvm::json::Array	entityPointerLevelSetToJSON (llvm::iterator_range< EntityPointerLevelSet::const_iterator > EPLs, JSONFormat::EntityIdToJSONFn EntityId2JSON)
Expected< EntityPointerLevelSet >	entityPointerLevelSetFromJSON (const llvm::json::Array &EPLsData, JSONFormat::EntityIdFromJSONFn EntityIdFromJSON)
llvm::json::Array	entityPointerLevelMapToJSON (const std::map< EntityId, EntityPointerLevelSet > &Map, JSONFormat::EntityIdToJSONFn IdToJSON)
	Serialize a map<EntityId, EntityPointerLevelSet> as a flat array of alternating [EntityId, EntityPointerLevelSet, ...] pairs.
Expected< std::map< EntityId, EntityPointerLevelSet > >	entityPointerLevelMapFromJSON (const llvm::json::Array &Content, JSONFormat::EntityIdFromJSONFn IdFromJSON)
	Deserialize a flat array of alternating [EntityId, EntityPointerLevelSet, ...] pairs into a map.
llvm::json::Array	edgeSetToJSON (llvm::iterator_range< EdgeSet::const_iterator > Edges, JSONFormat::EntityIdToJSONFn IdToJSON)
	Serialize an EdgeSet {(src1, dest1), (src1, dest2), (src2, dest3), (src2, dest4), ...} to an array of arrays of EntityPointerLevels: [ [src1, dest1, dest2, ...], [src2, dest3, dest4, ...], ... ].
llvm::Expected< EdgeSet >	edgeSetFromJSON (const llvm::json::Array &EdgesData, JSONFormat::EntityIdFromJSONFn IdFromJSON)
	Deserialize an EdgeSet from the array format produced by edgeSetToJSON.
std::optional< EntityName >	getEntityName (const Decl *D)
	Maps a declaration to an EntityName.
std::optional< EntityName >	getEntityNameForReturn (const FunctionDecl *FD)
	Maps return entity of a function to an EntityName.
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, BuildNamespaceKind BNK)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const BuildNamespace &BN)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const NestedBuildNamespace &NBN)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const EntityId &Id)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, EntityLinkageType Linkage)
	Writes a string representation of the linkage type to the stream.
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const EntityLinkage &Linkage)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const EntityName &EN)
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const SummaryName &SN)
bool	isFormatRegistered (llvm::StringRef FormatName)
	Check if a SerializationFormat was registered with a given name.
std::unique_ptr< SerializationFormat >	makeFormat (llvm::StringRef FormatName)
	Try to instantiate a SerializationFormat with a given name.
void	printAvailableFormats (llvm::raw_ostream &OS)
	Print the list of available serialization formats.
bool	isTUSummaryExtractorRegistered (llvm::StringRef SummaryName)
	Check if a TUSummaryExtractor was registered with a given name.
std::unique_ptr< TUSummaryExtractor >	makeTUSummaryExtractor (llvm::StringRef SummaryName, TUSummaryBuilder &Builder)
	Try to instantiate a TUSummaryExtractor with a given name.
void	printAvailableTUSummaryExtractors (llvm::raw_ostream &OS)
	Print the list of available TUSummaryExtractors.
llvm::raw_ostream &	operator<< (llvm::raw_ostream &OS, const AnalysisName &AN)
bool	isTransformationRegistered (llvm::StringRef Name)
	Check if a Transformation was registered with a given name.
std::unique_ptr< Transformation >	makeTransformation (llvm::StringRef Name, const WPASuite &Suite, SourceEditEmitter &Edits, TransformationReportEmitter &Report)
	Try to instantiate a Transformation with a given name.
void	printAvailableTransformations (llvm::raw_ostream &OS)
	Print the list of available Transformations.
llvm::StringRef	getToolName ()
	Returns the name of the running tool, as set by initTool().
void	fail (const char *Msg)
template<typename... Ts>
void	fail (const char *Fmt, Ts &&...Args)
void	fail (llvm::Error Err)
void	loadPlugins (llvm::ArrayRef< std::string > Paths)
void	initTool (int argc, const char **argv, llvm::StringRef Version, llvm::cl::OptionCategory &Category, llvm::StringRef ToolHeading)
	Sets ToolName, ToolVersion, and the version printer, hides unrelated command-line options, and parses arguments.
PointerFlowEntitySummary	buildPointerFlowEntitySummary (EdgeSet Edges)
std::string	describeJSONValue (const llvm::json::Value &V)
std::string	describeJSONValue (const llvm::json::Array &A)
std::string	describeJSONValue (const llvm::json::Object &O)
template<typename NodeTy, typename... Ts>
llvm::Error	makeErrAtNode (clang::ASTContext &Ctx, const NodeTy *N, llvm::StringRef Fmt, const Ts &...Args)
template<typename JSONTy, typename... Ts>
llvm::Error	makeSawButExpectedError (const JSONTy &Saw, llvm::StringRef Expected, const Ts &...ExpectedArgs)
bool	hasPtrOrArrType (const Expr *E)
bool	hasPtrOrArrType (const ValueDecl *D)
llvm::Error	makeEntityNameErr (clang::ASTContext &Ctx, const clang::NamedDecl *D)
void	logWarningFromError (llvm::Error Err)
	Log a warning from an llvm::Error.
void	findContributors (ASTContext &Ctx, llvm::DenseMap< const NamedDecl , std::vector< const NamedDecl > > &Contributors)
	Find all contributors in an AST.
void	findMatchesIn (const NamedDecl *Contributor, llvm::function_ref< void(const DynTypedNode &)> MatchActionRef)
	Perform "MatchAction" on each Stmt and Decl belonging to the Contributor.
template<typename ExtractorFnT>
void	extractAndAddSummaries (TUSummaryExtractor &Extractor, TUSummaryBuilder &Builder, ASTContext &Ctx, ExtractorFnT ExtractFn, const char *ExtractorName="")
	The standard contributor-summary extraction procedure:
llvm::StringRef	buildNamespaceKindToString (BuildNamespaceKind BNK)
	Returns the canonical string representation of `BNK` used for serialization and display (e.g.
std::optional< BuildNamespaceKind >	buildNamespaceKindFromString (llvm::StringRef Str)
	Parses a string produced by buildNamespaceKindToString().
llvm::StringRef	entityLinkageTypeToString (EntityLinkageType LT)
	Returns the canonical string representation of `LT` used for serialization and display (e.g.
std::optional< EntityLinkageType >	entityLinkageTypeFromString (llvm::StringRef Str)
	Parses a string produced by entityLinkageTypeToString().
llvm::Expected< Value >	readJSON (llvm::StringRef Path)
llvm::Error	writeJSON (Value &&V, llvm::StringRef Path)
SummaryName	summaryNameFromJSON (llvm::StringRef SummaryNameStr)
llvm::StringRef	summaryNameToJSON (const SummaryName &SN)
llvm::Expected< llvm::StringRef >	readSummaryType (const Object &RootObject)
	Reads the `JSONTypeKey` field from the root object as a string.
llvm::Error	checkSummaryType (const Object &RootObject, llvm::StringRef ExpectedType)
	Reads the `JSONTypeKey` field from the root object and verifies it equals `ExpectedType`.
AnalysisName	analysisNameFromJSON (llvm::StringRef AnalysisNameStr)
llvm::StringRef	analysisNameToJSON (const AnalysisName &AN)
llvm::Expected< BuildNamespaceKind >	buildNamespaceKindFromJSON (llvm::StringRef BuildNamespaceKindStr)
llvm::StringRef	buildNamespaceKindToJSON (BuildNamespaceKind BNK)
static llvm::Expected< std::pair< llvm::StringRef, llvm::StringRef > >	entityNameCoreFromJSON (const Object &EntityNameObject)
	Reads "usr" and "suffix" fields from an EntityName JSON object.
llvm::Expected< EntityLinkageType >	entityLinkageTypeFromJSON (llvm::StringRef EntityLinkageTypeStr)
llvm::StringRef	entityLinkageTypeToJSON (EntityLinkageType LT)
llvm::Error	validateNormalizedTargetTriple (llvm::StringRef Triple)
	Validates that `Triple` is a target triple string in normalized form.
static llvm::Expected< EntityId >	entityIdTableEntryIdFromJSON (const Object &EntityIdTableEntryObject, llvm::function_ref< EntityId(uint64_t)> MakeId)
	Shared logic for reading the "id" field from an EntityIdTableEntry object.
static llvm::Expected< EntityIdTable >	entityIdTableFromJSONImpl (const Array &EntityIdTableArray, llvm::function_ref< llvm::Expected< std::pair< EntityName, EntityId > >(const Object &)> EntryReader, llvm::function_ref< std::map< EntityName, EntityId > &(EntityIdTable &)> GetEntities)
	Shared logic for deserializing an EntityIdTable from a JSON array.

Variables
constexpr llvm::StringLiteral	PointerFlowAnalysisResultName
constexpr llvm::StringLiteral	UnsafeBufferUsageAnalysisResultName
constexpr llvm::StringLiteral	UnsafeBufferReachableAnalysisResultName
template<typename T>
constexpr bool	HasSummaryName_v = HasSummaryName<T>::value
template<typename T>
constexpr bool	HasAnalysisName_v = HasAnalysisName<T>::value
static const int	BuiltinAnchorDestination
volatile int	CallGraphExtractorAnchorSource = 0
volatile int	CallGraphJSONFormatAnchorSource = 0
volatile int	PointerFlowAnalysisAnchorSource = 0
volatile int	PointerFlowExtractorAnchorSource = 0
volatile int	PointerFlowJSONFormatAnchorSource = 0
volatile int	UnsafeBufferUsageAnalysisAnchorSource = 0
volatile int	UnsafeBufferUsageExtractorAnchorSource = 0
volatile int	UnsafeBufferUsageJSONFormatAnchorSource = 0
volatile int	JSONFormatAnchorSource = 0
constexpr const char *	JSONFormatFileExtension = ".json"
constexpr const char *	JSONEntityIdKey = "@"
	An entity ID is encoded as the single-key object {"@": <index>}.
constexpr const char *	JSONTypeKey = "type"
	Root-object key naming the summary kind so files are self-describing.
constexpr const char *	JSONTypeValueTUSummary = "TUSummary"
	Value written to `JSONTypeKey` for serialized `TUSummary` files.
constexpr const char *	JSONTypeValueLUSummary = "LUSummary"
	Value written to `JSONTypeKey` for serialized `LUSummary` files.
constexpr const char *	JSONTypeValueWPASuite = "WPASuite"
	Value written to `JSONTypeKey` for serialized `WPASuite` files.
static constexpr llvm::StringLiteral	ErrorSeparator = " + "
static constexpr llvm::StringLiteral	ContextSeparator = "\n"
volatile int	AnalysisRegistryAnchorSource = 0
volatile int	SSAFSourceTransformationAnchorSource = 0

Typedef Documentation

◆ Array

using clang::ssaf::Array = llvm::json::Array

Definition at line 37 of file JSONFormatImpl.h.

◆ Artifact

using clang::ssaf::Artifact = std::variant<TUSummary, LUSummary, WPASuite>

Sum type returned by SerializationFormat::readArtifact, used when the caller does not know up-front which kind of top-level SSAF artifact a file contains.

The active alternative is decided by the file's self-describing type field.

Definition at line 38 of file SerializationFormat.h.

◆ ArtifactEncoding

using clang::ssaf::ArtifactEncoding = std::variant<TUSummaryEncoding, LUSummaryEncoding>

Lazily-deserialized counterpart of Artifact: the same on-disk artifacts but with their per-entity summary payloads left as opaque format-specific encodings rather than fully resolved analysis results.

Definition at line 43 of file SerializationFormat.h.

◆ DerivesFromEntitySummary

template<typename Derived>

using clang::ssaf::DerivesFromEntitySummary

Initial value:

std::enable_if_t<std::is_base_of_v<EntitySummary, Derived>>

Definition at line 25 of file EntitySummary.h.

◆ EdgeSet

using clang::ssaf::EdgeSet = std::map<EntityPointerLevel, EntityPointerLevelSet>

Maps each LHS pointer (source / assignee) to the set of RHS pointers (destinations / assigned values) at static assignment sites.

Definition at line 24 of file PointerFlow.h.

◆ Object

using clang::ssaf::Object = llvm::json::Object

Definition at line 38 of file JSONFormatImpl.h.

◆ SerializationFormatRegistry

using clang::ssaf::SerializationFormatRegistry = llvm::Registry<SerializationFormat>

Definition at line 83 of file SerializationFormatRegistry.h.

◆ TransformationRegistry

using clang::ssaf::TransformationRegistry

Initial value:

 
    llvm::Registry<Transformation, const WPASuite &, SourceEditEmitter &,
                   TransformationReportEmitter &>

Definition at line 58 of file TransformationRegistry.h.

◆ TUSummaryExtractorRegistry

using clang::ssaf::TUSummaryExtractorRegistry

Initial value:

llvm::Registry<TUSummaryExtractor, TUSummaryBuilder &>

Definition at line 49 of file ExtractorRegistry.h.

◆ Value

using clang::ssaf::Value = llvm::json::Value

Definition at line 39 of file JSONFormatImpl.h.

Enumeration Type Documentation

◆ BuildNamespaceKind

enum class clang::ssaf::BuildNamespaceKind : unsigned short

strong

Enumerator
CompilationUnit
LinkUnit

Definition at line 30 of file BuildNamespace.h.

◆ EntityLinkageType

enum class clang::ssaf::EntityLinkageType

strong

Enumerator
None	local variables
Internal	static functions/variables, anonymous namespace
External	globally visible across translation units (including parameters of functions with external linkage)

Definition at line 17 of file EntityLinkage.h.

Function Documentation

◆ analysisNameFromJSON()

AnalysisName clang::ssaf::analysisNameFromJSON ( llvm::StringRef AnalysisNameStr )

Definition at line 184 of file JSONFormatImpl.cpp.

◆ analysisNameToJSON()

llvm::StringRef clang::ssaf::analysisNameToJSON ( const AnalysisName & AN )

Definition at line 188 of file JSONFormatImpl.cpp.

References clang::ssaf::AnalysisName::str().

◆ buildNamespaceKindFromJSON()

llvm::Expected< BuildNamespaceKind > clang::ssaf::buildNamespaceKindFromJSON ( llvm::StringRef BuildNamespaceKindStr )

Definition at line 241 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), buildNamespaceKindFromString(), clang::ssaf::ErrorBuilder::create(), and clang::ssaf::ErrorMessages::InvalidBuildNamespaceKind.

◆ buildNamespaceKindFromString()

std::optional< BuildNamespaceKind > clang::ssaf::buildNamespaceKindFromString ( llvm::StringRef Str )

inline

Parses a string produced by buildNamespaceKindToString().

Returns std::nullopt if Str does not match any known BuildNamespaceKind value.

Definition at line 46 of file ModelStringConversions.h.

References CompilationUnit, and LinkUnit.

Referenced by buildNamespaceKindFromJSON().

◆ buildNamespaceKindToJSON()

llvm::StringRef clang::ssaf::buildNamespaceKindToJSON ( BuildNamespaceKind BNK )

Definition at line 254 of file JSONFormatImpl.cpp.

References buildNamespaceKindToString().

◆ buildNamespaceKindToString()

llvm::StringRef clang::ssaf::buildNamespaceKindToString ( BuildNamespaceKind BNK )

inline

Returns the canonical string representation of BNK used for serialization and display (e.g.

"CompilationUnit", "LinkUnit").

Definition at line 33 of file ModelStringConversions.h.

References CompilationUnit, and LinkUnit.

Referenced by buildNamespaceKindToJSON(), and operator<<().

◆ buildPointerFlowEntitySummary()

ssaf::PointerFlowEntitySummary clang::ssaf::buildPointerFlowEntitySummary ( EdgeSet Edges )

extern

Definition at line 15 of file PointerFlow.cpp.

Referenced by summaryFromJSON().

◆ checkSummaryType()

llvm::Error clang::ssaf::checkSummaryType	(	const Object &	RootObject,
		llvm::StringRef	ExpectedType )

Reads the JSONTypeKey field from the root object and verifies it equals ExpectedType.

Returns success or an error with the field missing/mismatch detail.

Definition at line 165 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), JSONTypeKey, clang::ssaf::ErrorMessages::MismatchedSummaryType, and readSummaryType().

Referenced by clang::ssaf::JSONFormat::readLUSummary(), clang::ssaf::JSONFormat::readLUSummaryEncoding(), clang::ssaf::JSONFormat::readTUSummary(), clang::ssaf::JSONFormat::readTUSummaryEncoding(), and clang::ssaf::JSONFormat::readWPASuite().

◆ describeJSONValue() [1/3]

std::string clang::ssaf::describeJSONValue ( const llvm::json::Array & A )

Returns: a short descriptions of a json::Array

Definition at line 23 of file SSAFAnalysesCommon.cpp.

◆ describeJSONValue() [2/3]

std::string clang::ssaf::describeJSONValue ( const llvm::json::Object & O )

Returns: a short descriptions of a json::Object

Definition at line 27 of file SSAFAnalysesCommon.cpp.

◆ describeJSONValue() [3/3]

std::string clang::ssaf::describeJSONValue ( const llvm::json::Value & V )

Returns: a short descriptions of a json::Value

Definition at line 19 of file SSAFAnalysesCommon.cpp.

References V.

Referenced by makeSawButExpectedError().

◆ edgeSetFromJSON()

llvm::Expected< EdgeSet > clang::ssaf::edgeSetFromJSON	(	const llvm::json::Array &	EdgesData,
		JSONFormat::EntityIdFromJSONFn	IdFromJSON )

Deserialize an EdgeSet from the array format produced by edgeSetToJSON.

Definition at line 56 of file PointerFlowFormat.cpp.

References entityPointerLevelFromJSON(), and makeSawButExpectedError().

Referenced by summaryFromJSON().

◆ edgeSetToJSON()

Array clang::ssaf::edgeSetToJSON	(	llvm::iterator_range< EdgeSet::const_iterator >	Edges,
		JSONFormat::EntityIdToJSONFn	IdToJSON )

Serialize an EdgeSet {(src1, dest1), (src1, dest2), (src2, dest3), (src2, dest4), ...} to an array of arrays of EntityPointerLevels: [ [src1, dest1, dest2, ...], [src2, dest3, dest4, ...], ... ].

Definition at line 40 of file PointerFlowFormat.cpp.

References entityPointerLevelToJSON().

Referenced by summaryToJSON().

◆ entityIdTableEntryIdFromJSON()

llvm::Expected< EntityId > clang::ssaf::entityIdTableEntryIdFromJSON	(	const Object &	EntityIdTableEntryObject,
		llvm::function_ref< EntityId(uint64_t)>	MakeId )

static

Shared logic for reading the "id" field from an EntityIdTableEntry object.

Definition at line 495 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), and clang::ssaf::ErrorMessages::FailedToReadObjectAtField.

◆ entityIdTableFromJSONImpl()

llvm::Expected< EntityIdTable > clang::ssaf::entityIdTableFromJSONImpl	(	const Array &	EntityIdTableArray,
		llvm::function_ref< llvm::Expected< std::pair< EntityName, EntityId > >(const Object &)>	EntryReader,
		llvm::function_ref< std::map< EntityName, EntityId > &(EntityIdTable &)>	GetEntities )

static

Shared logic for deserializing an EntityIdTable from a JSON array.

EntryReader is called for each entry object to produce an (EntityName, EntityId) pair.

Definition at line 600 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::context(), clang::ssaf::ErrorBuilder::create(), clang::ssaf::ErrorMessages::FailedInsertionOnDuplication, clang::ssaf::ErrorMessages::FailedToReadObjectAtIndex, clang::ssaf::ErrorMessages::ReadingFromIndex, and clang::ssaf::ErrorBuilder::wrap().

◆ entityLinkageTypeFromJSON()

llvm::Expected< EntityLinkageType > clang::ssaf::entityLinkageTypeFromJSON ( llvm::StringRef EntityLinkageTypeStr )

Definition at line 428 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), entityLinkageTypeFromString(), and clang::ssaf::ErrorMessages::InvalidEntityLinkageType.

◆ entityLinkageTypeFromString()

std::optional< EntityLinkageType > clang::ssaf::entityLinkageTypeFromString ( llvm::StringRef Str )

inline

Parses a string produced by entityLinkageTypeToString().

Returns std::nullopt if Str does not match any known EntityLinkageType value.

Definition at line 75 of file ModelStringConversions.h.

References External, Internal, and None.

Referenced by entityLinkageTypeFromJSON().

◆ entityLinkageTypeToJSON()

llvm::StringRef clang::ssaf::entityLinkageTypeToJSON ( EntityLinkageType LT )

Definition at line 440 of file JSONFormatImpl.cpp.

References entityLinkageTypeToString().

◆ entityLinkageTypeToString()

llvm::StringRef clang::ssaf::entityLinkageTypeToString ( EntityLinkageType LT )

inline

Returns the canonical string representation of LT used for serialization and display (e.g.

"None", "Internal", "External").

Definition at line 60 of file ModelStringConversions.h.

References External, Internal, and None.

Referenced by entityLinkageTypeToJSON(), and operator<<().

◆ entityNameCoreFromJSON()

llvm::Expected< std::pair< llvm::StringRef, llvm::StringRef > > clang::ssaf::entityNameCoreFromJSON ( const Object & EntityNameObject )

static

Reads "usr" and "suffix" fields from an EntityName JSON object.

Shared core logic for both TU and LU entity name deserialization.

Definition at line 351 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), and clang::ssaf::ErrorMessages::FailedToReadObjectAtField.

◆ entityPointerLevelFromJSON()

llvm::Expected< EntityPointerLevel > clang::ssaf::entityPointerLevelFromJSON	(	const llvm::json::Value &	EPLData,
		JSONFormat::EntityIdFromJSONFn	EntityIdFromJSON )

Definition at line 30 of file EntityPointerLevelFormat.cpp.

References makeSawButExpectedError().

Referenced by deserializeImpl(), edgeSetFromJSON(), and entityPointerLevelSetFromJSON().

◆ entityPointerLevelMapFromJSON()

Expected< std::map< EntityId, EntityPointerLevelSet > > clang::ssaf::entityPointerLevelMapFromJSON	(	const llvm::json::Array &	Content,
		JSONFormat::EntityIdFromJSONFn	IdFromJSON )

Deserialize a flat array of alternating [EntityId, EntityPointerLevelSet, ...] pairs into a map.

Definition at line 99 of file EntityPointerLevelFormat.cpp.

References entityPointerLevelSetFromJSON(), makeSawButExpectedError(), and clang::Result.

◆ entityPointerLevelMapToJSON()

llvm::json::Array clang::ssaf::entityPointerLevelMapToJSON	(	const std::map< EntityId, EntityPointerLevelSet > &	Map,
		JSONFormat::EntityIdToJSONFn	IdToJSON )

Serialize a map<EntityId, EntityPointerLevelSet> as a flat array of alternating [EntityId, EntityPointerLevelSet, ...] pairs.

Definition at line 86 of file EntityPointerLevelFormat.cpp.

References entityPointerLevelSetToJSON().

◆ entityPointerLevelSetFromJSON()

Expected< EntityPointerLevelSet > clang::ssaf::entityPointerLevelSetFromJSON	(	const llvm::json::Array &	EPLsData,
		JSONFormat::EntityIdFromJSONFn	EntityIdFromJSON )

Definition at line 70 of file EntityPointerLevelFormat.cpp.

References entityPointerLevelFromJSON().

Referenced by entityPointerLevelMapFromJSON().

◆ entityPointerLevelSetToJSON()

llvm::json::Array clang::ssaf::entityPointerLevelSetToJSON	(	llvm::iterator_range< EntityPointerLevelSet::const_iterator >	EPLs,
		JSONFormat::EntityIdToJSONFn	EntityId2JSON )

Definition at line 60 of file EntityPointerLevelFormat.cpp.

References entityPointerLevelToJSON(), and clang::Result.

Referenced by entityPointerLevelMapToJSON().

◆ entityPointerLevelToJSON()

llvm::json::Value clang::ssaf::entityPointerLevelToJSON	(	const EntityPointerLevel &	EPL,
		JSONFormat::EntityIdToJSONFn	EntityId2JSON )

Definition at line 24 of file EntityPointerLevelFormat.cpp.

Referenced by edgeSetToJSON(), entityPointerLevelSetToJSON(), and serialize().

◆ extractAndAddSummaries()

template<typename ExtractorFnT>

void clang::ssaf::extractAndAddSummaries	(	TUSummaryExtractor &	Extractor,
		TUSummaryBuilder &	Builder,
		ASTContext &	Ctx,
		ExtractorFnT	ExtractFn,
		const char *	ExtractorName = "" )

The standard contributor-summary extraction procedure:

Find and group all contributor decls by their canonical decls.
Use Extract to get an EntitySummary of a contributor from all of its decls.
Insert the EntitySummary into the Builder.

Parameters

ExtractorFnT	the template parameter that should be a function type 'std::unique_ptr<SummaryT>(std::vector<const NamedDecl *>)' for different entity summary type SummaryTs
ExtractFn	The function that extracts summaries of a contributor from its decls.
ExtractorName	The optional information inserted into the warning message when duplicate contributor names (EntityNames) are seen.

Definition at line 104 of file SSAFAnalysesCommon.h.

References clang::ssaf::TUSummaryExtractor::addEntity(), findContributors(), logWarningFromError(), makeEntityNameErr(), and makeErrAtNode().

Referenced by clang::ssaf::UnsafeBufferUsageTUSummaryExtractor::HandleTranslationUnit().

◆ fail() [1/3]

template<typename... Ts>

void clang::ssaf::fail	(	const char *	Fmt,
		Ts &&...	Args )

inline

Definition at line 43 of file Utils.h.

References fail(), and noreturn.

◆ fail() [2/3]

void clang::ssaf::fail ( const char * Msg )

Definition at line 127 of file Utils.cpp.

References noreturn.

Referenced by fail(), fail(), clang::ssaf::FormatFile::fromInputPath(), clang::ssaf::FormatFile::fromOutputPath(), and loadPlugins().

◆ fail() [3/3]

void clang::ssaf::fail ( llvm::Error Err )

Definition at line 132 of file Utils.cpp.

References fail(), and noreturn.

◆ findContributors()

void clang::ssaf::findContributors	(	ASTContext &	Ctx,
		llvm::DenseMap< const NamedDecl , std::vector< const NamedDecl > > &	Contributors )

Find all contributors in an AST.

The found contributors are organized as a map from the canonical declaration of each entity to all of its declarations.

Definition at line 127 of file SSAFAnalysesCommon.cpp.

References clang::C, and clang::cast().

Referenced by extractAndAddSummaries().

◆ findMatchesIn()

void clang::ssaf::findMatchesIn	(	const NamedDecl *	Contributor,
		llvm::function_ref< void(const DynTypedNode &)>	MatchActionRef )

Perform "MatchAction" on each Stmt and Decl belonging to the Contributor.

Parameters

Contributor
MatchActionRef	a reference (view) to a "MatchAction"

Definition at line 137 of file SSAFAnalysesCommon.cpp.

Referenced by clang::ssaf::UnsafeBufferUsageTUSummaryExtractor::extractEntitySummary().

◆ getEntityName()

std::optional< EntityName > clang::ssaf::getEntityName ( const Decl * D )

Maps a declaration to an EntityName.

Supported declaration types for entity mapping:

Functions and methods
Global Variables
Function parameters
Struct/class/union type definitions
Struct/class/union fields

Implicit declarations and compiler builtins are not mapped.

Parameters

D	The declaration to map. Must not be null.

Returns: An EntityName if the declaration can be mapped, std::nullopt otherwise.

Definition at line 21 of file ASTEntityMapping.cpp.

References clang::cast(), clang::index::generateUSRForDecl(), clang::isa(), and clang::Decl::isImplicit().

Referenced by clang::ssaf::TUSummaryExtractor::addEntity().

◆ getEntityNameForReturn()

std::optional< EntityName > clang::ssaf::getEntityNameForReturn ( const FunctionDecl * FD )

Maps return entity of a function to an EntityName.

The returned name uniquely identifies the return value of function

Parameters

FD.
FD	The function declaration. Must not be null.

Returns: An EntityName for the function's return entity.

Definition at line 62 of file ASTEntityMapping.cpp.

References clang::index::generateUSRForDecl(), clang::FunctionDecl::getBuiltinID(), and clang::Decl::isImplicit().

Referenced by clang::ssaf::TUSummaryExtractor::addEntityForReturn().

◆ getToolName()

llvm::StringRef clang::ssaf::getToolName ( )

Returns the name of the running tool, as set by initTool().

Definition at line 125 of file Utils.cpp.

◆ hasPtrOrArrType() [1/2]

bool clang::ssaf::hasPtrOrArrType ( const Expr * E )

inline

Returns: true iff expression E has pointer or array type.

Definition at line 55 of file SSAFAnalysesCommon.h.

References clang::QualType::getCanonicalType(), and clang::Expr::getType().

◆ hasPtrOrArrType() [2/2]

bool clang::ssaf::hasPtrOrArrType ( const ValueDecl * D )

inline

Returns: true iff Decl D has (reference-to) pointer or array type.

Definition at line 61 of file SSAFAnalysesCommon.h.

References clang::QualType::getCanonicalType(), clang::QualType::getNonReferenceType(), and clang::ValueDecl::getType().

◆ incrementPointerLevel()

EntityPointerLevel clang::ssaf::incrementPointerLevel ( const EntityPointerLevel & E )

An EntityPointerLevel is associated with a level of the declared pointer/array type of an entity.

In the fully-expanded spelling of the declared type, a EntityPointerLevel is associated with a '*' (or a '[]‘) in / that declaration. / / For example, for 'int *p[10];’, there are two EntityPointerLevels. / One is associated with 'int *[10]' of 'p' and the other is associated with / 'int *' of 'p'. / / An EntityPointerLevel can be identified by an EntityId and an unsigned / integer indicating the pointer level: '(EntityId, PointerLevel)'. / An EntityPointerLevel 'P' is valid iff 'P.EntityId' has a pointer type with / at least 'P.PointerLevel' levels (This implies 'P.PointerLevel > 0'). / / For the same example 'int *p[10];', the EntityPointerLevels below are valid: / - '(p, 2)' is associated with the 'int *' part of the declared type of 'p'; / - '(p, 1)' is associated with the 'int *[10]' part of the declared type of / 'p'. class EntityPointerLevel { EntityId Entity; unsigned PointerLevel;

friend class EntityPointerLevelTranslator; For unittests: friend EntityPointerLevel buildEntityPointerLevel(EntityId, unsigned);

explicit EntityPointerLevel(std::pair<EntityId, unsigned> Pair) : Entity(Pair.first), PointerLevel(Pair.second) {}

public: EntityId getEntity() const { return Entity; } unsigned getPointerLevel() const { return PointerLevel; }

bool operator==(const EntityPointerLevel &Other) const { return std::tie(Entity, PointerLevel) == std::tie(Other.Entity, Other.PointerLevel); }

bool operator!=(const EntityPointerLevel &Other) const { return !(*this == Other); }

bool operator<(const EntityPointerLevel &Other) const { return std::tie(Entity, PointerLevel) < std::tie(Other.Entity, Other.PointerLevel); }

/ Compares EntityPointerLevels; additionally, partially compares / EntityPointerLevel with EntityId. struct Comparator { using is_transparent = void; bool operator()(const EntityPointerLevel &L, const EntityPointerLevel &R) const { return L < R; } bool operator()(const EntityId &L, const EntityPointerLevel &R) const { return L < R.getEntity(); } bool operator()(const EntityPointerLevel &L, const EntityId &R) const { return L.getEntity() < R; } }; };

using EntityPointerLevelSet = std::set<EntityPointerLevel, EntityPointerLevel::Comparator>;

/ Translate a pointer/array type expression 'E' to a (set of) / EntityPointerLevel(s) associated with the declared type of the base address / of E. If the base address of E is not associated with an entity, the / translation result is an empty set. / /

Parameters

E	the pointer expression to be translated /
Ctx	the AST context of E /
AddEntity	the callback provided by the caller to convert EntityNames / to EntityIds. llvm::Expected<EntityPointerLevelSet> translateEntityPointerLevel(const Expr *E, ASTContext &Ctx, TUSummaryExtractor &Extractor);

/ Creates a EntityPointerLevel from a pair of an EntityId and a pointer / level: EntityPointerLevel buildEntityPointerLevel(EntityId, unsigned);

/ Create an EntityPointerLevel (EPL) from a NamedDecl of a pointer/array type. / /

Parameters

ND	the NamedDecl of a pointer/array type. /
AddEntity	the callback provided by the caller to convert EntityNames / to EntityIds. /
IsFunRet	true iff the created EPL is associated with the return type / of a function entity. llvm::Expected<EntityPointerLevel> createEntityPointerLevel(const NamedDecl *ND, TUSummaryExtractor &Extractor, bool IsFunRet = false);

/ Creates a new EntityPointerLevel (EPL) from E by incrementing E's / pointer level. /

Returns: the EPL that is associated with the pointee (or array element) type / of E's associated pointer/array type of the same entity.

Definition at line 359 of file EntityPointerLevel.cpp.

References clang::ssaf::EntityPointerLevelTranslator::incrementPointerLevel().

◆ initTool()

void clang::ssaf::initTool	(	int	argc,
		const char **	argv,
		llvm::StringRef	Version,
		llvm::cl::OptionCategory &	Category,
		llvm::StringRef	ToolHeading )

Sets ToolName, ToolVersion, and the version printer, hides unrelated command-line options, and parses arguments.

Must be called after InitLLVM.

Definition at line 151 of file Utils.cpp.

◆ isFormatRegistered()

bool clang::ssaf::isFormatRegistered ( llvm::StringRef FormatName )

Check if a SerializationFormat was registered with a given name.

Definition at line 17 of file SerializationFormatRegistry.cpp.

References isFormatRegistered().

Referenced by isFormatRegistered(), and parseOutputFileFormatAndPathOrReportError().

◆ isTransformationRegistered()

bool clang::ssaf::isTransformationRegistered ( llvm::StringRef Name )

Check if a Transformation was registered with a given name.

Definition at line 22 of file TransformationRegistry.cpp.

References isTransformationRegistered().

Referenced by isTransformationRegistered().

◆ isTUSummaryExtractorRegistered()

bool clang::ssaf::isTUSummaryExtractorRegistered ( llvm::StringRef SummaryName )

Check if a TUSummaryExtractor was registered with a given name.

Definition at line 18 of file ExtractorRegistry.cpp.

References isTUSummaryExtractorRegistered().

Referenced by isTUSummaryExtractorRegistered(), makeTUSummaryExtractors(), and reportUnrecognizedExtractorNames().

◆ loadPlugins()

void clang::ssaf::loadPlugins ( llvm::ArrayRef< std::string > Paths )

Definition at line 137 of file Utils.cpp.

References fail().

◆ logWarningFromError()

void clang::ssaf::logWarningFromError ( llvm::Error Err )

inline

Log a warning from an llvm::Error.

Definition at line 70 of file SSAFAnalysesCommon.h.

Referenced by extractAndAddSummaries(), and clang::ssaf::UnsafeBufferUsageTUSummaryExtractor::extractEntitySummary().

◆ makeEntityNameErr()

llvm::Error clang::ssaf::makeEntityNameErr	(	clang::ASTContext &	Ctx,
		const clang::NamedDecl *	D )

Definition at line 143 of file SSAFAnalysesCommon.cpp.

References clang::NamedDecl::getNameAsString(), and makeErrAtNode().

Referenced by extractAndAddSummaries().

◆ makeErrAtNode()

template<typename NodeTy, typename... Ts>

llvm::Error clang::ssaf::makeErrAtNode	(	clang::ASTContext &	Ctx,
		const NodeTy *	N,
		llvm::StringRef	Fmt,
		const Ts &...	Args )

Definition at line 38 of file SSAFAnalysesCommon.h.

References clang::ASTContext::getSourceManager().

Referenced by extractAndAddSummaries(), makeEntityNameErr(), and clang::ssaf::EntityPointerLevelTranslator::translate().

◆ makeFormat()

std::unique_ptr< SerializationFormat > clang::ssaf::makeFormat ( llvm::StringRef FormatName )

Try to instantiate a SerializationFormat with a given name.

This might return null if the construction of the desired SerializationFormat failed. It's a fatal error if there is no format registered with the name.

Definition at line 25 of file SerializationFormatRegistry.cpp.

◆ makeSawButExpectedError()

template<typename JSONTy, typename... Ts>

llvm::Error clang::ssaf::makeSawButExpectedError	(	const JSONTy &	Saw,
		llvm::StringRef	Expected,
		const Ts &...	ExpectedArgs )

Definition at line 46 of file SSAFAnalysesCommon.h.

References describeJSONValue().

Referenced by deserializeImpl(), edgeSetFromJSON(), entityPointerLevelFromJSON(), entityPointerLevelMapFromJSON(), and summaryFromJSON().

◆ makeTransformation()

std::unique_ptr< Transformation > clang::ssaf::makeTransformation	(	llvm::StringRef	Name,
		const WPASuite &	Suite,
		SourceEditEmitter &	Edits,
		TransformationReportEmitter &	Report )

Try to instantiate a Transformation with a given name.

This might return null if the construction of the desired Transformation failed. It's a fatal error if there is no transformation registered with the name.

Definition at line 30 of file TransformationRegistry.cpp.

References clang::sema::Report.

◆ makeTUSummaryExtractor()

std::unique_ptr< TUSummaryExtractor > clang::ssaf::makeTUSummaryExtractor	(	llvm::StringRef	SummaryName,
		TUSummaryBuilder &	Builder )

Try to instantiate a TUSummaryExtractor with a given name.

This might return null if the construction of the desired TUSummaryExtractor failed. It's a fatal error if there is no extractor registered with the name.

Definition at line 26 of file ExtractorRegistry.cpp.

Referenced by makeTUSummaryExtractors().

◆ operator<<() [1/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		BuildNamespaceKind	BNK )

Definition at line 57 of file BuildNamespace.cpp.

References buildNamespaceKindToString().

◆ operator<<() [2/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const AnalysisName &	AN )

Definition at line 13 of file AnalysisName.cpp.

References clang::ssaf::AnalysisName::str().

◆ operator<<() [3/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const BuildNamespace &	BN )

Definition at line 61 of file BuildNamespace.cpp.

◆ operator<<() [4/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const EntityId &	Id )

Definition at line 13 of file EntityId.cpp.

◆ operator<<() [5/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const EntityLinkage &	Linkage )

Definition at line 28 of file EntityLinkage.cpp.

◆ operator<<() [6/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const EntityName &	EN )

Definition at line 36 of file EntityName.cpp.

◆ operator<<() [7/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const NestedBuildNamespace &	NBN )

Definition at line 65 of file BuildNamespace.cpp.

◆ operator<<() [8/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		const SummaryName &	SN )

Definition at line 13 of file SummaryName.cpp.

References clang::ssaf::SummaryName::str().

◆ operator<<() [9/9]

llvm::raw_ostream & clang::ssaf::operator<<	(	llvm::raw_ostream &	OS,
		EntityLinkageType	Linkage )

Writes a string representation of the linkage type to the stream.

Definition at line 23 of file EntityLinkage.cpp.

References entityLinkageTypeToString().

◆ printAvailableFormats()

void clang::ssaf::printAvailableFormats ( llvm::raw_ostream & OS )

Print the list of available serialization formats.

Definition at line 33 of file SerializationFormatRegistry.cpp.

Referenced by clang::driver::Driver::HandleImmediateArgs().

◆ printAvailableTransformations()

void clang::ssaf::printAvailableTransformations ( llvm::raw_ostream & OS )

Print the list of available Transformations.

Definition at line 40 of file TransformationRegistry.cpp.

◆ printAvailableTUSummaryExtractors()

void clang::ssaf::printAvailableTUSummaryExtractors ( llvm::raw_ostream & OS )

Print the list of available TUSummaryExtractors.

Definition at line 35 of file ExtractorRegistry.cpp.

Referenced by clang::driver::Driver::HandleImmediateArgs().

◆ readJSON()

llvm::Expected< Value > clang::ssaf::readJSON ( llvm::StringRef Path )

Definition at line 33 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), clang::ssaf::ErrorMessages::FailedToReadFile, clang::ssaf::ErrorMessages::FileIsDirectory, clang::ssaf::ErrorMessages::FileIsNotJSON, clang::ssaf::ErrorMessages::FileNotFound, and JSONFormatFileExtension.

Referenced by clang::ssaf::JSONFormat::readArtifact(), clang::ssaf::JSONFormat::readArtifactEncoding(), clang::ssaf::JSONFormat::readLUSummary(), clang::ssaf::JSONFormat::readLUSummaryEncoding(), clang::ssaf::JSONFormat::readTUSummary(), clang::ssaf::JSONFormat::readTUSummaryEncoding(), and clang::ssaf::JSONFormat::readWPASuite().

◆ readSummaryType()

llvm::Expected< llvm::StringRef > clang::ssaf::readSummaryType ( const Object & RootObject )

Reads the JSONTypeKey field from the root object as a string.

Returns the string on success; on error, the message is suitable for callers that want to report the missing field themselves.

Definition at line 154 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), clang::ssaf::ErrorMessages::FailedToReadObjectAtField, and JSONTypeKey.

Referenced by checkSummaryType(), clang::ssaf::JSONFormat::readArtifact(), and clang::ssaf::JSONFormat::readArtifactEncoding().

◆ summaryNameFromJSON()

SummaryName clang::ssaf::summaryNameFromJSON ( llvm::StringRef SummaryNameStr )

Definition at line 144 of file JSONFormatImpl.cpp.

◆ summaryNameToJSON()

llvm::StringRef clang::ssaf::summaryNameToJSON ( const SummaryName & SN )

Definition at line 148 of file JSONFormatImpl.cpp.

References clang::ssaf::SummaryName::str().

◆ validateNormalizedTargetTriple()

llvm::Error clang::ssaf::validateNormalizedTargetTriple ( llvm::StringRef Triple )

Validates that Triple is a target triple string in normalized form.

Returns success if Triple equals llvm::Triple::normalize(Triple), otherwise returns an invalid_argument error describing the expected normalized form.

Definition at line 448 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), and clang::ssaf::ErrorMessages::TargetTripleNotNormalized.

◆ writeJSON()

llvm::Error clang::ssaf::writeJSON	(	Value &&	V,
		llvm::StringRef	Path )

Definition at line 67 of file JSONFormatImpl.cpp.

References clang::ssaf::ErrorBuilder::build(), clang::ssaf::ErrorBuilder::create(), clang::ssaf::ErrorMessages::FailedToWriteFile, clang::ssaf::ErrorMessages::FileExists, clang::ssaf::ErrorMessages::FileIsNotJSON, JSONFormatFileExtension, clang::ssaf::ErrorMessages::ParentDirectoryNotFound, and V.

Referenced by clang::ssaf::JSONFormat::writeLUSummary(), clang::ssaf::JSONFormat::writeLUSummaryEncoding(), clang::ssaf::JSONFormat::writeTUSummary(), clang::ssaf::JSONFormat::writeTUSummaryEncoding(), and clang::ssaf::JSONFormat::writeWPASuite().

Variable Documentation

◆ AnalysisRegistryAnchorSource

volatile int clang::ssaf::AnalysisRegistryAnchorSource = 0

Definition at line 18 of file AnalysisRegistry.cpp.

◆ BuiltinAnchorDestination

const int clang::ssaf::BuiltinAnchorDestination

static

Definition at line 29 of file SSAFBuiltinForceLinker.h.

◆ CallGraphExtractorAnchorSource

volatile int clang::ssaf::CallGraphExtractorAnchorSource = 0

Definition at line 107 of file CallGraphExtractor.cpp.

◆ CallGraphJSONFormatAnchorSource

volatile int clang::ssaf::CallGraphJSONFormatAnchorSource = 0

Definition at line 173 of file CallGraphJSONFormat.cpp.

◆ ContextSeparator

llvm::StringLiteral clang::ssaf::ContextSeparator = "\n"

staticconstexpr

Definition at line 17 of file ErrorBuilder.cpp.

Referenced by clang::ssaf::ErrorBuilder::build().

◆ ErrorSeparator

llvm::StringLiteral clang::ssaf::ErrorSeparator = " + "

staticconstexpr

Definition at line 16 of file ErrorBuilder.cpp.

Referenced by clang::ssaf::ErrorBuilder::wrap().

◆ HasAnalysisName_v

template<typename T>

bool clang::ssaf::HasAnalysisName_v = HasAnalysisName<T>::value

inlineconstexpr

Definition at line 32 of file AnalysisTraits.h.

Referenced by clang::ssaf::WPASuite::contains(), and clang::ssaf::WPASuite::get().

◆ HasSummaryName_v

template<typename T>

bool clang::ssaf::HasSummaryName_v = HasSummaryName<T>::value

inlineconstexpr

Definition at line 37 of file SummaryDataTraits.h.

Referenced by clang::ssaf::SummaryDataStore::contains(), clang::ssaf::SummaryDataStore::get(), and clang::ssaf::SummaryDataStore::take().

◆ JSONEntityIdKey

const char* clang::ssaf::JSONEntityIdKey = "@"

inlineconstexpr

An entity ID is encoded as the single-key object {"@": <index>}.

Definition at line 137 of file JSONFormatImpl.h.

◆ JSONFormatAnchorSource

volatile int clang::ssaf::JSONFormatAnchorSource = 0

Definition at line 27 of file JSONFormatImpl.cpp.

◆ JSONFormatFileExtension

const char* clang::ssaf::JSONFormatFileExtension = ".json"

inlineconstexpr

Definition at line 45 of file JSONFormatImpl.h.

Referenced by readJSON(), and writeJSON().

◆ JSONTypeKey

const char* clang::ssaf::JSONTypeKey = "type"

inlineconstexpr

Root-object key naming the summary kind so files are self-describing.

Definition at line 144 of file JSONFormatImpl.h.

Referenced by checkSummaryType(), clang::ssaf::JSONFormat::readArtifact(), clang::ssaf::JSONFormat::readArtifactEncoding(), readSummaryType(), clang::ssaf::JSONFormat::writeLUSummary(), clang::ssaf::JSONFormat::writeLUSummaryEncoding(), clang::ssaf::JSONFormat::writeTUSummary(), clang::ssaf::JSONFormat::writeTUSummaryEncoding(), and clang::ssaf::JSONFormat::writeWPASuite().

◆ JSONTypeValueLUSummary

const char* clang::ssaf::JSONTypeValueLUSummary = "LUSummary"

inlineconstexpr

Value written to JSONTypeKey for serialized LUSummary files.

Definition at line 150 of file JSONFormatImpl.h.

Referenced by clang::ssaf::JSONFormat::readArtifact(), clang::ssaf::JSONFormat::readArtifactEncoding(), clang::ssaf::JSONFormat::readLUSummary(), clang::ssaf::JSONFormat::readLUSummaryEncoding(), clang::ssaf::JSONFormat::writeLUSummary(), and clang::ssaf::JSONFormat::writeLUSummaryEncoding().

◆ JSONTypeValueTUSummary

const char* clang::ssaf::JSONTypeValueTUSummary = "TUSummary"

inlineconstexpr

Value written to JSONTypeKey for serialized TUSummary files.

Definition at line 147 of file JSONFormatImpl.h.

Referenced by clang::ssaf::JSONFormat::readArtifact(), clang::ssaf::JSONFormat::readArtifactEncoding(), clang::ssaf::JSONFormat::readTUSummary(), clang::ssaf::JSONFormat::readTUSummaryEncoding(), clang::ssaf::JSONFormat::writeTUSummary(), and clang::ssaf::JSONFormat::writeTUSummaryEncoding().

◆ JSONTypeValueWPASuite

const char* clang::ssaf::JSONTypeValueWPASuite = "WPASuite"

inlineconstexpr

Value written to JSONTypeKey for serialized WPASuite files.

Definition at line 153 of file JSONFormatImpl.h.

Referenced by clang::ssaf::JSONFormat::readArtifact(), clang::ssaf::JSONFormat::readWPASuite(), and clang::ssaf::JSONFormat::writeWPASuite().

◆ PointerFlowAnalysisAnchorSource

volatile int clang::ssaf::PointerFlowAnalysisAnchorSource = 0

Definition at line 121 of file PointerFlowAnalysis.cpp.

◆ PointerFlowAnalysisResultName

llvm::StringLiteral clang::ssaf::PointerFlowAnalysisResultName

constexpr

Initial value:

=

"PointerFlowAnalysisResult"

Definition at line 26 of file PointerFlowAnalysis.h.

Referenced by clang::ssaf::PointerFlowAnalysisResult::analysisName().

◆ PointerFlowExtractorAnchorSource

volatile int clang::ssaf::PointerFlowExtractorAnchorSource = 0

Definition at line 347 of file PointerFlowExtractor.cpp.

◆ PointerFlowJSONFormatAnchorSource

volatile int clang::ssaf::PointerFlowJSONFormatAnchorSource = 0

Definition at line 131 of file PointerFlowFormat.cpp.

◆ SSAFSourceTransformationAnchorSource

volatile int clang::ssaf::SSAFSourceTransformationAnchorSource = 0

Definition at line 17 of file TransformationRegistry.cpp.

◆ UnsafeBufferReachableAnalysisResultName

llvm::StringLiteral clang::ssaf::UnsafeBufferReachableAnalysisResultName

constexpr

Initial value:

=

"UnsafeBufferReachableAnalysisResult"

Definition at line 37 of file UnsafeBufferUsageAnalysis.h.

Referenced by clang::ssaf::UnsafeBufferReachableAnalysisResult::analysisName().

◆ UnsafeBufferUsageAnalysisAnchorSource

volatile int clang::ssaf::UnsafeBufferUsageAnalysisAnchorSource = 0

Definition at line 249 of file UnsafeBufferUsageAnalysis.cpp.

◆ UnsafeBufferUsageAnalysisResultName

llvm::StringLiteral clang::ssaf::UnsafeBufferUsageAnalysisResultName

constexpr

Initial value:

=

"UnsafeBufferUsageAnalysisResult"

Definition at line 35 of file UnsafeBufferUsageAnalysis.h.

Referenced by clang::ssaf::UnsafeBufferUsageAnalysisResult::analysisName().

◆ UnsafeBufferUsageExtractorAnchorSource

volatile int clang::ssaf::UnsafeBufferUsageExtractorAnchorSource = 0

Definition at line 86 of file UnsafeBufferUsageExtractor.cpp.

◆ UnsafeBufferUsageJSONFormatAnchorSource

volatile int clang::ssaf::UnsafeBufferUsageJSONFormatAnchorSource = 0

Definition at line 85 of file UnsafeBufferUsageFormat.cpp.

Namespaces

Classes

Typedefs

Enumerations

Functions

Variables

Typedef Documentation

◆ Array

◆ Artifact

◆ ArtifactEncoding

◆ DerivesFromEntitySummary

◆ EdgeSet

◆ Object

◆ SerializationFormatRegistry

◆ TransformationRegistry

◆ TUSummaryExtractorRegistry

◆ Value

Enumeration Type Documentation

◆ BuildNamespaceKind

◆ EntityLinkageType

Function Documentation

◆ analysisNameFromJSON()

◆ analysisNameToJSON()

◆ buildNamespaceKindFromJSON()

◆ buildNamespaceKindFromString()

◆ buildNamespaceKindToJSON()

◆ buildNamespaceKindToString()

◆ buildPointerFlowEntitySummary()

◆ checkSummaryType()

◆ describeJSONValue() [1/3]

◆ describeJSONValue() [2/3]

◆ describeJSONValue() [3/3]

◆ edgeSetFromJSON()

◆ edgeSetToJSON()

◆ entityIdTableEntryIdFromJSON()

◆ entityIdTableFromJSONImpl()

◆ entityLinkageTypeFromJSON()

◆ entityLinkageTypeFromString()

◆ entityLinkageTypeToJSON()

◆ entityLinkageTypeToString()

◆ entityNameCoreFromJSON()

◆ entityPointerLevelFromJSON()

◆ entityPointerLevelMapFromJSON()

◆ entityPointerLevelMapToJSON()

◆ entityPointerLevelSetFromJSON()

◆ entityPointerLevelSetToJSON()

◆ entityPointerLevelToJSON()

◆ extractAndAddSummaries()

◆ fail() [1/3]

◆ fail() [2/3]

◆ fail() [3/3]

◆ findContributors()

◆ findMatchesIn()

◆ getEntityName()

◆ getEntityNameForReturn()

◆ getToolName()

◆ hasPtrOrArrType() [1/2]

◆ hasPtrOrArrType() [2/2]

◆ incrementPointerLevel()

◆ initTool()

◆ isFormatRegistered()

◆ isTransformationRegistered()

◆ isTUSummaryExtractorRegistered()

◆ loadPlugins()

◆ logWarningFromError()

◆ makeEntityNameErr()

◆ makeErrAtNode()

◆ makeFormat()

◆ makeSawButExpectedError()

◆ makeTransformation()

◆ makeTUSummaryExtractor()

◆ operator<<() [1/9]

◆ operator<<() [2/9]

◆ operator<<() [3/9]

◆ operator<<() [4/9]

◆ operator<<() [5/9]

◆ operator<<() [6/9]

◆ operator<<() [7/9]

◆ operator<<() [8/9]

◆ operator<<() [9/9]