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.