...@rtems.org
Subject: Re: RTEMS Software Coding Standard
If I may, remember that MISRA has the organizations go through the rules,
determine which ones they will adopt, and document deviations for the others.
If Sebastian feels strongly that one function exit is never going to happen,
and the rest of
On 30/07/2019 08:23, Mr. Andrei Chichak wrote:
Also, I believe that MISRA requires the use of C89, definitely the first
version did. I’d have to check my copy of the later version to see if it had
been revved to C99. You’d need a deviation for the version you plan to use.
MISRA C:2012 is base
use the "single
> return per function" MISRA rule. Coverity rules are public
> (https://www.synopsys.com/software-integrity/security-testing/static-analysis-sast.html,
> search for for MISRA or ISO 26262) so we can check them and pick up what we
> like.
>
> Sounds
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
> wrote:
>
> Hi Joel,
>
> a quick answer:
>
>> On 24 Jul 2019, at 18:23, Joel Sher
Hi Joel,
a quick answer:
> On 24 Jul 2019, at 18:23, Joel Sherrill 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.
R
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> msg="Suspicious usage of 'sizeof' with a numeric constant as
> parameter."/>
>
>
>
>
>
> msg=
From: Joel Sherrill [mailto:j...@rtems.org]
Sent: quarta-feira, 24 de julho de 2019 12:10
To: Manuel Coutinho
Cc: rtems-de...@rtems.org
Subject: Re: RTEMS Software Coding Standard
On Wed, Jul 24, 2019, 3:59 AM Man
On Wed, Jul 24, 2019, 3:59 AM Manuel Coutinho
wrote:
> Hello all,
>
> It has been some time since my last email. Hope you are doing well!
>
> Some of you already know that Edisoft together with Embedded Brains (and
> some other institutions) are in a joint project to pre-qualify RTEMS
> according
