要解决的问题:通过基于更改前后程序静态分析结果中的差异信息和区域信息,仅将警告文本输出到相应的更改部分,来抑制不必要的警告文本。解决方案:使用静态分析工具来分析程序文件的系统包括数据管理部分3。数据管理部分3具有多个分析结果文件20、21和22,用于存储通过静态分析得到的分析结果每个版本的工具,将程序文件发生更改的状态视为一个版本。管理部3从某个版本的分析结果文件与另一版本的分析结果文件之间的差异信息中提取存在于该差异中的变更部分,获得该差异信息的警告文本中的范围信息,并且输出与差异信息相对应的警告文本。
版权:(C)2004,日本特许厅
公开/公告号JP2004126866A
专利类型
公开/公告日2004-04-22
原文格式PDF
申请/专利权人 MITSUBISHI ELECTRIC CORP;
申请/专利号JP20020288800
发明设计人 FUJIMOTO TAKUYA;
申请日2002-10-01
分类号G06F11/36;G06F9/45;G06F11/28;
国家 JP
入库时间 2022-08-21 23:29:16