Klocwork Analysis