stig-engine/com.stigway.engine.diagram/DataFlowSegment

DataFlowSegment

data class DataFlowSegment(val id: String, val instructionIds: List<String>, val factIds: List<String> = emptyList(), val mergedSegmentIds: List<String> = emptyList(), val sourceBoundaryInstructionIds: List<String> = emptyList())

Segment ids are globally unique across all sinks (one counter on the analyzer side). instructionIds references ControlFlowGraph.nodes.id — segments are normalized over the ICFG, not denormalized with full instruction data.

Constructors

DataFlowSegment

constructor(id: String, instructionIds: List<String>, factIds: List<String> = emptyList(), mergedSegmentIds: List<String> = emptyList(), sourceBoundaryInstructionIds: List<String> = emptyList())

Properties

factIds

val factIds: List<String>

val id: String

instructionIds

val instructionIds: List<String>

mergedSegmentIds

val mergedSegmentIds: List<String>

sourceBoundaryInstructionIds

val sourceBoundaryInstructionIds: List<String>

Source calls joined to root payloads through explicit zero-to-nonzero generation transitions.