--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] value analysis



I am trying to get frama-c to perform a value analysis on n_start.  I have
tried using axioms to tell frama-c that n_start greater than or equal to
(start - 31) and less than or equal to start.  Perhaps I am not taking the
right approach can someone help?
uint32_t start, n_start;
n_start = 0;
start = Frama_C_interval (0, CHAR_MAX);
n_start = start - start%32;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120707/40809453/attachment.html>