Обсуждение: Happy new year from viva64

Поиск
Список
Период
Сортировка

Happy new year from viva64

От
Alexander Korotkov
Дата:
Hackers,

I believe many of us have seen report of checking PostgreSQL with PVS-Studio.
Me and Oleg Bartunov got license key for PVS-Studio. Thanks Viva64 for it.
I've just run PVS-Studio against PostgreSQL head and it gives me very many warnings. CSV-file with them is attached. I believe most of them are just noise. But there could be useful warning which aren't mentioned in the blog post.
Probably somebody have ideas about what to do this that list?

------
With best regards,
Alexander Korotkov.
Вложения

Re: Happy new year from viva64

От
Stefan Kaltenbrunner
Дата:
On 12/27/2013 01:27 PM, Alexander Korotkov wrote:
> Hackers,
> 
> I believe many of us have seen report of checking PostgreSQL with
> PVS-Studio.
> http://www.viva64.com/en/b/0227/
> Me and Oleg Bartunov got license key for PVS-Studio. Thanks Viva64 for it.
> I've just run PVS-Studio against PostgreSQL head and it gives me very
> many warnings. CSV-file with them is attached. I believe most of them
> are just noise. But there could be useful warning which aren't mentioned
> in the blog post.
> Probably somebody have ideas about what to do this that list?

hmm reading up on the generated warnings I wonder if that list was
generated with the default/recommended settings of the static analyzer -
for example there is a _ton_ of V122 - "Memsize type is used in the
struct/class." errors but the docs on http://www.viva64.com/en/d/0070/
state:

"By default it is disabled since it generates false warnings in more
than 99% of cases."

So maybe you need to apply some default settings to get a more sensible
report to start from?


Stefan