Bashrs

🚀 Rash - 双方向シェル安全ツール

Rashは、既存のBashスクリプトを浄化し、安全保証付きでRustでシェルスクリプトを記述できる双方向シェル安全ツールです。

🚀 クイックスタート

インストール

# crates.ioからのインストール（推奨）
cargo install bashrs

# ソースからのインストール
git clone https://github.com/paiml/bashrs
cd bashrs
cargo install --path rash

Rustで記述し、安全なシェルを得る

// install.rs
#[rash::main]
fn main() {
    let version = env_var_or("VERSION", "1.0.0");
    let prefix = env_var_or("PREFIX", "/usr/local");

    echo("Installing MyApp {version} to {prefix}");

    mkdir_p("{prefix}/bin");
    mkdir_p("{prefix}/share/myapp");

    if exec("cp myapp {prefix}/bin/") {
        echo("✓ Binary installed");
    } else {
        eprint("✗ Failed to install binary");
        exit(1);
    }
}

安全なPOSIXシェルにトランスパイル

$ bashrs build install.rs -o install.sh

既存のBashを浄化する

浄化前（混乱したBash）

#!/bin/bash
SESSION_ID=$RANDOM                      # 非決定論的
mkdir /app/releases/$RELEASE            # 非冪等
rm /app/current                         # 存在しない場合に失敗

浄化後（Rashによる浄化済み）

#!/bin/sh
session_id="session-${version}"         # ✅ 決定論的
mkdir -p "/app/releases/${release}"     # ✅ 冪等
rm -f "/app/current"                    # ✅ 安全な削除

✨ 主な機能

• 🛡️ 自動安全化：シェルインジェクション、ワード分割、グロブ展開からの保護
• 🔍 単なるリント以上：完全なAST意味理解 - コードを変換し、単に警告するだけではない
• 📦 ランタイム依存なし：生成されたスクリプトは任意のPOSIXシェルで動作する
• 🎯 決定論的出力：同じ入力は常に同じスクリプトを生成する
• ✅ ShellCheck互換：すべての出力は厳格なリントを通過する

RashがShellCheckを上回る点

主な違い：ShellCheckは何が間違っているかを教えてくれます。Rashはコードの意図を理解し、自動的に安全で決定論的かつ冪等なコードに書き換えます。

📦 インストール

# crates.ioからのインストール（推奨）
cargo install bashrs

# ソースからのインストール
git clone https://github.com/paiml/bashrs
cd bashrs
cargo install --path rash

💻 使用例

基本的な使用法

// install.rs
#[rash::main]
fn main() {
    let version = env_var_or("VERSION", "1.0.0");
    let prefix = env_var_or("PREFIX", "/usr/local");

    echo("Installing MyApp {version} to {prefix}");

    mkdir_p("{prefix}/bin");
    mkdir_p("{prefix}/share/myapp");

    if exec("cp myapp {prefix}/bin/") {
        echo("✓ Binary installed");
    } else {
        eprint("✗ Failed to install binary");
        exit(1);
    }
}

高度な使用法

# 高度なテスト用の新しいCLIコマンド
bashrs playbook install.playbook.yaml --run
bashrs mutate script.sh --count 10
bashrs simulate script.sh --seed 42 --verify

📚 ドキュメント

Rashブックはすべてのドキュメントの公式情報源です。

→ Rashブックを読む

クイックリンク：

• はじめに
• クイックスタートチュートリアル
• リントルール
• 設定管理
• APIリファレンス

なぜブックなのか？

• ✅ すべての例は自動的にテストされます。
• ✅ 常に最新リリースと同期されています。
• ✅ すべての機能を網羅的にカバーしています。
• ✅ 実世界の例とチュートリアルが含まれています。

🔧 技術詳細

v6.46.0の新機能

最新リリース - 2025-12-21

• Probar統合：高度なテスト用の3つの新しいCLIコマンド
  • bashrs playbook - シェルスクリプトの状態マシンテスト
  • bashrs mutate - 10のミューテーションオペレータを使用したミューテーションテスト
  • bashrs simulate - シード制御付きの決定論的シミュレーションリプレイ
• トランスパイラバグハント：130ポイントのポッパー反証チェックリスト（T001-T130）
• Dockerfileリント：30ポイントのDコード検証（D001-D030）
• テストスイート：7,445のテストが合格（100%合格率）
• PMATスコア：133/134（A+評価）

完全なリリースノートはCHANGELOG.mdを参照してください。

品質指標

反証テスト（ポッパー方法論）

Rashはポッパーの反証法を使用しています。テストは機能が動作することを証明するのではなく、反証を試みます。

# 130ポイントのトランスパイラ反証チェックリストを実行
cargo test -p bashrs --test transpiler_tcode_tests

# 30ポイントのDockerfile反証チェックリストを実行
cargo test -p bashrs --test dockerfile_dcode_tests

テストが合格するということは、反証の試みが失敗したことを意味し、機能が正しく動作しています。

シェル互換性

生成されたスクリプトは以下のシェルでテストされています。

パフォーマンス

Rashは高速なトランスパイルを目的として設計されています。

• Rustからシェルへのトランスパイル時間：21.1µs
• Makefile解析：0.034 - 1.43ms（ターゲットより70 - 320倍高速）
• メモリ使用量：ほとんどのスクリプトで<10MB

MCPサーバ

RashはAI支援シェルスクリプト生成用のモデルコンテキストプロトコル（MCP）サーバを提供しています。

# MCPサーバのインストール
cargo install rash-mcp

# サーバの起動
rash-mcp

公式MCPレジストリでio.github.paiml/rashとして利用可能です。

📄 ライセンス

MITライセンス。詳細はLICENSEを参照してください。