Skip to main content
Conference ProceedingsOPEN ACCESS

Symbiotic 3: New slicer and error-witness generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2016) 9636 946-949
DOI: 10.1007/978-3-662-49674-9_67
7Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

SYMBIOTIC 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor KLEE has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow.

Cite

CITATION STYLE

APA

Chalupa, M., Jonáš, M., Slaby, J., Strejček, J., & Vitovská, M. (2016). Symbiotic 3: New slicer and error-witness generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9636, pp. 946–949). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_67

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free