ターゲットサポートマトリクス¶

Mayhem は、ファズテストやシンボリック実行などの複数の技術を組み合わせ、バイナリ実行ファイル (Mayhem ターゲット) のテスト時にコードカバレッジを最大化します。Mayhem は、幅広いアーキテクチャ、オペレーティングシステム、言語にわたるインストゥルメンテーション付きのターゲットおよびインストゥルメンテーションなしのターゲットをサポートしています。

以下は、Mayhem がサポートするターゲットの技術的仕様に関する詳細および Mayhem を使用するためのシステム要件です。

概要¶

Mayhem の解析は以下をサポートします。

ベース実行ファイルターゲット: 特別なコンパイルオプションや変更 (インストゥルメンテーション) なしでコンパイルされたバイナリ実行ファイルです。
インストゥルメンテーション付きターゲット: AFL、libFuzzer、honggfuzz などのファザーを使用してインストゥルメンテーション付きでコンパイルされたバイナリ実行ファイルです。
選別と診断: テストケース入力を使用したファジングによって検出されたターゲット内の欠陥を識別するプロセスです。

ベース実行ファイルターゲット¶

Mayhem は、ユーザースペースで実行可能で単一のファイル識別子または TCP/UDP ソケットから入力を受け取る、変更されていない Linux または Windows バイナリターゲット (マシンコード) を解析します。

ベース実行ファイルターゲットのサポート
アーキテクチャ	x86_64, x86, ARM (ARMv4t through ARMv8), MIPS, PowerPC
読み取り元	stdin, file, TCP, UDP, Unix domain sockets
欠陥	Mayhem はテストケースが以下の要因から欠陥を発生させた場合に検出します: アサート違反メモリ安全性違反キャッチされていない UNIX シグナル Mayhem が発見する CWE (Common Weakness Enumeration) の一覧については選別と診断セクションを参照してください。
特別なサポート	Mayhem は Golang および Rust で記述されたターゲットを自動検出し、未処理の panicを発見します。

インストゥルメンテーション付きターゲット¶

Mayhem は、AFL/AFL++、honggfuzz、libFuzzer を使用して作成された既存のファジングターゲットの実行をサポートしています。また、Mayhem は libFuzzer でインストゥルメントされた Windows ターゲットをサポートします。これらのファザーによってサポートされる言語には、clang 対応言語、Golang、Rust が含まれます。

Info

Mayhem は libFuzzer バージョン LLVM 5.0 以上をサポートします。

インストゥルメンテーション付きターゲットのサポート
アーキテクチャ	x86_64, x86
ファザー	ベース実行ファイル³	AFL/AFL++⁴	honggfuzz⁵	libFuzzer⁶
dictionary		⁷
max_length
sanitizers

選別と診断¶

Mayhem によって発見されたすべてのテストケースは選別を受けます。

基本的な選別¶

基本的な選別は常に実行されます。選別処理によって、レポートされた欠陥が再現可能であることが保証され、各欠陥にスタックトレース、逆アセンブリ、シグナル番号、クラッシュタイプなどのメタデータが付加されます。また、Mayhem は多くの一般的なクラッシュタイプを認識し、該当する CWE (Common Weakness Enumeration) 番号があれば付加します。

基本的な選別によって検出される CWE:

高度な選別¶

高度な選別を有効化すると、追加の解析が行われ、メモリリークや未初期化変数の使用などの UNIX シグナルが送信されない欠陥が検出されます。

高度な選別をサポートするには、ターゲットは glibc にリンクされていなければなりません。他の libc バリアントにリンクされた (または libc にリンクされていない) ターゲットは、サポートされていません。さらに、高度な選別は、ターゲットがインストゥルメンテーション付きでなないことを必要とします。

高度な選別のサポート
アーキテクチャ	サポート
x86_64, x86
ARM
MIPS
PowerPC

(基本的な選別に加えて) 高度な選別によって検出される CWE:

Important

Mayhemfile の advanced_triage オプションに true が設定されていることを確認します。

サニタイザー¶

コンパイル時に ASAN などのサニタイザーをプログラムに追加できます。サニタイザーは、ただちにはクラッシュにつながらない欠陥を含め、Mayhem がさらに多くの欠陥を追加で検出できるようなチェックを追加します。

