diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 68a95e3098ea1b7fb65ee0b9b0efad50e20a7ca5..6be9f07364bc48c75504a6449af18cc2c69146fd 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) -  +  