Dudina, I., & Stark, I. (2025). Static analysis to make the most of CHERI C/C++ for existing code: Improving memory safety at scale. International Journal on Software Tools for Technology Transfer, 27(2), 225. https://doi.org/10.1007/s10009-025-00781-6
Chicago Style (17th ed.) CitationDudina, Irina, and Ian Stark. "Static Analysis to Make the Most of CHERI C/C++ for Existing Code: Improving Memory Safety at Scale." International Journal on Software Tools for Technology Transfer 27, no. 2 (2025): 225. https://doi.org/10.1007/s10009-025-00781-6.
MLA (9th ed.) CitationDudina, Irina, and Ian Stark. "Static Analysis to Make the Most of CHERI C/C++ for Existing Code: Improving Memory Safety at Scale." International Journal on Software Tools for Technology Transfer, vol. 27, no. 2, 2025, p. 225, https://doi.org/10.1007/s10009-025-00781-6.