SourceCodeAnalysisCompileValidation
data class SourceCodeAnalysisCompileValidation(val compileCommandsFile: Path, val additionalQuoteIncludePaths: List<Path> = emptyList(), val additionalSourceFiles: List<Path> = emptyList(), val activeTransforms: BitcodeTransformsConfig = BitcodeTransformsConfig(), val clangBinary: String = StigLlvmToolchain.CLANGXX, val cxxfiltBinary: String = StigLlvmToolchain.CXXFILT, val discoverProvisionalTransforms: Boolean = true)
Real native compile-command context used to validate generated field/member expressions before writing them.
Constructors
Link copied to clipboard
constructor(compileCommandsFile: Path, additionalQuoteIncludePaths: List<Path> = emptyList(), additionalSourceFiles: List<Path> = emptyList(), activeTransforms: BitcodeTransformsConfig = BitcodeTransformsConfig(), clangBinary: String = StigLlvmToolchain.CLANGXX, cxxfiltBinary: String = StigLlvmToolchain.CXXFILT, discoverProvisionalTransforms: Boolean = true)
Properties
Link copied to clipboard
Exact currently active rules; source-providing rules participate in first-init boundary closure.
Link copied to clipboard
Link copied to clipboard
Harness fragments and stub/model sources that P5 includes independently of transform activation.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard