Mayhem CLI コマンド

以下はすべての Mayhem CLI に関する総合レファレンス ガイドです。

Info

Mayhem CLI を使用するには、mayhem バイナリがインストールされている必要があります。セット アップの詳細については、「Mayhem CLI のインストール」を参照してください。

利用可能なすべての Mayhem CLI コマンドに関する詳細を表示するには、mayhem --help コマンドを使用します。

(base) andrew@Andrews-MacBook-Pro mcode % mayhem --help
usage: mayhem [-h] [-y] [--verbosity {info,debug}] [--version] CMD ...

Command line client for interacting with Mayhem

*positional arguments*:
  CMD
    check               Check targets to see if they are Mayhem-eligible.
    docker-registry     Gets the URI for mayhem's docker registry.
    download            Download a target and its test cases.
    init                Generate a Mayhemfile.
    list                List projects and targets you have run.
    login               Login to a Mayhem server.
    logout              Logout from a Mayhem server.
    package             Package the given target and dependencies for Mayhem.
    run                 Run a target through Mayhem.
    show                Show Mayhem run(s).
    stop                Stop a Mayhem run.
    sync                Sync a package to its latest state.
    validate            Validate a Mayhemfile.
    wait                Wait for a run to finish.

*optional arguments*:
  -h, --help            Show this help message and exit.
  -y, --noninteractive  Accept the default options for all prompts. Equivalent 
                        to setting the environment variable `MAYHEM_NONINTERACTIVE=1`.
  --prompt              Force prompt text to display. Useful when no 
                        TTY/interactive shell is connected, such as in a CI/CD pipeline,
                        and a user wants to control prompt input. Equivalent 
                        to setting the environment variable `MAYHEM_PROMPT=1`.
  --verbosity {info,debug}
                        Set mayhem verbosity level.
  --version             Get the version of the Mayhem CLI.

additional information:
    By default, mayhem stores its configuration in the directory
    `~/.config/mayhem`.
    If the environment variable `XDG_CONFIG_HOME` is set, it will
    store configuration under `$XDG_CONFIG_HOME/mayhem`.

check

ターゲットが Mayhem に適合するかをチェックします。

• 構文: mayhem check <file>

• 必須引数:

  • file: チェック対象のローカル ファイルへのパスです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • --format {pretty,json}: 返される結果のフォーマットです。

• 使用例: file = ./testme

  mayhem check ./testme コマンドは、testme バイナリの以下のようなさまざまな特性を現在のディレクトリに出力します。

  • アーキテクチャ、ワード サイズ、エンディアン
  • 動的にロードされたライブラリ
  • DEP やスタック カナリアなどの悪用可能性ファクター
  • ロード時のメモリ マップ
  • ファザー インストゥルメンテーションの有無
  • バイナリが行う可能性があるシステム コール

  ~/tutorial/testme/v1# mayhem check ./testme
  Key        Value
  ---------  -------------------------------
  File       /root/tutorial/testme/v1/testme
  Type       ELF/x86_64
  Version    8.3.0
  PIE        ✖
  DEP        ✖
  Canary     ✖
  Fortify    ✖
  Static     ✔
  Fuzz       ✔
  LibFuzzer  ✖
  HonggFuzz  ✖
  SymbExec   ✔
  AFL        ✖
  ASAN       ✖
  MSAN       ✖
  UBSAN      ✖
  LSAN       ✖
  Rust       ✖
  Golang     ✖
  

docker-registry

Mayhem の Docker レジストリの URI を取得します。

• 構文: mayhem docker-registry

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。

• 使用例:

  mayhem docker-registry コマンドは、接続された Mayhem Docker レジストリの URI を出力します。

  ~/tutorial/testme/v1# mayhem docker-registry
  tutorial.forallsecure.com:5000
  

download

ターゲットとテスト ケースをダウンロードします。

• 構文: mayhem download <target>

