Home › Categories › Technology› Refactoring The FreeBSD Kernel With Checked C

Refactoring The FreeBSD Kernel With Checked C.pdf

freebsd_checkedc.pdf
Preview of Refactoring the FreeBSD Kernel with Checked C
🔗 Source: cs.rochester.edu
📊 Size: 183 KB
📄 Pages: 8 pages
⬇️ Downloads: 114

Summary

Modern OS kernels written in C are vulnerable to memory safety errors like buffer overflows and under-reads, leading to severe security issues.
- Solution: Refactor parts of the FreeBSD kernel using Checked C, a Microsoft-developed extension to C that prevents NULL pointer dereferences and spatial memory safety errors through static analysis and runtime checks.
- Objective: Evaluate the effort and performance impact of using Checked C on OS kernel code.
- Methodology:
- Refactor system calls, network packet (mbuf) utility routines, and parts of IP and UDP processing code.
- Use Checked C's new pointer types (ptr, arrayptr, intarray_ptr) and checked regions to ensure spatial memory safety.
- Measure refactoring effort and performance overhead.
- Results:
- Refactoring took approximately three months for two undergraduate students.
- No performance or code size overheads were incurred.
- Related Work: Previous safe-C works, memory safety transformations, and Control Flow Integrity (CFI) approaches.
- Future Work: Explore temporal memory safety protections and other Checked C features.

Download File

Description

We refactored parts of the FreeBSD kernel using Checked C to prevent NULL pointer dereferences and spatial memory safety errors. We refactored system calls and UDP/IP networking code, and evaluated the refactoring effort and kernel performance.

Technical Information

  • File Format: PDF
  • File Size: 183 KB
  • Pages: 8
  • Language: EN
  • Total Downloads: 114
  • Last Updated: 2 hours ago

Document Overview

This PDF document about Refactoring the FreeBSD Kernel with Checked C provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into Refactoring the FreeBSD Kernel with Checked C.

Related Topics

If you're interested in Refactoring the FreeBSD Kernel with Checked C, you might also want to explore:

Refactoring guideRefactoring tutorialFreeBSD guideFreeBSD tutorialKernel guideKernel tutorialwith guidewith tutorialChecked guideChecked tutorial

Related Categories

Business & Finance
41204 documents
Education & Learning
22711 documents
Health & Wellness
8956 documents

Related Documents

Preview of Refactoring Tests
PDF file

Refactoring Tests

1.68 MBBenEN46 pages
Refactoring in a test-driven world is impacted by mocking, BDD, and interaction-based testing, which can inhibit refactoring due to coupling between...
Download
Preview of FDT for FreeBSD
PDF file

FDT for FreeBSD

295 KBEN33 pages
Flattened Device Trees (FDT) are used in embedded FreeBSD to describe non-enumerable resources in a portable way, addressing the problem of varying...
Download
Preview of Sloth Kernel
PDF file

Sloth Kernel

84 KBEN1 page
Sloth is a real-time kernel that eliminates the software scheduler, instead using hardware to schedule and dispatch tasks as interrupt handlers,...
Download
Preview of Kernel Clustering
PDF file

Kernel Clustering

4.12 MBEN47 pages
Kernel spectral clustering is applied to complex networks data, linking synchronization and spectral clustering through the Kuramoto model and...
Download
Preview of Deep Kernel for GPs
PDF file

Deep Kernel for GPs

3.04 MBEN10 pages
A novel Gaussian process kernel is proposed, leveraging a deep neural network structure while maintaining interpretability. It addresses issues of...
Download

Download Refactoring the FreeBSD Kernel with Checked C eBooks for free and learn more about Refactoring the FreeBSD Kernel with Checked C. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to Refactoring the FreeBSD Kernel with Checked C, try searching with similar keywords: Refactoring the FreeBSD Kernel with Checked C, Absolute FreeBSD The Complete Guide To FreeBSD, Freebsd Ports Collection Index The Freebsd Project, Freebsd Kernel Modules, Introduction To Linux Kernel Robert Love Linux Kernel Development Pdf, Introduction To Linux Kernel Robert Love Linux Kernel Development Pdf, A Computer Checked Proof Of The Four Color Theorem, Aa Checked Baggage Fee

You can download PDF versions of the user's guide, manuals and ebooks about Refactoring the FreeBSD Kernel with Checked C, you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about Refactoring the FreeBSD Kernel with Checked C for free, but please respect copyrighted ebooks.