Off by one overflow
基本情報
1バイトのオーバーフローへのアクセスだけで、攻撃者は次のチャンクのsize
フィールドを変更することができます。これにより、実際に解放されるチャンクを操作し、別の正当なチャンクを含むチャンクを生成する可能性があります。この攻撃手法は、ダブルフリーやオーバーラップするチャンクと類似しています。
オフバイワンの脆弱性には2種類あります:
任意のバイト: この種類はそのバイトを任意の値で上書きできます
ヌルバイト (オフバイヌル): この種類はそのバイトを0x00でのみ上書きできます
この脆弱性の一般的な例は、次のコードで
strlen
とstrcpy
の挙動が一貫していないため、次のチャンクの先頭に0x00バイトを設定できることがあります。これはHouse of Einherjarで悪用できます。
Tcacheを使用している場合、これはダブルフリーの状況に活用できます。
目的
チャンクを別のチャンクの中に含まれるようにし、その2番目のチャンクへの書き込みアクセスを許可して含まれるものを上書きする
要件
サイズメタデータ情報を変更するためのオフバイワンオーバーフロー
一般的なオフバイワン攻撃
3つのチャンク
A
、B
、C
(サイズ0x20とする)、およびトップチャンクとの統合を防ぐための別のチャンクを割り当てるC
を解放する(0x20 Tcache フリーリストに挿入)チャンク
A
を使用してB
にオーバーフローを発生させる。オフバイワンを悪用してB
のsize
フィールドを0x21から0x41に変更するこれで
B
にはフリーチャンクC
が含まれるB
を解放し、0x40のチャンクを割り当てる(ここに再配置される)依然としてフリーである
C
のfd
ポインタを変更できる(Tcache 毒入れ)
オフバイヌル攻撃
3つのメモリチャンク(a、b、c)が連続して予約される。その後、中央のチャンクが解放される。最初のチャンクにはオフバイワンオーバーフローの脆弱性があり、攻撃者はそれを0x00で悪用する(前のバイトが0x10であれば、中央のチャンクが実際よりも0x10小さいことを示す)。
次に、中央の解放されたチャンク(b)に2つのより小さいチャンク(b1、c)が割り当てられるが、
b + b->size
は c チャンクを更新しないため、指定されたアドレスは適切よりも小さい。次に、b1 と c が解放される。
c - c->prev_size
はまだ b(現在は b1)を指しているため、両方が1つのチャンクに統合される。ただし、b2 はまだ b1 と c の間に存在する。最後に、このメモリ領域を再利用するために新しい malloc が実行され、新しい malloc の所有者が b2 の内容を制御できるようになります。
この画像は攻撃を完璧に説明しています:
* **[HackTricks](https://github.com/carlospolop/hacktricks)** および **[HackTricks Cloud](https://github.com/carlospolop/hacktricks-cloud)** のGitHubリポジトリにPRを送信してハッキングテクニックを共有してください。
Last updated