Publication Details

Predator Shape Analysis Tool Suite

HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Lecture Notes in Computer Science, vol. 10028. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6. Available from: http://link.springer.com/chapter/10.1007/978-3-319-49052-6_13
Czech title
Predator - analyzátor tvaru
Type
conference paper
Language
english
Authors
Holík Lukáš, Mgr., Ph.D. (DITS FIT BUT)
Kotoun Michal, Bc. (FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Trtík Marek, Mgr., Ph.D. (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
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
Conference
Haifa Verification Conference 2016, Haifa, IL
ISBN
978-3-319-49052-6
Publisher
Springer Verlag
Place
Zurich, CH
DOI
BibTeX
@INPROCEEDINGS{FITPUB11304,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Michal Kotoun and Petr Peringer and Veronika \v{S}okov\'{a} and Marek Trt\'{i}k and Tom\'{a}\v{s} Vojnar",
   title = "Predator Shape Analysis Tool Suite",
   pages = "202--209",
   booktitle = "Proceedings of HVC 2016",
   series = "Lecture Notes in Computer Science",
   volume = 10028,
   year = 2016,
   location = "Zurich, CH",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-49052-6",
   doi = "10.1007/978-3-319-49052-6\_13",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11304"
}
Back to top