Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
116 commits behind the upstream repository.
2019-10-01-internship.md 787 B 
title: Internship at Facebook, Infer Team

Julian Sutherland has just returned from a three months internship with the Facebook's Infer team.

While at Facebook, Julian worked to develop a static analysis tool for Infer, 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 for Java, C++, Objective-C, and C which was open-sourced in 2015.