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
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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158

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

pub(crate) const RULE_DEFINITIONS: &[RuleDefinition] = &[
    RuleDefinition {
        id: "comment_style_title_case",
        language: RuleLanguage::Common,
        family: "comments",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Heading-like Title Case documentation.",
        binding_location: super::bindings::COMMENTS,
    },
    RuleDefinition {
        id: "comment_style_tutorial",
        language: RuleLanguage::Common,
        family: "comments",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Tutorial-style documentation that narrates obvious implementation steps.",
        binding_location: super::bindings::COMMENTS,
    },
    RuleDefinition {
        id: "hallucinated_import_call",
        language: RuleLanguage::Common,
        family: "hallucination",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Package-qualified calls that do not match locally indexed symbols for the imported package.",
        binding_location: super::bindings::HALLUCINATION,
    },
    RuleDefinition {
        id: "hallucinated_local_call",
        language: RuleLanguage::Common,
        family: "hallucination",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Same-package calls to symbols not present in the scanned local package context.",
        binding_location: super::bindings::HALLUCINATION,
    },
    RuleDefinition {
        id: "generic_name",
        language: RuleLanguage::Common,
        family: "naming",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Function names that are overly generic without stronger contextual signals.",
        binding_location: super::bindings::NAMING,
    },
    RuleDefinition {
        id: "overlong_name",
        language: RuleLanguage::Common,
        family: "naming",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Very long identifiers with too many descriptive tokens.",
        binding_location: super::bindings::NAMING,
    },
    RuleDefinition {
        id: "weak_typing",
        language: RuleLanguage::Common,
        family: "naming",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Signatures that rely on any or empty interface types.",
        binding_location: super::bindings::NAMING,
    },
    RuleDefinition {
        id: "hardcoded_secret",
        language: RuleLanguage::Common,
        family: "security",
        default_severity: RuleDefaultSeverity::Warning,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Secret-like identifiers assigned direct string literals instead of environment lookups.",
        binding_location: super::bindings::SHARED_SECURITY,
    },
    RuleDefinition {
        id: "happy_path_only_test",
        language: RuleLanguage::Common,
        family: "test_quality",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Tests that assert success expectations without any obvious negative-path signal.",
        binding_location: super::bindings::TEST_QUALITY,
    },
    RuleDefinition {
        id: "placeholder_test_body",
        language: RuleLanguage::Common,
        family: "test_quality",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Tests that look skipped, TODO-shaped, or otherwise placeholder-like.",
        binding_location: super::bindings::TEST_QUALITY,
    },
    RuleDefinition {
        id: "test_without_assertion_signal",
        language: RuleLanguage::Common,
        family: "test_quality",
        default_severity: RuleDefaultSeverity::Info,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Tests that exercise production code without an obvious assertion or failure signal.",
        binding_location: super::bindings::TEST_QUALITY,
    },
];