Cover Image

Algebraic patterns of binary code vulnerabilities

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...

Full description

Saved in:

Bibliographic Details
Date:	2020
Main Author:	Yakovlev, V.M.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2020
Subjects:	software vulnerabilities symbolic modeling algebraic matching behavior algebra UDC 004.05 004.4[2+9] 004.94 519.7
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/390
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Modern technological aspects of decision support systems
by: Churubrova, S.M.
Published: (2017)

Weather anomaly monitoring method based on sensor network technology
by: Rahozin, D.V.
Published: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
by: Zhyliuk, Y., et al.
Published: (2025)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2023)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
by: Lazarenko, S.V., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015)

Algebraic modeling in international and local service logistical systems
by: Letychevskyi, O.O., et al.
Published: (2021)

Managing data center resources using heuristic search
by: Zharikov, E.V.
Published: (2018)

A method of two-tier storage management in virtualized data center
by: Zharikov, E.V.
Published: (2019)

Method of detection of http attacks on a smart home using the algebraic matching method
by: Gorbatiuk, V.O., et al.
Published: (2023)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Module-based scientific physics engine architecture
by: Bernatovych, A.A., et al.
Published: (2023)

Specialized software for simulating dynamic virtual machine consolidation
by: Zharikov, E.V., et al.
Published: (2022)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Algebraic patterns of binary code vulnerabilities
by: V. M. Yakovlev
Published: (2020)

Methods of recognition by the agent of the unknown environment
by: Yalovets, A.L.
Published: (2019)

Descriptive logic using in Web-service problems
by: Zakharova, O.V.
Published: (2017)

Method of information and analytical support for information security risk management of information systems
by: Rodin, Y.S.
Published: (2019)

Tasks for information security risks management in making-decision process
by: Rodin, Y.S.
Published: (2018)

The concept and evaluating of big data quality in the semantic environment
by: Novitsky, A.V.
Published: (2023)

Conflict controlled network modeling: evolutionary games approach
by: Ignatenko, O.P., et al.
Published: (2019)

Implementation the concept of adaptive broadcast system and automatic preparation of content
by: Provotar, O.I., et al.
Published: (2025)

Game model of user interaction in heterogeneous distributed environments
by: Ignatenko, O.P., et al.
Published: (2017)

Fluid models of dynamic scheduling in computer networks
by: Іgnatenko, O.P.
Published: (2025)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
by: Zakharova, O.V.
Published: (2023)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)