Semantics-Pluggable Program Analysis

2018 Fiscal Year Final Research Report

• Project/Area Number: 16K12412
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: Shimane University
• Principal Investigator: Kamiya Toshihiro 島根大学, 学術研究院理工学系, 教授 (70415660)
• Project Period (FY): 2016-04-01 – 2019-03-31
• Keywords: プログラム解析 / プログラム理解 / 保守 / デバッグ / 動的解析

Outline of Final Research Achievements

The purpose of this research project was to establish a framework of program analysis, whose targets are software products developed with multiple semantics/technologies. The outcomes of the project were the following analysis methods with implementations and initial empirical evaluations; (1) visualization of differences between two versions of a program by analyzing their execution traces, (2) detection and a visualization method of data flow in a program by running the program with slightly different sets of input data, and (3) a detection method of similar code fragments written in different programming languages.

Free Research Field

ソフトウェア解析

Academic Significance and Societal Importance of the Research Achievements

近年のソフトウェア開発では、ソフトウェアは複数の開発技術(およびそれらが包含する意味論)の混成物として開発される。例えば、webアプリケーションであれば、JavaScriptやhttpといったインターネットに関連する技術、プログラムを記述するための種々のプログラミング言語、データを格納し問い合わせを行うためのデータベース等の技術が用いられたソフトウェアとなる。
ソフトウェアの解析はソフトウェアの不具合修正や品質の計測に用いられるが、従来の解析技術では、ソフトエアの内部に存在する開発技術の境界が壁となり、効果的な解析が行えない場面があった。本研究提案はその壁を乗り越えた解析を実現するものである。