CPAcheckerCPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV'07 paper "Configurable Software Verification" and in the ASE'08 paper "Program Analysis with Dynamic Precision Adjustment".
The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
Authors/Maintainers: Dirk Beyer, Stefan Löwe, and Philipp Wendler
We provide mailing lists for different audiences (cpachecker-announce,
cpachecker-users, cpachecker-commits, cpachecker-dev).
A description of the mailing lists and how to subscribe can be found in
the file Mailing.txt
in the project trunk.
For installation questions, bug reports, and suggestions, please send
email to CPAchecker-Users (the domain is always sosy-lab.org).
CPAchecker is free software (Apache 2.0 License)
Build-Bot
(regression tests on example programs and verification benchmarks)
Just for Fun: Visualization of CPAchecker Project History
Latest news for development version:
(Full list)
Changes since CPAchecker 1.2
----------------------------
* r8060: Better resolution of relative paths, for example, paths in configuration files
are now relative to the directory of the configuration file.
Now CPAchecker should be easily runnable from any directory.
* r7277: The -spec command-line argument does not only accept file-name values,
but also single words. A file with a matching name from config/specification/*.spc
will be used in this case.
Example: scripts/cpa.sh -spec ErrorLabel ...
...
We thank the following people for their help: (Source: https://svn.sosy-lab.org/software/cpachecker/trunk/Authors.txt)
Main Authors/Maintainers: Dirk Beyer (since 2007), Simon Fraser University, Canada / University of Passau, Germany Stefan Löwe (since 2010), University of Passau, Germany Philipp Wendler (since 2009), University of Passau, Germany Former Maintainers: Erkan Keremoglu (2008 - 2011), Simon Fraser University, Canada Contributors: Przemislaw Daca (2011 - 2012), Technical University of Denmark, Denmark Matthias Dangl (2012), University of Passau, Germany Alexander Driemeyer (2012), University of Passau, Germany Gregor Endler (2009 - 2010), University of Passau, Germany Karlheinz Friedberger (since 2011), University of Passau, Germany Alberto Griggio (2008 - 2009), Simon Fraser University, Canada / University of Trento, Italy Peter Häring (since 2011), University of Passau, Germany Andreas Holzer (2008 - 2011), University of Darmstadt, Germany / TU Vienna, Austria Marie-Christine Jakobs (since 2012), University of Paderborn, Germany Michael Käufl (2011), University of Passau, Germany Steven Kieffer (2011 - 2012), Simon Fraser University, Canada Stefan Peters (2011 - 2012), University of Passau, Germany Alexander von Rhein (2010), University of Passau, Germany Alexander Schremmer (since 2012), University of Paderborn, Germany Andreas Stahlbauer (since 2011), University of Passau, Germany Thomas Stieglmaier (since 2011), University of Passau, Germany Michael Tautschnig (2008 - 2009), University of Darmstadt, Germany Gregory Theoduloz (2009 - 2010), EPFL, Switzerland Daniel Wonisch (2011 - 2012), University of Paderborn, Germany Geoff Zenger (2007), Simon Fraser University, Canada Questions and bug reports: Dirk Beyer: CPAchecker-Users@sosy-lab.org
The following projects use CPAchecker's technology, or perform research on related technology:
Author: Dirk Beyer, other project pages: BLAST, CCVisu, Chic, CrocoPat, CSIsat, Rabbit
Last updated: $Date: 2013-02-02 09:45:16 +0100 (Sat, 02 Feb 2013) $ by $Author: dbeyer $