Adding support for castclass translation.

microsoft / infersharp

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.

MIT License

730 stars 29 forks source link

Adding support for castclass translation. #100

Closed ms-joe-guan closed 2 years ago

ms-joe-guan commented 2 years ago

This PR adds support for translation of the castclass instruction.

matjin commented 2 years ago

https://github.com/facebook/infer/pull/1589 You need to update the backend as well; I've done this here for you.