LlvmFunctionContractReport
data class LlvmFunctionContractReport(val schemaId: String = "ai.exida.stig/llvm-function-contracts", val schemaVersion: Int = 1, val checkpoint: String = "P5_FINAL", val moduleSha256: String, val beforeFinalOptimizationSha256: String, val analyzerEntrySymbols: List<String>, val reachabilityScope: String, val reachableFunctionCount: Int, val harness: GeneratedHarnessLlvmContractResult?, val rules: List<LlvmFunctionRuleCheck>, val helpers: List<LlvmRequiredInlineHelperCheck>, val violations: List<LlvmFunctionContractViolation>)
Constructors
Link copied to clipboard
constructor(schemaId: String = "ai.exida.stig/llvm-function-contracts", schemaVersion: Int = 1, checkpoint: String = "P5_FINAL", moduleSha256: String, beforeFinalOptimizationSha256: String, analyzerEntrySymbols: List<String>, reachabilityScope: String, reachableFunctionCount: Int, harness: GeneratedHarnessLlvmContractResult?, rules: List<LlvmFunctionRuleCheck>, helpers: List<LlvmRequiredInlineHelperCheck>, violations: List<LlvmFunctionContractViolation>)