ファジングが発見した不具合の自動修正技術

• Project/Area Number: 24K02923
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Ritsumeikan University
• Principal Investigator: 吉田 則裕 立命館大学, 情報理工学部, 教授 (00582545)
• Co-Investigator(Kenkyū-buntansha): 戸田 航史 福岡工業大学, 情報工学部, 准教授 (60589018) ; 藤原 賢二 奈良女子大学, 生活環境科学系, 専任講師 (80782622) ; 槇原 絵里奈 立命館大学, 情報理工学部, 講師 (90822875)
• Project Period (FY): 2024-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥18,330,000 (Direct Cost: ¥14,100,000、Indirect Cost: ¥4,230,000); Fiscal Year 2027: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2026: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000); Fiscal Year 2025: ¥7,540,000 (Direct Cost: ¥5,800,000、Indirect Cost: ¥1,740,000); Fiscal Year 2024: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
• Keywords: ファジング

Outline of Research at the Start

ファジングとは，不具合を引き起こす可能性がある入力の自動生成とプログラムの自動実行を繰り返すプロセスを指す．AFLに代表されるファジングツールは，大規模OSSから数多くの不具合を発見している．しかし，ファジングは不具合を引きおこす可能性がある入力を開発者に提示するのみであり，プログラム中のバグ位置やバグの修正方法は提示しない． 本研究では，ファジングが提示する不具合を引き起こす可能性がある入力を基に，プログラム中のバグ位置を特定し，自動修正を行う技術の確立を目指す．まず，ファジングと相性の良いバグ位置特定技術を明らかにし，特定したバグを修正するために有用な修正パターンを明らかにする．