您当前的位置：
首页 >
文章列表页 >
C程序隐式规则自动提取与反例检测
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
移动端阅览
HTML全文
参考文献
出版信息
数据统计
40
浏览量
34
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种基于IR模拟执行的密码学API误用检测方法
条件上下文敏感的安卓恶意虚拟化应用检测方法
基于抽象解释的变量值范围分析及应用
缓冲区溢出漏洞精确检测方法研究
基于RSMA的通信导航一体化信号波形设计
相关作者
彭国军
何亚非
占力戈
聂宇
傅建明
孟昭逸
黄文超
张威楠
相关机构
空天信息安全与可信计算教育部重点实验室
武汉大学国家网络安全学院
安徽大学计算机科学与技术学院
中国科学技术大学计算机科学与技术学院
空天信息安全与可信计算教育部重点实验室
