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.
The old opam2, which is currently used by our docker file, is out of date and does not support some new technology such as Apple M1 chip.
In this PR, we adopt the latest opam, which is also aligned with Infer's dockerfile.