Detail publikace

CPAlien: Shape Analyzer for CPAChecker

Originální název

CPAlien: Shape Analyzer for CPAChecker

Anglický název

CPAlien: Shape Analyzer for CPAChecker

Jazyk

en

Originální abstrakt

CPALien is a configurable program analysis framework instance. It uses an extension of the symbolic memory graphs (SMGs) abstract domain for shape analysis of programs manipulating the heap. In particular, CPAlien ex- tends SMGs with a simple integer value analysis in order to handle programs with both pointers and integer data. The current version of CPAlien is an early prototype intended as a basis for a future research in the given area. The version submitted for SV-COMP'14 does not contain any shape abstraction, but it is still powerful enough to participate in several categories.

Anglický abstrakt

CPALien is a configurable program analysis framework instance. It uses an extension of the symbolic memory graphs (SMGs) abstract domain for shape analysis of programs manipulating the heap. In particular, CPAlien ex- tends SMGs with a simple integer value analysis in order to handle programs with both pointers and integer data. The current version of CPAlien is an early prototype intended as a basis for a future research in the given area. The version submitted for SV-COMP'14 does not contain any shape abstraction, but it is still powerful enough to participate in several categories.

BibTex


@inproceedings{BUT111527,
  author="Petr {Müller} and Tomáš {Vojnar}",
  title="CPAlien: Shape Analyzer for CPAChecker",
  annote="
CPALien is a configurable program analysis framework instance. It
uses an extension of the symbolic memory graphs (SMGs) abstract domain for
shape analysis of programs manipulating the heap. In particular, CPAlien ex-
tends SMGs with a simple integer value analysis in order to handle programs
with both pointers and integer data. The current version of CPAlien is an early
prototype intended as a basis for a future research in the given area. The
version
submitted for SV-COMP'14 does not contain any shape abstraction, but it is still
powerful enough to participate in several categories.",
  address="Springer Verlag",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  chapter="111527",
  doi="10.1007/978-3-642-54862-8_28",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2014",
  month="april",
  pages="395--397",
  publisher="Springer Verlag",
  type="conference paper"
}