Facebook acquired Monoidics in 2013; they were the startup that created Infer[0]. [0] https://en.wikipedia.org/wiki/Infer_Static_Analyzer https://en.wikipedia.

Facebook acquired Monoidics in 2013; they were the startup that created Infer[0]. [0] https://en.wikipedia.org/wiki/Infer_Static_Analyzer https://en.wikipedia.org/wiki/Infer_Static_Analyzer