--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on December 2009 ---
Hello, I try to use the builtin Frama_C_memcpy function and it seems very interesting to define side effects of the memcpy command. But in some cases, I have this kind of message: [value] user error: Invalid call to Frama_C_memcpy function({{ &TA ;}}, {{ &TB ;}}, [-2147483648..2147483647]) [value] user error: Degeneration occured: results are not correct for lines of code that can be reached from the degeneration point. [kernel] Plugin value aborted because of invalid user input(s). and I don't find documentation about Frama_C_memcpy in the value analysis manual. Can you tell us more ? thanks in advance, Stephane -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091203/d454a2d7/attachment.htm