Facebook: Your code sucks, and we don't even have to run it to tell

And if you want to know how we know, here's some code

Facebook has released the source code to Infer, its static analysis tool, under the open source BSD license."