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 -2
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 927c807103 - Show all commits

3
src/docs/parts/context/context.tex
View file

@ -1,6 +1,6 @@
% // vim: set ft=tex:
\chapter{Introduction}
This thesis studies the feasibility of using static code analysis, as found in the \gls{rustlang}'s \gls{compiler}, to ensure memory safety within an \gls{OS} kernel.
This thesis studies the feasibility of using static code analysis, as found in the \gls{rustlang} \gls{compiler}, to ensure memory safety within an \gls{OS} kernel.
% Purpose of the Study
%The Purpose of the Study is a statement contained within one or two paragraphs that identifies the research design, such as qualitative, quantitative, mixed methods, ethnographic, or another design. The research variables, if a quantitative study, are identified, for instance, independent, dependent, comparisons, relationships, or other variables. The population that will be used is identified, whether it will be randomly or purposively chosen, and the location of the study is summarized. Most of these factors will be discussed in detail in Chapter 3.
@ -16,7 +16,6 @@ The main reason for this is that the due to its nature, the \gls{OS} is the only
The current de-facto standard language for \gls{OS} development appears to be the C, a very popular \gls{OS} example is \gls{Linux}.
Recent years have shown how prone it is to security vulnerabilities, which is covered by exemplary details within this study. (TODO reference)
% Primary Research Questions
% The primary research question is the basis for data collection and arises from the Purpose of the Study. There may be one, or there may be several. When the research is finished, the contribution to the knowledge will be the answer to these questions. Do not confuse the primary research questions with interview questions in a qualitative study, or survey questions in a quantitative study. The research questions in a qualitative study are followed by both a null and an alternate hypothesis.