steveej/msc-thesis
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions
No description
53 commits 3 branches 4 tags 4.5 MiB
Find a file
Exact
Stefan Junker 38197c1ed8 format: remove overfullrule
2017-09-29 18:12:09 +02:00
build shell&build: update to minted 2.5 and adapt shell 2017-09-14 17:59:52 +02:00
src format: remove overfullrule 2017-09-29 18:12:09 +02:00
static static: add pandoc-preview.html 2017-04-05 14:30:17 +02:00
.gitignore WIP: describe stack handling with pictures 2017-09-19 10:38:00 +02:00
.vimrc shell/vim: extract vimrc 2017-09-19 10:36:31 +02:00
README.md README: keep track of the common thread 2017-09-11 22:53:38 +02:00
shell.nix shell/vim: extract vimrc 2017-09-19 10:36:31 +02:00

README.md

Using Static Code Analysis To Improve Kernel-Task Memory-Safety

Simple Motivational Golden Circle

  • Describes what this project is about very briefly
  • Helps to keep track of the goals

Who?

  • Primariliy: OS Software Developers
  • Secondary: End Users

Why?

  • The Linux/C/C++ software is full of vulnerabilities
  • A human solution is not reliable:
    • Developers make mistakes anyway!
  • C/C++ Compilers allow too many mistakes
  • Hardware-supported memory-management with stack/heap is hard to implement safely
  • Rust is a promising language

How?

  • Look for a technical solution for these issues by first analyzing the status quo:
    • Which popular systems are most vulnerable?
    • What exact software situations cause these vulnerabilities?
  • Look through CVE database

What?

  • Find out if Rust can help with memory safety within the OS