With Infer#, Microsoft extends the choice of static analyzers available within the .NET ecosystem by bringing Facebook Infer’s inter-procedural static analysis capabilities to it.
With Infer#, Microsoft extends the choice of static analyzers available within the .NET ecosystem by bringing Facebook Infer’s inter-procedural static analysis capabilities to it.