This fifth edition of the Infer Practitioners Workshop gathers together developers and researchers working with the Infer static analysis platform. Infer enables anyone to write their own scalable inter-procedural static analysis with only a few lines of code for programs written in various languages, including C, C++, C#, Java, Erlang and more. Infer is deployed at several companies where it helps developers write better code. Infer is also being used in academia, both as a research tool and a teaching medium.
Mon 24 JunDisplayed time zone: Windhoek change
09:00 - 10:10 | |||
09:15 5mTalk | Welcome Infer David Pichardie Meta | ||
09:20 45mTalk | State of the Infer Platform Infer Jules Villard Meta |
10:40 - 12:20 | |||
10:40 45mTalk | Finding Retain Cycles for Objective-C with Pulse Infer Dulma Churchill Meta | ||
11:30 45mTalk | Bridging the Gap For Security Analysis In Infer Infer Julien Vanegue Bloomberg, USA |
13:40 - 15:20 | |||
13:40 45mTalk | Infer Internals for Integrations and Infrastructure Infer Nikos Gorogiannis Meta | ||
14:30 45mTalk | Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp Infer Matteo Marescotti Meta |
16:00 - 17:40 | |||
16:00 45mTalk | Type-safe Nanopasses: How to write a safe and modern compiler front-end Infer Daniel Mercier AdaCore |
Call for Presentations
We welcome contributed technical talks around a range of Infer-related topics, including but not limited to:
- new analyses implemented in Infer or using the results of existing Infer analyses
- Infer’s core components, e.g. its analysis scheduler, language frontends, …
- experience reports, for instance use of Infer in academic research, industry, or teaching
Please email your talk proposals to David Pichardie at david.pichardie[at]ens-rennes.fr. Suggested format: title + one paragraph description.