1. 2017. Infer bug types. http://fbinfer.com/docs/infer-bug-types.html. (2017). Online; accessed 11 May 2017. 2017. Infer bug types. http://fbinfer.com/docs/infer-bug-types.html. (2017). Online; accessed 11 May 2017.
2. 2017. Infer experimental checkers. http://fbinfer.com/docs/experimental-checkers.html. (2017). Online; accessed 11 May 2017. 2017. Infer experimental checkers. http://fbinfer.com/docs/experimental-checkers.html. (2017). Online; accessed 11 May 2017.
3. 2017. Infer Static Analyzer. http://fbinfer.com/. (2017). Online; accessed 11 May 2017. 2017. Infer Static Analyzer. http://fbinfer.com/. (2017). Online; accessed 11 May 2017.