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

infer-2020-talks
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer Practitioners live stream
Chair(s): Dulma ChurchillFacebook London
infer-2020-talks05:00 - 05:45
Talk
infer-2020-talks05:45 - 06:30
Talk
Ezgi ÇiçekFacebook London
infer-2020-talks06:30 - 07:00
Coffee break