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 International Publishing, 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áš, doc. Mgr., Ph.D. (DITS FIT BUT)
Kotoun Michal, Ing. (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 International Publishing
Place
Zurich, CH
DOI
UT WoS
000389792000013
EID Scopus
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 International Publishing",
   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