Static analysis run

From: tomas(at)nocrew(dot)org (=?iso-8859-1?q?Tomas_Sk=E4re?=)
To: pgsql-odbc(at)postgresql(dot)org
Subject: Static analysis run
Date: 2005-07-22 15:18:57
Message-ID: 80ackehnry.fsf@junk.nocrew.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-odbc

Hi,

We use psqlodbc in one of our projects at my company and we recently
bought a static source code analysis program (Klocwork) to run on our
own software. Since we use psqlodbc, I also ran it on that and it
found a few things. This was run on the CVS head branch from this
today (fri 22 july).

Attached is a diff with some fixes that I managed myself. Then I also
have some places that were not as easy for me to fix, but maybe some
of you that know the code better can do it. Here is a list with
things, some might not be correct, since this tool sometimes thinks
there's an error where there aren't. Row numbers might not be exact
because of some local changes, but they should be almost right.

convert.c in ResolveOneParam:2651 allocbuf is allocated, further down
(2785), CVT_APPEND_CHAR and CVT_APPEND_STR are used a lot, and these
macros may return from the function, giving a memory leak for
allocbuf.

environ.c in PGAPI_FreeEnv:89 env is freed even if EN_Destructor
returns false above, which means it's accessing freed memory.

info.c in PGAPI_Statistics:2623 If SC_MALLOC_return_with_error
returns, column_names allocated above is lost.

odbcapi30w.c in SQLGetDescFieldW:128 blen is not initialised before
sent to utf8_to_ucs2(). The same thing exists in SQLColAttributeW:287
and SQLGetDiagFieldW:345.

results.c in SC_pos_reload_needed:2189 rows_per_fetch is
uninitialised, if create_from_scratch is false.

These are the things that I saw just looking through the report pretty
quickly. There are a lot of reports about dereferenced NULL pointers,
but I haven't looked more closely at any of those. Most of them comes
from not checking what malloc and family returns. It also complains a
lot about strcpy and sprintf not checking boundaries. Those might not
at all be errors, but then again they could cause buffer overflows.

If you are interested, I can send the full report (200KB html, 295
entries including the ones in the patch and the above things), and if
someone has time, that person can go through the list.

Greetings,

Tomas

Browse pgsql-odbc by date

  From Date Subject
Next Message Dave Page 2005-07-22 15:42:48 Re: Static analysis run
Previous Message Dave Page 2005-07-22 13:49:09 Re: MaxLongVarcharSize=8190;