Function check 

pub fn check(
    rule: &'static Rule,
    input: &RuleInput<'_>,
    facts: &ScanFacts,
) -> Option<Finding>

Check one rule: Some finding when its conditions hold and its setting does not pass.