writing better code never been esier

Seamless and accurate detection of issues

It runs when you code and annotates your source code to make it even easier to navigate to the issues that where found. You see the results in the places of your current attention. No context switching while coding.

Interprocedural Analysis inside your IDE

Finds bugs across different functions while you code, which is more than a Linter type of plugins can do. Make it possible to run Infer inside your IDE. Not just one file but the whole project that is being analyzed.