--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on October 2013 ---
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>