Just to be clear, [as far as I understand] it is a template library that does static analysis using the compiler. Kinda the best of both worlds...