--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Warnings for call to memcpy()... why?



On 19/07/2019 13:13, Virgile Prevosto wrote:
> Generally speaking, WP is quite bad at handling memcpy and other 
> functions of its ilk

OK. In that case, what is the preferred and correct method for 
performing assignment of a whole array in Frama-C?

  - Rod


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190719/048c2047/attachment.html>