Detail publikace

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In Proceedings of TACAS 2016. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2016. p. 942-945. ISBN: 978-3-662-49673-2.
Název česky
Optimalizovaný PredatorHP a SV-COMP (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kotoun Michal, Ing.
Peringer Petr, Dr. Ing. (UITS)
Šoková Veronika, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

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

Abstrakt

Článek popisuje vylepšený nástroj PredatorHP (Predator Hunting Party) a jeho účast v soutěži SV-COMP 2016. V článku je především popsáno jaká kombinace paralelně běžících specializovaných Predátorů a s jakým nastavením byla použita pro zpracování soutěžních úloh SV-COMP.

Rok
2016
Strany
942–945
Sborník
Proceedings of TACAS 2016
Řada
Lecture Notes in Computer Science
Svazek
9636
ISBN
978-3-662-49673-2
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-49674-9_66
UT WoS
000406428000066
EID Scopus
2-s2.0-84964056792
BibTeX 
@inproceedings{BUT130970,
  author="Michal {Kotoun} and Petr {Peringer} and Veronika {Šoková} and Tomáš {Vojnar}",
  title="Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)",
  booktitle="Proceedings of TACAS 2016",
  year="2016",
  series="Lecture Notes in Computer Science",
  volume="9636",
  pages="942--945",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-49674-9\{_}66",
  isbn="978-3-662-49673-2",
  url="http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_66"
}
Nahoru