- 专利标题: 源代码等价性验证装置以及源代码等价性验证方法
-
申请号: CN201380078502.X申请日: 2013-08-28
-
公开(公告)号: CN105408872B公开(公告)日: 2017-11-24
- 发明人: 铃木康文 , 新原敦介 , 市井诚 , 野口秀人
- 申请人: 株式会社日立制作所
- 申请人地址: 日本东京都
- 专利权人: 株式会社日立制作所
- 当前专利权人: 株式会社日立制作所
- 当前专利权人地址: 日本东京都
- 代理机构: 北京银龙知识产权代理有限公司
- 代理商 范胜杰; 王立杰
- 国际申请: PCT/JP2013/072946 2013.08.28
- 国际公布: WO2015/029154 JA 2015.03.05
- 进入国家日期: 2016-01-26
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
通过符号执行进行针对由人工实施的重构的等价性验证时,能够不使计算量爆发,而迅速地进行。在验证源代码的等价性时,进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且,在通过基于结构图的结构比较能够判定为结构一致的情况下,不进行符号执行。此外,在进行基于结构比较的验证前,对于重构前后的各个源代码,根据对每个重构模式决定的正规化信息对结构图进行正规化,在重构正当时,调整为结构一致。并且,对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证,由此限定进行符号执行的位置。
公开/授权文献
- CN105408872A 源代码等价性验证装置以及源代码等价性验证方法 公开/授权日:2016-03-16