Open-sourcing Facebook Infer: Identify bugs before you ship - Facebook Engineering
Today, we’re open-sourcing Facebook Infer, a static program analyzer that Facebook uses to identify bugs before mobile code is shipped. Static analyzers are automated tools that spot bugs in source code by scanning programs without running them. They complement traditional dynamic testing: Where testing allows individual runs through a piece of software to be checked [...]Read More...
11 Jun 2015 ... Each month, hundreds of potential bugs identified by Facebook Infer are fixed by our developers before they are committed to our codebases and ...