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.
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
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"
}
Back to top