• 必須引数:

  • target: [<owner>/]<project>/<target> として指定します。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -o OUTPUT, --output OUTPUT: ターゲットの出力ディレクトリを指定します。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例: <target> = testme/testme

  mayhem download testme/testme コマンドは、接続された Mayhem ユーザーの testme プロジェクト内に存在する testme ターゲットの最新の Mayhemfile、testsuite.tar、root.tgz (非 Docker ターゲットの場合) をダウンロードします。

  ~/tutorial/testme/v1# mayhem download testme/testme
  Downloaded: Mayhemfile.
  Downloaded: root.tgz.
  Downloading testsuite.tar:   1.3 MiB |         #| Elapsed Time: 0:00:02 466.7 KiB/s
  Extracting test 1281 of 1281 |#############| Time:  0:00:00
  Target downloaded at: '/tmp/testmetestme-uk3lt2ql'.
  

init

Mayhemfile を生成します。

• 構文: mayhem init <image>

• 必須引数:

  • image: Docker イメージ タグまたはハッシュです。

• 任意引数:

  • -h: このヘルプ メッセージを表示して終了します。
  • -o OUTPUT: Mayhemfile のファイル パスを指定します。
  • --project PROJECT: プロジェクト名です。
  • --owner OWNER: このプロジェクトのオーナーです。
  • --target TARGET: ターゲット名です。
  • --image IMAGE: 解析する Docker イメージです。
  • --duration DURATION: 実行する秒数 (実際の経過時間) を指定します。
  • --uid UID: ターゲットの実行に使用するユーザー ID です。
  • --gid GID: ターゲットの実行に使用するグループ ID です。
  • --advanced-triage ADVANCED_TRIAGE: 追加の高度な優先順位付け解析を設定します。Mayhem が発見する CWE の数が増加しますが、テスト ケース処理時間も増加します。
  • --cmd CMD: ターゲットを呼び出すためのコマンドです。
  • --cwd CWD: ターゲットの実行に使用する現在の作業ディレクトリです。
  • --env KEY=VALUE: 実行時にインクルードする環境変数です。
  • --filepath FILEPATH: ターゲットが読み取りを行う入力ファイルのパスです。
  • --network-url NETWORK_URL: ターゲットが読み取りを行うネットワーク URI です。
  • --network-timeout NETWORK_TIMEOUT: ターゲットがネットワーク入力を受信するのを Mayhem が待機する時間 (単位: 秒) です。
  • --network-client NETWORK_CLIENT: ネットワーク ターゲットがクライアントであるかサーバーであるかを指定します。
  • --libfuzzer LIBFUZZER: ターゲットが libfuzzer ターゲットかどうかを指定します。
  • --honggfuzz HONGGFUZZ: ターゲットが honggfuzz ターゲットかどうかを指定します。
  • --sanitizer SANITIZER: サニタイズ付きでコンパイルされているかどうかを指定します。
  • --max-length MAX_LENGTH: テスト ケースの最大の長さです。
  • --memory-limit MEMORY_LIMIT: ターゲットに許可するメモリの量をメガバイト (MB) 単位で指定します。
  • --template TEMPLATE: ハーネス テンプレートまたはラッパーを生成します。現時点では、C++ および AutoSAR がサポートされています。

• 使用例 1: <image> = nginx

  mayhem init nginx コマンドは、Docker Hub またはプライベートな Mayhem Docker レジストリの指定された Docker イメージに対して Mayhemfile を生成し、Mayhemfile の必須フィールド (version、project、target、cmds および cmd) に自動的に値を設定しようとします。

  (base) andrew@Andrews-MacBook-Pro mcode % mayhem init nginx
  View/edit generated Mayhemfile at: /Users/andrew/Desktop/mcode/Mayhemfile
  To start a run with this configuration, run  mayhem run .
  

  # Mayhem by https://forallsecure.com
  # Mayhemfile: configuration file for testing your target with Mayhem
  # Format: YAML 1.1
  
  # Owned project name that the target belongs to
  project: nginx
  
  # Target name (should be unique within the project)
  target: nginx-latest
  
  # Base image to run the binary in.
  image: nginx:latest
  
  # List of commands used to test the target
  cmds:
  
    # Command used to start the target, "@@" is the input file
    # (when "@@" is omitted Mayhem defaults to stdin inputs)
    - cmd: nginx -g 'daemon off;'
        network:
          client: false
          timeout: 2.0
          url: tcp://localhost:80
        env: {}
  
        ## Uncomment to change default dir (/) from which the target is invoked
        #cwd: /
  
        ## Max test case length (in bytes) to be taken into account. Test cases over
        ## that length will be truncated. Be very careful about increasing this
        ## limit as it can severely affect your fuzzer performance.
        # max_length: 8192
  

