SourceCodeAnalysisTransformProvenance
data class SourceCodeAnalysisTransformProvenance(val identity: String, val kind: BitcodeRewriteKind, val symbol: String, val mangledSymbol: String? = null, val scope: BitcodeTransformScope? = null, val owner: String? = null, val originalCompileUnit: String? = null, val originalSource: BitcodeOriginalSource? = null, val llvmDerivedBehavior: LlvmDerivedBehavior? = null, val reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW, val ownerUnits: List<String> = emptyList(), val matchedSymbols: List<SourceCodeAnalysisTransformMatch> = emptyList(), val p5InputMatchedSymbols: List<String>? = null, val sourceInclusionTriggers: List<String> = emptyList())
Constructors
Link copied to clipboard
constructor(identity: String, kind: BitcodeRewriteKind, symbol: String, mangledSymbol: String? = null, scope: BitcodeTransformScope? = null, owner: String? = null, originalCompileUnit: String? = null, originalSource: BitcodeOriginalSource? = null, llvmDerivedBehavior: LlvmDerivedBehavior? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW, ownerUnits: List<String> = emptyList(), matchedSymbols: List<SourceCodeAnalysisTransformMatch> = emptyList(), p5InputMatchedSymbols: List<String>? = null, sourceInclusionTriggers: List<String> = emptyList())
Properties
Link copied to clipboard
Link copied to clipboard
Automatic LLVM determination of the original behavior, generated by STIG's LLVM evaluation. Reviewers read this evidence without editing it, including when it is UNKNOWN; they record their technical conclusion in the project registry rule's model and reviewStatus instead.
Link copied to clipboard
Link copied to clipboard
Complete selector matches in the original P3 module, with native definition owners when available.
Link copied to clipboard
Link copied to clipboard
Authored original-source link, independent of native compiler-input selection.
Link copied to clipboard
Link copied to clipboard
Complete matches in the linked P5 input before post-link rewrites; null means not captured.
Link copied to clipboard
The shared registry rule's status, copied here for reporting.
Link copied to clipboard
Link copied to clipboard
Exact unresolved symbols that caused a source-providing rule's file to enter the source closure.