Spectre

Spectre（スペクター）は、今日の幅広いマイクロプロセッサに存在するハードウェアレベルの脆弱性であり、正当な権限のないプロセスが保護されたメモリの領域（例：サンドボックスの外側）にアクセスすることが可能になる。

概要 
悪意あるプログラムが任意のメモリ領域（機密情報を含む可能性がある）の読み取りを可能とする、マイクロプロセッサの分岐予測・投機的実行の実装に含まれる脆弱性である 。

特定のCPUアーキテクチャに依存した脆弱性ではなく、x86（インテル、AMDおよび互換CPU）、ARMでも発生することが示唆されている。GPUでは不詳、あるいは確認されていない。

Spectreに関連するCVE番号は次の2つである。
 Variant 1
 （投機的実行における）条件付き分岐における境界チェックの回避 "bounds check bypass" (CVE-2017-5753)
 Variant 2
 （投機的実行における）分岐先のインジェクション "branch target injection" (CVE-2017-5715)
このうち、CVE-2017-5753は、ブラウザ・ベースのJavaScriptのJITエンジンに発見された脆弱性である。ウェブサイトから、端末の他のブラウザで使用されるデータや、ブラウザ・プロセスそのもののデータを読み取ることができる。Firefox 57.0.4とGoogle Chrome 64で、ウェブサイトごとにプロセスを分割することで対処されるとしている。

新しい亜種 
2018年5月21日、Spectreの新しい亜種（Variant 3a/4）が発表された。

 Variant 3a
 "Rogue System Register Read" (CVE-2018-3640)
 Variant 4
 "Speculative Store Bypass" (CVE-2018-3639)

経緯
Googleのzero-day攻撃研究のプロジェクトProject Zeroと暗号学者のポール・コッフェルが中心となった研究チームが別々に発見し、Meltdownのチームとの共同作業となり、2018年1月3日に発表された。
「Spectre」（幽霊）と命名した理由は、投機的実行 (speculative execution) に由来しており、修復が困難なことから、相当のあいだ幽霊のように我々に取り憑くだろうと説明されている。

詳細
Spectreは、以下の2つの脆弱性を内包している 
 （投機的実行における）条件付き分岐における境界チェックの回避 (CVE-2017-5753)
 （投機的実行における）分岐先のインジェクション (CVE-2017-5715)
いずれの脆弱性も、権限のないデータの読み取りが可能であることを示唆している。
また、共通する事象として、通常、これらの攻撃の痕跡は残らないため、攻撃を受けて流出したデータの特定が困難であることを意味する。

境界チェックの回避
メモリアクセスにおいて、通常はマイクロプロセッサの境界チェックにより、読み取り可能な領域かどうかをチェックされているが、特定の条件下で投機的実行を行った場合に境界チェックが適切に行われず、盲目的にメモリ命令が発行されるケースがほとんどのプロセッサで存在しており、結果として読み取る必要のない領域がキャッシュに読み込まれることがあり、その変化を追跡することで秘密情報のアドレスを特定し、秘密情報を入手が可能としている。
原理的には他プロセスでの攻撃も成功すると推測するが、Exploitは自プロセスのデータ読み取りが提示されている。

また、eBPF JITを有効にしたカーネルにおいて、AMDのプロセッサでも攻撃に成功したとされている。

分岐先のインジェクション
処理の概要としては、Return-oriented programming (ROP) とよく似ており、悪意のあるプロセスで分岐予測を学習させ、ターゲットとなるプロセス内の間接分岐命令がガジェットを投機的実行することを試みる
。
攻撃の成否をキャッシュヒットミスの測定することで確認している（サイドチャネル攻撃）。

攻撃成立の前提として投機的実行により副作用が発生することが必要で、検証では同一物理コア内のSMTによる論理コア間でデータを読み出すことが可能であったと示されている。

評価 
自プロセス内の機密データを読み取るExploitによる攻撃が成功している（ブラウザベースのJavaScriptによる攻撃等）。

他プロセスのデータを読み取る場合は、確率的な挙動を示し、攻撃の容易度はプロセッサのアーキテクチャに依存するとされている。
AMDは、内部アーキテクチャの違いから、CVE-2017-5715はほぼゼロリスク、Meltdownはゼロリスクである、と述べている。

対策 
攻撃対象のプロセスのメモリ構造を知っていれば攻撃の成功率を劇的に向上することができるため、逆説的に、メモリ構造を推測させなければ、攻撃を劇的に緩和させることが可能である。

ユーザランドの対策としては、他のメモリに対する攻撃同様、アドレス空間配置のランダム化 (ASLR) とPosition Independent Code (PIC) を組み合わせるなどして、メモリマップをランダム化する手法が知られており、この脆弱性でも有効とされている。また、LLVMにパッチを充てることで、同様の効果が得られる。

また、成功・失敗の判別にはサイドチャネル攻撃的なアイデアで判別されることがあるが、これらは例えばスクリプトの応答時間を均一化したり、処理時間を高精度で測定させない等の方法により緩和することも可能である(ブラウザのJavaScriptの実行にて同様のアプローチがとられている)。

ウィルス対策ソフトウェアでの防御は、有効性が疑問視されている。
影響を完全に排除するには、プロセッサアーキテクチャの大幅な刷新が必要であると述べられている。

影響 
原理的には、分岐予測・投機的実行を実装するプロセッサに潜在的影響があるとされている。

インテル 
GoogleはXeon E5-1650 v3をテストに使用し、攻撃に成功している。その他のCPUではテストされていない。

2018年3月までに、Spectre Variant2に対するCPUマイクロコードのアップデート状況を公表している。現実のシステムへの適用は、BIOS/UEFIのファームウェアアップデート、またはオペレーティングシステム (OS) によるマイクロコードリリースパッチの提供に依存する（これらで未提供の場合、適用されない）。

