• 其他栏目

    陈哲

    • 副教授 硕士生导师
    • 招生学科专业:
      计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    • 性别:男
    • 毕业院校:法国国立应用科学院
    • 学位:工学博士学位
    • 所在单位:计算机科学与技术学院/人工智能学院/软件学院
    • 办公地点:将军大道29号
    • 电子邮箱:

    访问量:

    开通时间:..

    最后更新时间:..

    Beyond spatial and temporal memory safety

    点击次数:

    所属单位:计算机科学与技术学院/人工智能学院/软件学院

    发表刊物:Proc Int Conf Software Eng

    摘要:The unsafe features of C often lead to memory errors that can result in vulnerabilities. Dynamic analysis tools are widely used to detect such errors at runtime and enforce memory safety. It is widely believed that memory safety exactly consists of spatial and temporal safety thus all existing analysis tools aim at detecting spatial or temporal errors. In this paper, we introduce another class of memory safety, namely segment safety, which has been neglected in previous work. Indeed, state-of-The-Art analysis tools cannot detect segment errors. Thus we propose and implement a new approach to detect segment errors at runtime. © 2018 Authors.

    ISSN号:0270-5257

    是否译文:

    发表时间:2018-05-27

    合写作者:陶传奇,张智轶,杨志斌

    通讯作者:陈哲