--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on June 2015 ---
Hello all, Is Taster plug-in open source or closed ? If open can you provide me link for downloading. If not then how am I able to develop such plug-in for both semantic and syntactic rule check ( like TASTER) ? Thanks in advance. Regards, Gaurav -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150603/1e4129d7/attachment.html>