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.butterfi...@scss.tcd.ie> > wrote: > > 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/ > -------------------------------------------------------------------- > -------------------------------------------------------------------- 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
