Skip to main content

panic_attacker/signatures/
mod.rs

1// SPDX-License-Identifier: PMPL-1.0-or-later
2
3//! Logic-based bug signature detection
4//!
5//! Inspired by Mozart/Oz logic programming and Datalog inference
6
7pub mod engine;
8pub mod rules;
9
10use crate::types::*;
11
12pub use engine::SignatureEngine;
13
14/// Detect bug signatures from crash information
15pub fn detect_signatures(crash: &CrashReport) -> Vec<BugSignature> {
16    let engine = SignatureEngine::new();
17    engine.detect_from_crash(crash)
18}