--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C web interface?



A web interface for the structural test generation plugin of frama-c 
already exists:
pathcrawler-online.com
but unfortunately it is restricted to this plugin.

Best regards
Nicky Williams


On 28/05/2013 15:22, Boris Hollas wrote:
> Hello,
>
> the site http://rise4fun.com/ allows to use a number of verification 
> tools without the need to install any software. I use this in class 
> because it is very convenient. As Frama-C isn't always easy to 
> install, a web interface would be very useful. Do you think that this 
> could be done?
>
> Best regards,
> Boris
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>