Framacovr

H2Lab releases FramaCovr, a tool that converts Frama-C metrics coverage reports into the gcovr format.

Tags: Tooling, Framacovr, Frama-C, Gcovr, Coverage, Python, Embedded-Cybersecurity

H2Lab

2026-09-11 2 min read