Coverity scan

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi,

On Wed, 2017-02-22 at 11:52 +0000, Philip Withnall wrote:
> Apologies if this has been discussed before (I donâ??t follow
> PulseAudio
> development), but why not stick this in the server-side Coverity
> modelling file? Does that not work?

Having just tried it, apparently it doesnâ??t work. I guess the
preprocessing is all done at cov-build time, and no information about
macros is sent up to the server for the modelling file to use.

> Failing that, thereâ??s the __COVERITY__ macro which could be used to
> change the definition of pa_assert_se() in upstream git:
> https://lost-contact.mit.edu/afs/cs.stanford.edu/pkg/prevent-4.3.1/i3
> 86
> _linux26/opt/prevent-linux-4.3.1/doc/prevent_admin.html#N40430

So thereâ??s still this to try.

Philip

(Note: Iâ??m not on the PulseAudio mailing list, so please include me in
CC in replies.)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <https://lists.freedesktop.org/archives/pulseaudio-discuss/attachments/20170222/cd3cbcf9/attachment.sig>


[Index of Archives]     [Linux Audio Users]     [AMD Graphics]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux