Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Šoková Veronika, Ing., Ph.D., UITS (FIT)
Peringer Petr, Dr. Ing., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

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

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)
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-45237-7_30
UT WoS
001288734300028
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
Projekty
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
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru