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: "blocking_call_while_locked",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Potentially blocking calls observed between Lock and Unlock.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
    RuleDefinition {
        id: "goroutine_derived_context_unmanaged",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Likely long-lived goroutines launched after a derived context is created and before the matching cancel call is observed.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
    RuleDefinition {
        id: "goroutine_spawn_in_loop",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Raw go statements launched from inside loops without obvious WaitGroup coordination.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
    RuleDefinition {
        id: "goroutine_without_coordination",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Raw go statements without an obvious context or WaitGroup-like coordination signal.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
    RuleDefinition {
        id: "goroutine_without_shutdown_path",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Looping goroutine literals without an obvious ctx.Done() or done-channel shutdown path.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
    RuleDefinition {
        id: "mutex_in_loop",
        language: RuleLanguage::Go,
        family: "concurrency",
        default_severity: RuleDefaultSeverity::Contextual,
        status: RuleStatus::Stable,
        configurability: &[
            RuleConfigurability::Disable,
            RuleConfigurability::Ignore,
            RuleConfigurability::SeverityOverride,
        ],
        description: "Repeated Lock or RLock acquisition inside loops.",
        binding_location: super::bindings::GO_CONCURRENCY,
    },
];