Result Details

Predator Shape Analysis Tool Suite

PERINGER, P.; ŠOKOVÁ, V.; TRTÍK, M.; VOJNAR, T.; HOLÍK, L.; KOTOUN, M. Predator Shape Analysis Tool Suite. In Proceedings of HVC 2016. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2016. p. 202-209. ISBN: 978-3-319-49052-6.
Type
conference paper
Language
English
Authors
Peringer Petr, Dr. Ing., DITS (FIT)
Šoková Veronika, Ing., Ph.D., DITS (FIT)
Trtík Marek
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Kotoun Michal, Ing.
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

URL
Published
2016
Pages
202–209
Proceedings
Proceedings of HVC 2016
Series
Lecture Notes in Computer Science
Volume
10028
Conference
Haifa Verification Conference 2016
ISBN
978-3-319-49052-6
Publisher
Springer International Publishing
Place
Zurich
DOI
10.1007/978-3-319-49052-6_13
UT WoS
000389792000013
EID Scopus
2-s2.0-84995487649
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"
}
Projects
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, Standardní projekty, GA14-11384S, start: 2014-01-01, end: 2016-12-31, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, start: 2014-01-01, end: 2016-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top