В чём суть, или как понять твой код?
Многие разработчики жалуются на чужой код: говорят, что он непонятный, плохой, требуют всё переписать. Опытные разработчики могут не узнавать даже собственный код. Что же говорить о машине — могут ли средства программного анализа вычленить суть кода?
В докладе на тривиальных примерах и в доступной форме будет показано, как современные средства анализа собирают смысл программы с помощью методов общей алгебры.
Примеры помогут получить представление о символьном анализе и абстрактной интерпретации, что позволит слушателю более эффективно использовать инструменты, построенные на таких подходах.
Многие разработчики жалуются на чужой код: говорят, что он непонятный, плохой, требуют всё переписать. Опытные разработчики могут не узнавать даже собственный код. Что же говорить о машине — могут ли средства программного анализа вычленить суть кода?
В докладе на тривиальных примерах и в доступной форме будет показано, как современные средства анализа собирают смысл программы с помощью методов общей алгебры.
Примеры помогут получить представление о символьном анализе и абстрактной интерпретации, что позволит слушателю более эффективно использовать инструменты, построенные на таких подходах.
Денис Фокин,
Huawei
В чём суть, или как понять твой код?
Денис Фокин,
Huawei
Huawei
Многие разработчики жалуются на чужой код: говорят, что он непонятный, плохой, требуют всё переписать. Опытные разработчики могут не узнавать даже собственный код. Что же говорить о машине — могут ли средства программного анализа вычленить суть кода?
В докладе на тривиальных примерах и в доступной форме будет показано, как современные средства анализа собирают смысл программы с помощью методов общей алгебры.
Примеры помогут получить представление о символьном анализе и абстрактной интерпретации, что позволит слушателю более эффективно использовать инструменты, построенные на таких подходах.
О докладчике
О докладчике
Лидер команды инструментов для анализа программного кода в компании Huawei.
Участвовал в разработке платформы IntelliJ.
Работал над библиотеками JDK в компаниях Sun Microsystems и Oracle.
Решал задачи, связанные с переводом Java-библиотек в репозитории с открытым исходным кодом.
Начал работу над OpenJDK для платформы IntelliJ.
Участвовал в разработке платформы IntelliJ.
Работал над библиотеками JDK в компаниях Sun Microsystems и Oracle.
Решал задачи, связанные с переводом Java-библиотек в репозитории с открытым исходным кодом.
Начал работу над OpenJDK для платформы IntelliJ.
Все спикеры SnowOne
Все спикеры SnowOne
Партнёры SnowOne
