抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
C/C++のような不安全なプログラミング言語に実装された複雑なアプリケーションにおけるメモリ安全性は,実際には未解決の問題である。この問題を緩和するために,多くの異なるタイプの防御が過去に提案されている。最も有望な次のステップはハードウェアとソフトウェアレベルのよりタイトな統合であり,最新の緩和技術はハードウェア拡張を用いて加速するか,ISAの拡張によってハードウェアに実装される。特に,ARMまたはSPARCにより提案されたメモリタグ付けは,実際のメモリ安全性に対する多くの課題を解決することを期待する。残念なことに,デスクトップとサーバドメインの両方にとって最も重要なISAを表すIntel x86-64は,ハードウェア加速メモリタグ付けのためのサポートを欠いているので,メモリタグ付けは,このプラットフォームのために実用的ではない。本論文では,新しいメタデータ埋込み方式に基づくIntel x86-64のための効率的なソフトウェア専用ポインタタグ付け方式の設計と実装を示した。基本的アイデアは,タグビットをポインタに効率的に埋め込むことができるように,1つの物理的ページに複数の仮想ページをエイリアすることにある。さらに,メモリタグ付けに対するこの手法の性能影響を著しく低減するいくつかの最適化を導入した。このスキームに基づいて,最新の方法と比較して,より良い性能と強いセキュリティ特性を提供する,xTagと呼ばれる新しい使用後緩和方式を提案した。また,二重自由脆弱性を軽減できる方法を示した。提案アプローチは高度に互換性があり,ポインタはメタデータを失うことなく,計装化と非インスツルメントコードの間を通過し,次に,インラインアセンブリと互換性がある。著者らは,Firefox webブラウザにおける無使用のバグの効果的予防によって実証されたように,著者らのメモリタグ付けスキームのトップに関するビル利用緩和メカニズムがIntel x86-64上で実現可能であると結論づける。【JST・京大機械翻訳】