2019-10-01-internship.md

title: Internship at Facebook, Infer Team

Julian Sutherland spent 3 months interning with the Facebook's infer team.

He worked to develop a static analysis tool for Infer, quandryBO, intended to statically find unchecked array accesses tainted by user-provided information. He also worked on extending the capabilities of the current infer buffer overflow analysis, InferBO and dealing with function calls within Infer's intermediate representation, SIL.

Infer is a static analysis tool for Java, C++, Objective-C, and C which has been open-sourced in 2015.