From a2027120d4d0da2abb91ab43d661069dc7cd9c4f Mon Sep 17 00:00:00 2001 From: Stefan Junker Date: Wed, 5 Apr 2017 11:55:06 +0200 Subject: [PATCH] README: add topic header --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index fc51435..7ae1c92 100644 --- a/README.md +++ b/README.md @@ -1,3 +1 @@ -# M. Sc. Thesis Repository - -Checkout the branches to see what topics I started to work on. +# Using Static Code Analysis To Improve Kernel-Task Memory-Safety