The Eva Abstract Debugger: A new way to explore and interact with the Frama-C/Eva static analyzer Jules Massart on 2 February 2026
This is an invited post by Jules Massart on his 6-month internship (from March to August 2025) in the Frama-C team, where he developed the Eva Abstract Debugger under the supervision of Michele Alberti, David Bühler, and Virgile Prevosto. Building on the original idea of Abstract Debuggers [1], Jules shows...
Read More