ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis

The Integer-Overflow-to-Buffer-Overflow (IO2BO) vulnerability has been widely exploited by attackers to cause severe damages to computer systems. Automatically identifying this kind of vulnerability is critical for software security. Despite many works have been done to mitigate integer overflow, ex...

Full description

Bibliographic Details

Published in:	Cybersecurity (Singapore) Vol. 3; no. 1; pp. 1 - 19
Main Authors:	Xu, Lili, Xu, Mingjie, Li, Feng, Huo, Wei
Format:	Journal Article
Language:	English
Published:	Singapore Springer Singapore 08.09.2020 Springer Nature B.V SpringerOpen
Subjects:	Buffers Computer Science Integer-Overflow-to-Buffer-Overflow (IO2BO) vulnerability Integers Inter-procedural dataflow analysis Overflow Path satisfiability Software reliability Software testing Taint analysis Weight reduction Inter-procedural dataflow analysis Taint analysis Path satisfiability Integer-Overflow-to-Buffer-Overflow (IO2BO) vulnerability
ISSN:	2523-3246, 2523-3246
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!