Static Analysis for CHERI - SOAP 2024
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a 19-minute video presentation from the SOAP 2024 conference that delves into custom static analyses supporting the transition of C/C++ code to CHERI hardware. Learn about CHERI, a novel architectural extension for RISC-V and AArch64 that utilizes capabilities for fine-grained memory protection and scalable software compartmentalization. Discover how researchers Irina Dudina and Ian Stark from the University of Edinburgh developed custom checkers for the clang static analyzer to handle capability alignment, memory copying, and integer manipulation. Gain insights into their evaluation of these tools on a sample of packages from the CheriBSD ports library. Understand how static analysis can help identify necessary source code changes to avoid runtime faults when recompiling large code collections for the CHERI platform.
Syllabus
[SOAP24] Static Analysis for CHERI
Taught by
ACM SIGPLAN
Related Courses
Armv8-M Architecture FundamentalsArm Education via Coursera Memory Management in OS - Contiguous Memory Allocation
CodeHelp - by Babbar via YouTube Shreds - Fine-Grained Execution Units with Private Memory
IEEE via YouTube CHERI - A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
IEEE via YouTube XMP: Selective Memory Protection for Kernel and User Space
IEEE via YouTube