In this home page
This is the Kayrebt toolset homepage. The Kayrebt toolset is a collection of software developped mainly by Laurent Georget during its PhD in the CIDRE team (Équipe-projet CIDRE/CentraleSupélec/Inria/CNRS/Université de Rennes 1).Kayrebt's aim is twofold: to ease the understanding of the Linux codebase (or any other large, written in C, codebase even though it was primarily developped for Linux) and to allow scientists in the field of compilation, formal methods, etc. to run analysis on a model of the code base obtained through automatical means. In our specific case, we use it to assess the correctness of information flow monitors built on top of the Linux Security Modules framework.