*Infer*ring things on Ada code – Invited Talk
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
|05:00 - 05:45|
|05:45 - 06:30|
Ezgi ÇiçekFacebook London
|06:30 - 07:00|