PGCon2014 - 20140704

PGCon 2014
The PostgreSQL Conference

Speakers
Peter Eisentraut
Schedule
Day Talks - Day 1 - Thu May 22 - 2014-05-22
Room Morisset 221
Start time 10:00
Duration 00:45
Info
ID 703
Event type Lecture
Track Hacking
Language used for presentation English
Feedback

Static analysis, test coverage, and other 12+ letter words

A tour of ways to find and prevent bugs in PostgreSQL

It is hard to maintain complex C code free of bugs. Numerous tools have been developed to help, and we have thrown many of them at the PostgreSQL source code.

We will take a look at tools such as

  • Coverity
  • Clang scan-build
  • AddressSanitizer
  • Valgrind
  • Gcov

How do they work? How should their results be interpreted? What have they and have they not delivered for us in practice? How can we integrate them into our workflow going forward? How can we structure our code better to work with tools like these?