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

[Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin



Dear all,

Value analysis plugin seems not to support "volatile" variables. While i
use value analysis plugin to analysis a function has volatile variables,
many dead code is reported.

>From the following page, Boris Yakobowski mentioned that commercial
licences of frama-c has "Volatile" plugin that can "transforms accesses to
volatile variables into calls to user-supplied function".

http://stackoverflow.com/questions/11001011/is-it-possible-to-inject-values-in-the-frama-c-value-analyzer

So ...
Is there any possibility that I would have a trail version of the
"Volatile" plugin ?

Thank you very much.

Best regards,

Yours sincerely,
-David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131011/da845b77/attachment.html>