clang::ssaf::PointerFlowAnalysisResult Struct Reference

The whole-program 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

The whole-program pointer-flow graph.

Each directed edge 'src -> dest' records a static assignment site where 'src' (the LHS / assignee) is assigned the value of 'dest' (the RHS / assigned value).

This edge direction matches property-propagation direction: if a property (such as a bounds requirement) holds for 'src', it must also hold for 'dest', because 'dest' supplies the value that 'src' will hold.

Definition at line 36 of file PointerFlowAnalysis.h.

Member Function Documentation

analysisName()

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

inlinestatic

Definition at line 37 of file PointerFlowAnalysis.h.

References clang::ssaf::PointerFlowAnalysisResultName.

Member Data Documentation

Edges

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

Definition at line 41 of file PointerFlowAnalysis.h.

---

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

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