Publication Details
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.
Czech title
Predator - analyzátor tvaru
Type
conference paper
Language
English
Authors
Peringer Petr, Dr. Ing.
(DITS)
Šoková Veronika, Ing. (DITS)
Trtík Marek (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Kotoun Michal, Ing.
Šoková Veronika, Ing. (DITS)
Trtík Marek (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Kotoun Michal, Ing.
URL
Keywords
tool, pointer programs, linked data structures, program analysis, shape analysis, symbolic memory graphs
Abstract
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.
Published
2016
Pages
202–209
Proceedings
Proceedings of HVC 2016
Series
Lecture Notes in Computer Science
Volume
10028
ISBN
978-3-319-49052-6
Publisher
Springer International Publishing
Place
Zurich
DOI
UT WoS
000389792000013
EID Scopus
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"
}