--- layout: fc_discuss_archives title: Message 16 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 16:53, Virgile Prevosto wrote:
> I'd say that encapsulating memcpy into a dedicated well-typed function 
> with an appropriate contract

Yeah... I was probably heading in that direction... thanks for the 
confirmation.

I have obviously been spoilt by SPARK where you just write "D := S;" and 
it just works... :-)

  - Rod


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