deslop 0.2.0

A static analyzer that spots low-context and AI-assisted code patterns across naming, concurrency, security, performance, and test quality.
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

use super::{
    RuleConfigurability, RuleDefaultSeverity, RuleDefinition, RuleLanguage, RuleStatus, bindings,
};

pub(crate) const RULE_DEFINITIONS: &[RuleDefinition] = &[
    RuleDefinition {
        id: "rust_unsafe_aliasing_assumption",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe code mixes interior mutability and mutable references in ways that need careful aliasing review.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_assume_init",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe MaybeUninit::assume_init use without proof of full initialization.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_from_raw_parts",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe raw slice construction that depends on lifetime and length invariants.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_get_unchecked",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe use of get_unchecked without proof of bounds invariants.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_raw_pointer_cast",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe raw pointer cast that depends on aliasing and lifetime guarantees.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_set_len",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe Vec::set_len use that requires initialized elements and correct capacity invariants.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
    RuleDefinition {
        id: "rust_unsafe_transmute",
        language: RuleLanguage::Rust,
        family: "unsafe_soundness",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Unsafe transmute use that requires layout and validity proof.",
        binding_location: bindings::RUST_UNSAFE_SOUNDNESS,
    },
];