Looks like facebook acquired this code http://www.theguardian.com/technology/2013/jul/18/facebook-b...

https://github.com/facebook/infer/search?utf8=%E2%9C%93&q=mo...