Splint can run. I am going to work on a splintrc file in another branch.