InferSharp (auch als Infer# bezeichnet) ist ein interprozeduraler und skalierbarer statischer Code-Analyzer für C#. Mit Hilfe der Fähigkeiten von Facebooks Infer erkennt dieses Tool Race Conditions, Null-Pointer-Dereferenzen und Ressourcenlecks. Ein Wiki zu Infer# gibt es auf
-A-Scalable-Code-Analytics-Tool-for-.NET:dieser Seite.
Das Projekt Infer# wurde auf GitHub unter einer MIT-Lizenz als Open Source zur Verfügung gestellt. Die neue Version Infer# 1.2 bringt laut Xin Shi, Senior Software Engineer Data & AI, die Erkennung von Race Conditions, verbessert die Leistung, bietet mehr Verwendungsmöglichkeiten und erweitert die Analyseabdeckung. Die vollständige Liste der Verbesserungen ist auf der
Release-Seite zu finden.
In
diesem Beitrag in Microsofts Developer Blog zeigt Xin Shi einige Beispiele, wie man Infer# 1.2 einsetzen kann.