Frama-C The Frama-C Docker images are useful for continuous integration, but for interactive use, they are not very practical: by default, Docker does not provide access to the local filesystem, and running the Frama-C GUI requires using derived tools such as x11docker. In this post, we briefly show an alternative, with...
Read MoreThe Frama-C Docker images available on Docker Hub were based on Alpine Linux, which allows for minimal sizes. However, its reliance on musl instead of the GNU libc (present in most Linux distributions) led to incompatibility issues with the E-ACSL plug-in. For this reason, current and future Docker images will...
Read MoreFrama-C 26 (Iron) has been released, and as always, it contains several improvements among different plug-ins. In this blog post, we will present some of them, with very short examples. This list of features is based on the main changes since the 25.0 (Manganese) release. Kernel/Aoraï: ‘calls’ ACSL extension moved...
Read MoreThis post has been co-written with Solid Sands; it is also available at the Solid Sands blog. Some time ago, the Frama-C team entered into a partner agreement with Solid Sands to make use of SuperTest, a very thorough test suite for C compilers and libraries. From basic syntactic tests...
Read MoreThe Frama-C GUI, based on GTK, is undergoing a retirement process; Ivette, the new graphical interface, will replace it in a few versions. The first public preview of Ivette has shipped with Frama-C 25.0 (Manganese). This post will briefly present how to compile and run it. It also illustrates some...
Read More