ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発

• Project/Area Number: 24K14890
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 権藤 克彦 東京工業大学, 情報理工学院, 教授 (50262283)
• Project Period (FY): 2024-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2028: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2027: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000); Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2024: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
• Keywords: メモリリーク / 参照カウント / use-after-free / テイント解析 / ゼミ弱生

Outline of Research at the Start

本研究ではデバッグがしやすいメモリ脆弱性検知ツールを開発する．アプローチとしては，ソフトウェア計装技術を用いて，ごみ集めの参照カウント方式とテイント解析を組み合わせた，新しいメモリ関連脆弱性検知ツールを開発研究する．これにより，（プログラム終了時点ではなく）メモリリークが発生した瞬間にメモリリークを検知することで，デバッグをしやすくする．