We all have the habit of trying to guess the killer in a movie before the big reveal. That’s us making inferences.

Infer raised its last round a little more than 18 months ago, taking $10 million in funding led by Redpoint, with participation from Andreessen Horowitz, Social+Capital Partnership, ...

Facebook today announced that it is open sourcing Infer, a static program analyzer the company uses internally to find bugs in mobile code before it's shipped. Internally, the company uses this ...

A relation-spit made to last. The first challenge for the research team, led by Prof. Rebecca Saxe, John W Jarve (1978) professor of brain and cognitive sciences and associate dean of science at the ...

Facebook’s open-source static analysis tool, Infer, now ships with support for detecting race conditions in Java code via RacerD. RacerD identifies race conditions between methods in classes ...

Deep learning-based AI system helps infer and predict Indonesian throughflow by Zhang Nannan , Chinese Academy of Sciences Architecture diagram of deep-learning.

Infer is integrated with a number of build or compilation tools: Gradle, Maven, Buck, Xcodebuild, clang, make, javac. This page contains more details on the type of errors found by Infer.