Experimenting with Infer at Scale – Invited Talk
At Muse we have been developing an API for applying Infer and other program analysis tools at scale. Analysis runs in the cloud and results are collected and stored in a centralized database. The goal is to permit easy and fast experimentation with new analyzers. I will describe this framework, demonstrate its use, and show how it can be used to accelerate data collection for static analysis research.
Dr. Stephen Magill is CEO of Muse Dev, a company focused on integrating deep program analysis into modern development processes. He has led several large research and development projects, including serving as Principal Investigator on a number of DARPA programs and leading work with Amazon to apply verification to critical infrastructure code. Stephen’s research interests also include open source security practices, and he has contributed to survey design, data collection, and statistical analysis for the 2019 and 2020 State of the Software Supply Chain reports.
Tue 16 JunDisplayed 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 |