Struct RuleEngine 

pub struct RuleEngine {
    pub suppressions: Vec<SuppressionRule>,
    pub ipa_config: IpaConfig,
    /* private fields */
}

Fields

suppressions: Vec<SuppressionRule>

ipa_config: IpaConfig

Implementations

impl RuleEngine

pub fn new() -> Self

pub fn with_builtin_rules() -> Self

pub fn set_ipa_config(&mut self, config: IpaConfig)

Set the inter-procedural analysis configuration

pub fn register_rule(&mut self, rule: Box<dyn Rule>)

pub fn run(&self, package: &MirPackage) -> AnalysisResult

pub fn rule_metadata(&self) -> Vec<RuleMetadata>

pub fn cache_fingerprint(&self) -> String

pub fn load_rulepack<P: AsRef<Path>>(&mut self, path: P) -> Result<()>

pub fn load_rulepack_from_reader<R: Read>( &mut self, reader: R, origin: &str, ) -> Result<()>

pub fn load_wasm_module<P: AsRef<Path>>(&mut self, path: P) -> Result<()>