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

2022-07-12 Thread Niederheitmann Franz RDL UDAS62
On Tue, 04 Sep 2018 11:52:07 +0200 Mehdi Dogguy wrote: > 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 p

Bug#907946:

2019-01-17 Thread HuangKaiXiang
I’m interested in this. Do you still help HuangKaiXiang

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

2018-09-04 Thread Mehdi Dogguy
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