From c4369034768a8c4738fe78622784b06885a416d2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 12 Mar 2020 11:56:53 +0000
Subject: [PATCH] Add new file

---
 _posts/posts/2019-10-01-internship.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 _posts/posts/2019-10-01-internship.md

diff --git a/_posts/posts/2019-10-01-internship.md b/_posts/posts/2019-10-01-internship.md
new file mode 100644
index 0000000..768a708
--- /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
-- 
GitLab