Detail výsledku

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

The paper presents a tool suite centered around the Predator shape analyzer for low-level C code based on the notion of symbolic memory graphs. Its architecture, optimizations, extensions, inputs, options, and outputs are covered.

Klíčová slova

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

URL
Rok
2016
Strany
202–209
Sborník
Proceedings of HVC 2016
Řada
Lecture Notes in Computer Science
Svazek
10028
Konference
Haifa Verification Conference 2016
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"
}
Projekty
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
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
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-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