首页> 中文期刊> 《软件学报 》 >处理指针相等关系不确定的指针逻辑

处理指针相等关系不确定的指针逻辑

             

摘要

为类C小语言PointerC设计的指针逻辑是Hoare逻辑的一种扩展,可用来对指针程序进行精确的指针分析,以支持指针相等关系确定的程序的安全性验证.通过增加相等关系不确定的指针类型访问路径集合,可扩展这种指针逻辑,使得扩展后的指针逻辑可以应用于有向图等指针相等关系不确定的抽象数据结构上的指针程序性质证明.

著录项

  • 来源
    《软件学报 》 |2010年第2期|334-343|共10页
  • 作者单位

    中国科学技术大学;

    计算机科学与技术学院;

    安徽;

    合肥;

    230026;

    中国科学技术大学;

    苏州研究院;

    软件安全实验室;

    江苏;

    苏州;

    215123;

    中国科学技术大学;

    计算机科学与技术学院;

    安徽;

    合肥;

    230026;

    中国科学技术大学;

    苏州研究院;

    软件安全实验室;

    江苏;

    苏州;

    215123;

    中国科学技术大学;

    计算机科学与技术学院;

    安徽;

    合肥;

    230026;

    中国科学技术大学;

    苏州研究院;

    软件安全实验室;

    江苏;

    苏州;

    215123;

    中国科学技术大学;

    计算机科学与技术学院;

    安徽;

    合肥;

    230026;

    中国科学技术大学;

    苏州研究院;

    软件安全实验室;

    江苏;

    苏州;

    215123;

    中国科学技术大学;

    软件学院;

    安徽;

    合肥;

    230026;

    中国科学技术大学;

    苏州研究院;

    软件安全实验室;

    江苏;

    苏州;

    215123;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 程序设计、软件工程 ;
  • 关键词

    软件安全 ; Hoare逻辑; 指针逻辑;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号