sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
- Stars
- 269
- Forks
- 93
- Language
- Java
- License
- Apache-2.0
- Last commit
- updated Nov 2026
Straight from GitHub
Nobody has written up this repo. Everything on this page comes straight from the GitHub API, so there is no founder write-up, no pros and cons, and no difficulty rating — rather than a generated guess at them.
Maintenance
Pushed within three months of the last stats read (as of Nov 6, 2026).
Licence
Apache-2.0
Tech stack
Primary language: Java. GitHub reports only the dominant language, so this is not the whole stack.
Install
No install command has been verified for this repo. Follow the README rather than a guess.
Quality score
Computed by the discovery import when this entry was added.
- Recent activity×0.30
- 1.00
How recently the default branch was pushed to.
- Adoption×0.20
- 0.52
Stars on a log scale, so adoption counts without dominating.
- Description and topics×0.15
- 1.00
Whether the repo describes itself: description, topics, homepage.
- README present×0.15
- 1.00
Whether the repository has a README at all.
- Licence clarity×0.10
- 1.00
Whether GitHub can resolve the licence to a recognised SPDX id.
- Issue health×0.10
- 1.00
Open issues relative to adoption, as a rough maintenance signal.
Similar repos
Same category, ranked by shared topics.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
9.6k starsJavaLGPL-2.1updated Nov 2026Developer Toolsstatic analysis of C/C++ code
6.8k starsC++GPL-3.0updated Nov 2026Developer ToolsGhidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool loading, convention enforcement, batch operations, Ghidra Server integration, and Docker deployment.
6.1k starsJavaApache-2.0updated Nov 2026Developer ToolsCodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
2.6k starsPythonApache-2.0updated Nov 2026Databases
Stats updated Nov 6, 2026. Stars, forks, issue counts, and dates are a snapshot read from the GitHub REST API, not a live figure. This site makes no requests to GitHub when you load a page.