--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Value-analysis range values



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>