[FFmpeg-devel] [PATCH] Add coverity model file

[Michael Niedermayer]

On Sat, Feb 21, 2015 at 11:52:21PM +0100, Michael Niedermayer wrote:
> On Thu, Feb 19, 2015 at 03:41:35PM +0000, Timothy Gu wrote:
> > On Thu Feb 19 2015 at 4:43:30 AM Michael Niedermayer <michaelni at gmx.at>
> > wrote:
> > >
> > >  tools/model.c |   42 ++++++++++++++++++++++++++++++++++++++++++
> > >  1 file changed, 42 insertions(+)
> > >  create mode 100644 tools/model.c
> > >
> > 
> > tools/coverity.c sounds better to me.
> 
> ok, made that change and will push it to git in a moment
> i will then upload to coverity
> ill revert if it leads to some unexpected missbehavior
> 
> everyone, feel free to chnage and adapt the file
> also note, the file in git has no effect on coverity, only the
> uploaded file has, so better ping me if you make changes to the file
> in case i miss them and forget uploading

This modeling file resulted in 26 new defects being found


[...]

-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Dictatorship naturally arises out of democracy, and the most aggravated
form of tyranny and slavery out of the most extreme liberty. -- Plato
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: Digital signature
URL: <https://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20150222/1f9470e9/attachment.asc>