• 使用例 2: <image> = null

  mayhem init コマンドは、デフォルトの Mayhemfile テンプレートを生成します。

  (base) andrew@Andrews-MacBook-Pro mcode % mayhem init
  View/edit generated Mayhemfile at: /Users/andrew/Desktop/mcode/Mayhemfile
  To start a run with this configuration, run  mayhem run .
  

  # Mayhem by https://forallsecure.com
  # Mayhemfile: configuration file for testing your target with Mayhem
  # Format: YAML 1.1
  
  # Owned project name that the target belongs to
  project: MYPROJECT
  
  # Target name (should be unique within the project)
  target: MYTARGET
  
  # Base image to run the binary in.
  image: MYIMAGE
  
  # List of commands used to test the target
  cmds:
  
    # Command used to start the target, "@@" is the input file
    # (when "@@" is omitted Mayhem defaults to stdin inputs)
    - cmd: MYBINARY
        env: {}
  
        ## Uncomment to change default dir (/) from which the target is invoked
        #cwd: /
  
        ## If this is a network target, uncomment the block below and remove
        ## the @@ input file reference in the cmd (you can either test network or
        ## file inputs, not both).
        #network:
        ## Use "127.0.0.1" instead of "localhost" below if you want to test only
        ## for IPv4. For IPv6, use "[::1]". By leaving as "localhost", Mayhem will
        ## attempt to autodetect the one used by the target.
        #  url: tcp://localhost:8080  # protocol, host and port to analyze
        #  client: false           # target is a client-side program
        #  timeout: 2.0               # max seconds for sending data
  
        ## Max test case length (in bytes) to be taken into account. Test cases over
        ## that length will be truncated. Be very careful about increasing this
        ## limit as it can severely affect your fuzzer performance.
        # max_length: 8192
  

list

実行済みのプロジェクトおよびターゲットのリストを表示します。

• 構文: mayhem list

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例:

  mayhem list コマンドは、接続済みの Mayhem ユーザーに対応するプロジェクトおよびターゲットを <project>/<target> という形式で返します。

  ~/tutorial/testme/v1# mayhem list
  afl/testme
  atheris/fuzzme-out-of-bounds
  atheris/testme
  auto-resolution/buf
  auto-resolution/testme-timeout
  bacsrv/bacsrv
  c/powerpc-c-uninstrumented
  cpp/cpp-afl-gcc
  dialserver/dialserver
  dnsmasq/dnsmasq
  docker/lighttpd-1-4
  docker/testme
  foo/bar
  forallsecure-testme-docker/latest
  forallsecure-tutorial/latest
  ...
  

login

Mayhem サーバーにログインします。

• 構文: mayhem login <MAYHEM_URL> <MAYHEM_TOKEN>

• 必須引数:

  • MAYHEM_URL: 実行中の Mayhem API への URL です。
  • MAYHEM_TOKEN: Mayhem API にアクセスするための認証トークンです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例: MAYHEM_URL = tutorial.forallsecure.com MAYHEM_TOKEN = AT1.XAqBdE9bdo9YlMwDFdp-1Ku7wq8Cmek1

  mayhem login tutorial.forallsecure.com AT1.XAqBdE9bdo9YlMwDFdp-1Ku7wq8Cmek1 コマンドは、API トークンによって指定されたユーザーで Mayhem サーバーにログインします。Mayhem CLI は、対応する Mayhem Docker レジストリが利用可能な場合、レジストリにもログインを試みます。

  Logged in successfully at 'https://tutorial.forallsecure.com:443' as 'mayhemuser'.
  Syncing default settings: /root/.config/mayhem/mayhem.
  Docker is not installed, skipping docker login
  

