⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
An implementation of StyleCop rules using the .NET Compiler Platform
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A set of AI-enabled effects, generators, and analyzers for Audacity®.
—
A powerful C# Roslyn analyzer that uses static analysis to detect bugs, surface security issues, and enforce best practices—helping developers and AI write more reliable code.
DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.
Roslyn analyzers for Unity game developers
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
A curated list of .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes. Everyone can contribute here!
Curated developer tools, AST analyzers, and automated verification workflows.