RTEMS Software Coding Standard

[Andrew Butterfield]

Hi Joel,
  unfortunately, Taster is closed-source, so that won't help.

I'll see what output I can get out of Frama-C and its open-source plugins.

Regards, Andrew

> On 25 Jul 2019, at 10:37, Andrew Butterfield <andrew.butterfield at scss.tcd.ie> wrote:
> 
> 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
>                         http://www.scss.tcd.ie/Andrew.Butterfield/
> --------------------------------------------------------------------
> 

--------------------------------------------------------------------
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
                         http://www.scss.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------