[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