stig-engine/com.stigway.engine.llvm/LlvmFunctionContractVerifier

LlvmFunctionContractVerifier

class LlvmFunctionContractVerifier(demangle: (Collection<String>) -> Map<String, String>)

Checks compiler contracts; the separate transform-body validator checks configured model semantics.

Constructors

LlvmFunctionContractVerifier

constructor(demangle: (Collection<String>) -> Map<String, String>)

Functions

fun verify(module: LlvmReviewModuleIndex, beforeFinalOptimization: LlvmReviewModuleIndex, config: BitcodeTransformsConfig, compilerObservations: List<LlvmCompilerFunctionObservation> = emptyList(), analyzerEntryPoints: List<String> = emptyList(), harness: GeneratedHarnessLlvmContractResult? = null): LlvmFunctionContractReport