PointerFlowFormat.cpp File Reference

#include "clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowFormat.h"
#include "SSAFAnalysesCommon.h"
#include "clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h"
#include "clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlow.h"
#include "clang/ScalableStaticAnalysisFramework/Core/Serialization/JSONFormat.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/JSON.h"

Go to the source code of this file.

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

Functions
static llvm::json::Object	summaryToJSON (const EntitySummary &ES, JSONFormat::EntityIdToJSONFn EntityId2JSON)
static llvm::Expected< std::unique_ptr< EntitySummary > >	summaryFromJSON (const Object &Data, EntityIdTable &, JSONFormat::EntityIdFromJSONFn EntityIdFromJSON)
static llvm::Registry< JSONFormat::FormatInfo >::Add< PointerFlowJSONFormatInfo >	RegisterPointerFlowJSONFormatInfo ("PointerFlow", "JSON Format info for PointerFlowEntitySummary")

Variables
volatile int	PointerFlowSSAFJSONFormatAnchorSource = 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 PointerFlowFormat.cpp.

Object

using Object = llvm::json::Object

Definition at line 20 of file PointerFlowFormat.cpp.

Value

using Value = llvm::json::Value

Definition at line 22 of file PointerFlowFormat.cpp.

Function Documentation

RegisterPointerFlowJSONFormatInfo()

llvm::Registry< JSONFormat::FormatInfo >::Add< PointerFlowJSONFormatInfo > RegisterPointerFlowJSONFormatInfo ( "PointerFlow" , "JSON Format info for PointerFlowEntitySummary"  )

static

summaryFromJSON()

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

static

Definition at line 95 of file PointerFlowFormat.cpp.

References clang::ssaf::buildPointerFlowEntitySummary(), clang::Data, clang::ssaf::edgeSetFromJSON(), and clang::ssaf::makeSawButExpectedError().

summaryToJSON()

llvm::json::Object summaryToJSON ( const EntitySummary & ES, JSONFormat::EntityIdToJSONFn EntityId2JSON )

static

Definition at line 85 of file PointerFlowFormat.cpp.

References clang::Data, and clang::ssaf::edgeSetToJSON().

Variable Documentation

PointerFlowSSAFJSONFormatAnchorSource

volatile int PointerFlowSSAFJSONFormatAnchorSource = 0

Definition at line 130 of file PointerFlowFormat.cpp.