[FFmpeg-devel] [PATCH] Add coverity model file
Michael Niedermayer
michaelni at gmx.at
Sun Feb 22 00:32:39 CET 2015
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>
More information about the ffmpeg-devel
mailing list