GitHub repository: matjin/infersharp
Primary language: C#
Description: Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects race condition, null pointer dereferences and resource leak.