logout

Mayhem サーバーからログアウトします。

• 構文: mayhem logout

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。

• 使用例:

  mayhem logout コマンドは、Mayhem サーバーおよび Mayhem Docker レジストリ (利用可能な場合) からユーザーをログアウトします。

  Docker CLI not found, skipping logout from Docker registry.
  Logged out.
  

package

指定されたターゲットおよび依存関係を Mayhem 用にパッケージ化します。

• 構文: mayhem package <binary>

• 必須引数:

  • binary: パッケージ化するローカル ターゲットへのパスです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -o OUTPUT, --output OUTPUT: パッケージの出力ディレクトリを指定します。
  • -d DEPDIRS, --depdirs DEPDIRS: 依存関係を検索するディレクトリのカンマ区切りリストです。

• 使用例: <binary> = ./testme

  mayhem package ./testme コマンドは、現在のディレクトリにある testme バイナリをパッケージ化し、依存関係を静的に推測し、生成された Mayhemfile およびテスト フォルダーと共に /tmp/testme-noleclq8 に含めます。

  ~/tutorial/testme/v1# mayhem package ./testme
  Packaging target: /root/tutorial/testme/v1/testme
  Packaging dependency: /root/tutorial/testme/v1/testme -> /tmp/testme-noleclq8/root/root/tutorial/testme/v1/testme
  Generating default configuration under: /tmp/testme-noleclq8/Mayhemfile
  Packaging complete.
  To upload the package do: `mayhem run /tmp/testme-noleclq8`.
  Before uploading, you may wish to edit the config file at '/tmp/testme-noleclq8/Mayhemfile'.
  /tmp/testme-noleclq8
  ~/tutorial/testme/v1# ls -l /tmp/testme-noleclq8
  -rw-r--r-- 1 root root 1918 Jan  5 18:08 Mayhemfile
  drwxr-xr-x 2 root root 4096 Jan  5 18:08 tests
  drwxr-xr-x 3 root root 4096 Jan  5 18:08 root
  

run

Mayhem を使用してターゲットを実行します。

構文: mayhem run <package>

