Сhecking Firebird source code errors using PVS-Studio
News via via linkedin firebird group
Here you can find result of checking Firebird with PVS-Studio (in Russian).
And now the article is in English too
PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications
Update: here is the Firebird-Devel discussion on the topic
Also the article is published in English