Struct StrictModeAnalyzer 

pub struct StrictModeAnalyzer { /* private fields */ }

Defense 4: Analyzer strict mode.

In strict mode, the analyzer aborts if it cannot determine with certainty whether a particular mutation will violate an invariant.

Implementations

impl StrictModeAnalyzer

pub fn new(enabled: bool) -> Self

Create a new strict mode analyzer.

pub fn verify_mutation_coverage( &self, _analyzed_mutations: &[String], uncertainty_warnings: &[String], ) -> ThreatResult<()>

Verify that all function mutations are accounted for.

Security Property

In strict mode, rejects functions with uncertain mutation detection. This prevents invariant bypass via undetected mutations.