Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
would you mind updating the Azure pipelines instructions for v1.2 as well? e.g. https://github.com/microsoft/infersharp/blob/main/.build/azure-pipelines-example.yml
I'm using v1.0 on Azure pipelines at present. I tried 1.1 but couldn't get past the errors. Will try 1.2 shortly...