Conference paper

MÜLLER Petr and VOJNAR Tomáš. CPAlien: Shape Analyzer for CPAChecker. In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2014, pp. 395-397. ISBN 978-3-642-54861-1. Available from: http://link.springer.com/chapter/10.1007/978-3-642-54862-8_28
Publication language:english
Original title:CPAlien: Shape Analyzer for CPAChecker (Competition Contribution)
Title (cs):CPAlien: Analyzátor tvaru pro framework CPAChecker
Pages:395-397
Proceedings:Tools and Algorithms for the Construction and Analysis of Systems
Conference:European Joint Conferences on Theory and Practice of Software -- ETAPS'14 (TACAS'14)
Series:LNCS 8413
Place:Heidelberg, DE
Year:2014
URL:http://link.springer.com/chapter/10.1007/978-3-642-54862-8_28
ISBN:978-3-642-54861-1
Publisher:Springer Verlag
Keywords
shape analysis
configurable program analysis
static analysis
symbolic memory graphs
memory safety
software verification
Annotation
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{
   author = {Petr M{\"{u}}ller and Tom{\'{a}}{\v{s}} Vojnar},
   title = {CPAlien: Shape Analyzer for CPAChecker (Competition
	Contribution)},
   pages = {395--397},
   booktitle = {Tools and Algorithms for the Construction and Analysis of
	Systems},
   series = {LNCS 8413},
   year = {2014},
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-54861-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10519}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]