stig-core/com.stigway.metamodels.analysis/Solver

Solver

Taint-analysis solver. Canonical set mirrors stig-code-analyzer's --solver CLI validator. IDE_XTAINT is the only one that supports Z3-based path feasibility today.

Entries

IDE_XTAINT

IFDS_FIELDSENS_TAINT

IFDS_TAINT

Types

Companion

object Companion

Properties

entries

val entries: EnumEntries<Solver>

Returns a representation of an immutable list of all enum entries, in the order they're declared.

name

val name: String

ordinal

val ordinal: Int

wire

val wire: String

Functions

valueOf

fun valueOf(value: String): Solver

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

values

fun values(): Array<Solver>

Returns an array containing the constants of this enum type, in the order they're declared.