[发明专利]源代码分析装置、用于该装置的计算机程序及其记录介质

说明书

技术领域

本发明涉及一种源代码分析装置、用于该装置的计算机程序及其记录介质，涉及一种在根据预先定义的分析规则分析的分析对象源代码中发现缺陷的情况下，能够提供缺陷修改方案的源代码分析装置、用于该装置的计算机程序及其记录介质。

背景技术

静态程序分析(Static Code Analysis)是分析计算机软件的多种方法中的一种。该方法的特征在于，不直接运行软件，以开发中的软件源代码为对象进行分析。

静态分析工具(Static Analysis Tool)是用于被开发成实现利用软件自动进行静态程序分析而开发的程序，而不是利用人手。一般情况下，源代码的大小非常庞大，用人手一一进行静态程序分析几乎不太可能。因此，可以说使这种分析实现自动化是静态分析工具的作用。静态分析工具根据种类能够从源代码中检测出多种缺陷或漏洞，并将通过分析检测出的缺陷告知用户。

现有技术中公开过多种如上所述的静态分析工具形式的源代码分析装置。

但是，现有的公开或使用的源代码分析装置仅提供缺陷检测以及生成对其的检测信息的有限的功能，因此存在对于检测出的缺陷的修改工作需要依赖用户(程序员)的个人知识和经验的局限性。

发明内容

(一)要解决的技术问题

本发明是考虑到如上所述的问题而提出的，其目的在于提供一种在根据预先定义的分析规则分析的分析对象源代码中发现缺陷的情况下，能够提供缺陷修改方案的源代码分析装置、用于该装置的计算机程序及其记录介质。

(二)技术方案

根据为实现上述目的的本发明的一个方面，公开一种源代码分析装置，其包括：源代码分析模块，包括：语法分析部，从源代码中提取并提炼分析所需的信息；缺陷检测部，以在语法分析部提炼的分析所需的信息为基础，检测源代码中能够成为问题的缺陷；修改示例生成部，以在缺陷检测部检测出的缺陷信息以及在语法分析部提炼的分析所需的信息为基础，生成修改示例信息和注意事项信息中的至少一种；分析结果传送部，将生成的缺陷信息、修改示例信息、注意事项信息中的至少一种构成为综合分析结果信息并传送至分析结果输出模块；以及分析结果输出模块，包括：缺陷输出部，在从源代码分析模块接收的综合分析结果信息中提取并输出缺陷信息；修改示例输出部，在从源代码分析模块接收的综合分析结果信息中提取并输出修改示例信息和注意事项信息中至少一种。

优选地，所述修改示例生成部对于一个缺陷信息生成一个或一个以上的修改示例信息或者注意事项信息。

优选地，所述缺陷检测部的缺陷信息检测是通过执行用于检查各自是否存在缺陷的各检查器的功能来实现的，所述各检查器将综合分析结果信息传送至修改示例生成部，所述综合分析结果信息包括针对检测缺陷信息时检测出的缺陷信息生成的修改示例信息和注意事项信息中的至少一种。

优选地，所述修改示例信息包括对检测出缺陷信息的源代码行‘添加’另一代码行、‘变更’为另一代码行、‘删除’检测出的代码行中的至少一种。

优选地，包含于所述修改示例信息中的修改示例代码，将检测出缺陷信息的检查器根据预先设定的模板分析并推测源代码的结果作为输入值来生成。

根据本发明的另一个方面，公开一种储存在介质中的计算机程序，其作为在源代码分析装置中用于执行源代码分析功能和分析结果输出功能的计算机程序，所述源代码分析功能包括：语法分析功能，从源代码中提取并提炼分析所需的信息；缺陷检测功能，以从语法分析功能中提炼的分析所需的信息为基础，在源代码中检测能够成为问题的缺陷信息；修改示例生成功能，以在缺陷检测功能中检测出的缺陷信息和在语法分析功能中提炼出的分析所需的信息为基础，生成修改示例信息以及注意事项信息中的至少一种；分析结果传送功能，将生成的缺陷信息和修改示例信息、注意事项信息中的至少一种构成为综合分析结果信息，并传送至分析结果输出功能；所述分析结果输出功能包括：缺陷输出功能，在从源代码分析功能接收的综合分析结果信息中提取并输出缺陷信息；修改示例输出功能，在从源代码分析功能接收的综合分析结果信息中提取并输出修改示例信息和注意事项信息中的至少一种。