microsoft/infersharp

Infer# est un analyseur de code statique interprocédural et évolutif pour C#. Grâce aux capacités d'Infer de Facebook, cet outil détecte les déréférencements de pointeurs nuls, les fuites de ressources et les violations de sécurité des threads. Il effectue également un suivi des flux de données pour détecter les vulnérabilités critiques comme les injections SQL.