于洪涛
- 作品数：6 被引量：27H指数：3
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 激进域敏感基于合并的指针分析被引量：11
- 2009年
- 指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高层分析,使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员.文中还对原有类型推导规则做了重要改进,尽量避免在合并类型变量时造成的精度损失.为了保证新类型推导规则的正确性,方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作.大量实验数据表明,该方法分析精度显著高于以往方法而运行开销几乎相当.该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性.
- 于洪涛张兆庆
- 关键词：别名分析
- 基于包含的指针分析优化技术综述被引量：10
- 2011年
- 指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.
- 陈聪明霍玮于洪涛冯晓兵
- 关键词：约束图
- 静态检测中断驱动程序的数据竞争被引量：9
- 2011年
- 直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.
- 霍玮于洪涛冯晓兵张兆庆
- 关键词：微控制器中断驱动程序副作用分析
- 软件开发工具的测试方法及系统
- 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将...
- 霍玮丁兆伟于洪涛李丰陈聪明王雪张兆庆冯晓兵
- 以编译技术为支撑的高可靠软件开发工具与环境
- 张兆庆乔如良霍玮陈莉于洪涛桑春雷李丰陈聪明王雪
- 于国际上先进的开放源码编译系统Open64，构建了高精度兼顾效率的程序分析框架满足程序验证和检测的需求的编译框架CAREFREE.1)前端的扩充在于能够对规约或性质描述进行语法分析，并将信息存储于编译框架的内部表示上。2...
- 关键词：
- 软件开发工具的测试方法及系统
- 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将...
- 霍玮丁兆伟于洪涛李丰陈聪明王雪张兆庆冯晓兵
- 文献传递
