Struct InjectionVerifier 

pub struct InjectionVerifier;

Defense 1: Injection verification via re-parsing.

After generating code, re-parse it to ensure:

• Syntax is valid
• No injection artifacts remain
• All invariants are properly placed

Implementations

impl InjectionVerifier

pub fn verify_coverage( generated_code: &str, expected_checks: &[String], ) -> ThreatResult<()>

Verify that generated code contains all expected invariant checks.

Security Property

Ensures 100% coverage of mutating functions with invariant checks.

pub fn verify_scope_containment(generated_code: &str) -> ThreatResult<()>

Verify no injected code escapes the intended scope.

Security Property

Prevents code injection by ensuring all injected statements stay within invariant check blocks.