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
727
stars
28
forks
source link
Document or provide a way for simple command line usage #182
Hello, Thanks for the tool! I'm currently trying it out with the VS extension.
That's said, I would like to use it on my CI, which use Cake.
I asked for a dotnet tool there: https://devblogs.microsoft.com/dotnet/slaying-zombie-no-repo-crashes-with-infersharp/#comment-16958
A dotnet tool would provide an easy installation (nuget do the restore), and a crossplatform way to run the tool.