Module analyzer 

Versioned analyzer interfaces and profile selection.

Structs

AnalyzerProfile

Runtime profile selecting analyzer behavior.

Enums

AnalyzerVersion

Version identifier for Charon provider analyzers.

Traits

ProviderAnalyzer

Interface for versioned provider analyzers.