kicad-developers team mailing list archive

[Mário Luzeiro <mrluzeiro@xxxxx>]

Hi Mark,

No problem, I didn't know how it works but now I understand it.

I was thinking that they have some documentation or rules /guides like the MISRA C/C++
http://www.misra-cpp.com
http://en.wikipedia.org/wiki/MISRA_C

They describe all the rules with examples and cases (the original documents are not free :/ )
http://archive.redlizards.com/docs/misrac++2008-datasheet.pdf

Maybe Coverity is following similar rules.. (they are all good practice rules anyway)

Regards,
Mario Luzeiro
________________________________________
From: Mark Roszko [mark.roszko@xxxxxxxxx]
Sent: 14 April 2015 03:49
To: Mário Luzeiro
Cc: Cirilo Bernardo; KiCad Developers
Subject: Re: [Kicad-developers] [PATCH] S3D Mesh Smart Pointer

>In that case where can we have a look in  the Coverity documentation?

They do not provide a list or documentation on what they may throw.
Perhaps in they do in commercial version but not in the open source
version.



>Is that something I can run / test  myself?

No, we are only allowed 2 submissions per week to coverity and its
dangerous to "mess" up the submissions because it can mark issues as
fixed forever in the "stream" and then I have to get the guys to fix
it.
It''s a normally commerical service
which they created a very dumbed down UI to allow open source projects
to use which has drawbacks like that :/ .

Also they have an approval process for projects so I don't
think you can register another "kicad" easily (you would have the same
2 submission limit regardless) but you can try. I certainly doubt
you'll gain anything unless you are trying to use coverity for your
own open source projects.