Publication Details

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

PERINGER Petr, ŠOKOVÁ Veronika and 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, vol. 12079. Cham: Springer International Publishing, 2020, pp. 408-412. ISBN 978-3-030-45236-0.
Czech title
PredatorHP vylepšen (nejen) v práci s intervalově zadanou velikostí paměti a realokaci paměti (příspěvek do soutěže)
Type
conference paper
Language
english
Authors
Keywords

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

Published
2020
Pages
408-412
Proceedings
Proceedings of TACAS 2020 (2)
Series
Lecture Notes in Computer Science
Volume
12079
Conference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
Cham, CH
DOI
EID Scopus
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"
}
Back to top