Overview

Ivette is a new Graphical User Interface for Frama-C. It is aimed at replacing in a mid-term basis the brave, although old, GTK-based frama-c-gui user interface.

Ivette has been designed with modern HTML5 technologies in order to explore new ways of interacting with the Frama-C platform. It is still experimental but ready to use for EVA-centric usage.

This blog post provides a gentle introduction to Ivette. Any feedback is very wellcomed!

Architecture

This new GUI is a Desktop application built upon Electron platform: it runs a Chromium engine with a NodeJS JavaScript runtime. Ivette itself is developped in ReactJS and TypeScript.

The Ivette application launches Frama-C in server mode through the Server plug-in to interact with the platform.