axbuild 0.4.14

An OS build lib toolkit used by arceos
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

use std::{
    collections::HashSet,
    path::{Path, PathBuf},
};

use proc_macro2::Span;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(super) enum Rule {
    WaitCondition,
    PublishBeforeNotify,
    MixedOrdering,
}

impl Rule {
    pub(super) fn label(self) -> &'static str {
        match self {
            Self::WaitCondition => "suspicious_relaxed_wait_condition",
            Self::PublishBeforeNotify => "suspicious_relaxed_publish_before_notify",
            Self::MixedOrdering => "suspicious_relaxed_mixed_ordering",
        }
    }
}

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(super) enum AccessOrdering {
    Relaxed,
    Strong,
}

#[derive(Debug, Clone)]
pub(super) struct AtomicAccess {
    pub(super) key: String,
    pub(super) span: Span,
    pub(super) ordering: AccessOrdering,
}

#[derive(Debug, Default, Clone, Copy)]
pub(super) struct AccessSummary {
    pub(super) has_relaxed: bool,
    pub(super) has_strong: bool,
}

#[derive(Debug, Clone)]
pub(super) struct Finding {
    pub(super) path: PathBuf,
    pub(super) line: usize,
    pub(super) column: usize,
    pub(super) rule: Rule,
    pub(super) message: String,
}

impl Finding {
    pub(super) fn new(path: &Path, span: Span, rule: Rule, message: &'static str) -> Self {
        let start = span.start();
        Self {
            path: path.to_path_buf(),
            line: start.line,
            column: start.column + 1,
            rule,
            message: message.to_string(),
        }
    }
}

#[derive(Debug, Default)]
pub(super) struct AnalysisResult {
    pub(super) accesses: Vec<AtomicAccess>,
    pub(super) sync_intent_keys: HashSet<String>,
    pub(super) findings: Vec<Finding>,
}