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.
We plan to deprecate our (old) version of Infer backend in this repo in favor of FB's Infer backend in order to always stay current with the latest development happening over there.
We plan to deprecate our (old) version of Infer backend in this repo in favor of FB's Infer backend in order to always stay current with the latest development happening over there.