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 28 forks source link

Add Rethrow and Fix Exn #208

Closed matjin closed 1 year ago

matjin commented 1 year ago

This PR introduces:

  1. Translation of rethrow
  2. Handles a rare exception that can occur if the top snapshot instruction is null.