Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Многие разработчики жалуются на чужой код: говорят, что он непонятный, плохой, требуют всё переписать. Опытные разработчики могут не узнавать даже собственный код. Что же говорить о машине — могут ли средства программного анализа вычленить суть кода? В докладе на тривиальных примерах и в доступной форме будет показано, как современные средства анализа собирают смысл программы с помощью методов общей алгебры. Примеры помогут получить представление о символьном анализе и абстрактной интерпретации, что позволит слушателю более эффективно использовать инструменты, построенные на таких подходах. --- Слайды:
