UnsafeBufferUsage.cpp File Reference

#include "clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h"
#include "SSAFAnalysesCommon.h"
#include "clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h"
#include "clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h"
#include "clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageTest.h"
#include "clang/ScalableStaticAnalysisFramework/Core/Serialization/JSONFormat.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/JSON.h"
#include <cstdint>

Go to the source code of this file.

Classes
struct	UnsafeBufferUsageJSONFormatInfo

Typedefs
using	Array = llvm::json::Array
using	Object = llvm::json::Object

Functions
static Object	serialize (const EntitySummary &S, JSONFormat::EntityIdToJSONFn Fn)
static llvm::Expected< std::unique_ptr< EntitySummary > >	deserializeImpl (const Object &Data, JSONFormat::EntityIdFromJSONFn Fn)
static llvm::Expected< std::unique_ptr< EntitySummary > >	deserialize (const Object &Data, EntityIdTable &, JSONFormat::EntityIdFromJSONFn Fn)
static llvm::Registry< JSONFormat::FormatInfo >::Add< UnsafeBufferUsageJSONFormatInfo >	RegisterUnsafeBufferUsageJSONFormatInfo (UnsafeBufferUsageEntitySummary::Name, "JSON Format info for UnsafeBufferUsageEntitySummary")

Variables
static constexpr llvm::StringLiteral	SummarySerializationKey = "UnsafeBuffers"
volatile int	UnsafeBufferUsageSSAFJSONFormatAnchorSource = 0

Typedef Documentation

Array

using Array = llvm::json::Array

Examples

/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 21 of file UnsafeBufferUsage.cpp.

Object

using Object = llvm::json::Object

Definition at line 22 of file UnsafeBufferUsage.cpp.

Function Documentation

deserialize()

llvm::Expected< std::unique_ptr< EntitySummary > > deserialize ( const Object & Data, EntityIdTable & , JSONFormat::EntityIdFromJSONFn Fn )

static

Definition at line 70 of file UnsafeBufferUsage.cpp.

References clang::Data, and deserializeImpl().

Referenced by UnsafeBufferUsageJSONFormatInfo::UnsafeBufferUsageJSONFormatInfo().

deserializeImpl()

llvm::Expected< std::unique_ptr< EntitySummary > > deserializeImpl ( const Object & Data, JSONFormat::EntityIdFromJSONFn Fn )

static

Definition at line 47 of file UnsafeBufferUsage.cpp.

References clang::Data, clang::ssaf::entityPointerLevelFromJSON(), clang::ssaf::makeSawButExpectedError(), and SummarySerializationKey.

Referenced by deserialize(), and clang::ssaf::serializeDeserializeRoundTrip().

RegisterUnsafeBufferUsageJSONFormatInfo()

llvm::Registry< JSONFormat::FormatInfo >::Add< UnsafeBufferUsageJSONFormatInfo > RegisterUnsafeBufferUsageJSONFormatInfo ( UnsafeBufferUsageEntitySummary::Name , "JSON Format info for UnsafeBufferUsageEntitySummary"  )

static

References clang::ssaf::UnsafeBufferUsageEntitySummary::Name.

serialize()

Object serialize ( const EntitySummary & S, JSONFormat::EntityIdToJSONFn Fn )

static

Definition at line 36 of file UnsafeBufferUsage.cpp.

References clang::ssaf::entityPointerLevelToJSON(), and SummarySerializationKey.

Referenced by clang::ssaf::serializeDeserializeRoundTrip(), and UnsafeBufferUsageJSONFormatInfo::UnsafeBufferUsageJSONFormatInfo().

Variable Documentation

SummarySerializationKey

llvm::StringLiteral SummarySerializationKey = "UnsafeBuffers"

staticconstexpr

Definition at line 24 of file UnsafeBufferUsage.cpp.

Referenced by deserializeImpl(), and serialize().

UnsafeBufferUsageSSAFJSONFormatAnchorSource

volatile int UnsafeBufferUsageSSAFJSONFormatAnchorSource = 0

Definition at line 88 of file UnsafeBufferUsage.cpp.