Clang 3.3 Analyzer Results

Поиск
Список
Период
Сортировка
От Jeffrey Walton
Тема Clang 3.3 Analyzer Results
Дата
Msg-id CAH8yC8=yg3UGgz3hQ-5YRvChKd-0xjd5D6=k81=BR-jk42pyPQ@mail.gmail.com
обсуждение исходный текст
Ответы Re: Clang 3.3 Analyzer Results  ("Tomas Vondra" <tv@fuzzy.cz>)
Re: Clang 3.3 Analyzer Results  (Peter Eisentraut <peter_e@gmx.net>)
Список pgsql-general
I've been tasked with a quick acceptance check of Postgres for an
upcoming project. It's a quick check, so its limited to Clang's
analyzer and sanitizers.

The analyzer is reporting some findings, and some of the findings look
legitimate.

For example, it looks like there's a double `free` occurring in
streamutil.c (around line 115). Here's a screen capture of it under
scan-view: http://postimg.org/image/3ph4hkyav/. From the capture, it
looks like `password` should be set to NULL after `free` because Clang
found a path to get back to the top of the loop (which will free
`password` again`).

There's some others of interest, too. For example, Divide by Zero and
Buffer Overflows. Here's the index.html from the scan-view report:
http://postimg.org/image/tn2ovjout/.

The scan-view tar ball is a 5.5 megabytes in size (its HTML based with
a lot of mouse over markup to help understand flows), and I'm not sure
the bug reporter will take it. Plus the developers may not want it
added to the bug reporter.

Would someone know the best way to get this to the right folks?

Thanks in advance. (And sorry reporting to pgsql-general - the
developer list states emails must go elsewhere first).

Jeff


В списке pgsql-general по дате отправления:

Предыдущее
От: BladeOfLight16
Дата:
Сообщение: Re: changing port numbers so pgbouncer can read geoserver and postgres
Следующее
От: "Tomas Vondra"
Дата:
Сообщение: Re: Clang 3.3 Analyzer Results