面向软件再（逆向）工程的程序分析理论与关键技术研究
基本信息
批准号：60573084
项目类别：面上项目
资助金额：24.00
负责人：金茂忠
学科分类：
依托单位：北京航空航天大学
批准年份：2005
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：晏海华,张莉,高仲仪,杨海燕,李虎,许福,李诺,贾荣飞
关键词：
逆向工程再工程程序分析
结项摘要
随着计算机软件的迅速增长，软件再（逆向）工程越来越受到产业界和学术界的重视。软件再（逆向）工程的基础- - 程序分析遇到了许多新的问题。本项目从总结和分析这些问题出发，提出应结合软件再（逆向）工程的特点研究程序分析理论及其关键技术，主要研究内容涉及通用的强能力分析算法、语言模块化描述机制、模块化分析器构造和组合分析、语（词）法模式等，以解决该领域普遍面临的复杂语言分析、混合语言分析、轻量级分析和方
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
金茂忠的其他基金
批准号：69483001
批准年份：1994
资助金额：6.00
项目类别：专项基金项目
相似国自然基金
1
面向开源软件复用的程序分析基础理论及方法研究
批准号：61772078
批准年份：2017
负责人：许福
学科分类：F0203
资助金额：62.00
项目类别：面上项目
2
面向软件产品线的再工程关键技术研究
批准号：60703092
批准年份：2007
负责人：彭鑫
学科分类：F0203
资助金额：18.00
项目类别：青年科学基金项目
3
众包需求工程中面向软件复用的需求管理与分析技术研究
批准号：61802167
批准年份：2018
负责人：李传艺
学科分类：F0203
资助金额：25.00
项目类别：青年科学基金项目
4
基于程序状态分析的核函数软件失效预测关键技术研究
批准号：61772199
批准年份：2017
负责人：楼俊钢
学科分类：F0201
资助金额：69.00
项目类别：面上项目