単一のローカルバイナリとオープンな解析エンジン — macOS、Linux、Windows 向け。アカウント不要、カード不要、データがマシンから出ることもありません。バイナリは、検証可能な SHA-256 チェックサムとともに公開されます。
$ curl -sSL https://provadyne.com/install.sh | sh
macOS クイックインストール — 最新の署名済みリリースを取得し、デーモンをインストールし、launch agent を登録します。手動で行いたい場合は、下のアーカイブを入手してください。
デーモンは単一バイナリとして提供されます。各アーカイブには、デーモン、ネイティブメッセージングホスト、エンジンが同梱されています。
各プラットフォームの手動インストール手順は、同梱の INSTALL.md に記載されています。すべてのアセットは公開のダウンロードリリースにあります — リリース全体を見る。
パイプライン内、またはデスクトップのないサーバー上で実行していますか？解析エンジンだけを PyPI からインストールできます — デスクトップアプリに同梱されているのと同じエンジンです。
$ pip install provadyne-engine
または、ネイティブな GitHub Action をワークフローに組み込んでください — エンジンをインストールし、チェックを実行し、SARIF を code scanning にアップロードします。スニペットはホームページをご覧ください。
機能安全チームはツールチェーンを信頼する必要があります。これらのバイナリがどのようにビルドされ、どのように検証するかを正確に示します。
すべてのリリースは、全アーカイブにわたる checksums.sha256 を公開します。実行前に検証してください: チェックサムをダウンロードし、shasum -a 256 -c を実行します。
バイナリは、タグ付けされたコミットから GitHub Actions によってコンパイルされます — ビルドログは公開されており、監査可能です。コンパイルされた成果物こそが私たちが提供するものであり、手作業で組み立てたものは一切ありません。
コンパイルされたバイナリとオープンな Python エンジンのみが公開されます。Go デーモンのソースは公開されません — そのため Pro ゲートが公開ツリーからパッチで外されることはありません。
認定済みツールチェーン向けに、暗号署名された成果物、SBOM、再現可能なビルド、またはエアギャップネットワークへの配布が必要ですか？それは Enterprise ティアの一部です — 営業に問い合わせいただければ、お客様の環境に向けた管理された配布を手配します。