--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] value analysis of function contain shift operations seems unable to stop



Dear all,

I only want to get pdg of this function. While I using frama-c to analysis
the function in the attached file, it seems that it always in the value
analysis state and never to stop anymore.

The function in the attached file is not a large function. It only has
about 50 lines of code and does not call any other function.

This is the following command for analysis the attached file:
frama-c -lib-entry -main hash hash.c -val -pdg -fct-pdg hash

This function contains some shift operations. I don't know whether this is
the main reason.

Thanks.

Best regards,

-David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131013/b8921875/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hash.c
Type: text/x-csrc
Size: 196662 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131013/b8921875/attachment-0001.c>