MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution

Concolic (concrete+symbolic) execution has recently gained popularity as an effective means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows. However, symbolic execution tools that are designed to optimize statement coverage often fail to cover potentially vulnerab...

Full description

Bibliographic Details

Published in:	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering pp. 780 - 785
Main Authors:	Ognawala, Saahil, Ochoa, Martin, Pretschner, Alexander, Limmer, Tobias
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.09.2016
Subjects:	Complex systems Compositional analysis Computer bugs Engines Memory management Scalability Security Software Symbolic execution
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!