something something "Can we get a static analysis tool?" "No we already have a static analysis tool at home"

Static Analysis Tool At Home: sbcl --load

Not nearly enough, thought with safety declarations cranked up to 11 (to 3, really) and enough type declarations sprinkled around the code, it becomes serviceable as a tool.