Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технология программирования и защита информации
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2016.
Разработка метода выявления уязвимостей кода на примере переполнения буфера
УДК: 004.056
Аннотация:
При помощи интерпретации Брауэра–Гейтинга–Колмогорова и соответствия Карри–Ховарда возможно использование развитых систем типов для выражения как структурных, так и логических отношений, что позволяет унифицировать метод обнаружения дефектов ПО.