これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド アンダーテイカーです。
プログラム：
NAME
D: - 条件付き C コードの欠陥を見つける
SYNOPSIS
引受人 [OPTIONS] <ファイル..>
DESCRIPTION
I: undertaker v1.1+179-2bb9f3f-dirty `undertaker' は条件付き C コードを分析します
#ifdef。
OPTIONS
-V バージョン情報を印刷する
-v ログレベルを上げる (より詳細)
-q ログレベルを下げます (冗長度を下げます)
-m モデルを指定します (ディレクトリまたはファイル)
-M メイン モデルを指定する
-w ホワイトリストを指定する
-b ワークリストを指定する (バッチ モード)
-t 並列プロセス数を指定する
-I #include ディレクティブのインクルード パスを追加する
-j やるべき仕事を特定する
死んだ
デッド/アンデッド ファイルの分析 (デフォルト)
カバレッジ
カバレッジ ファイルの分析
cpppc
ファイル全体の CPP 前提条件
ブロックpc: ブロック 前提条件 （フォーマット： :
)
シンボルpc
シンボルの前提条件 (フォーマット)
チェック式
式を満たす構成を見つける
興味深い
関連項目を検索 (否定された項目はモデルにありません)
カバレッジ オプション：
-O: 生成された構成の出力モードを指定します
kconfig
生成された部分的な kconfig 構成 (デフォルト)
(Linuxで言うところのstdout）
見つかった構成を stdout に出力します
cpp
標準出力 cpp に出力 -D コマンドライン引数
実行:コマンド
すべての構成のファイルを cmd にパイプします。
構成スペースにあるすべてのオプションを出力します
を
割り当てられたすべてのシンボルをダンプします (アイテムとコード ブロックの両方)
-C: カバレッジ アルゴリズムを指定します
シンプルな
- 比較的単純で高速なアルゴリズム (デフォルト)
min - 低速ですが、生成される構成セットは少なくなります
指定 ファイル：
XNUMX つまたは複数のファイルを指定できます (形式はジョブによって異なります (-j）どの
行われるべきです。 -as file を指定すると、undertaker はモデルとホワイトリストを読み込みます
stdin (対話型) からファイルを読み取ります。
スキャンするファイルまたはワークリストを指定してください
`undertaker' は、#ifdefs を使用して条件付き C コードを分析します。
用途:アンダーテイカー [OPTIONS]
-V バージョン情報を印刷する
-v ログレベルを上げる (より詳細)
-q ログレベルを下げます (冗長度を下げます)
-m モデルを指定します (ディレクトリまたはファイル)
-M メイン モデルを指定する
-w ホワイトリストを指定する
-b ワークリストを指定する (バッチ モード)
-t 並列プロセス数を指定する
-I #include ディレクティブのインクルード パスを追加する
-j やるべき仕事を特定する
死んだ
デッド/アンデッド ファイルの分析 (デフォルト)
カバレッジ
カバレッジ ファイルの分析
cpppc
ファイル全体の CPP 前提条件
ブロックpc: ブロック 前提条件 （フォーマット： :
)
シンボルpc
シンボルの前提条件 (フォーマット)
チェック式
式を満たす構成を見つける
興味深い
関連項目を検索 (否定された項目はモデルにありません)
カバレッジ オプション：
-O: 生成された構成の出力モードを指定します
kconfig
生成された部分的な kconfig 構成 (デフォルト)
(Linuxで言うところのstdout）
見つかった構成を stdout に出力します
cpp
標準出力 cpp に出力 -D コマンドライン引数
実行:コマンド
すべての構成のファイルを cmd にパイプします。
構成スペースにあるすべてのオプションを出力します
を
割り当てられたすべてのシンボルをダンプします (アイテムとコード ブロックの両方)
-C: カバレッジ アルゴリズムを指定します
シンプルな
- 比較的単純で高速なアルゴリズム (デフォルト)
min - 低速ですが、生成される構成セットは少なくなります
指定 ファイル：
XNUMX つまたは複数のファイルを指定できます (形式はジョブによって異なります (-j）どの
行われるべきです。 -as file を指定すると、undertaker はモデルとホワイトリストを読み込みます
stdin (対話型) からファイルを読み取ります。
onworks.net サービスを使用してアンダーテイカーをオンラインで使用する
