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.
This PR introduces a progress bar indicator for the translation within a console execution environment, as well as optional simple progress bar output for the extension scenario.
This PR introduces a progress bar indicator for the translation within a console execution environment, as well as optional simple progress bar output for the extension scenario.