Symbiotic 7: Integration of Predator and More: (Competition Contribution)

Symbiotic  7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating programs. This new slicing is app...

Descripción completa

Detalles Bibliográficos
Autores principales: Chalupa, Marek, Jašek, Tomáš, Tomovič, Lukáš, Hruška, Martin, Šoková, Veronika, Ayaziová, Paulína, Strejček, Jan, Vojnar, Tomáš
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480679/
http://dx.doi.org/10.1007/978-3-030-45237-7_31

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480679/
http://dx.doi.org/10.1007/978-3-030-45237-7_31

Ejemplares similares