Programmieren

Infer# v1.2: Interprozedurale Memory-Safety-Analyse für C#

Mittwoch, 24. November 2021

Im Dezember 2020 wurde die Public Preview von Infer# vorgestellt, womit auch die interprozedurale statische Analyse von Infer für die .NET-Community zur Verfügung gestellt wurde. Das Open-Source-Projekt wurde auf GitHub unter einer MIT-Lizenz veröffentlicht.

Mit Infer# v1.2 kommen jetzt einige neue Features – die Highlights davon sind:

  • Azure Pipelines Integration: Infer# wird ab sofort als ein Azure-Pipelines-Plugin unterstützt.
  • Race Condition: Infer# unterstützt jetzt die Erkennung von Race Conditions über den RacerD Analyzer von Infer.
  • Exception Code Coverage: Infer# meldet jetzt Warnungen zu Methoden mit Exception Handling-Konstrukten (z. B.: try-catch-finally und lock)

Anleitungen für alle unterstützten Szenarien lassen sich auf der GitHub-Landingpage finden.

Mehr erfahren

Teilen auf

  • Facebook
  • Twitter
  • LinkedIn

Microsoft Developer

Für alle Entwickler. Alle Apps. Alle Plattformen.

Microsoft Developer

Microsoft-Dokumentation

Dokumentation


Verwandte News

GitHubMicrosoft AzureMicrosoft Teams

Montag, 29. November 2021

Festive Tech Calender 2021: Tägliches Fachwissen im Dezember

Von der Community für die Community – unter diesem Motto gibt es diesen Dezember wieder jede Menge technisches Fachwissen für Entwickler*innen und IT-Expert*innen.

Programmieren

Freitag, 26. November 2021

Integration von Q# mit beliebten Sprachen und Plattformen

Q# und das Quantum Development Kit bieten nicht nur eine Infrastruktur für das Schreiben von Quantenprogrammen, sondern auch neue Wege für das Ausführen von Quantenprogrammen.

Programmieren

Freitag, 19. November 2021

TypeScript 4.5 ist da: Await Type, Promise und mehr

Die neue Version von TypeScript ergänzt die Skriptsprache um Neuerungen und Verbesserungen in den Bereichen Aliased Conditions, Template String Patterns, Catch-Variablen und vielen mehr.