Frama-C - Framework for Modular Analysis of C programsLatest News 2025-07-07 LAnnotate v0.2.4 for Frama-C 31.0 Gallium 2025-06-25 MetAcsl v0.9 for Frama-C 31.0 Gallium 2025-06-24 Release of Frama-C 31.0 (Gallium) 2025-05-27 MetAcsl v0.9~beta for Frama-C 31.0~beta Gallium 2025-05-27 Beta release of Frama-C 31.0~beta (Gallium) 2025-05-27 Frama-Clang v0.0.18~beta for Frama-C 31.0~beta Gallium 2024-12-11 MetAcsl v0.8 for Frama-C 30.0 Zinc 2024-12-09 Fram
