DataFlowEndpointSummary
data class DataFlowEndpointSummary(val configuredSourceInstructionIds: Set<String>, val configuredSinkInstructionIds: Set<String>, val configuredSinkSymbols: Set<String>, val leakedConfiguredSinkInstructionIds: Set<String>, val configuredSourceSegmentIds: Set<String>, val configuredSinkSegmentIds: Set<String>, val leakedConfiguredSinkSegmentIds: Set<String>, val reachedSourceSinkPairs: Set<DataFlowEndpointPair>)
Endpoint-only projection of analyzer data-flow evidence.
Schema v7 derives this directly from the run-global component tables. It deliberately does not materialize component vertices or edges, so aggregate P7 summaries stay proportional to the configured endpoints rather than the expanded per-solver DAGs.
Constructors
Link copied to clipboard
constructor(configuredSourceInstructionIds: Set<String>, configuredSinkInstructionIds: Set<String>, configuredSinkSymbols: Set<String>, leakedConfiguredSinkInstructionIds: Set<String>, configuredSourceSegmentIds: Set<String>, configuredSinkSegmentIds: Set<String>, leakedConfiguredSinkSegmentIds: Set<String>, reachedSourceSinkPairs: Set<DataFlowEndpointPair>)