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.ros...@gmail.com]
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.
_______________________________________________
Mailing list: https://launchpad.net/~kicad-developers
Post to     : kicad-developers@lists.launchpad.net
Unsubscribe : https://launchpad.net/~kicad-developers
More help   : https://help.launchpad.net/ListHelp

Reply via email to