projects / platform / upstream / pulseaudio.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e368ee4) | patch
build: Add Coverity scan model
authorPeter Meerwald-Stadler <pmeerw@pmeerw.net>
Mon, 6 Mar 2017 07:15:29 +0000 (08:15 +0100)
committerPeter Meerwald-Stadler <pmeerw@pmeerw.net>
Mon, 6 Mar 2017 07:22:33 +0000 (08:22 +0100)
commit424e97a5fa56de8a1f7b87ff8fda66059cd1a0fc
treef5a282cb76895c58ea0430acc8f5a497a0804c25tree | snapshot
parente368ee4875bf21d1115a70ea4a548690a42672becommit | diff
build: Add Coverity scan model

the modeling file help to avoid false positives and increase scanning
accuracy by explaining code Coverity can't see (out of tree libraries);
the model file must be uploaded by an admin to:
https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings

the pa_assert_se() macro needs to be rewritten for Coverity so that
the assignment is not declared a side-effect

Signed-off-by: Peter Meerwald-Stadler <pmeerw@pmeerw.net>
coverity/model.c [new file with mode: 0644] blob
src/pulsecore/macro.h diff | blob | history
Domain: Multimedia / Audio FW;