Infer# v1.2
25.11.2021, 09:10 Uhr
Speichersicherheitsanalyse für C#
Infer# macht die interprozedurale statische Analyse von Infer für die .NET-Community zugänglich. Infer# 1.2 bringt unter anderem die Erkennung von Race Conditions.
(Quelle: Microsoft.com)
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.
