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

Package:
wnpp
Source:
wnpp
Submitter:
Mehdi Dogguy
Date:
2025-11-29 16:41:48 UTC
Severity:
normal
#907946#5
Date:
2018-09-04 09:52:07 UTC
From:
To:
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.
#907946#10
Date:
2019-01-18 05:50:06 UTC
From:
To:
I’m interested in this. Do you still help

HuangKaiXiang
#907946#13
Date:
2020-08-09 15:09:42 UTC
From:
To:
I'm not familiar with OCaml, but I'm interested in Frama-C. The current RC bug
should be fixed in the new upstream release (#959599). If you could take a look
at my minor Merge Request [1] and import the new version into Salsa I'd be
glad to learn and look at particular issues.

[1] https://salsa.debian.org/ocaml-team/frama-c/-/merge_requests/1
#907946#18
Date:
2022-07-12 09:40:56 UTC
From:
To:
HI,

I'm not familiar with OCaml but I'm interested in help.



Regards,

Franz
#907946#23
Date:
2025-11-27 08:30:40 UTC
From:
To:
Hello,

I'm in the Frama-C development team and would like to become a
maintainer of this package, so thatt we can minimize the maintenance
burden on Debian maintainers (thanks a lot Mehdi for all the work you
did during several years!).

I'm still learning about Debian packaging, but should hopefully be able
to help in short notice.