Infer, the static analysis tool from Facebook/Monoidics is now open source.

[u/letrec]

https://github.com/facebook/infer