Infer#: Interprocedural Memory Safety Analysis For C# Xin Shi December 8, 2020 Dec 8, 2020 12/8/20 We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.