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

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...

Full description

Saved in:
Bibliographic Details
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:
Online Access:https://hdl.handle.net/10356/164130
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English