clang::ssaf::PointerFlowAnalysisResult Struct Reference

A PointerFlowAnalysisResult is a set of pointer-flow edges, i.e., a pointer-flow graph. More...

#include "clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowAnalysis.h"

Inheritance diagram for clang::ssaf::PointerFlowAnalysisResult:

Static Public Member Functions
static AnalysisName	analysisName ()

Public Attributes
std::map< EntityId, EdgeSet >	Edges

Additional Inherited Members
Public Member Functions inherited from clang::ssaf::AnalysisResult
virtual	~AnalysisResult ()=default

Detailed Description

A PointerFlowAnalysisResult is a set of pointer-flow edges, i.e., a pointer-flow graph.

A directed edge src -> dest corresponds to an assignment (of any of various kinds, e.g., assignment operator or argument-passing) of pointer dest to pointer src in the source code. The edge's direction is the opposite of how pointer values flow. This is because PointerFlowAnalysisResult is used for analyzing property propagation between pointers. For an assignment src = dest, the propagation works such that if src has a property, dest must also have that property; otherwise, the property would not be preserved across the assignment.

Definition at line 40 of file PointerFlowAnalysis.h.

Member Function Documentation

analysisName()

AnalysisName clang::ssaf::PointerFlowAnalysisResult::analysisName ( )

inlinestatic

Definition at line 41 of file PointerFlowAnalysis.h.

References clang::ssaf::PointerFlowAnalysisResultName.

Member Data Documentation

Edges

std::map<EntityId, EdgeSet> clang::ssaf::PointerFlowAnalysisResult::Edges

Definition at line 45 of file PointerFlowAnalysis.h.

---

The documentation for this struct was generated from the following file:

• include/clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowAnalysis.h