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

Anglický název

Predator Shape Analysis Tool Suite

Jazyk

en

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.

Dokumenty

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",
  annote="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.",
  address="Springer International Publishing",
  booktitle="Proceedings of HVC 2016",
  chapter="131026",
  doi="10.1007/978-3-319-49052-6_13",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer International Publishing",
  year="2016",
  month="november",
  pages="202--209",
  publisher="Springer International Publishing",
  type="conference paper"
}