Top 8 C# Static Analysis Projects

Cpp2IL

3 1,444 3.5 C#

Work-in-progress tool to reverse unity's IL2CPP toolchain.
security-code-scan

2 910 0.0 C#

Vulnerability Patterns Detector for C# and VB.NET
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Meziantou.Analyzer

3 833 8.9 C#

A Roslyn analyzer to enforce some good practices in C#.
sonar-dotnet

2 715 9.9 C#

Code analyzer for C# and VB.NET projects

Project mention: Is breaking out from an infinite async iterator via cancellation considered a code smell? | /r/dotnet | 2023-06-09

👍 I've reported an issue here, let's see how it goes. I think it will probably be turned down 🙂

DistIL

4 108 8.6 C#

Post-build IL optimizer and intermediate representation for .NET programs

Project mention: Classes vs. Structs in .NET. How not to teach about performance | news.ycombinator.com | 2023-11-04

How is that relevant to the vast majority of the code targeted by LINQ?
The niche scenario you have outlined is partially covered by a recent System.Numerics.Tensors package update (even though I believe it would have been best if there was a community-maintained package with comparable quality that can be decoupled from .NET release cycle and trade-off support/compat guarantees in favour of more aggressive improvements in the future).
The goal of LINQ itself is to offer optimal codepaths when it can within the constraints of the current design (naturally, you could improve it significantly if not for backwards compatibility with the previous 15 or so years of .NET codebases). The argument that it's not good because it's not the tool to do BLAS is just nonsensical.
There is, however, an IL optimizer that can further vectorize certain common patterns and rewrite LINQ calls into open-coded loops: https://github.com/dubiousconst282/DistIL

OneNoteAnalyzer

1 104 3.7 C#

A C# based tool for analysing malicious OneNote documents
SharpSource

1 27 3.7 C#

surfacing defects at compile time and preventing issues that would otherwise go unnoticed
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
mongo-csharp-analyzer

0 22 6.7 C#

The MongoDB Analyzer is a free tool that helps you understand how your code translates into the MongoDB Query API.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).