On Mon, 2017-02-20 at 10:06 +0100, Stephan Bergmann wrote:
When I now search for 1401344 (or similar 1401342) in the Coverity
web UI, I get "No Issues found". You probably filtered them away in
some way, Caloán?
Presumably they are caught by the "systemheaders" filter of
/usr/include/* but they are presumably the same as e.g. 1401343
But why do they completely disappear from the database?
I dunno, I don't have any particular extra insight into coverity's
website internals
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.