--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on December 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Parsing



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>