Новости

27-28 июня 2018 года на площадке Национального института по стандартизации и технологиям (National Institute of Standards and Technology, NIST) в г.Гейтерсберг (шт. Мэриленд), США, состоялся международный семинар, посвященный применению консервативного статического анализа для обеспечения безопасности программных систем (Sound Static Analysis for Security).

На международных соревнованиях инструментов статической верификации (SV-COMP 2018), проходивших в рамках международной конференции TACAS, Салоники, Греция, были представлены доклады по инструментам CPAchecker-BAM-BnB и CPAchecker-BAM-Slicing. В этом году наш инструмент CPAchecker-BAM-BnB завоевал золотую медаль, а CPAchecker-BAM-Slicing завоевал бронзовую медаль в категории Software Systems.

Антон Волков закончил проект “Поиск ошибок, связанных с гонками по данным, в ядре ОС Linux”, выполненный в рамках Google Summer of Code 2017 под эгидой The Linux Foundation. Целями проекта были:

1. поиск ошибок, связанных с состояниями гонки, в ядре ОС Linux;
2. уведомление разработчиков модулей ядра об этих ошибках.

В Москве прошла 11-я Международная Ершовская конференция по информатике (PSI-2017). В рамках данной конференции Евгений Новиков и Илья Захаров, участвующие в проекте Linux Driver Verification, представили доклад, в котором были затронуты проблемы и особенности применения существующих на сегодняшний день инструментов статической верификации к произвольным программам, разрабатываемым на языке Си с расширениями GNU.