源代码等价性验证装置以及源代码等价性验证方法

专利申请号：CN201380078502.X

公 开 号：CN105408872A

发 明 人：铃木康文 新原敦介 市井诚 野口秀人 

代 理 人：范胜杰;王立杰

代理机构：11243 北京银龙知识产权代理有限公司

专利类型：发明申请

申 请 日：20160316

公 开 日：20130828

专利主分类号：G06F11/36(20060101)

关 键 词：重构 验证 结构比较 进行 结构一致 执行 正规化 源代码 等价性验证 解析源代码 验证源代码 重构模式 抽象化 等价性 计算量 信息对 两种 判定 限定 爆发 迅速 调整 决定 

摘      要：通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。