Architecture and Compilers Group
|
Ironclad C++ Unsafe languages, such as C and C++, suffer from security vulnerabilities due to unchecked memory accesses that can result in buffer overflow and use-after-free errors. Modern programming languages (such as Java) prevent memory safety errors, but using a different language is often not an option due to project constraints or the need for extensive code modifications. Furthermore, the performance cost of using a different programming language is relatively unknown. The Ironclad C++ project investigates the cost of providing memory safety for C and C++ without the use of a non-standard compiler or hardware. Publications Ironclad C++: A Library-Augmented Type-Safe Subset of C++.
Ironclad C++: A Library-Augmented Type-Safe Subset of C++.
Core Ironclad.
Software People Students Christian DeLozier, University of Pennsylvania
Faculty Milo Martin, University of Pennsylvania
|