PLDI 2020 (series) / Infer Practitioners 2020 (series) / Infer Practitioners 2020 /
Infer#: An Automatic Bug Detector on .NET Programs
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.
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 11:00 | Session 3Infer Practitioners at Infer Practitioners live stream Chair(s): Ezgi Çiçek Facebook London | ||
09:00 45mTalk | Infer#: An Automatic Bug Detector on .NET Programs Infer Practitioners A: Shao Kun Deng Microsoft Corporation, A: Matthew Jin Microsoft Corporation, A: Xiaoyu Liu Microsoft Corporation, A: Xin Shi Microsoft Corporation, A: Neel Sundaresan Microsoft Corporation | ||
09:45 45mTalk | Experimenting with Infer at Scale – Invited Talk Infer Practitioners | ||
10:30 30mLive Q&A | Infer team Q&A Infer Practitioners P: Dulma Churchill Facebook London, P: Ezgi Çiçek Facebook London, P: Nikos Gorogiannis Facebook and Middlesex University London, P: Jules Villard Facebook London | ||