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 of function contain shift operations seems unable to stop

  • Subject: [Frama-c-discuss] value analysis of function contain shift operations seems unable to stop
  • From: abiao.yang at gmail.com (David Yang)
  • Date: Sun, 13 Oct 2013 01:37:03 +0100
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>