您的位置： 专家智库 > >

姚欣洪

作品数：6 被引量：17H指数：2
供职机构：北京邮电大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 4篇语法树
  • 4篇源程序
  • 4篇抽象语法
  • 4篇抽象语法树
  • 3篇数据竞争
  • 3篇线程
  • 2篇多线程
  • 2篇死锁
  • 2篇死锁检测
  • 2篇控制流
  • 2篇访问节点
  • 2篇别名
  • 2篇词法
  • 1篇漏洞
  • 1篇缓冲区
  • 1篇缓冲区溢出
  • 1篇安全漏洞
  • 1篇C/C++

机构

  • 6篇北京邮电大学
  • 1篇装甲兵工程学...

作者

  • 6篇姚欣洪
  • 5篇杨朝红
  • 5篇宫云战
  • 5篇王雅文
  • 4篇金大海
  • 4篇肖庆
  • 4篇白哥乐
  • 2篇黄俊飞

传媒

  • 1篇计算机研究与...

年份

  • 2篇2013
  • 1篇2012
  • 3篇2011
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
一种基于代码静态分析的数据竞争检测方法及系统
本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名...
黄俊飞宫云战杨朝红金大海姚欣洪王雅文肖庆白哥乐
文献传递
一种基于代码静态分析的多线程死锁检测方法及系统
本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发...
宫云战杨朝红王雅文白哥乐金大海肖庆姚欣洪
文献传递
一种基于代码静态分析的缓冲区溢出检测算法被引量：15
2012年
缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一种基于源代码静态分析的缓冲区溢出检测算法,该算法首先对源代码进行建模,构造其抽象语法树、符号表、控制流图、函数调用图,在此基础上运用区间运算技术来分析和计算程序变量及表达式的取值范围,并在函数间分析中引入函数摘要来代替实际的函数调用.最后使用该方法对开源软件项目进行检测,结果表明该方法能够有效地、精确地检测缓冲区溢出.
王雅文姚欣洪宫云战杨朝红
关键词：安全漏洞缓冲区溢出
基于线程摘要的C/C++数据竞争检测研究
随着单核技术向多核技术的转变，并发程序越来越难以编写和调试。数据竞争是常见的并发程序错误：在共享内存的并发程序中，当有两个线程同时访问(至少有一个访问是写操作)同一个内存地址，并且这两个访问缺乏锁同步时，这两个线程将可能...
姚欣洪
关键词：数据竞争
一种基于代码静态分析的数据竞争检测方法及系统
本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名...
黄俊飞宫云战杨朝红金大海姚欣洪王雅文肖庆白哥乐
一种基于代码静态分析的多线程死锁检测方法及系统
本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发...
宫云战杨朝红王雅文白哥乐金大海肖庆姚欣洪
全选 清除 导出
共1页<1>
聚类工具0