AndroidとiOSのバグチェッカー（Facebookが作った？）ってこと？

このinferって？

http://fbinfer.com/

Facebookが作ったというより、inferというのをfacebookが買収したと聞いた気もする？定かではない？
上記サイトからGithubにいける

facebook/infer
https://github.com/facebook/infer

んだけど、そこには

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.

とある。Javaなら、Android以外でも他でもいけるのかな？
よくわかってない・・・