Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 09:00 - 09:45 at Infer Practitioners live stream - Session 3 Chair(s): Ezgi Çiçek

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 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

09:00 - 11:00: Session 3Infer Practitioners at Infer Practitioners live stream
Chair(s): Ezgi ÇiçekFacebook London
09:00 - 09:45
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun DengMicrosoft Corporation, A: Matthew JinMicrosoft Corporation, A: Xiaoyu LiuMicrosoft Corporation, A: Xin ShiMicrosoft Corporation, A: Neel SundaresanMicrosoft Corporation
09:45 - 10:30
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen MagillMuse Dev
10:30 - 11:00
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma ChurchillFacebook London, P: Ezgi ÇiçekFacebook London, P: Nikos GorogiannisFacebook and Middlesex University London, P: Jules VillardFacebook London