Source code transformation for security and performance

Project: Research

Project Details

Description

This project aims to reduce development time for modern security-conscious C++ engineers, through the release of a new open-source LLVM-based compiler tool. This novel tool/program will enable the automatic parsing and transformation of program source code, into a form capable of execution at compile-time. Such changes can often improve a program's runtime performance. We further recognise that the transformed code will typically correspond to a more secure program, as undefined behaviour is prohibited during compile-time execution. Crucially, the project will also validate the tool through its application to the source code of an existing runtime software library (MotörSYCL). A version of MotörSYCL, as transformed by the compiler tool, will also be released, and constitute a state-of-the-art C++20 compile-time library. The tool, and transformed MotörSYCL, will both rely on another recent software library project authored by the project team: C'est. The collaboration will target a consequent Horizon Europe collaborative bid.
StatusFinished
Effective start/end date31/01/2231/01/24

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.