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

Vydané v:	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering s. 786 - 791
Hlavní autori:	Fengjuan Gao, Linzhang Wang, Xuandong Li
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 25.08.2016
Predmet:	Automatic Repair Buffer Overflow Engines Explosions Inspection Maintenance engineering Reachability analysis Software Symbolic Execution Testing Validation
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!