dataFlowEndpointSummary

fun AnalysisResult.dataFlowEndpointSummary(includeSegmentIds: Boolean = true, logicalSinkSymbol: String? = null): DataFlowEndpointSummary

Reads only the source/sink boundary facts needed by aggregate diagrams and endpoint postconditions. Schema-v7 evidence is traversed in its compact representation; no SinkDataFlowDAG, DataFlowSegment, or segment edge is constructed.

Generated with STIG