西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技成果 > 基于控制流分析和数据流分析的Java程序静态分析方法

基于控制流分析和数据流分析的Java程序静态分析方法

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