stig-core/com.stigway.metamodels.analysis

Package-level declarations

Types

Alias

enum Alias : Enum<Alias>

Alias analysis algorithm fed to PhASAR. Canonical set mirrors stig-code-analyzer's --alias-analysis CLI validator.

AnalysisKind

enum AnalysisKind : Enum<AnalysisKind>

The two analysis directions stig-code-analyzer supports.

CallGraph

enum CallGraph : Enum<CallGraph>

Call-graph construction algorithm. Canonical set mirrors stig-code-analyzer's --call-graph-mode CLI validator.

Feasibility

enum Feasibility : Enum<Feasibility>

Tri-state Z3 verdict on whether a (sink, fact) is reachable along any feasible path. UNKNOWN means Z3 timed out or the constraint system was incomplete — treat it as "could be either" downstream (typically: include in reports, flag separately from YES).

IcfgEdgeKind

enum IcfgEdgeKind : Enum<IcfgEdgeKind>

Edge kinds emitted on controlFlowGraph.edges[].kind. Canonical set mirrors stig-code-analyzer's Pipeline.cpp emit:

PathFeasibility

enum PathFeasibility : Enum<PathFeasibility>

Z3 path-feasibility mode. Canonical set mirrors stig-code-analyzer's --path-feasibility-mode CLI validator.

Solver

enum Solver : Enum<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.