microsoft / infersharp

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
730 stars 29 forks source link

Need a way to know what version of infer# is installed. #109

Open peter-villadsen opened 2 years ago

peter-villadsen commented 2 years ago

This makes discussion about problems / missing features much more meaningful.

Perhaps something like

run_infersharp.sh --version ?

peter-villadsen commented 2 years ago

Also --help -h -? that show the options. and --verbose showing the progress information for aiding troubleshooting, but it should not be included by default. Unix tools have the convention that "no news is good news".