您当前的位置：成果库 > 基于控制流分析和数据流分析的Java程序静态分析方法
611
2018/08/08
咨询成果
发布成果基本信息
- 成果类型 高等院校
- 委托机构 西安电子科技大学
- 成果持有方 西安电子科技大学
- 行业领域 信息安全
- 项目名称 基于控制流分析和数据流分析的Java程序静态分析方法
- 知识产权 发明专利
- 项目简介 本发明公开了一种基于控制流分析和数据流分析的Java程序静态分析方法，主要解决现有静态分析方法分析准确率低的问题。其实现步骤是：1.将Java源程序转化为Jimple语言的中间表示形式；2.将Java程序静态分析问题抽象为过程间分布式子集问题IFDS；3.定义过程间分布式子集问题IFDS求解器的接口类；4.通过求解器类接口中的数据流功能函数FlowFunctions，设置数据流分析规则；5.运行过程间分布式子集问题IFDS，在控制流图的基础上进行数据流分析，得出分析结果。本发明提高了静态分析的完整性和准确性，分析效率高，扩展性强，可用对较大系统规模的程序分析。
交易信息
- 意向交易额 面议
- 挂牌时间 2018/04/17
- 委托机构 西安电子科技大学
- 联系人姓名 王小刚
- 联系人电话 15802954800
- 联系人邮箱 745490733@qq.com
- 分享至：
