Frama-C
FramaCovr: from Frama-C coverage to the gcovr format
H2Lab releases FramaCovr, a tool that converts Frama-C metrics coverage reports into the gcovr format.
H2Lab
H2Lab
2 min read
H2Lab présente ces travaux sur Camelot-OS à la plénière SecurEval
H2Lab présente ses travaux sur la protection anti-fautes du noyau Sentry, au sein de Camelot-OS, lors de la plénière du projet PEPR SecurEval.
Tags:
Events, PePR SecurEval, Camelot-OS, Sentry-Kernel, Security, Formal-Proof, CEA-LSL, Frama-C, BinSec, Defensive-Programming
H2Lab
H2Lab
2 min read