Algebraic patterns of binary code vulnerabilities

• Дата: 2020
• Автор: Yakovlev, V.M.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: PROBLEMS IN PROGRAMMING 2020
• Теми: software vulnerabilities; symbolic modeling; algebraic matching; behavior algebra; UDC 004.05; 004.4[2+9]; 004.94; 519.7
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/390
• Назва журналу: Problems in programming

Detection of software systems’ vulnerabilities is an actual problem in the IT industry nowadays. The approaches to the solution of this problem, based on the symbolic methods, became very popular and promising during the last decade. The article describes an approach to the vulnerabilities detection...