I'd be interested to check PVS out, we were also hoping to hook up ReSharpers CLI tools, which might have some overlap of PVS