Detail publikace

Predator Shape Analysis Tool Suite

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

Originální název

Predator Shape Analysis Tool Suite

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Vydáno

14. 11. 2016

Nakladatel

Springer International Publishing

Místo

Zurich

ISBN

978-3-319-49052-6

Kniha

Proceedings of HVC 2016

Edice

Lecture Notes in Computer Science

Strany od

202

Strany do

209

Strany počet

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