Infer# is an inter-procedural static analysis system that enables programs supported by the .NET framework to use Infer to efficiently detect memory safety faults. Specifically, Infer# converts programs supported by the .NET framework into a language-independent control flow graph (CFG) and a language-independent type environment (TENV). Then the language-independent representations (CFG and TENV) are transformed into a set of analysis language instructions supported by Infer. We have applied Infer# on Microsoft projects and GitHub open source repos. It turns out that Infer# can effectively detect potential memory safety faults such as null pointer dereferences and resource leaks.