Side by side
Frama-C vs GitHub CodeQL
Both stand on c and c++ static analysis tools. Which one you can start free with, which one lets you read the code, and what each costs once you pay.
Free plan LinuxMacWindows
Frama-C offers several complementary analysis approaches for C, from runtime-error detection to contract-based proof and runtime checking. Its limitations around recursion, sequential analysis, and annotation translation matter when choosing which plug-ins fit a codebase.
Visit Frama-C
Free plan ExtensionLinuxMac+3
Visit GitHub CodeQL The facts
| Frama-C | GitHub CodeQL | |
|---|---|---|
| Free plan | Yes | Yes |
| Open source | Not published | Not published |
| Runs on | Linux, Mac, Windows | Extension, Linux, Mac, Self-hosted, Web, Windows |
| Lowest paid plan | Not published | See the plans |
| Plans published | None | 4 |
| Maker | Not published | Not published |
| Website | frama-c.com | codeql.github.com |
| On c and c++ static analysis tools | #10 of 25 | #6 of 25 |
Frama-C: what it does well
- Free and available for Linux, macOS, and Windows.
- Eva reports supported possible runtime errors.
- WP checks ACSL contracts across possible executions.
- Analyzers can combine results sequentially or in parallel.
- Plug-in development can extend or modify analyses.
What to know first
- Eva analyzes sequential code only.
- Eva does not support recursive calls.
- Some ACSL constructs cannot be translated by E-ACSL.
- Some specialized plug-ins are separate or proprietary.
GitHub CodeQL: what it does well
Alternatives to Frama-C Alternatives to GitHub CodeQL The whole list