CodeInstruction

open class CodeInstruction(name: String? = null, description: String? = null, asil: ASIL? = null, val issues: List<IssueReference> = emptyList(), val source: StigRepoFile? = null, val line: Int? = null, val column: Int? = null, val mangledName: String? = null, val demangledName: String? = null, val opcode: String? = null, val ssaName: String? = null, val isSource: Boolean = false, val isSink: Boolean = false, val isBranch: Boolean = false, val isCompilerGenerated: Boolean = false, val sources: List<URLReference> = emptyList()) : MetamodelEntity, CodeConstruct

An individual instruction in the analysed code — typically an LLVM IR instruction reported by the analyzer's per-instruction view.

opcode is the IR opcode (e.g. store, call, load); ssaName is the destination SSA register (%17, %foo) when the opcode produces a value, null otherwise. Both come from the analyzer JSON; the diagram uses them for tooltips and to disambiguate otherwise identical-looking nodes.

Constructors

Link copied to clipboard
constructor(name: String? = null, description: String? = null, asil: ASIL? = null, issues: List<IssueReference> = emptyList(), source: StigRepoFile? = null, line: Int? = null, column: Int? = null, mangledName: String? = null, demangledName: String? = null, opcode: String? = null, ssaName: String? = null, isSource: Boolean = false, isSink: Boolean = false, isBranch: Boolean = false, isCompilerGenerated: Boolean = false, sources: List<URLReference> = emptyList())

Properties

Link copied to clipboard
open val asil: ASIL?
Link copied to clipboard
open override val column: Int?
Link copied to clipboard

Identity of the authored Kotlin declaration, independent of its receiving model instance. Inherited declarations retain this provenance while id distinguishes each owning instance.

Link copied to clipboard

Fully-qualified name of the declaring context. Prefers declaringClassNameOverride (set explicitly by source materializers or canonical-ID binding) over declaringClass's captured name; falls back to null if neither is available.

Link copied to clipboard
open override val demangledName: String?
Link copied to clipboard
open val description: String?
Link copied to clipboard
val id: String

Fully-qualified unique identifier of this model instance. A member follows its actual owning instance, so two instances of the same user class have distinct member IDs. declarationId retains the common source declaration for navigation and naming rules.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Analyzer-reported roles/classification, preserved for diagram filtering: taint isSource / isSink, a isBranch terminator, and isCompilerGenerated — IR introduced by clang's lowering (alloca / phi / llvm.dbg.*) vs a real source-level "code instruction". The diagram-level transforms key off these (summarized = sources/sinks; source-code level = !isCompilerGenerated).

Link copied to clipboard
open override val issues: List<IssueReference>
Link copied to clipboard
open override val kind: CodeConstructKind

The category of this construct. Concrete subtypes pin this.

Link copied to clipboard
open override val line: Int?
Link copied to clipboard
open override val mangledName: String?
Link copied to clipboard
open val name: String?
Link copied to clipboard
Link copied to clipboard

Kotlin val name that holds this entity, scoped to its declaring context. Populated reflectively by WireModel.wireAll in the compiled path, or set directly via bindToSource in the source-materialized path. null until either runs.

Link copied to clipboard
open override val source: StigRepoFile?
Link copied to clipboard
open override val sources: List<URLReference>
Link copied to clipboard

Functions

Link copied to clipboard

Binds an authored field or constructor-owned value without replacing its source declaration provenance.

Link copied to clipboard

Registers a child entity declared inside a source-materialized parent.

Link copied to clipboard

Records source-declared uses without changing the target's declaration or owner.

Link copied to clipboard

Binds an entity to an already computed canonical MetamodelEntity.id.

Link copied to clipboard
fun MetamodelEntity.bindToSource(referenceName: String, declaringClassName: String)

Sets the canonical identifiers for an entity that was materialized from source (as opposed to being instantiated from compiled bytecode). Intended for use by PSI / source materializers such as the IDEA plugin.

Link copied to clipboard

Interface-point analyses in declaration order, including analyses nested beneath ports or service groups.

Link copied to clipboard

Structural children, including explicit metamodel containment. Relation targets retain their own declaration.

Link copied to clipboard
Generated with STIG