26.11.2021
Infer# v1.2
Speichersicherheitsanalyse für C#
Autor: Bernhard Lauer
Microsoft.com
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.
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.
Test-Framework
Testautomatisierung mit C# und Atata
Atata ist ein umfassendes C#-Framework für die Web-Testautomatisierung, das auf Selenium WebDriver basiert. Es verwendet das Fluent Page Object Pattern und verfügt über ein einzigartiges Protokollierungssystem sowie Trigger-Funktionalitäten.
>>
Programmiersprache
Primärkonstruktoren in C# erleichtern den Code-Refactoring-Prozess
Zusammenfassen, was zusammen gehört: Dabei helfen die in C# 12 neu eingeführten Primärkonstruktoren, indem sie Code kürzer und klarer machen.
>>
Tools
GitLab Duo Chat mit KI-Chat-Unterstützung
Der DevSecOps-Plattform-Anbieter GitLab führt den GitLab Duo Chat ein. Dieses Tool integriert Künstliche Intelligenz in die DevSecOps-Workflows.
>>
Bildbearbeitungs-Tipps
Das neue Paint - Das kann es inklusive KI-Funktionen
Microsoft hat seine altehrwürdige Bildbearbeitungs-Software Paint generalüberholt. Wir erklären die neuen Funktionen und was Sie damit anstellen können.
>>