Use splint to review code