Static analysis

The last of the coverty issues is gone, I think.