Conference paper

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. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6. Available from:
Publication language:english
Original title:Predator Shape Analysis Tool Suite
Title (cs):Predator - analyzátor tvaru
Proceedings:Proceedings of HVC 2016
Conference:Haifa Verification Conference 2016
Series:LNCS 10028
Place:Zurich, CH
Publisher:Springer Verlag
tool, pointer programs, linked data structures, program analysis, shape analysis, symbolic memory graphs
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.
   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 = {LNCS 10028},
   year = {2016},
   location = {Zurich, CH},
   publisher = {Springer Verlag},
   ISBN = {978-3-319-49052-6},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]