This world is still far behind our imagination. To make computers do more, we need more code. Not only we need developers to write code, we also need more developers to review code, verify code, and test it. Code will not do any good if it does not work properly. Good developers are in short supply as always. So, let computer verify code is a way to resolve this tension. It is the foundation to push code productivity to next level. Traditionally, it is not software company’s best interest to open source a tool that gives them a competitive edge. Facebook is different. It has enormous need for code, but their user base is their core. Thus, we are lucky to have Infer so we have a better start to build foundation upon. Mobile apps are created like never before. Instead of predicting what user needs, it is already a common practice to release a feature, collect telemetry data and iterate over it to provide value to user. Various Agile methods are being widely used to adapt to this fast changing industry where each iteration only last a few weeks up to a month. A product cannot be successful without proper tools. Infer is one of those tools that can be a very good complement covering from code review to unit testing.