Function report_stats

src/callbacks.rs:214–257

(crate_name: &str, reports: &[Report])

            }
        }
    }
}

fn filter_std_reports(reports: Vec<Report>) -> Vec<Report> {
    reports
        .into_iter()
        .filter(|report| !report_is_from_std(report))
        .collect()
}

fn report_is_from_std(report: &Report) -> bool {
    match report {
        Report::AtomicityViolation(content) => {
            is_std_location(&content.diagnosis.atomic_reader)
                || is_std_location(&content.diagnosis.atomic_writer)
                || is_std_location(&content.diagnosis.fn_name)
        }
        Report::InvalidFree(content) | Report::UseAfterFree(content) => {
            is_std_location(&content.diagnosis)
        }
        _ => false,
    }
}

fn is_std_location(s: &str) -> bool {
    s.contains("/library/std/")
        || s.contains("/library/core/")
        || s.contains("/library/alloc/")
        || s.starts_with("library/std/")
        || s.starts_with("library/core/")
        || s.starts_with("library/alloc/")
        || s.starts_with("std::")
        || s.starts_with("core::")
        || s.starts_with("alloc::")
}

fn report_stats(crate_name: &str, reports: &[Report]) -> String {
    let (
        mut doublelock_probably,
        mut doublelock_possibly,
        mut conflictlock_probably,
        mut conflictlock_possibly,
        mut condvar_deadlock_probably,
        mut condvar_deadlock_possibly,
        mut atomicity_violation_possibly,
        mut invalid_free_possibly,
        mut use_after_free_possibly,