Publication result detail

Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)

DUDKA, K.; PERINGER, P.; VOJNAR, T.

Original Title

Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)

English Title

Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)

Type

Paper in proceedings (conference paper)

Original Abstract

Predator is a shape analyzer that uses the abstract domain of symbolicmemory graphs in order to support various forms of low-level memory manipulation commonly used in optimized C code. This paper briefly describes the verification approach taken by Predator and its strengths and weaknesses revealed during its participation in the Software Verification Competition (SV-COMP14).

English abstract

Predator is a shape analyzer that uses the abstract domain of symbolicmemory graphs in order to support various forms of low-level memory manipulation commonly used in optimized C code. This paper briefly describes the verification approach taken by Predator and its strengths and weaknesses revealed during its participation in the Software Verification Competition (SV-COMP14).

Keywords


dynamic linked data structures
separation logic
symbolic memory graphs
list manipulation
low-level memory manipulation
memory safety
shape analysis

Key words in English


dynamic linked data structures
separation logic
symbolic memory graphs
list manipulation
low-level memory manipulation
memory safety
shape analysis

Authors

DUDKA, K.; PERINGER, P.; VOJNAR, T.

RIV year

2015

Released

05.04.2014

Publisher

Springer Verlag

Location

Heidelberg

ISBN

978-3-642-54861-1

Book

Tools and Algorithms for the Construction and Analysis of Systems

Edition

Lecture Notes in Computer Science

Volume

8413

Pages from

412

Pages to

414

Pages count

3

URL

http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33

BibTex

@inproceedings{BUT111526,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  year="2014",
  series="Lecture Notes in Computer Science",
  volume="8413",
  pages="412--414",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-642-54862-8\{_}33",
  isbn="978-3-642-54861-1",
  url="http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33"
}