On Tue, Jan 13, 2015 at 11:09 AM, Arun Raghavan <arun at accosted.net> wrote: > 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 > OK, will look into this, I'll let you know how it goes. -- Saludos, Felipe Sateler