Thesis Topic Details

Topic ID:
3541
Title:
Designing and implementing a memory-safe C language and its runtime library
Supervisor:
Yulei Sui
Research Area:
Programming Languages, Compiler
Associated Staff
Assessor:
Jingling Xue
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Good understanding about programming languages and good software development skills with large systems
Description:
C is one of the most widely used programming languages of all time.
It is the foundation language of many system software components
such as OS and embedded applications. However, its unsafe features,
such as weak-typing, pointer arithmetic, void pointers
and non-safe casting, often lead to memory corruption errors,
including buffer overflow, memory leaks and dangling pointers.

This project aims to develop a new safe C language
(implemented by a compiler front-end and a runtime library in LLVM)
by eliminating undisciplined use of C features and
extending LLVM's native executable runtime environment to
guarantee memory safety.
Comments:
If you want to discuss the topic, send me an email and we can make an appointment.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.