2026-04-21T23:31:31Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00225518 2025-01-19T12:47:01Z 1164:2822:11181:11182

組込みシステムシミュレータを用いたファジング 元田, 匡哉 伊藤, 弘将 松原, 豊 高田, 広章 設計手法・テスト手法・並列分散処理1 近年，IoT の普及に伴い，ファームウェアに含まれる脆弱性によるセキュリティの脅威が増加し，対策が求められている．ファームウェアに含まれる脆弱性を見つける手法として，ファジングが利用されている．このとき，実機を使用せずにファジングを適用するために，Rehosting という手法がある．Rehosting は，ファームウェアを，ハードウェアの挙動を十分にモデル化した仮想環境へ移行する手法である．既存の Rehosting では，周辺回路の近似モデルを作成するため，モデルの挙動は実機と異なる．近似モデルの構築では，ファジング実行時にファームウェアの実行継続性を優先したり，ハードウェアに依存するコードを置換したりする．その結果，ハードウェアの異常対策コードや，システム起動処理における周辺回路の初期化コードをテストできないという問題が生じる．本研究では，組込みシステムシミュレータ Renode とファジングツール AFL を組み合わせたファジング環境を構築し，この課題を解決する．テスト対象の周辺回路の振舞いをより正確にモデル化し，特定のレジスタに対してファジングを行う．提案手法を，既存手法の評価に用いられたファームウェアとシリアル通信 UART の初期化時における異常系コードに対して適用した．その結果，UART に起因する既知の Buffer Overflow 脆弱性を検知し，UART の初期化時における異常系コードのファジングに成功した． 情報処理学会 2023-03-16 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/225518 2188-868X AA12149313 研究報告組込みシステム（EMB） 2023-EMB-62 11 1 8 https://ipsj.ixsq.nii.ac.jp/record/225518/files/IPSJ-EMB23062011.pdf application/pdf 959.0 kB 2025-03-16