Julian Sutherland spent 3 months interning with the Facebook's infer team.
He worked to develop a static analysis tool for [Infer](https://fbinfer.com/),
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](https://github.com/facebook/infer) for Java,
C++, Objective-C, and C which has been [open-sourced in 2015](https://engineering.fb.com/developer-tools/open-sourcing-facebook-infer-identify-bugs-before-you-ship/).
