[FFmpeg-devel] coverity testing of FFmpeg
philipl at overt.org
Sun Nov 27 21:00:21 EET 2016
-----BEGIN PGP SIGNED MESSAGE-----
On Sat, 26 Nov 2016 23:55:17 +0100
Michael Niedermayer <michael at niedermayer.cc> wrote:
> Hi all
> The machine on which the coverity stuff is is old, both hw and OS.
> the OS will no longer get security updates in a few months and the hw
> does not always boot and its switched off most of the time.
> and it has no other use anymore than running coverity. Ive tried
> to find someone a while ago to take coverity testing over and i
> thought timothy would maybe do it but he seems to not have had any
> time to look into it ...
> and de facto ive not run it regularly in the recent months.
> So this is kinda a louder announcement that if you care about coverity
> testing, you need to do something ...
> PS: work would involve installing every optional dependancy of FFmpeg
> (and keep them updated as needed)
> and regularly either manually or automatically git pull, build with
> the coverity tools and upload Its not a huge amount of work but it is
I think we could do this using travis-ci.
travis can be directly connected to the github mirror and then we set
up a coverity job as covered in this doc.
It wouldn't even need to be configured to build - just run the coverity
scan. I'd be happy to investigate this, but I'd need admin permissions
on github to configure travis integration.
-----BEGIN PGP SIGNATURE-----
-----END PGP SIGNATURE-----
More information about the ffmpeg-devel