State of the Infer Platform

Add to your list(s) Download to your calendar using vCal

• Jules Villard (Meta)
• Friday 11 October 2024, 14:00-14:45
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

Infer is an open-source static analysis platform that is used to prevent classes of bugs in code at Meta in several languages such as Java, C++, or Hack. Every month, Infer runs on thousands of code changes and detects thousands of bugs that are fixed by developers before they reach production. Over the years, Infer has evolved from a standalone analyser based on Separation Logic to a powerful platform for implementing cross-language interprocedural analyses. Static analysis writers only need to provide an intraprocedural analysis that computes the summary for a single procedure and Infer will transform it into a compositional interprocedural analysis that scales to millions of lines of real code. In this talk, we’ll go through some of the formal methods techniques that are implemented inside Infer such as separation logic, abstract interpretation, and incorrectness logic, and how they make it a valuable tool for programmers.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.