PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 09:50 - 10:10 at Reykjavik - SOAP I Chair(s): Raphaël Monat

We describe and evaluate custom static analyses to support transitioning C/C++ code to CHERI hardware. CHERI is a novel architectural extension, implemented for RISC-V and AArch64, that uses capabilities to provide fine-grained memory protection and scalable software compartmentalisation. We provide custom checkers for the clang static analyzer to handle capability alignment, copying through memory, and manipulation as integers; as well as evaluating these on a sample of packages from the CheriBSD ports library. While the existing CHERI toolchain can recompile large code collections for the platform with only a few source changes, we demonstrate that static analysis can help to identify where and what those changes must be to avoid later runtime faults.

Tue 25 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
SOAP ISOAP at Reykjavik
Chair(s): Raphaël Monat Inria and University of Lille
09:00
50m
Keynote
Recent Advances in Floating-point (Static) Analyses
SOAP
Eva Darulova Uppsala University
09:50
20m
Talk
Static Analysis for CHERIRemote
SOAP
Irina Dudina University of Edinburgh, Ian Stark The University of Edinburgh