RTEMS Software Coding Standard

Andrew Butterfield Andrew.Butterfield at scss.tcd.ie
Thu Jul 25 09:37:39 UTC 2019

Hi Joel,

 a quick answer:

> On 24 Jul 2019, at 18:23, Joel Sherrill <joel at rtems.org> wrote:
> Random question: Does Frama-C offer anything here?

I've found a Frama-C plugin called "Taster" that does this - seems to be built around Airbus coding standards.
I'll do a bit more digging into this later today.

Regards, Andrew

Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero at TCD, Head of Foundations & Methods Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin

More information about the devel mailing list