stig-engine/com.stigway.gradle.support/SymbolVerificationMode

SymbolVerificationMode

enum SymbolVerificationMode : Enum<SymbolVerificationMode>

Symbol verification used by stigAnalysisP6RunAnalyzer before native analysis starts.

Two verification modes (orthogonal to where the check fires):

SymbolVerificationMode.CHECK_REQUIRED_ANALYZER_SYMBOLS: strict — every symbol that the run-plan generator discovered (sources / sinks / entry points in required_symbols.json) MUST be defined-or- declared in the linked module.ll. Missing any of them means the analyzer won't be able to seed taint or find a sink.
SymbolVerificationMode.CHECK_ALL_UNDEFINED_SYMBOLS: implementation-completeness check — uses LLVM use-def analysis plus llvm-nm --undefined-only to enumerate unresolved symbols that remain referenced by the final module. Classifies them into allowed external symbols versus unresolved application symbols. Missing definitions are ProblemSeverity.HIGH findings; analysis may continue provisionally under the configured failure threshold. A run-plan symbol absent even as a declaration still prevents that run from being constructed.

Entries

CHECK_REQUIRED_ANALYZER_SYMBOLS

Only check symbols from the PhASAR run plan.

CHECK_ALL_UNDEFINED_SYMBOLS

Find all referenced unresolved application symbols in the final module.

Properties

entries

val entries: EnumEntries<SymbolVerificationMode>

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

Functions

valueOf

fun valueOf(value: String): SymbolVerificationMode

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<SymbolVerificationMode>

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