AnalysisResult
data class AnalysisResult(val schemaVersion: Int = 5, val codeAnalysisConfiguration: CodeAnalysisConfiguration, val repos: List<Repo>, val controlFlowGraph: ControlFlowGraph, val sinks: List<Sink>, val solverExecutions: List<SolverExecution> = emptyList(), val dataFlowEvidence: DataFlowEvidenceStore = DataFlowEvidenceStore())
Constructors
Link copied to clipboard
constructor(schemaVersion: Int = 5, codeAnalysisConfiguration: CodeAnalysisConfiguration, repos: List<Repo>, controlFlowGraph: ControlFlowGraph, sinks: List<Sink>, solverExecutions: List<SolverExecution> = emptyList(), dataFlowEvidence: DataFlowEvidenceStore = DataFlowEvidenceStore())
Properties
Functions
Link copied to clipboard
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.
Link copied to clipboard
Decompresses exactly one physical sink's schema-v7 component references. V5/v6 values are already sink-local and are returned unchanged. The generated segment/edge IDs identify (component, topology position) and do not collapse equal payloads at different graph positions.
Link copied to clipboard
Derives one logical-sink view from an aggregate analyzer result.
Link copied to clipboard
Validates the semantic invariants the type system can't catch. Throws IllegalStateException on the first violation with a message naming the offending field/value pair.