--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on May 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Usage of the WP plugin with standard lib



Hello Pascal,

2011/5/24 Pascal Cuoq <pascal.cuoq at gmail.com>:
> I should point out that the substitution standard headers
> provided with Frama-C have received very little testing, as you
> have noticed already.

I am probably not the first one to fall in that trap. As others, I
assumed headers provided in libc/ directory of Frama-C could be used
without any further question.

I have no issue that is not the case, however a prominent
LIBC_VALIDITY.txt file or similar telling which headers are safe for
use with Frama-C (if any) would be useful.

Best regards,
david