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

Michael Niedermayer michaelni at gmx.at
Sat Feb 21 23:52:21 CET 2015


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

[...]
-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

In a rich man's house there is no place to spit but his face.
-- Diogenes of Sinope
-------------- 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/20150221/5972f263/attachment.asc>


More information about the ffmpeg-devel mailing list