BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities

Buffer overflow is one of the most common types of software vulnerabilities. Various static analysis and dynamic testing techniques have been proposed to detect buffer overflow vulnerabilities. With automatic tool support, static buffer overflow detection technique has been widely used in academia a...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering s. 786 - 791
Hlavní autoři:	Fengjuan Gao, Linzhang Wang, Xuandong Li
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 25.08.2016
Témata:	Automatic Repair Buffer Overflow Engines Explosions Inspection Maintenance engineering Reachability analysis Software Symbolic Execution Testing Validation
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!