diff --git a/_posts/2019-10-01-internship.md b/_posts/2019-10-01-internship.md index 768a708b7506d42b201c8ae0623a32882460a17a..d0ef5d4ede973ae218094595a8cf99a854fc8e4c 100644 --- a/_posts/2019-10-01-internship.md +++ b/_posts/2019-10-01-internship.md @@ -2,12 +2,12 @@ title: Internship at Facebook, Infer Team --- -Julian Sutherland spent 3 months interning with the Facebook's infer team. +Julian Sutherland has just come back from a 3 months internship with the Facebook's Infer team. -He worked to develop a static analysis tool for [Infer]( https://fbinfer.com/), +While at Facebook, 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 +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,