pinoc 0.2.2

A CLI tool for setting up pinocchio program project
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

use crate::check::contract::{Backend, Category, Confidence, Finding, Lint, ParsedFile, Severity};
use crate::check::lints::{item_top_span, to_span};
use crate::idl::padding_lint::{derives_shank_idl, is_repr_c, is_repr_transparent};
use syn::Item;

/// A struct read zero-copy without `#[repr(C)]`, so Rust's default layout may
/// reorder fields and break the byte mapping the client relies on.
pub struct Zc003ReprC;

impl Lint for Zc003ReprC {
    fn code(&self) -> &'static str {
        "ZC003-P"
    }
    fn id(&self) -> &'static str {
        "missing-repr-c"
    }
    fn category(&self) -> Category {
        Category::Zc
    }
    fn backend(&self) -> Backend {
        Backend::Syn
    }
    fn default_severity(&self) -> Severity {
        Severity::Deny
    }
    fn default_confidence(&self) -> Confidence {
        Confidence::Definite
    }

    fn run(&self, file: &ParsedFile) -> Vec<Finding> {
        let path = file.path.display().to_string();
        let mut out = Vec::new();
        for item in &file.ast.items {
            let Item::Struct(s) = item else {
                continue;
            };
            if !derives_shank_idl(s) || is_repr_c(s) || is_repr_transparent(s) {
                continue;
            }
            out.push(Finding {
                code: self.code(),
                id: self.id(),
                confidence: self.default_confidence(),
                severity: self.default_severity(),
                span: to_span(item_top_span(&s.attrs, s.ident.span()), &path),
                evidence: format!(
                    "`{}` derives ShankAccount/ShankType (read zero-copy) but is not #[repr(C)]; the default layout may reorder fields",
                    s.ident
                ),
                fix: Some("add #[repr(C)]".to_string()),
            });
        }
        out
    }
}