xbp_analysis/application/rules/
logging_only.rs

1use super::{base_caps, concepts_of, finding_from_concept};
2use crate::domain::concepts::ConceptKind;
3use crate::domain::model::LanguageModel;
4use crate::domain::rule::{Rule, RuleMeta};
5use crate::domain::types::{Confidence, Finding, Severity};
6use std::sync::OnceLock;
7
8#[derive(Default)]
9pub struct LoggingOnlyHandlerRule;
10
11impl Rule for LoggingOnlyHandlerRule {
12    fn meta(&self) -> &RuleMeta {
13        static META: OnceLock<RuleMeta> = OnceLock::new();
14        META.get_or_init(|| RuleMeta {
15            id: "logging-only-handler".into(),
16            name: "Logging-only handler".into(),
17            description: "Error is logged then converted to success / ignored.".into(),
18            default_severity: Severity::Medium,
19            required_capabilities: base_caps(),
20            autofix_safe: false,
21        })
22    }
23
24    fn evaluate(&self, model: &LanguageModel) -> Vec<Finding> {
25        concepts_of(model, ConceptKind::LoggingOnly)
26            .chain(concepts_of(model, ConceptKind::ErrorHandler).filter(|(_, c)| c.logs_only))
27            .map(|(lang, c)| {
28                finding_from_concept(
29                    &self.meta().id,
30                    lang,
31                    c,
32                    Severity::Medium,
33                    Confidence::Medium,
34                    "Error is logged but not propagated or recovered from.",
35                    "Operators see logs while the system continues in a bad state.",
36                    "Propagate the error or enter a defined degraded mode after logging.",
37                )
38            })
39            .collect()
40    }
41}
xbp_analysis/application/rules/logging_only.rs

xbp_analysis/application/rules/
logging_only.rs
