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

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

Research Project

Project/Area Number 24K14890
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionTokyo Institute of Technology

Principal Investigator

権藤 克彦  東京工業大学, 情報理工学院, 教授 (50262283)

Project Period (FY) 2024-04-01 – 2029-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥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

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

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi