--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on April 2014 ---
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