2018年4月2日付文書で、Intel Core 2世代と、第1世代Core iシリーズの一部について、脆弱性パッチの適用を中止すると公表した。対象CPUのコードネームは以下の通り。

なお、Core 2よりも以前の世代のCPU（LGA775ではCore Duo/Solo/Pentium M/4/D/EEなど、およびNetBurstマイクロアーキテクチャとそれ以前）については何も発表されていない。

Penryn
Core 2の殆どのリリース
Pentium T4200/4300/4400/4500など
Celeron 900/925, SU2300, T3100/3300/3500, ULV763など
Celeron M ULV 722/723/743など
Yorkfield
Core 2の殆どのリリース
Xeon L3360/3320/3330/3350/3360/3370/3380など

Wolfdale
Core 2の殆どのリリース
Pentium E5200/5300/5400/5500/5700/5800/6300/6500/6500K/6600/6700/6800など
Celeron E3200/3300/3400/3500など
Xeon E3110/3120(E0)/5205/5220, L3110(E0)/5215(E0)/5240, X5260/5270(E0)/5272など
Bloomfield
Core i7-920/930/940/950/960/965/975など
Xeon W3520/3530/3540/3550/3565/3570/3580など
Clarksfield
Core i7-720QM/740QM/820QM/840QM/920XM/940XMなど
Gulftown
Core i7-970/980/980X/990Xなど
Xeon W3690など
Jasper Forest
Celeron P1053など
Xeon EC3528/3529/5509/5539/5549, LC3518/3528/5518/5528など
Harpertown
Xeon L5408/5410/5420/5430(E0), E5405/5410/5420/5430/5440/5450/5462/5472, X5450/5460/5470/5472(C0)/5482(C0)/5492(E0)など
SoFIA 3GR
Atom x3-C3200RK/3230RKなど

AMD 
GoogleはeBPF JITを有効にしたカーネルにおいて、AMD PROで攻撃に成功したとしている（eBPF JITを無効にした場合は成功していない）。その他のCPUではテストされていない。

AMD Radeon GPUについては不詳。

ARM 
ARMは、Cortex-R7/R8/A8/A9/A15/A17/A57/A72/A73/A75はSpectreの影響を受け、これに加えてCortex-A75はMeltdownの影響を受ける事を認めた。

ミドルレンジAndroid携帯電話端末の多数に使用されるオクタコアのARM Cortex-A53/A55 は、アウト・オブ・オーダー実行をしないため、MeltdownやSpectreのいずれの脆弱性の影響も受けないとされている。Qualcomm Snapdragon 630/626/625/4xxもベースコアがCortex-A53/A55 のため同様である。Raspberry Piも影響を受けないとされている。

NVIDIA 
Geforce GPUには脆弱性が確認されていない。

その他のCPUおよびベンダー 
不詳。

回避策、アップデート 
本見出し中の日付は特記ない場合2018年。

Spectreは、Meltdownと同様にCPUのハードウェアレベルの脆弱性であるため、OS側やブラウザなどのアプリケーション側で回避策が取られつつある。(kernel page-table isolation)パッチはMeltdownに有効、Spectreには無効であるが、多くのベンダーはパッチがMeltdownとSpectreのどちら（又は双方）を回避、緩和するのか明確にしていない（そのようなパッチに関しては、Meltdown側で記述する）。

Windows

macOS 
macOSは1月8日にリリースされた"macOS High Sierra 10.13.2 Supplemental Update" で、Meltdown対策に加え、Spectre対策が適用されている（同時にSafariもアップデートされる）。

Linux 

Spectreはによっては回避されないので、2018年1月5日時点でOSレベルのパッチは出ていない。

Android 
GoogleはAndroid OSのセキュリティパッチを配信しているが、現実の端末へのパッチの互換性は、端末のメーカーあるいは携帯電話事業者の対応に依存する。

iOS 
iOS 11.2以降、tvOS 11.2以降でMeltdown対策パッチが当てられている。なお、1月8日にリリースされた"iOS 11.2.2 にてSpectre対策が適用されている。

Google Chrome 
1月23日リリース予定のChrome 64においてJavaScriptエンジンにSpectre対策を施す予定である

。

また当面のSpectre対策として、Strict site isolation（厳格なサイト分離）機能を有効にする事をGoogleは提案している。ブラウザの互換性については多少の問題がある。

Firefox 
1月4日（現地時間）にリリースされたFirefox 57.0.4 で、perfomance.now()の精度を意図的に低下させ、SharedArrayBufferを無効化する事により対処したとしている。なお、Firefox 52 ESRでは既にSharedArrayBufferが無効化されているが、1月23日（現地時間）リリースのESR 52.6で57.0.4と同レベルの修正が掛かっている。

デバイスドライバ 
 NVIDIAはGeForce GPUのデバイスドライバにSpectre脆弱性パッチを適用、公開した。なお、Geforce GPUそのものには脆弱性は確認されていないとしている。

シスコ 

シスコはルーター、アプライアンス製品やソフトウェアに脆弱性がある事を認めた。

POWER

主要ベンダー・メーカー

その他の対象CPU組み込み製品 
メーカー等の対応に依存する。

副作用

脚注

参考文献

関連項目 
 Meltdown - 同時に発表された別の脆弱性

外部リンク 
 MeltdownとSpectre脆弱性の公式ウェブサイト
 Spectreの論文
 Google Project Zero の記事
 (最新の各ベンダーの情報へのリンクが随時更新されている)
 (最新の各ベンダーの情報へのリンクが随時更新されている)

投機的実行のセキュリティ脆弱性
コンピュータセキュリティ
メモリ管理
エクスプロイト
ハードウェアバグ