microsoft/infersharp

Infer# es un analizador de código estático interprocedural y escalable para C#. Utilizando las capacidades de Infer de Facebook, detecta desreferencias nulas, fugas de recursos y violaciones de seguridad de hilos. También realiza seguimiento de flujo de datos para detectar vulnerabilidades críticas como inyecciones SQL.