Expand description
Logic-based bug signature detection
Inspired by Mozart/Oz logic programming and Datalog inference
Re-exports§
pub use engine::SignatureEngine;
Modules§
- engine
- Signature detection engine using logic programming concepts
- rules
- Datalog-style rule definitions for bug detection
Functions§
- detect_
signatures - Detect bug signatures from crash information