Detail publikace

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

ŠOKOVÁ, V.; PERINGER, P.; VOJNAR, T. 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. Cham: Springer International Publishing, 2020. p. 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
anglicky
Autoři
Šoková Veronika, Ing. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

formal verification, program analysis, shape analysis, symbolic memory graphs, bug hunting, memory safety, software verification competition

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
DOI
10.1007/978-3-030-45237-7_30
EID Scopus
2-s2.0-85083986387
BibTeX 
@inproceedings{BUT162536,
  author="Veronika {Šoková} and Petr {Peringer} and Tomáš {Vojnar}",
  title="PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)",
  booktitle="Proceedings of TACAS 2020 (2)",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12079",
  pages="408--412",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-45237-7\{_}30",
  isbn="978-3-030-45236-0",
  url="https://www.fit.vut.cz/research/publication/12198/"
}
Soubory
Nahoru