diff --git a/_posts/2019-10-01-internship.md b/_posts/2019-10-01-internship.md index d0ef5d4ede973ae218094595a8cf99a854fc8e4c..e9b1dbe7be993d4ae24635b52226214b1ea5ba7d 100644 --- a/_posts/2019-10-01-internship.md +++ b/_posts/2019-10-01-internship.md @@ -2,13 +2,13 @@ title: Internship at Facebook, Infer Team --- -Julian Sutherland has just come back from a 3 months internship with the Facebook's Infer team. +Julian Sutherland has just returned from a three months internship with the Facebook's Infer team. -While at Facebook, worked to develop a static analysis tool for [Infer]( https://fbinfer.com/), +While at Facebook, Julian 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/). \ No newline at end of file +C++, Objective-C, and C which was [open-sourced in 2015]( https://engineering.fb.com/developer-tools/open-sourcing-facebook-infer-identify-bugs-before-you-ship/). \ No newline at end of file