Algebraic patterns of binary code vulnerabilities

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2020
• Heft: 1
• Сторінки: 47-54
• ISSN: 1727-4907
• Автори та афіліації: V.M. Yakovlev — Glushkov Institute of Cybernetics NAS of Ukraine
• 1. Verfasser: Yakovlev, V.M.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2020
• Schlagworte: software vulnerabilities; symbolic modeling; algebraic matching; behavior algebra; UDC 004.05; 004.4[2+9]; 004.94; 519.7
• Online Zugang: 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...