• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ソースコードに対してロスレスな制御フローグラフに基づくプログラム解析環境の開発

Research Project

Project/Area Number 25K15067
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionNanzan University

Principal Investigator

吉田 敦  南山大学, 理工学部, 教授 (50283495)

Co-Investigator(Kenkyū-buntansha) 蜂巣 吉成  南山大学, 理工学部, 教授 (30319298)
Project Period (FY) 2025-04-01 – 2028-03-31
Project Status Granted (Fiscal Year 2025)
Budget Amount *help
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2027: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2025: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywordsプログラム解析 / 制御フローグラフ / CFG
Outline of Research at the Start

プログラム理解支援では、プログラム解析として、1)プログラムの構造、2)制御の流れ、3)データの依存関係の3つ情報を求め、それらから必要な情報の抽出やプログラムの修正を行う。3つの情報はこの順序に求められ、後者ほどプログラムの意味に近いが、一方で正確性が落ちる。プログラムの自動修正を行う場合、元のソースコードの文字情報が必要なので、従来は 1) と融合したロスレスな構文木が用いられる。しかし、プログラムの意味に近い 2) や 3) と融合しないと応用先が広がらない。そこで、制御の流れに元のソースコードの文字情報を取り込んだロスレスな制御フローグラフを構成する方法を研究する。

URL: 

Published: 2025-04-17   Modified: 2025-06-20  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi