Commit cc6ea042 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2019-10-01-internship.md

parent c458f8df
Pipeline #139355 passed with stages
in 5 minutes and 42 seconds
...@@ -2,13 +2,13 @@ ...@@ -2,13 +2,13 @@
title: Internship at Facebook, Infer Team 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 quandryBO, intended to statically find unchecked array accesses tainted by user-provided
information. He also worked on extending the capabilities of the current infer 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. intermediate representation, SIL.
[Infer is a static analysis tool]( https://github.com/facebook/infer) for Java, [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/). 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 \ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment