From 4bc8863e6c667b41dce35c497e42d10d431e554c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 30 Nov 2016 10:24:27 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 395832b..ee7ff02 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -32,7 +32,7 @@ Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction, based on the [slides](/teaching/Bi-Abduction-slides-Sutherland.pdf) that he developed together with Daiva Naudžiūnienė whilst a Post-Doc at Imperial College London. - + Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted -- GitLab