--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on April 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?



Hello,

Is support for running frama-c in the place of a C compiler being considered?
Obviously, this would be a lot of work and happen far off in the future but it
would allow Frama-C to check files that have different options defined and
integrate with build systems much easier.
It would be really nice if something like CBMC's goto-cc program was possible.

Thank you,
Steven Stewart-Gallus