GitHub repository: xi-liu-ds/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 null pointer dereferences and resource leak.