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

[Frama-c-discuss] Information hiding: how to handle module's private static variables in Frama-C?



Hello,

2013/11/27 BAUDIN Patrick <Patrick.Baudin at cea.fr>:
> The ACSL importer plug-in (used to import external ACSL file) takes care of
> that situation.
> Unfortunately, this plugin isn't free.

Even if this plug-in is not available, how one would use this plug-in
to solve this issue?

> Without it, your code have to be transformed.

This is what we have done. I just wanted to be sure that we hadn't
missed another Frama-C feature or trick.

Best regards,
david