--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] usage of Frama_C_memcpy



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