Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

Predator is a shape analyzer that uses the abstract domain of symbolic memory 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).

Anglický abstrakt

Predator is a shape analyzer that uses the abstract domain of symbolic memory 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).

BibTex


@inproceedings{BUT111526,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)",
  annote="Predator is a shape analyzer that uses the abstract domain of symbolic memory
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).",
  address="Springer Verlag",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  chapter="111526",
  doi="10.1007/978-3-642-54862-8_33",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2014",
  month="april",
  pages="412--414",
  publisher="Springer Verlag",
  type="conference paper"
}