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.
MIT License
735
stars
29
forks
source link
Azure Pipeline Example does not use the latest version (v1.5) #222
Example pipeline (https://github.com/microsoft/infersharp/blob/main/.build/azure-pipelines-example-multistage.yml) uses Infer# v1.4 and the latest is v1.5.