随着计算机软件的迅速增长,软件再(逆向)工程越来越受到产业界和学术界的重视。软件再(逆向)工程的基础- - 程序分析遇到了许多新的问题。本项目从总结和分析这些问题出发,提出应结合软件再(逆向)工程的特点研究程序分析理论及其关键技术,主要研究内容涉及通用的强能力分析算法、语言模块化描述机制、模块化分析器构造和组合分析、语(词)法模式等,以解决该领域普遍面临的复杂语言分析、混合语言分析、轻量级分析和方
{{i.achievement_title}}
数据更新时间:2023-05-31
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
强震过程滑带超间隙水压力效应研究:大光包滑坡启动机制
汽车侧倾运动安全主动悬架LQG控制器设计方法
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
面向开源软件复用的程序分析基础理论及方法研究
面向软件产品线的再工程关键技术研究
众包需求工程中面向软件复用的需求管理与分析技术研究
基于程序状态分析的核函数软件失效预测关键技术研究