ヒープ領域に対するソースコード不要のIntel MPX命令適用手法

摘要

C/C++のメモリ安全の脆弱性を使用した攻撃が増加している．これを受けてIntel は配列境界のチェック機能を追加したハードウェアIntel MPX を開発した．しかし，MPX はコンパイル時に実装されるため，ソースコードがないバイナリコードには実装できない．関連研究では，静的領域とスタック領域の配列に対してバイナリコードの動的解析とMPX 命令挿入によるソースコードの必要ないMPX 実装方法を提案した．本論文では，確保したヒープ領域に対しての実装方法を提案する．使用頻度が高いlibc ライブラリのmalloc 関数に着目し実装を行う．バイナリコード解析及び命令の挿入はIntel Pin を使用する．