Detail výsledku

PredatorHP Attacks Interval-Sized Regions

KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019. p. 1-4.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Kotoun Michal, Ing.
Peringer Petr, Dr. Ing., UITS (FIT)
Šoková Veronika, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

This paper describes shortly the basic principles of the PredatorHP (PredatorHunting Party) shape analyzer and presents its recent improvements. One of themost visible changes is the way PredatorHP handles interval-sized memoryregions, which is particularly useful for dealing with arrays whose size is notfixed in advance. Further, the paper characterizes PredatorHP's participationin SV-COMP 2019, pointing out its strengths and weakness and the way they wereinfluenced by the latest changes in the tool.

URL
Rok
2019
Strany
1–4
Místo
Ithaca
BibTeX 
@misc{BUT161943,
  author="Michal {Kotoun} and Petr {Peringer} and Veronika {Šoková} and Tomáš {Vojnar}",
  title="PredatorHP Attacks Interval-Sized Regions",
  year="2019",
  pages="1--4",
  address="Ithaca",
  url="https://arxiv.org/abs/1909.07152"
}
Projekty
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru