
saltへようこそ。これは、カーネルヒープメモリ管理をリバースエンジニアリングし学習するためのツールです。エクスプロイトの開発、自身のカーネルコードのデバッグ、そしてさらに重要なことに、カーネルヒープのアロケーションを操作し、その内部動作を学ぶために役立ちます。
このツールは、最新のLinuxカーネルにおけるSLUBアロケータのアロケーションと現在の状態のトレースを支援します。
これはgdbプラグインとして記述されており、メモリアロケーションのトレースと記録、およびプロセス名やキャッシュによるフィルタリングを可能にします。また、アクティブなキャッシュのリストをダンプし、関連情報を表示することもできます。
このリポジトリには、任意のタイミングでアロケーションとデアロケーションをトリガーできるplaygroundロード可能カーネルモジュールも含まれており、デバッグツールとして、またアロケータの動作をより深く理解するための学習ツールとして機能します。
SLUBアロケータの内部動作、はじめ方、プラグインの詳細ドキュメント、およびplaygroundモジュールに関するメモの詳細については、docsフォルダにあります。
以下が完全なコマンド一覧です:
> salt help
Possible commands:
filter -- manage filtering features by adding with one of the following arguments
enable -- enable filtering. Only information about filtered processes will be displayed
disable -- disable filtering. Information about all processes will be displayed.
status -- display current filtering parameters
add process/cache <arg>-- add one or more filtering conditions
remove process/cache <arg>-- remove one or more filtering conditions
set -- specify complex filtering rules. The supported syntax is "salt filter set (cache1 or cache2) and (process1 or process2)".
Some variations might be accepted. Checking with "salt filter status" is recommended. For simpler rules use "salt filter add".
record -- manage recording features by adding with one of the following arguments
on -- enable recording. Information about filtered processes will be added to the history
off -- disable recording.
show -- display the recorded history
clear -- delete the recorded history
trace <proc name> -- reset all filters and configure filtering for a specific process
walk -- navigate all active caches and print relevant information
walk_html -- navigate all active caches and generate relevant information in html format
walk_json -- navigate all active caches and generate relevant information in json format
help -- display this message
そして、こちらがsaltの動作の様子です:

このプロジェクトは、2018年春学期のプロジェクトとしてEURECOMで開発されました。
指導教官のYanick、Fabio、Emanuele、Dario、Marius氏、そして私を支援し導いてくれたS3チームの皆様に多大なる感謝を申し上げます。
プロジェクトの一環として、EURECOMのセキュリティチームに向けてプレゼンテーションも行いました。スライドはこちらからご覧いただけます。
Perla E, Oldani M (2010) - カーネルエクスプロイトガイド:コアへの攻撃