stig-engine/com.stigway.engine.analysis

Package-level declarations

Types

StigAnalyzerRunPlanEntry

data class StigAnalyzerRunPlanEntry(val view: String = "", val entryPoints: List<String> = emptyList(), val config: String? = null, val sources: List<StigRunPlanEndpointSummary>? = null, val sinks: List<StigRunPlanEndpointSummary>? = null, val outDir: String = "", val args: List<String> = emptyList(), val moduleBc: String? = null, val moduleProfile: String? = null, val sliceFunctions: List<String>? = null, val analysisKind: String? = null, val sinkASIL: String? = null, val sourceASILs: List<String>? = null, val sinkSelection: StigAnalyzerSinkSelection? = null)

StigAnalyzerSinkSelection

enum StigAnalyzerSinkSelection : Enum<StigAnalyzerSinkSelection>

StigRunPlanEndpointSummary

data class StigRunPlanEndpointSummary(val name: String = "", val ret: Boolean = false, val params: List<Int>? = null, val asil: String? = null)

StigSymbolSetFile

data class StigSymbolSetFile(val symbols: List<String> = emptyList())

Functions

normalizeRunPlanSymbols

fun normalizeRunPlanSymbols(values: Collection<String>): List<String>