steveej/msc-thesis
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions

thesis: topic refinement #34

Merged
steveej merged 7 commits from define-scope into static-code-analysis-kernel-task-memory-safety 2017-04-06 15:10:35 +00:00
Conversation 6 Commits 7 Files changed 5 +1 -1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 9a18b40dad - Show all commits

2
src/docs/thesis.tex
View file

@ -20,7 +20,7 @@
\usepackage[numberedsection,toc,numberline,nopostdot]{glossaries} \usepackage[numberedsection,toc,numberline,nopostdot]{glossaries}
\makenoidxglossaries \makenoidxglossaries
\newcommand{\topic}{Leveraging Static Code Analysis To Improve The Memory Safety For Kernel Tasks} \newcommand{\topic}{Ensuring Memory-Safety within Address Spaces Using Rust's Static Code Analysis}
\newcommand{\authorOne}{Stefan Junker} \newcommand{\authorOne}{Stefan Junker}
\newcommand{\authorOneInit}{SJ} \newcommand{\authorOneInit}{SJ}