Mayhem は ASAN、UBSAN、LSAN および MSAN サニタイザーフラグ付きでコンパイルされたターゲットと連携します。

Note

MSAN サニタイザーターゲットは、Mayhem のメモリサンドボックスでは許容されない範囲のメモリを割り当てる場合があります。この問題の影響があり、なおかつメモリ割り当ての削除が不可能な場合、support@forallsecure.com までお問い合わせください。

(基本的な選別に加えて) サニタイザーによって検出される CWE:

CWE 全体の階層¶

情報

次の CWE 階層リストは、以下に従って分類されています。

基本的な選別
高度な選別
サニタイザー

さらに、以下の CWE は、高度な選別およびサニタイザーの両方で検出されます:

CWE 全体の階層

CWE-1000: Research Concepts
- CWE-435: Improper Interaction Between Multiple Correctly-Behaving Entities
  - CWE-188: Reliance on Data/Memory Layout
  - CWE-436: Interpretation Conflict
    - CWE-115: Misinterpretation of Input
- CWE-664: Improper Control of a Resource Through its Lifetime
  - CWE-118: Incorrect Access of Indexable Resource ('Range Error')
    - CWE-119: Improper Restriction of Operations within the Bounds of a Memory Buffer
  - CWE-400: Uncontrolled Resource Consumption
  - CWE-404: Improper Resource Shutdown or Release
    - CWE-763: Release of Invalid Pointer or Reference
      - CWE-762: Mismatched Memory Management Routines
        
        CWE-590: Free of Memory not on the Heap
    - CWE-772: Missing Release of Resource after Effective Lifetime
      - CWE-401: Failure to Release Memory Before Removing Last Reference ('Memory Leak')
  - CWE-665: Improper Initialization
    - CWE-908: Use of Uninitialized Resource
      - CWE-457: Use of Uninitialized Variable
  - CWE-704: Incorrect Type Conversion or Cast
    - CWE-681: Incorrect Conversion between Numeric Types
      - CWE-197: Numeric Truncation Error
  - CWE-913: Improper Control of Dynamically-Managed Code Resources
- CWE-682: Incorrect Calculation
- CWE-707: Improper neutralization
  - CWE-20: Improper Input Validation
    - CWE-1284: Improper Validation of Specified Quantity in Input
      - CWE-789: Uncontrolled Memory Allocation
    - CWE-1285: Improper Validation of Specified Index, Position, or Offset in Input
      - CWE-115: Misinterpretation of Input
      - CWE-129: Improper Validation of Array Index
  - CWE-228: Improper Handling of Syntactically Invalid Structure
    - CWE-233: Improper Handling of Parameters
- CWE-710: Improper Adherence to Coding Standards
  - CWE-758: Reliance on Undefined, Unspecified, or Implementation-Defined Behavior
    - CWE-562: Return of Stack Variable Address
  - CWE-1164: Irrelevant Code
    - CWE-561: Dead Code
- CWE-754: Improper Check for Unusual or Exceptional Conditions
  - CWE-703: Improper Check or Handling of Exceptional Conditions
    - CWE-476: NULL Pointer Dereference
      - CWE-690: Unchecked Return Value to NULL Pointer Dereference

Web コンソール¶

Mayhem Webコンソールは Chrome、Firefox、Microsoft Edge ブラウザーをサポートしています。

CLI¶

mayhem CLI は、Mayhem とプログラム的にやりとりするための主要なツールです。以下は、mayhem コマンドを実行可能なすべてのサポート対象環境のリストです。

CLI サポートマトリクス
オペレーティングシステム	アーキテクチャ	システム要件
Linux	x86_64	なし (静的にリンクされたバイナリ)
macOS	x86_64	macOS >= 10.13
Windows	x86_64	Windows 10+

API¶

Mayhem のリリースは、同じメジャーリリースの API ユーザーに対して後方互換性があります (たとえば、Mayhem 1.x の API クライアントは Mayhem 1.x サーバーと共に使用した場合、問題なく動作するはずです)。Mayhem API はセマンティックバージョニングを使用します。

新しいメジャーリリース (例: Mayhem 2.x) が行われる場合、API ユーザーにとって互換性に影響を与える可能性がある変更は、あらかじめ公表されます。

ターゲット サポート マトリクス¶

概要¶

ベース実行ファイル ターゲット¶