Facebook Infer: A static analyzer for catching bugs before you ship

Featuring Martino Luca

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 for correctness, static analysis allows multiple and sometimes...