谢素斌
- 作品数：4 被引量：2H指数：1
- 供职机构：中国人民大学信息学院更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于大型软件的安全验证规则挖掘和缺陷检测研究
- 对软件系统源码进行缺陷静态检测所面临的最大的现实困难之一是缺乏相应的缺陷检测规则。尽管对软件代码进行人工地分析和理解能够获得反映程序安全本质的深层次的缺陷检测规则，但对于大型软件系统而言，使用这种低效率的规则提取方式显然...
- 谢素斌
- 关键词：软件系统
- 基于大型软件的安全验证规制挖掘和缺陷检测研究
- 谢素斌
- 路径敏感的源码关联变量模式挖掘及缺陷检测被引量：1
- 2012年
- 大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动检测系统中因不一致访问关联变量引发的源码缺陷.通过结合程序源码的逻辑信息及路径敏感信息,挖掘出其中的源码关联变量,避免路径非敏感方法带来的错误.对路径敏感方法挖掘源码关联变量中面临的主要挑战:路径权重不均、路径爆炸问题,提出较高效的解决办法.在Linux源码系统中验证方法的正确性和高效性,实验结果表明该方法可高效、准确提取模式.
- 于秀梅梁彬陈红谢素斌王眉林
- 关键词：数据挖掘
- 代码挖掘中的数据处理方法综述被引量：1
- 2010年
- 程序代码中蕴含着软件开发人员最原始的开发理念、设计思想和编程习惯等信息,将数据挖掘用于分析处理这种编码痕迹以便提取出潜藏着的有用知识是一个有着广阔前景的新的研究领域.由于当前的挖掘程序尚无法直接处理这种文本结构的程序代码,因而研究者需要将软件代码抽象成一种更有效的中间表达形式来作为挖掘对象.这种中间表达形式不仅界定了挖掘所使用的算法,更重要的是,它决定了所能挖掘的知识内容.对代码挖掘的一般过程进行了介绍并着重分析了代码挖掘的各种中间表达形式的特点.在此基础上,指出了当前代码挖掘存在的问题及今后的发展方向.
- 谢素斌梁彬石文昌梁朝晖
- 关键词：数据挖掘知识模式预处理漏洞检测
