stig-engine/com.stigway.engine.config/BitcodeFunctionModel

BitcodeFunctionModel

data class BitcodeFunctionModel(val kind: BitcodeFunctionModelKind, val inputs: List<BitcodeFunctionEndpoint>, val ranges: List<BitcodeMemoryRange> = emptyList(), val fields: List<BitcodeMemoryField> = emptyList(), val arrays: List<BitcodeArrayField> = emptyList(), val constraints: List<BitcodeIntegerConstraint> = emptyList(), val validResult: Long = 0, val invalidResult: Long = 1, val copyBytes: Int? = null, val storedPointerGlobal: String? = null)

Typed, serializable configuration shared by the DSL, LLVM producer, review fingerprint and report.

Constructors

BitcodeFunctionModel

constructor(kind: BitcodeFunctionModelKind, inputs: List<BitcodeFunctionEndpoint>, ranges: List<BitcodeMemoryRange> = emptyList(), fields: List<BitcodeMemoryField> = emptyList(), arrays: List<BitcodeArrayField> = emptyList(), constraints: List<BitcodeIntegerConstraint> = emptyList(), validResult: Long = 0, invalidResult: Long = 1, copyBytes: Int? = null, storedPointerGlobal: String? = null)

Properties

val arrays: List<BitcodeArrayField>

val constraints: List<BitcodeIntegerConstraint>

val copyBytes: Int?

One unaligned fixed-width copy followed by reloading and advancing the destination pointer member.

val fields: List<BitcodeMemoryField>

val inputs: List<BitcodeFunctionEndpoint>

val invalidResult: Long

val kind: BitcodeFunctionModelKind

val ranges: List<BitcodeMemoryRange>

storedPointerGlobal

val storedPointerGlobal: String?

Linkage name of a defined global pointer slot whose current value is returned or supplies a fallback.

val validResult: Long