--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on February 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] First time with Frama-C



Thanks a lot David and Virgile for patiently answering someone from an
electronics background. I learnt about the pre-processor of GCC today. So
looks like if I use arm-none-eabi-gcc to produce the preprocessed output
and then run it through frama-C, it processes it without much trouble. As
of now I only checked the Value Analysis plug-in. I'll check the other ones
too.
Cheers!



On Fri, Feb 3, 2017 at 1:35 PM, Virgile Prevosto <virgile.prevosto at m4x.org>
wrote:

> just need to add options -C (stop after pre-processing) and -E (keep




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