Bug#907946: RFH: frama-c -- Platform dedicated to the analysis of source code written in C

[Mehdi Dogguy <mehdi@dogguy.org>]

Package: wnpp
Severity: normal

Hi all,

Frama-c is a great tool to perform static analysis on source code 
written in C
(... write your own analysis plugins and many other neat features). But 
it
requires time to maintain it properly. I do not have that time anymore 
and I
do not use Frama-c any longer.

Time permitting, I will continue to upload new releases and fix 
outstanding bugs
but certainly not in sync with frama-c's release cycle. I am willing to 
mentor
people familiar with OCaml and willing to maintain Frama-c in the 
future.

--
Mehdi