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

Celý popis

Podrobná bibliografia

Vydané v:	Cybersecurity (Singapore) Ročník 3; číslo 1; s. 1 - 19
Hlavní autori:	Xu, Lili, Xu, Mingjie, Li, Feng, Huo, Wei
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Singapore Springer Singapore 08.09.2020 Springer Nature B.V SpringerOpen
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!