rapx 0.7.1

A static analysis platform for use-after-free, memory leakage detection, etc
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

pub mod dummy_fns;
pub mod ssa_preprocess;

use rustc_ast::{
    token::{CommentKind, Delimiter, Lit, Token, TokenKind},
    tokenstream::{DelimSpan, Spacing, TokenStream, TokenTree},
    *,
};
use rustc_span::{DUMMY_SP, Ident, symbol::Symbol};
use thin_vec::ThinVec;

/// Empty `#[doc]` on the struct.
/// cc https://github.com/Artisan-Lab/RAPx/issues/184
fn doc_attr() -> Attribute {
    Attribute {
        kind: AttrKind::DocComment(CommentKind::Line, Symbol::intern("doc")),
        id: AttrId::ZERO,
        style: AttrStyle::Outer,
        span: DUMMY_SP,
    }
}

// #[stable(feature = "foo", since = "1.93")]
fn stability_attr() -> Attribute {
    let mut attr = NormalAttr::from_ident(Ident::from_str("stable"));
    let tokens: Vec<_> = {
        let feature = Token::from_ast_ident(Ident::from_str("feature"));
        let eq = Token::new(TokenKind::Eq, DUMMY_SP);
        let feature_val = Token::new(
            TokenKind::Literal(Lit::new(token::LitKind::Str, Symbol::intern("foo"), None)),
            DUMMY_SP,
        );
        let comma = Token::new(TokenKind::Comma, DUMMY_SP);
        let since = Token::from_ast_ident(Ident::from_str("since"));
        let since_val = Token::new(
            TokenKind::Literal(Lit::new(token::LitKind::Str, Symbol::intern("1.93"), None)),
            DUMMY_SP,
        );
        [feature, eq, feature_val, comma, since, eq, since_val]
            .into_iter()
            .map(|t| TokenTree::Token(t, Spacing::Alone))
            .collect()
    };
    attr.item.args = AttrArgs::Delimited(DelimArgs {
        dspan: DelimSpan::dummy(),
        delim: Delimiter::Parenthesis,
        tokens: TokenStream::new(tokens),
    });
    Attribute {
        kind: AttrKind::Normal(attr.into()),
        id: AttrId::ZERO,
        style: AttrStyle::Outer,
        span: DUMMY_SP,
    }
}

fn set_attrs(build_std: bool) -> ThinVec<Attribute> {
    let mut v = ThinVec::with_capacity(2);
    v.push(doc_attr());
    if build_std {
        v.push(stability_attr());
    }
    v
}