• 必須引数:

  • package: パッケージ化されたターゲットを含むディレクトリへのパスです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • --regression: 利用可能なテスト ケースに対して回帰テストを実行します。
  • --static: ターゲットのエントリポイントに対して静的チェックを実行します。
  • --dynamic: ターゲットに対して動的テストを実行します。
  • --coverage: ターゲットに対してカバレッジ解析を実行します。
  • --all: サポートされるすべての解析を有効化します。
  • -f FILE, --file FILE: 使用する Mayhemfile へのパスです (デフォルト値: <package>/Mayhemfile)。
  • -b BUILD_ID, --build-id BUILD_ID: この特定のランに関連付けるビルド ID です。
  • --docker: パッケージが Docker イメージ タグかハッシュであるかを指定します。
  • --warning-as-error: 警告をエラーとして扱います。
  • --testsuite TESTSUITE: テスト スイートのディレクトリを指定します。
  • --project PROJECT: プロジェクト名です。
  • --owner OWNER: このプロジェクトのオーナーです。
  • --target TARGET: ターゲット名です。
  • --duration DURATION: ビヘイビア テスト実行時間を秒単位または 'XhYmZs' というフォーマットで指定します。X は時間、Y は分、Z は秒です。 (デフォルト: なし) / Mayhemfile を上書きします。
  • --uid UID: ターゲットの実行に使用するユーザー ID です。
  • --gid GID: ターゲットの実行に使用するグループ ID です。
  • --advanced-triage ADVANCED_TRIAGE: 追加の高度な優先順位付け解析を設定します。Mayhem が発見する CWE の数が増加しますが、テスト ケース処理時間も増加します。
  • --image IMAGE: 解析する Docker イメージです。
  • --cmd CMD: ターゲットを呼び出すためのコマンドです。
  • --cwd CWD: ターゲットの実行に使用する現在の作業ディレクトリです。
  • --env KEY=VALUE: 実行時にインクルードする環境変数です。
  • --filepath FILEPATH: ターゲットが読み取りを行う入力ファイルのパスです。
  • --network-url NETWORK_URL: ターゲットが読み取りを行うネットワーク URI です。
  • --network-timeout NETWORK_TIMEOUT: ターゲットがネットワーク入力を受信するのを Mayhem が待機する時間 (単位: 秒) です。
  • --network-client NETWORK_CLIENT: ネットワーク ターゲットがクライアントであるかサーバーであるかを指定します。
  • --libfuzzer LIBFUZZER: ターゲットが libfuzzer ターゲットかどうかを指定します。
  • --honggfuzz HONGGFUZZ: ターゲットが honggfuzz ターゲットかどうかを指定します。
  • --sanitizer SANITIZER: サニタイズ付きでコンパイルされているかどうかを指定します。
  • --max-length MAX_LENGTH: テスト ケースの最大の長さです。
  • --memory-limit MEMORY_LIMIT: ターゲットに許可するメモリの量をメガバイト (MB) 単位で指定します。
  • -n NAMESPACE, --namespace NAMESPACE: API インタラクションで名前空間です。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例 <package> = .

  mayhem run . コマンドは、現在のディレクトリで Mayhemfile を検索し、指定された Mayhemfile 設定を使用して Mayhem ランを実行します。非 Docker ターゲットの場合、Mayhemfile の cmd フィールドにターゲット バイナリへの有効なファイル パスが指定されている、パッケージ化されたバイナリが必要です。

  ~/tutorial/testme/v1# mayhem run .
  /tmp/tmpgxuz_son/testsuite.tgz 100% |###########################| Time:  0:00:00 338.3 B/s
  Syncing /tmp/tmpukob8cbx 100% |##############################| Time:  0:00:00
  /tmp/tmp73rvnn8l/Mayhemfile 100% |###########################| Time:  0:00:00   3.1 KiB/s
  Run started: testme/testme/66
  Run URL: https://tutorial.forallsecure.com:443/mayhemuser/testme/testme/66
  testme/testme/66
  

show

Mayhem ランを表示します。

• 構文: mayhem show <run>

• 必須引数:

  • run: [<owner>/]<project>/<target>/<run> フォーマットのラン指定子です。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • --status STATUS: 正規表現で指定したステータスに基づいてランをフィルターします (デフォルト値: '.*')。
  • --format {pretty,json,csv}: 返される結果のフォーマットです。
  • -n NAMESPACE, --owner NAMESPACE API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例 1: <run> = testme/testme/66

  mayhem show testme/testme/66 コマンドは、接続済みの Mayhem ユーザーの testme プロジェクト内にある testme ターゲットの 66 番目のランの解析結果を返します。

  ~/tutorial/testme/v1# mayhem show testme/testme/66
  Statistics for testme/testme/66
  Status: dynamic_analysis:failed, regression_testing:failed, static_analysis:completed
  Run started: Wed Jan 5 18:24:45 2022 +0000
  Time elapsed: 0:00:04
  Tests performed: 0
  Test reports: 0
  Crash reports: 0
  Defects: 0
  

• 使用例 2: <run> = null

  mayhem show コマンドは、接続済みの Mayhem ユーザーのすべてのプロジェクトおよびターゲットのすべてのランの解析結果を返します。

  ~/tutorial/testme/v1# mayhem show
  Reports    Crashes    Defects  Date
  ----------------------------------------------------------------------------------------------------------------------------------------
  testme/foo/1 dynamic_analysis:failed, static_analysis:completed, regression_testing:completed  82  59  1  Tue Oct 12 21:04:35 2021 +0000
  testme/testme/68 dynamic_analysis:failed, regression_testing:failed, static_analysis:completed  0   0  0  Wed Jan 5 21:16:49 2022 +0000
  testme/testme/67 static_analysis:stopped, regression_testing:stopped, dynamic_analysis:stopped  0   0  0  Wed Jan 5 20:06:20 2022 +0000
  ...  
  

