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
I’m interested in this. Do you still help
HuangKaiXiang
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
3 matches
Mail list logo