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 adds support for the Switch and Volatile opcodes, along with any other necessary refactoring.
Tested: added unit test coverage on Switch.