Worked on enhancing stack analysis for CHERI architectures within the rust-lang/gcc repository, focusing on safer and more accurate stack evaluation. Developed and ported the System.Stack_Usage unit to CHERI targets by updating address calculation methods in Ada to preserve capability integrity. Introduced a new method for retrieving the stack base using the CSP register’s upper bound, improving reliability of stack filling and analysis on CHERI systems. Emphasized portability and embedded systems considerations, implementing safeguards to prevent capability tag and bounds faults. The work demonstrated depth in compiler development and system programming, addressing architecture-specific challenges for secure stack management.