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
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134

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

//! Datalog-style rule definitions for bug detection
//!
//! This module defines the logical rules used for pattern matching,
//! inspired by Datalog and Mozart/Oz constraint logic programming.

use crate::types::*;

pub struct RuleSet {
    rules: Vec<Rule>,
}

impl RuleSet {
    pub fn new() -> Self {
        Self {
            rules: Self::build_rules(),
        }
    }

    /// Build the complete rule set for bug detection
    fn build_rules() -> Vec<Rule> {
        vec![
            // Use-after-free detection
            Rule {
                name: "use_after_free".to_string(),
                head: Predicate::UseAfterFree {
                    var: "X".to_string(),
                    use_loc: 0,
                    free_loc: 0,
                },
                body: vec![
                    Predicate::Fact(Fact::Free {
                        var: "X".to_string(),
                        location: 0,
                    }),
                    Predicate::Fact(Fact::Use {
                        var: "X".to_string(),
                        location: 0,
                    }),
                ],
            },
            // Double-free detection
            Rule {
                name: "double_free".to_string(),
                head: Predicate::DoubleFree {
                    var: "X".to_string(),
                    loc1: 0,
                    loc2: 0,
                },
                body: vec![
                    Predicate::Fact(Fact::Free {
                        var: "X".to_string(),
                        location: 0,
                    }),
                    Predicate::Fact(Fact::Free {
                        var: "X".to_string(),
                        location: 0,
                    }),
                ],
            },
            // Deadlock detection (simplified)
            Rule {
                name: "deadlock".to_string(),
                head: Predicate::Deadlock {
                    m1: "M1".to_string(),
                    m2: "M2".to_string(),
                },
                body: vec![
                    Predicate::Fact(Fact::Lock {
                        mutex: "M1".to_string(),
                        location: 0,
                    }),
                    Predicate::Fact(Fact::Lock {
                        mutex: "M2".to_string(),
                        location: 0,
                    }),
                ],
            },
            // Data race detection
            Rule {
                name: "data_race".to_string(),
                head: Predicate::DataRace {
                    var: "X".to_string(),
                    loc1: 0,
                    loc2: 0,
                },
                body: vec![
                    Predicate::Fact(Fact::Write {
                        var: "X".to_string(),
                        location: 0,
                    }),
                    Predicate::Fact(Fact::Read {
                        var: "X".to_string(),
                        location: 0,
                    }),
                ],
            },
        ]
    }

    pub fn rules(&self) -> &[Rule] {
        &self.rules
    }
}

impl Default for RuleSet {
    fn default() -> Self {
        Self::new()
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_ruleset_creation() {
        let ruleset = RuleSet::new();
        assert!(!ruleset.rules().is_empty());
        assert!(ruleset.rules().len() >= 4);
    }

    #[test]
    fn test_rule_names() {
        let ruleset = RuleSet::new();
        let names: Vec<_> = ruleset.rules().iter().map(|r| &r.name).collect();

        assert!(names.contains(&&"use_after_free".to_string()));
        assert!(names.contains(&&"double_free".to_string()));
        assert!(names.contains(&&"deadlock".to_string()));
        assert!(names.contains(&&"data_race".to_string()));
    }
}