[发明专利]程序分析/验证服务提供系统及其控制方法、程序分析/验证装置、程序分析/验证工具管理装置

说明书

技术领域

本发明涉及使用程序分析/验证工具来分析、验证对象程序的程序分析/验证服务提供系统等。

背景技术

程序分析/验证是指分析/验证计算机的程序满足哪些性质的技术。认为程序分析/验证是用于保障/验证程序的安全性、可靠性的非常有效的手段。

近年，随着该程序分析/验证技术飞跃性进步，逐渐可以对各式各样的实用程序进行分析/验证。实际上，不论是研究用途还是商业用途，均开发了众多进行程序分析/验证的程序(以后称作“程序分析/验证工具”)。

在此，以病毒分析/检查网站为例，说明共享程序分析/验证工具的现有技术。

图11表现了病毒分析/检查网站的典型构成例。如图11所示，病毒分析/检查网站900的利用者向病毒分析/检查网站900送出想要进行病毒分析/检查的对象程序(P1)。例如，若是在下述的非专利文献1中被列成表格的网站，则经由Web界面来送出。而且，若送出了对象程序，则病毒分析/检查网站900利用病毒分析/检查软件901来进行被送出的对象程序的分析/检查(P2)。一旦分析/检查结束，病毒分析/检查网站900向利用者送出其结果(P3)。

该病毒分析/检查网站900的优点在于，不会花费网站的利用者准备用于分析/检查的计算资源(CPU时间、存储器容量等)、或者导入分析/检查软件的工夫。

先行技术文献

非专利文献

非专利文献1：“基于沙盒的病毒/恶意代码分析网站”、[online]、2011年6月、[2011年10月20日检索]、因特网＜URL：http：//lhsp.s206.xrea.com/misc/virussandbox.html＞

发明内容

发明要解决的课题

但是，在以往的程序分析/验证工具中存在着以下所述那样的实用上的问题。

(1)程序分析/验证工具所需要的计算资源的肥大化

因程序分析/验证技术的种类的不同，有时程序分析/验证工具需要非常多的计算资源(CPU时间、存储器容量等)。这在分析/验证复杂的性质的情况、分析/验证对象的程序的规模大的情况下尤为显著。因而，各个程序分析/验证工具的利用者在现实中可执行的分析/验证的种类、规模存在着界限。

(2)程序分析/验证工具的种类的多样化

伴随着分析/验证技术的进步，存在非常多种类的程序分析/验证工具，故还要重新继续规划/开发。因而，对于程序分析/验证工具的利用者而言，难以判断选择哪些程序分析/验证工具为好。

(3)程序分析/验证工具的导入/运用的工夫/成本

如上所述，虽然存在较多种类的程序分析/验证工具，但是用一个种类的程序分析/验证工具来满足程序分析/验证工具的利用者的目的却是罕见的。为此，利用者必须导入多个程序分析/验证工具并进行运用/维护管理，从而工夫、成本增大。

(4)程序分析/验证工具自身的测试的困难性

程序分析/验证工具的有用性正在被广泛地认知。然而，另一方面，难以测试程序分析/验证工具自身是否如所期待的那样动作。其原因在于，对于程序分析/验证工具的提供者而言，与程序分析/验证工具的利用者同样地，因程序的分析/验证的规模存在界限、且程序分析/验证工具的提供者可利用/阅览的程序及其源代码存在界限，故针对各式各样的对象程序，无法完成程序分析/验证工具的测试。

本发明正是鉴于上述的问题点而完成的，其目的在于实现能够从多个程序分析/验证工具之中恰当地选择要使用的程序分析/验证工具，来容易地执行程序的分析/验证的程序分析/验证服务提供系统等。

用于解决课题的手段

为了解决上述课题，本发明所涉及的程序分析/验证服务提供系统，使用程序分析/验证工具来分析、验证对象程序，其特征在于，上述程序分析/验证服务提供系统具备：对象程序获取单元，其获取对象程序；工具存储部，其保存有多个程序分析/验证工具；工具提取单元，其从保存在上述工具存储部中的多个程序分析/验证工具之中提取用于分析、验证由上述对象程序获取单元获取到的对象程序的程序分析/验证工具；工具获取单元，其从上述工具存储部获取由上述工具提取单元提取出的程序分析/验证工具；以及工具执行单元，其使用上述工具获取单元获取到的各程序分析/验证工具，来分析、验证由上述对象程序获取单元获取到的对象程序。