Control Flow Integrity (CFI)

組み込みでのパフォーマンス用に構築され、実行時の動作を保証

Karamba XGuard CFI:
メモリ制御フローの
決定的検証

Control Flow Integrity（CFI）は広く理解されている概念ですが、Karamba XGuardが開発される前は、組み込みシステムにうまく実装されていませんでした。

自動的に生成されるKarambaのControl Flow Graph（特許取得済み）は、実行時に監視され、前方および後方へのメモリアドレスジャンプを検証します。コードにバッファオーバーフローといったメモリの脆弱性がある場合でも、XGuardはエクスプロイトを防ぎます。

Karamba CFIはOSおよびアプリケーションレベルで適用され、すべてのバイナリ、ライブラリ、スクリプト、およびOS関数内の関数呼び出しを保護します。

KarambaのCFIがControl Flow Integrityを使用した従来の製品から抜きん出ているのは、5％未満のCPUオーバーヘッドに10％未満のRAM消費という、特許取得済みの低パフォーマンスフットプリントが理由です。

（次の動画では、Karamba Security Cybersecurity ResearcherのAviv Sinaiが、CFIによるリモートコード実行攻撃の阻止を説明しています）（Aviv Sinaiの動画の下にある図には、「メモリ」と「フラッシュストレージ」という２つの英語の語句が記されています）