Hi Joel,
a quick answer:
> On 24 Jul 2019, at 18:23, Joel Sherrill <j...@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@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/
--------------------------------------------------------------------
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
