Work

Integer overflow vulnerabilities detection in software binary code

Year: 2017

Type: conference-paper

Abstract: In this paper1 we propose a new approach to detect integer overflow vulnerabilities in executable x86-architecture code. The approach is based on symbolic execution of the code and the dual representation of memory. We build truncated control flow graph, based on the machine code. Layers in that graph are checked for the feasibility of vulnerability conditions. The proposed methods were implemented and experimentally tested on executable code.

Source: International Conference on Security of Information and Networks (SIN)

DOI: 10.1145/3136825.3136872

Authors: Roman Demidov, Alexander Pechenkin, Peter Zegzhda

Institution: Peter the Great St. Petersburg Polytechnic University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2784922010

FWCI: 0.545

Cites: 8

Cited by: 5

Related to: 10