权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

大規模プログラムのためのプログラム解析の自動生成

自动生成大型程序的程序分析

基本信息

批准号：
16016241
负责人：
小川瑞史
金额：
$ 2.3万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2005
项目状态：
已结题

项目摘要

近年、モデル検査の実装技術の発達とハードウェアの進歩により、「プログラム解析=抽象化+モデル検査」というパラダイムが現実的なものとなっている。たとえば、既存のモデル検査系SMVを、Javaを中間言語Jimpleへ変換する言語処理環境SOOTと組み合わせることで、簡単にプログラム解析を実装することが可能である。これは小〜中規模のプログラムに対して有効であるが、処理時間がサイズとともに急速に増大し、大規模プログラムの解析をどう行うかは、現在ホットな研究領域である。この処理時間増大の原因の一つは、モデル検査などで標準的なアルゴリズムが収束するまで何度も反復してプログラム全体を追跡するためである。本研究では、実際のプログラムのフローグラフは比較的良い構造をもっているという観察に基づき、モデル検査のアルゴリズムから見直しをはかることで、大規模なプログラムへの適用可能性を探ることを提案した。具体的には、(1)組み合わせ理論の成果を用いて、すでに提案してきたグラフの代数的データ構造(SP項)に基づき、反復がなく効率の良いアルゴリズムおよびその理論的基礎の確立、(2)実用的な問題におけるケーススタディによる問題点の明確化について研究を行った。

In recent years, the development of the implementation technology of digital inspection has made progress, and the concept of "abstract analysis = abstract + digital inspection" has been developed. For example, if you want to change the language processing environment SOOT, you can change the language processing environment SOOT. The processing time increases rapidly from small to medium-scale to large-scale, and the analysis of large-scale to large-scale is now in the research field. One of the reasons for this increase in processing time is to check whether the standard processing time has been reduced or not. This study is aimed at exploring the feasibility of large-scale application of high-quality products in China. The concrete aspects include: (1) the application of the results of the combination theory;(2) the establishment of the theoretical basis of the algebraic structure (SP term);(3) the research on the clarification of the problem points in the practical problems.