stop

Mayhem ランを中止します。

• 構文: mayhem stop <run_path>

• 必須引数:

  • run_path: [<owner>/]<project>/<target>/<run_number> フォーマットのランの名前です。ターゲットのすべてのランを中止するには、<run_number> を省略します。例 "mayhem stop my-project/target"すべてのターゲットのすべてのランを中止するには、<run_number> および <target> の両方を省略します。例 "mayhem stop my-project"

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例: <run_path>: testme/testme/67

  mayhem stop testme/testme/67 コマンドは、接続済みの Mayhem ユーザーに関連付けられた testme プロジェクトの testme ターゲットの 67 番目の実行中ランを中止します。

  ~/tutorial/testme/v1# mayhem stop testme/testme/67
  Stopping Run testme/testme/67...
  Stopping dynamic_analysis...
  Stopping regression_testing...
  Stopping static_analysis...
  

sync

パッケージを最新の状態に同期します。mayhem sync path/to/target を実行すると、以前にパッケージ化し実行したターゲットから最新のテスト ケースを取得します。

• 構文: mayhem sync <package>

• 必須引数:

  • package: パッケージ ディレクトリへのパスです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例: <package> = .

  mayhem sync . コマンドは、現在のディレクトリで Mayhemfile を検索し、Mayhemfile 構成内の target と project を組み合わせて最新のテストケースをダウンロードします。

  ~/tutorial/testme/v1# mayhem sync .
  Downloaded: Mayhemfile.
  Downloading testsuite.tar:   1.3 MiB |                            #| Elapsed Time: 0:00:02 456.2 KiB/s
  Extracting test 1281 of 1281 |################################| Time:  0:00:00
  Target synced at: '.'.
  

validate

Mayhemfile を検証します。

• 構文: mayhem validate <package>

• 必須引数:

  • package: パッケージ化されたターゲットを含むディレクトリへのパスです。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -f FILE, --file FILE: 使用する Mayhemfile へのパスです (デフォルト値: <package>/Mayhemfile)。
  • --no-docker: Docker を必要とする侵入的検証をスキップします。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

wait

ランが終了するのを待機します。

• 構文: mayhem wait <run>

• 必須引数:

  • run: 待機するランです ([<owner>/]<project/target/run_number> フォーマット)。

• 任意引数:

  • -h, --help: このヘルプ メッセージを表示して終了します。
  • -v, --verbose: 待機中にステータス情報を出力します。
  • --regression: 回帰テストを待機します。
  • --static: 静的解析を待機します。
  • --dynamic: 動的解析を待機します。
  • --coverage: ターゲットに対してカバレッジ解析を実行します。
  • --all: すべての解析を待機します。
  • --junit JUNIT: JUnit XML レポートを生成し、指定されたファイルに書き込みます。
  • --sarif SARIF: SARIF JSON レポートを生成し、指定されたファイルに書き込みます。
  • -n NAMESPACE, --owner NAMESPACE: API インタラクションで使用するオーナーです。
  • --url URL: 実行中の Mayhem API への URL です。
  • --token TOKEN: Mayhem API にアクセスするための認証トークンです。
  • -k, --insecure: SSL 検証を無効化します。
  • --cacert CACERT: Mayhem サーバーの証明書へのパスです。
  • --timeout TIMEOUT: API レスポンスを待機する秒数です (接続が低速な場合に便利です)。

• 使用例 <run> = testme/testme/68

  mayhem wait testme/testme/68 コマンドは、接続済みの Mayhem ユーザーの testme プロジェクトにある testme ターゲットの 68 番目のランが完了するのを待機します。mayhem wait コマンドは、スクリプト内で、処理を続行する前に Mayhem ランの完了を待機する必要がある場合に特に便利です。

  ~/tutorial/testme/v1# mayhem wait testme/testme/68
  ~/tutorial/testme/v1#