Werbung

Tweet von DOTNETDOKTOR

Foto Dr. Holger Schwichtenberg, Dr. Holger Schwichtenberg
18.11.2021 15:32:26

.NET Blog: Infer# v1.2: Interprocedural Memory Safety Analysis For C# https://t.co/vQ57SGOdDb

Last December, we announced the public preview release of Infer#, which brings the interprocedural static analysis of Infer to the .NET community. The project was open sourced on GitH…