Code Translation for Software Security - Brent Pappas

Year
2024
Organisation
University of Central Florida
Tags
software safety
memory safety
cybersecurity
C programming
C++
Rust
DARPA
TRACTOR program
automatic translation
programming languages
software engineering
compiler research
vulnerability prevention
secure software
code transformation
Florida
Summary

Modern software suffers from widespread memory-safety bugs, largely due to the C programming language. DARPA’s TRACTOR project aims to convert C into the safer Rust language, but real systems mix C and C++. This research develops methods to translate C++ into C, enabling full conversion to Rust and ultimately making software safer.