公开(公告)号：CN110244953A

公开(公告)日：2019-09-17

申请号：CN201910422882.3

申请日：2019-05-21

Applicant: 北京大学 ,  国家计算机网络与信息安全管理中心

Inventor： 刘德欣 ,  王博 ,  吴倩 ,  马森 ,  高庆 ,  张世琨

IPC: G06F8/41

Abstract: 本发明实施例提供一种Java程序的区间分析方法和装置，其中方法包括：生成Java程序的值依赖图，值依赖图的节点为Java程序中的常量和变量，值依赖图的边为节点间的依赖关系，每条边还保存有前驱节点到后继节点的守卫值条件，从值依赖图的起始节点开始逐个计算区间信息：对于当前计算的节点，将前驱节点的区间信息的并集采用当前计算的节点与前驱节点之间的守卫值条件进行过滤，获得当前计算的节点的区间取值，将区间取值经对应的转换函数进行转换，作为当前计算的节点的区间信息。本发明实施例解决了现有方法对判断语句处理上精度不足的弊端。

公开(公告)号：CN110321458B

公开(公告)日：2021-10-15

申请号：CN201910422869.8

申请日：2019-05-21

Applicant: 国家电网有限公司 ,  北京大学 ,  南瑞集团有限公司 ,  南京南瑞信息通信科技有限公司 ,  国网江苏省电力有限公司

Inventor： 唐云善 ,  刘德欣 ,  杨维永 ,  邹旎彬 ,  马森 ,  高庆 ,  张世琨

IPC: G06F16/90 ,  G06F16/901

Abstract: 本发明实施例提供一种基于控制流图的数据流分析方法及装置，其中方法包括：对控制流图进行简化处理，简化后的控制流图包括控制流条件中的所有条件变量以及与所述条件变量有关的节点与边；遍历所述简化后的控制流图中的所有控制流路径，以判断所述控制流图是否符合分析条件；若符合分析条件，则以所述简化后的控制流图的每条控制流路径作为状态节点构建状态图；根据所述状态图生成循环摘要。本发明实施例具有准确、快速预测循环执行次数、生成循环摘要的优势。

公开(公告)号：CN110321458A

公开(公告)日：2019-10-11

申请号：CN201910422869.8

申请日：2019-05-21

Applicant: 国家电网有限公司 ,  北京大学 ,  南瑞集团有限公司 ,  南京南瑞信息通信科技有限公司 ,  国网江苏省电力有限公司

Inventor： 唐云善 ,  刘德欣 ,  杨维永 ,  邹旎彬 ,  马森 ,  高庆 ,  张世琨

IPC: G06F16/90 ,  G06F16/901

Abstract: 本发明实施例提供一种基于控制流图的数据流分析方法及装置，其中方法包括：对控制流图进行简化处理，简化后的控制流图包括控制流条件中的所有条件变量以及与所述条件变量有关的节点与边；遍历所述简化后的控制流图中的所有控制流路径，以判断所述控制流图是否符合分析条件；若符合分析条件，则以所述简化后的控制流图的每条控制流路径作为状态节点构建状态图；根据所述状态图生成循环摘要。本发明实施例具有准确、快速预测循环执行次数、生成循环摘要的优势。