Detail publikace

Predator Shape Analysis Tool Suite

PERINGER, P.; ŠOKOVÁ, V.; TRTÍK, M.; VOJNAR, T.; HOLÍK, L.; KOTOUN, M. Predator Shape Analysis Tool Suite. In Proceedings of HVC 2016. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2016. p. 202-209. ISBN: 978-3-319-49052-6.
Název česky
Predator - analyzátor tvaru
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Peringer Petr, Dr. Ing. (UITS)
Šoková Veronika, Ing. (UITS)
Trtík Marek (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Kotoun Michal, Ing. (VZ VERIFIT)
URL
Klíčová slova

tool, pointer programs, linked data structures, program analysis, shape analysis, symbolic memory graphs

Abstrakt

Článek popisuje komplexní nástroj Predator jakožto analyzátor tvaru pro verifikaci nízkoúrovňového kódu v C založený na symbolických grafech paměti. Popisuje jeho architekturu, optimalizace, rozšíření, vstupy, nastavení a výstupy.

Rok
2016
Strany
202–209
Sborník
Proceedings of HVC 2016
Řada
Lecture Notes in Computer Science
Svazek
10028
Konference
Haifa Verification Conference 2016, Haifa, IL
ISBN
978-3-319-49052-6
Vydavatel
Springer International Publishing
Místo
Zurich
DOI
10.1007/978-3-319-49052-6_13
UT WoS
000389792000013
EID Scopus
2-s2.0-84995487649
BibTeX 
@inproceedings{BUT131026,
  author="Petr {Peringer} and Veronika {Šoková} and Marek {Trtík} and Tomáš {Vojnar} and Lukáš {Holík} and Michal {Kotoun}",
  title="Predator Shape Analysis Tool Suite",
  booktitle="Proceedings of HVC 2016",
  year="2016",
  series="Lecture Notes in Computer Science",
  volume="10028",
  pages="202--209",
  publisher="Springer International Publishing",
  address="Zurich",
  doi="10.1007/978-3-319-49052-6\{_}13",
  isbn="978-3-319-49052-6",
  url="http://link.springer.com/chapter/10.1007/978-3-319-49052-6_13"
}
Nahoru