Astrée
5.8#14 in c and c++ static analysis toolsLinuxWindows
VisitAstrée vs GitHub CodeQL
GitHub CodeQL
7.5#1 in git gui clientsFrom $30 a monthFree planWebExtensionLinuxmacOS
VisitWhat both publish
| Fact | Astrée | GitHub CodeQL |
|---|---|---|
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | CodeQL is a language and toolchain for code analysis that treats code as data. |
Astrée plans
No prices published.
GitHub CodeQL plans
- Free for research and open sourceFree
- CodeQL for open source and researchFree
- GitHub Code Security$30 a month
- GitHub Free with CodeQL code scanning—
Pick Astrée if…
It suits developers and safety-focused teams analyzing handwritten or generated C and mixed C/C++ code. Linux and Windows users can integrate analyses into automated workflows.
Pick GitHub CodeQL if…
CodeQL is for developers and security teams who want query-based code analysis in an IDE, CLI, or CI workflow. Its availability depends on supported languages, operating systems, and repository eligibility.