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: http://link.springer.com/chapter/10.1007/978-3-319-49052-6_13
Publication language:english
Original title:Predator Shape Analysis Tool Suite
Title (cs):Predator - analyzátor tvaru
Pages:202-209
Proceedings:Proceedings of HVC 2016
Conference:Haifa Verification Conference 2016
Series:LNCS 10028
Place:Zurich, CH
Year:2016
URL:http://link.springer.com/chapter/10.1007/978-3-319-49052-6_13
ISBN:978-3-319-49052-6
Publisher:Springer Verlag
Keywords
tool, pointer programs, linked data structures, program analysis, shape analysis, symbolic memory graphs
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=11304}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]