panic-attacker 1.0.1

Universal stress testing and logic-based bug signature detection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// SPDX-License-Identifier: PMPL-1.0-or-later

//! Logic-based bug signature detection
//!
//! Inspired by Mozart/Oz logic programming and Datalog inference

pub mod engine;
pub mod rules;

use crate::types::*;

pub use engine::SignatureEngine;

/// Detect bug signatures from crash information
pub fn detect_signatures(crash: &CrashReport) -> Vec<BugSignature> {
    let engine = SignatureEngine::new();
    engine.detect_from_crash(crash)
}