Showing tag results for infer#

Dec 8, 2020
Post comments count10
Post likes count0

Infer#: Interprocedural Memory Safety Analysis For C#

Xin Shi
Xin Shi

We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.

.NET.NET CoreC#