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 provides support for the ldlen instruction.
Tested: added a unit test that validates this coverage. Note that biabduction interprets array length properly, but Pulse doesn't at the time of this PR. https://github.com/facebook/infer/issues/1708
This PR provides support for the ldlen instruction.
Tested: added a unit test that validates this coverage. Note that biabduction interprets array length properly, but Pulse doesn't at the time of this PR. https://github.com/facebook/infer/issues/1708
Merge after nested exception PR: https://github.com/microsoft/infersharp/pull/199