--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on October 2013 ---
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>