{"repo":"sosy-lab/cpachecker","free":true,"listed":false,"github":"https://github.com/sosy-lab/cpachecker","clone":"git clone https://github.com/sosy-lab/cpachecker.git","description":"CPAchecker, the Configurable Software-Verification Platform (read-only mirror)","language":"Java","stars":263,"topics":["verification","c","java","software-verification","static-analysis"],"license":"Apache-2.0","category":"dev-tools","readme_excerpt":"Getting Started with CPAchecker =============================== - Installation Instructions - Contribution Guidelines - Development Instructions More documentation can be found in the doc/ directory. License and Copyright --------------------- CPAchecker is licensed under the Apache 2.0 License with copyright by Dirk Beyer and others (cf. Authors.md for full list of all contributors). Third-party libraries are under various other licenses and copyrights, cf. the files in the directory LICENSES for the full license texts. In particular, MathSAT is available for research and evaluation purposes only (cf. LICENSES/LicenseRef-MathSAT-CPAchecker.txt ), so make sure to use a different SMT solver if necessary. Note that although a GPL program is distributed together with CPAchecker, CPAchecker is separate from that program and thus not under the terms of the GPL. Prepare Programs for Verification by CPAchecker ----------------------------------------------- By default CPAchecker pre-processes C programs using an external C pre-processor (like cpp or gcc -E ). However, you can also pre-process programs yourself and provide the pre-processed C code to CPAchecker directly. This is especially useful if your program contains non-standard constructs that the external pre-processor cannot handle, or if the macros defined change the column numbers in the code (which CPAchecker cannot currently match back to the locations in the original source code). You can enable pre-processing explicitly","default_branch":null,"files":null,"tree":[],"storefront":"/r/sosy-lab","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/sosy-lab/cpachecker/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}