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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Cybersecurity (Singapore) Jg. 3; H. 1; S. 1 - 19
Hauptverfasser:	Xu, Lili, Xu, Mingjie, Li, Feng, Huo, Wei
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Singapore Springer Singapore 08.09.2020 Springer Nature B.V SpringerOpen
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!