[stefanos82]

https://github.com/facebook/pyre-check

https://github.com/facebook/flow

https://github.com/facebook/infer

https://github.com/facebook/hhvm/tree/master/hphp/hack