Infer# v1.2 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…