您当前的位置:
首页 >
文章列表页 >
C程序隐式规则自动提取与反例检测
学术论文 | 更新时间:2025-07-16
    • C程序隐式规则自动提取与反例检测

    • Automatically Extracting Implicit Programming Rules and Detecting Violations from C Programs

    • 电子学报   2013年41卷第2期 页码:248-254
    • DOI:10.3969/j.issn.0372-2112.2013.02.007    

      中图分类号: TP311
    • 纸质出版:2013

    移动端阅览

  • 禹振, 苏小红, 王甜甜, 等. C程序隐式规则自动提取与反例检测[J]. 电子学报, 2013,41(2):248-254. DOI: 10.3969/j.issn.0372-2112.2013.02.007.

    YU Zhen, SU Xiao-hong, WANG Tian-tian, et al. Automatically Extracting Implicit Programming Rules and Detecting Violations from C Programs[J]. Acta Electronica Sinica, 2013, 41(2): 248-254. DOI: 10.3969/j.issn.0372-2112.2013.02.007.

  •  
  •  
icon
试读结束,您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束,您可以通过登录账户,到个人中心,购买VIP会员阅读全文。
已是VIP会员?
去登录 >

0

浏览量

3

下载量

0

CSCD

文章被引用时,请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

条件上下文敏感的安卓恶意虚拟化应用检测方法
基于抽象解释的变量值范围分析及应用
缓冲区溢出漏洞精确检测方法研究
基于动态协同双向映射的相似执行路径生成方法
基于区域内存模型的空指针引用缺陷检测

相关作者

孟昭逸
黄文超
张威楠
熊焰
杨朝红
肖庆
宫云战
王雅文

相关机构

安徽大学计算机科学与技术学院
中国科学技术大学计算机科学与技术学院
装甲兵工程学院信息工程系
北京邮电大学网络与交换技术国家重点实验室
装甲兵工程学院信息工程系
0