Detail publikace

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

PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 408-412. ISBN 978-3-030-45236-0.
Název česky
PredatorHP vylepšen (nejen) v práci s intervalově zadanou velikostí paměti a realokaci paměti (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Tento článek se zaměřuje na zdokonalení nástroje PredatorHP v posledních dvou letech, například na zlepšení manipulace s paměťovými oblastmi s intervalovou velikostí nebo na novou podporu realokace paměti. Příspěvek popisuje účast nástroje PredatorHP na SV-COMP 2020 a poukazuje na jeho silné a slabé stránky a dopad nejnovějších změn v nástroji.

Rok
2020
Strany
408-412
Sborník
Proceedings of TACAS 2020 (2)
Řada
Lecture Notes in Computer Science
Svazek
12079
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
10.1007/978-3-030-45237-7_30
EID Scopus
2-s2.0-85083986387
BibTeX 
@INPROCEEDINGS{FITPUB12198,
   author = "Petr Peringer and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)",
   pages = "408--412",
   booktitle = "Proceedings of TACAS 2020 (2)",
   series = "Lecture Notes in Computer Science",
   volume = 12079,
   year = 2020,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-45236-0",
   doi = "10.1007/978-3-030-45237-7\_30",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12198"
}
Nahoru