Detail publikačního výsledku

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

Anglický název

Predator Shape Analysis Tool Suite

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Anglický 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

Klíčová slova v angličtině

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.

Rok RIV

2017

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

Svazek

10028

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