On 13 January 2015 at 19:10, Felipe Sateler <fsateler at debian.org> wrote: > On Tue, Jan 13, 2015 at 8:08 AM, Peter Meerwald <pmeerw at pmeerw.net> wrote: >> >>> User maksqwe on Russian website habrahabr checked pulseuadio sources >>> with PVS Studio static analyzer and found a few issues. I additionaly >>> checked it with Cppcheck analyzer. Fixes follows. >>> >>> There are more issues, I try to make fixes for them too shortly. >> >> applied, thanks > > Coverity might be a good idea as well. Maybe a new run should be done > on that as well? The last one is from march 2014. > > Note that coverity runs can be semi-automated via travis-ci, so it > becomes easier to run (just push to a coverity_scan branch). > > I could help in setting up travis and coverity for pa. I tried to get Travis up, but hit a problem with their VMs having a very old Ubuntu version (couldn't get a recent enough json-c). In case you know how to work around that, what I'd written is up at: https://github.com/ford-prefect/pulseaudio/commit/1094ada42e434b54c8d137092b86c6a1f1135f86 -- Arun
