@techreport{oai:ipsj.ixsq.nii.ac.jp:00224559, author = {雫石, 想 and 荒堀, 喜貴 and 権藤, 克彦}, issue = {19}, month = {Mar}, note = {サイバー攻撃からソフトウェアを保護する技術は,盛んに研究されている.しかし,多くのメモリ保護手法は構造体の要素を正確に保護できない.また,構造体の要素を正確に保護するためには複雑なメタデータ管理が必要であり,オーバーヘッドが大きい.本研究は,Field-sensitive な Value-Flow 解析と Data-Flow Integrity(DFI)を組み合わせた新しい手法 FIX-Sense を提案する.Field-sensitive な Value-Flow解析により,構造体の要素を区別した解析を行い,正確な解析結果を得る.実行時には,構造体の要素毎に適切にメタデータを管理し,DFI を利用して実行時メモリエラーを正確かつ高速に検知する.提案手法の有効性を検証するため,プロトタイプ実装を用いて既存手法と保護能力や実行時オーバーヘッドを比較する.実験より,既存手法と比較して小オーバーヘッドで正確なデータ保護が可能という結果が得られた.}, title = {正確かつ高速なデータおよび制御の保護}, year = {2023} }