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

Full description

Bibliographic Details

Published in:	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering pp. 786 - 791
Main Authors:	Fengjuan Gao, Linzhang Wang, Xuandong Li
Format:	Conference Proceeding
Language:	English
Published:	ACM 25.08.2016
Subjects:	Automatic Repair Buffer Overflow Engines Explosions Inspection Maintenance engineering Reachability analysis Software Symbolic Execution Testing Validation
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!