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

Safety Verification for Multiple Programming Languages using Information Flow Analysis based on Compiler Intermediate Representation

Research Project

Project/Area Number 24K14906
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

桑原 寛明  南山大学, 理工学部, 准教授 (30432222)

Co-Investigator(Kenkyū-buntansha) 渥美 紀寿  京都大学, 学術情報メディアセンター, 准教授 (70397446)
Project Period (FY) 2024-04-01 – 2027-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2026: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2025: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords情報流解析 / プログラム解析 / 安全性検証 / 中間表現 / ソフトウェア開発支援
Outline of Research at the Start

本研究では、ソースコードの中間表現を対象として型検査に基づく情報流解析を実現する。中間表現はコンパイラ内部におけるソースコードの表現形式であるが、コンパイラインフラストラクチャの普及により、異なるプログラミング言語のコンパイラが同じ中間表現を利用することも珍しくない。中間表現に対して情報流解析を適用することで、複数のプログラミング言語に対して情報流解析による安全性検証を同時に実現する。現在のソフトウェア開発では様々なプログラミング言語が利用されており、各プログラミング言語ごとに情報流解析の仕組みを構築する必要があるというこれまでの問題を解決し、安全かつ高信頼なソフトウェアの開発を支援する。

URL: 

Published: 2024-04-05   Modified: 2024-06-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi