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á bibliografie

Vydáno v:	Cybersecurity (Singapore) Ročník 3; číslo 1; s. 1 - 19
Hlavní autoři:	Xu, Lili, Xu, Mingjie, Li, Feng, Huo, Wei
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Singapore Springer Singapore 08.09.2020 Springer Nature B.V SpringerOpen
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!