From 00302b93f399a1cef15ca55deb58af3037e44663 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 29 Nov 2016 16:33:36 +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 079cb01..7fa3446 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -26,7 +26,7 @@ gave an overview of the use of Infer at Facebook. Peter, Jules and the Imperial During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged. You can see Lorenzo’s [pull request here.](https://github.com/connectbot/connectbot/pull/448) -  +   -- GitLab