SafeOSL: ensuring memory safety of C via ownership-based intermediate language

• Main Authors: Yin, Xiaohua, Huang, Zhiqiu, Kan, Shuanglong, Shen, Guohua, Chen, Zhe, Liu, Yang, Wang, Fei
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2023
• Subjects: Engineering::Computer science and engineering; Memory Errors; Memory Safety
• Online Access: https://hdl.handle.net/10356/164130
• Institution: Nanyang Technological University

The unsafe features of C make it a big challenge to ensure memory safety of C programs, and often lead to memory errors that can result in vulnerabilities. Various formal verification techniques for ensuring memory safety of C have been proposed. However, most of them either have a high overhead, su...