Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 05:00 - 05:45 at Infer Practitioners live stream - Session 1 Chair(s): Dulma Churchill

In this talk I will present the work AdaCore has been doing on top of Infer. First, we ported Infer to Windows. We have added support for the analysis of Ada code, by writing a new capture frontend on top of the Libadalang AST. Next, we have modified BufferOverrun to improve its results over Ada’s extensive use of arrays. Finally, we are writing a new analysis dedicated to resource misuse and leak detection.

Boris Yakobowski is a Senior Software Engineer at AdaCore. He obtained his PhD in Computer Science from the University of Paris-Diderot. His research interests lie in the verification of programs. At AdaCore, he is working on the abstract interpretation-based static analyzer, CodePeer. Previously, he worked on the Frama-C framework for the analysis of C programs.

Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

05:00 - 07:00
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I: Boris Yakobowski AdaCore
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi Çiçek Facebook London
06:30
30m
Coffee break
Break
Infer Practitioners