杨广
- 作品数：4 被引量：0H指数：0
- 供职机构：大连理工大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于控制流切片的代码安全缺陷检测方法
- 2012年
- 为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据流异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据流的不足,增强代码安全隐患的挖掘能力。利用控制流图化简,排除部分不可达控制流信息,提高跟踪效率。通过对3个Linux内核源文件的检测,验证了该方法不仅可以检测出违反安全子集的代码安全隐患,同时对代码数据流异常检测提供支持,准确率达94.9%。
- 周宽久杨广赖晓晨崔凯姚艳双
- 关键词：控制流分析数据流分析
- 基于拓扑排序的数据竞争反向定位分析模型
- 多核处理器的广泛应用促使了多核并发程序可信问题的研究，因多核并发程序具有数据竞争而引起的程序执行结果的不确定性是并发程序分析与测试的难点。提出一种基于拓扑排序的数据竞争定位方法，采用XML对经过词法、语法解析的结果进行分...
- 周宽久杨广柳朕郭铖
- 关键词：XQUERY查询拓扑排序
- 文献传递
- 控制流提取模型及软件可靠性评价应用研究
- 安全关键软件发生故障会给人民、国家利益造成极大危害，同时，其系统结构特点导致其故障很难预防，因此，代码安全性分析与评估技术受到越来越多的关注。源文件代码信息复杂，难以获取，与其他高级语言相比，C语言更加灵活，为代码安全性...
- 杨广
- 关键词：控制流数据流分析安全性评估
- 文献传递
- 基于XML中间模型安全检测规则库的建立方法
- 本发明公开了一种基于XML中间模型的安全检测规则库的设计，属于软件测试领域。在XML中间模型的基础上，把MISRAC++中的每一条规则抽象为缺陷模式。XML中间模型存储了C++源代码的语句结构信息和标识符信息。使用XQu...
- 周宽久赖晓晨王洁杨广姚艳双简道红崔凯
- 文献传递
