[pulseaudio-discuss] Enabling automatic coverity scans for pulseaudio via travis

Peter Meerwald pmeerw at pmeerw.net
Fri Sep 11 00:14:23 PDT 2015


> > somehow the last scan completed now, just FYI
> 
> And it is riddled with false positives about side effects in assert.
> Is it possible to teach coverity that pa_assert_se always executes the
> side effects?

under https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings 
you can upload a modeling file, currently

void fail(void) {
    __coverity_panic__();
}

void pa_assert_se(int x) {
    if (!x)
        __coverity_panic__();
}

it seems to ignore the hint for pa_assert_se() (or it is wrong)

regards, p.

-- 

Peter Meerwald
+43-664-2444418 (mobile)


More information about the pulseaudio-discuss mailing list