--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on December 2011 ---
On Wed, 2011-12-07 at 20:30 +0100, Markus Lindenmann wrote: > That would be possible, but we try to put it into Eclipse CDT and we are > therefore > (more or less) bound to Java. We consider using the Eclipse CDT C-Parser and > extend it for our needs. However, we are not yet sure if this is possible at The problem with C is that it lacks precise semantics and has a lot of dark and ugly corners. To translate C to BoogiePL you have to resolve all of these issue, which has already been done in Cil and Frama-C. I doubt the Eclipse C-Parser will help you here. -- Best regards, Boris PS: Sorry that my previous post in German went here. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111207/4ead1f3d/attachment.htm>