Add basic support for Ldftn opcode

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

727 stars 29 forks source link

Add basic support for Ldftn opcode #155

Closed archerD closed 1 year ago

archerD commented 1 year ago

In preparation tracking leaks occurring because of event handlers.

ghost commented 1 year ago

All CLA requirements met.

matjin commented 1 year ago

We should revisit the event handling stuff at some point for which this is related work. At that time we will loop it into the ldftn parser that I added.