< Retour au sommaire

Ivette: developing a modern GUI for Frama-C

Loïc Correnson le

Lieu: Online: https://rendez-vous.renater.fr/seminaire-ivette

We are developing Ivette which is a complete redesign of the graphical user interface of Frama-C based on modern technologies from the web. While it is similar to modern graphical interfaces for code analysis tools, out approach focuses on collaboration and on its application to other platforms, tools, and combinations of both.

The purpose of the Seminar is to describe this work and to expose its foundations. During this talk, I will present how we combined Electron, React, Typescript and OCaml to realize a modern desktop GUI for Frama-C.

A large part of this work will eventually be released into an independent, open-source platform called Dome which we believe to be very attractive for developing modern desktop GUIs for a large variety of tools or platforms, whatever the languages they are implemented in. Hence, the Seminar will not be Frama-C oriented.

Due to sanitary restrictions, the talk will take place online at: https://rendez-vous.renater.fr/seminaire-ivette (accessible from any web browser).

A tutorial session will be given on Dome and Ivette after the talk. If you are interested in, please send me an e-mail (loic.correnson at cea.fr).