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.
Addresses an issue in which we were applying an unnecessary load to parameters passed by reference. Tested: validated that issue appears on the following example before fix and disappears after fix.
Addresses an issue in which we were applying an unnecessary load to parameters passed by reference. Tested: validated that issue appears on the following example before fix and disappears after fix.