- Title:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution
- Document type:
- Konferenzbeitrag
- Author(s):
- Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias
- Pages contribution:
- 780--785
- Keywords:
- tool, testing
- Book / Congress title:
- Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
- Year:
- 2016
- Print-ISBN:
- 978-1-4503-3845-5
- Fulltext / DOI:
- doi:http://dx.doi.org/10.1145/2970276.2970281
- BibTeX