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.