Infer Static Analyser Supporting Social Media

Memory violations are a major cause of security breaches and operational flaws in software systems. Detecting memory violations was traditionally a core challenge in program verification. Researchers in Queen Mary's Centre for Fundamental Computer Science have produced breakthrough algorithms for memory violations, enabling highly-scalable automatic verification.

This resulted in the program analysis tool INFER being developed initially by the Queen Mary spin-off 'Monoidics', and since 2013, when Monoidics was acquired, developed at Facebook.

Since 2014 INFER has been broadly applied at Facebook and elsewhere.

Currently INFER analyses every change of infrastructure and mobile code at Facebook. Every month thousands of bugs are fixed before Facebook’s apps (i.e. Facebook, Messenger, Instagram, WhatsApp, Oculus) are shipped to users. INFER is open source and used by companies ((including Amazon, Spotify, Uber, Mozilla) and developers around the world. 

Users of INFER tools developed by computer scientists at Queen Mary
Commercial users of INFER tools developed by computer scientists at Queen Mary