PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP’s participation in SV-COMP 2020, pointing out its strengths an...

Descripción completa

Detalles Bibliográficos
Autores principales: Peringer, Petr, Šoková, Veronika, 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/PMC7480703/
http://dx.doi.org/10.1007/978-3-030-45237-7_30
_version_ 1783580463022997504
author Peringer, Petr
Šoková, Veronika
Vojnar, Tomáš
author_facet Peringer, Petr
Šoková, Veronika
Vojnar, Tomáš
author_sort Peringer, Petr
collection PubMed
description This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP’s participation in SV-COMP 2020, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.
format Online
Article
Text
id pubmed-7480703
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-74807032020-09-10 PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) Peringer, Petr Šoková, Veronika Vojnar, Tomáš Tools and Algorithms for the Construction and Analysis of Systems Article This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP’s participation in SV-COMP 2020, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool. 2020-03-13 /pmc/articles/PMC7480703/ http://dx.doi.org/10.1007/978-3-030-45237-7_30 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
Peringer, Petr
Šoková, Veronika
Vojnar, Tomáš
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title_full PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title_fullStr PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title_full_unstemmed PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title_short PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
title_sort predatorhp revamped (not only) for interval-sized memory regions and memory reallocation (competition contribution)
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480703/
http://dx.doi.org/10.1007/978-3-030-45237-7_30
work_keys_str_mv AT peringerpetr predatorhprevampednotonlyforintervalsizedmemoryregionsandmemoryreallocationcompetitioncontribution
AT sokovaveronika predatorhprevampednotonlyforintervalsizedmemoryregionsandmemoryreallocationcompetitioncontribution
AT vojnartomas predatorhprevampednotonlyforintervalsizedmemoryregionsandmemoryreallocationcompetitioncontribution

Ejemplares similares