Detail publikace

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

KOTOUN, M. PERINGER, P. ŠOKOVÁ, V. VOJNAR, T.

Originální název

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

Anglický název

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

Jazyk

en

Originální abstrakt

This paper describes shortly the PredatorHP (Predator Hunting Party) analyzer and its participation in the SV-COMP 2016 software verification competition. The paper starts by a brief sketch of the Predator shape analyzer on which PredatorHP is built, using multiple, concurrently running, specialised instances of Predator. The paper explains why the concrete mix of the different Predators was used, based on some characteristics of the SV-COMP  benchmark.

Anglický abstrakt

This paper describes shortly the PredatorHP (Predator Hunting Party) analyzer and its participation in the SV-COMP 2016 software verification competition. The paper starts by a brief sketch of the Predator shape analyzer on which PredatorHP is built, using multiple, concurrently running, specialised instances of Predator. The paper explains why the concrete mix of the different Predators was used, based on some characteristics of the SV-COMP  benchmark.

Dokumenty

BibTex


@inproceedings{BUT130970,
  author="Michal {Kotoun} and Petr {Peringer} and Veronika {Šoková} and Tomáš {Vojnar}",
  title="Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)",
  annote="This paper describes shortly the PredatorHP (Predator Hunting Party) analyzer and
its participation in the SV-COMP 2016 software verification competition. The
paper starts by a brief sketch of the Predator shape analyzer on which PredatorHP
is built, using multiple, concurrently running, specialised instances of
Predator. The paper explains why the concrete mix of the different Predators was
used, based on some characteristics of the SV-COMP  benchmark.",
  address="Springer Verlag",
  booktitle="Proceedings of TACAS 2016",
  chapter="130970",
  doi="10.1007/978-3-662-49674-9_66",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2016",
  month="april",
  pages="942--945",
  publisher="Springer Verlag",
  type="conference paper"
}