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
_version_ 1783580457512730624
author Chalupa, Marek
Jašek, Tomáš
Tomovič, Lukáš
Hruška, Martin
Šoková, Veronika
Ayaziová, Paulína
Strejček, Jan
Vojnar, Tomáš
author_facet Chalupa, Marek
Jašek, Tomáš
Tomovič, Lukáš
Hruška, Martin
Šoková, Veronika
Ayaziová, Paulína
Strejček, Jan
Vojnar, Tomáš
author_sort Chalupa, Marek
collection PubMed
description 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 applied in termination analysis, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well.
format Online
Article
Text
id pubmed-7480679
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-74806792020-09-10 Symbiotic 7: Integration of Predator and More: (Competition Contribution) Chalupa, Marek Jašek, Tomáš Tomovič, Lukáš Hruška, Martin Šoková, Veronika Ayaziová, Paulína Strejček, Jan Vojnar, Tomáš Tools and Algorithms for the Construction and Analysis of Systems Article 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 applied in termination analysis, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well. 2020-03-13 /pmc/articles/PMC7480679/ http://dx.doi.org/10.1007/978-3-030-45237-7_31 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Chalupa, Marek
Jašek, Tomáš
Tomovič, Lukáš
Hruška, Martin
Šoková, Veronika
Ayaziová, Paulína
Strejček, Jan
Vojnar, Tomáš
Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title_full Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title_fullStr Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title_full_unstemmed Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title_short Symbiotic 7: Integration of Predator and More: (Competition Contribution)
title_sort symbiotic 7: integration of predator and more: (competition contribution)
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480679/
http://dx.doi.org/10.1007/978-3-030-45237-7_31
work_keys_str_mv AT chalupamarek symbiotic7integrationofpredatorandmorecompetitioncontribution
AT jasektomas symbiotic7integrationofpredatorandmorecompetitioncontribution
AT tomoviclukas symbiotic7integrationofpredatorandmorecompetitioncontribution
AT hruskamartin symbiotic7integrationofpredatorandmorecompetitioncontribution
AT sokovaveronika symbiotic7integrationofpredatorandmorecompetitioncontribution
AT ayaziovapaulina symbiotic7integrationofpredatorandmorecompetitioncontribution
AT strejcekjan symbiotic7integrationofpredatorandmorecompetitioncontribution
AT vojnartomas symbiotic7integrationofpredatorandmorecompetitioncontribution

Ejemplares similares