Publication detail

Predator Shape Analysis Tool Suite

PERINGER, P. ŠOKOVÁ, V. TRTÍK, M. VOJNAR, T. HOLÍK, L. KOTOUN, M.

Original Title

Predator Shape Analysis Tool Suite

Type

conference paper

Language

English

Original 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.

Keywords

tool, pointer programs, linked data structures, program analysis, shape analysis, symbolic memory graphs

Authors

PERINGER, P.; ŠOKOVÁ, V.; TRTÍK, M.; VOJNAR, T.; HOLÍK, L.; KOTOUN, M.

Released

14. 11. 2016

Publisher

Springer International Publishing

Location

Zurich

ISBN

978-3-319-49052-6

Book

Proceedings of HVC 2016

Edition

Lecture Notes in Computer Science

Pages from

202

Pages to

209

Pages count

8

URL

http://link.springer.com/chapter/10.1007/978-3-319-49052-6_13

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"
}