clang::ssaf::UnsafeBufferReachableAnalysisResult Struct Reference

#include "clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.h"

Inheritance diagram for clang::ssaf::UnsafeBufferReachableAnalysisResult:

Static Public Member Functions
static AnalysisName	analysisName ()

Public Attributes
EntityPointerLevelSet	Reachables
	Whole-program set of pointers (EPLs) reachable from unsafe buffer usage.

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

Detailed Description

Definition at line 52 of file UnsafeBufferUsageAnalysis.h.

Member Function Documentation

analysisName()

AnalysisName clang::ssaf::UnsafeBufferReachableAnalysisResult::analysisName ( )

inlinestatic

Definition at line 53 of file UnsafeBufferUsageAnalysis.h.

References clang::ssaf::UnsafeBufferReachableAnalysisResultName.

Member Data Documentation

Reachables

EntityPointerLevelSet clang::ssaf::UnsafeBufferReachableAnalysisResult::Reachables

Whole-program set of pointers (EPLs) reachable from unsafe buffer usage.

Definition at line 58 of file UnsafeBufferUsageAnalysis.h.

---

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

• include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.h