Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Value-analysis range values
  • From: j37140 at (Joao Antunes)
  • Date: Thu, 22 Apr 2010 01:06:14 +0100

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: <>