Frama-C
platform dedicated to source-code analysis of C software
Free software · by Alternative Energies and Atomic Energy Commission · frama-c.com
Open Frama-C in AirStackWhat Frama-C’s own pages say
| What it says it does | platform dedicated to source-code analysis of C software frama-c.com |
|---|---|
| Open source | Yes frama-c.com |
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.