Publication result 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

English Title

Predator Shape Analysis Tool Suite

Type

Paper in proceedings (conference paper)

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.

English 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

Key words in English

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.

RIV year

2017

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

Volume

10028

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