Максим Мишечкин, лидер команды, разрабатывающей комплекс динамического анализа Crusher в ИСП РАН им. Иванникова.
Окончил факультет Информатики и систем управления МГТУ Н. Э. Баумана. С 2015 года занимается исследованиями в области статического и динамического анализа и фаззинга. С 2016 года является ведущим разработчиком Crusher. Развивает направление объединения в комплексе Crusher статического и динамического анализа.
При разработке программного обеспечения разработчики допускают ошибки. Чем крупнее разрабатываемый продукт, тем больше вероятность наличия в нём ошибки. В настоящее время размер исходных текстов программ достигает миллионов строк кода. Та́кие объёмы кода не представляется возможным проверить экспертным методом, особенно учитывая постоянное его изменение в процессе разработки. В связи с этим для уменьшения количества ошибок в разрабатываемом программном обеспечении применяют инструменты, основанные на технологиях статического и динамического анализа. Обе эти технологии имеют ряд недостатков, которые можно устранить за счет их объединения в единое средство анализа. В докладе будет представлена реализация данной идеи на примере интеграции инструмента динамического анализа Crusher с инструментами статического анализа.
Анна Новомлинская, исполнительный директор консорциума OS DAY, an@ispras.ru
Адрес: Москва, ул. Губкина, д. 8, этаж 9, конференц-зал.
Уважаемые коллеги! Для прохода в здание МИАН РАН просим принести документ, удостоверяющий личность.