--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on April 2010 ---
Hi everyone, I have a small doubt regardind the value-analysis plugin of Frama-C. Is it possible to define bitwise operations in this plugin? If so, how can I send to the plugin the information of the range of that operations? I have this doubt because when I do bitwise operations the plugin doesn't define any kind of range or interval of values to the variables that i create. Best regards, Jo?o -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100422/af65c41b/attachment.htm>