Xin Shi

Senior Software Engineer, Data & AI

Xin Shi is a Software Engineer on the Data & AI team, working on Infer# - an interprocedural and scalable static code analyzer for C#.

Post by this author

Infer# v1.2: Interprocedural Memory Safety Analysis For C#

Infer# v1.2 brings the first interprocedural race condition detection to .NET. Use it today locally in Windows via WSL2 or directly in continuous integration via Azure Pipelines or GitHub Actions.

Infer#: Interprocedural Memory Safety Analysis For C#

We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.