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

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

pub(crate) const RULE_DEFINITIONS: &[RuleDefinition] = &[
    RuleDefinition {
        id: "busy_waiting",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "select { default: ... } inside loops, which often spins instead of blocking.",
        binding_location: super::bindings::GO_CONTEXT,
    },
    RuleDefinition {
        id: "context_background_used",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Functions that already accept context.Context but still create context.Background() or context.TODO() locally.",
        binding_location: super::bindings::GO_CONTEXT,
    },
    RuleDefinition {
        id: "missing_cancel_call",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Derived contexts where deslop cannot find a local cancel() or defer cancel() call.",
        binding_location: super::bindings::GO_CONTEXT,
    },
    RuleDefinition {
        id: "missing_context",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Standard-library context-aware calls from functions that do not accept context.Context.",
        binding_location: super::bindings::GO_CONTEXT,
    },
    RuleDefinition {
        id: "missing_context_propagation",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Functions that already accept context.Context but still call context-free stdlib APIs like http.Get or exec.Command.",
        binding_location: super::bindings::GO_CONTEXT,
    },
    RuleDefinition {
        id: "sleep_polling",
        language: RuleLanguage::Go,
        family: "context",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "time.Sleep inside loops \u{2014} often indicates polling or busy-wait style code.",
        binding_location: super::bindings::GO_CONTEXT,
    },
];