Eraser is a project mainly written in C and C++, it's free.
Academic project in program analysis
Using: boost 1.46.1 java-6-sun-1.6.0.21 Ubuntu 10.10 g++ (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5 Boost.Jam 03.1.19 gmock-1.6.0
Build files are really dirty, config for yourself, no time to set this up properly.