diff --git a/_posts/posts/2019-10-01-internship.md b/_posts/posts/2019-10-01-internship.md new file mode 100644 index 0000000000000000000000000000000000000000..768a708b7506d42b201c8ae0623a32882460a17a --- /dev/null +++ b/_posts/posts/2019-10-01-internship.md @@ -0,0 +1,14 @@ +--- +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]( 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