首页> 外国专利> APPARATUS AND SYSTEM FOR INTEGRALLY MANAGING STATIC ANALYSIS TOOL

APPARATUS AND SYSTEM FOR INTEGRALLY MANAGING STATIC ANALYSIS TOOL

机译:集成管理静态分析工具的装置和系统

摘要

PPROBLEM TO BE SOLVED: To provide an apparatus and system for integrally managing static analysis tools. PSOLUTION: The system for integrally managing static analysis tools includes a plurality of static analysis tools for statically analyzing an analysis target program, and the apparatus for integrally managing the static analysis tools. The apparatus includes a tool setting module for receiving initial setting information in an integrated setting format for an analysis of the static analysis tools from a user, and converting the initial setting information into the initial setting format of the static analysis tools to transmit the same; a result output module for receiving the analysis results of the static analysis tools and converting the received analysis results into a common analysis result format to output the same; an analysis setting module for receiving the input of analysis setting information from the user and converting the analysis setting information into an analysis setting format of the static analysis tools to transmit the same; and an execution management module including at least one function out of analysis execution management of the static analysis tools, setting management of the static analysis tools themselves and verification rule management of the static analysis tools. PCOPYRIGHT: (C)2011,JPO&INPIT
机译:

要解决的问题:提供一种用于整体管理静态分析工具的设备和系统。

解决方案:用于整体管理静态分析工具的系统包括用于静态分析分析目标程序的多个静态分析工具,以及用于整体管理静态分析工具的设备。该装置包括工具设置模块,该工具设置模块用于以集成设置格式从用户接收用于分析静态分析工具的初始设置信息,并将该初始设置信息转换为静态分析工具的初始设置格式以进行发送。结果输出模块,用于接收静态分析工具的分析结果,并将接收到的分析结果转换为通用的分析结果格式,进行输出;分析设置模块,用于接收来自用户的分析设置信息的输入,并将所述分析设置信息转换为所述静态分析工具的分析设置格式以进行传输;执行管理模块,其包括静态分析工具的分析执行管理,静态分析工具自身的设置管理以及静态分析工具的验证规则管理中的至少一项功能。

版权:(C)2011,日本特许厅&INPIT

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号