As a PostgreSQL user, I'd like to bring to the attention of the community and the developers that Andrey Karpov from PVS-Studio published an article listing several potential bugs in PostgreSQL. These bugs were revealed by code analysis with the PVS-Studio tool. He is also offering a license to the team.
I think the report is worth checking: Pre New Year Check of PostgreSQL http://www.viva64.com/en/b/0227/
