A collection of static analyzers based on Roslyn that integrate with VS
C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it...
An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and...
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C Quality Metrics
Splint - annotation-assisted static program checker
CMetrics measures size and complexity for C files
C to Rust translator
A curated list of dynamic analysis tools for various programming languages