.exeのアプリケーションが開かなくて困っています

Question

proverifという形式的暗号プロトコル安全性検証ツールを使用したく、公式サイトよりWindows版をダウンロードしたのですが、解凍したファイルの中にあるproverif.exeをダブルクリックしても何の反応もありません。

コマンドプロンプトで

'proverif.exe'は、内部コマンドまたは外部コマンド、操作可能なプログラムまたはバッチ　ファイルとして認識されていません。

と表示され、検証ができなくて困っています。

Answer 1

> proverif.exeをダブルクリックすると何らかのアプリケーションが立ち上がるのでしょうか？

コマンドライン アプリケーションなので、何かのウィンドウが表示される訳ではありません。

一瞬コマンドプロンプトのコンソールが表示されるかもしれませんが、引数なしでの実行になるのですぐに終了して消えてしまうでしょう。

> proverif.exe DP_CRYPTO2021¥01.pv

として実行して、「'proverif.exe'は、内部コマンドまたは外部コマンド、操作可能なプログラムまたはバッチ　ファイルとして認識されていません。」と表示されているのであれば、パスが通っていないのでしょう。

proverif.exe が保存されている場所をカレント ディレクトリにして実行してください。

パスとかカレントディレクトリとかの用語が分からないということであれば、まず勉強しましょう。

Answer 2

回答ありがとうございます。

正しく展開できていれば、proverif.exeをダブルクリックすると何らかのアプリケーションが立ち上がるのでしょうか？

コマンドプロンプトには、

proverif.exe DP_CRYPTO2021¥01.pv

のようにして実行しようとしています。

分かりにくくて申し訳ありません。

Answer 3

回答ありがとうございます。

コマンドプロンプトで

proverif.exe

とだけ入力して実行した結果、そう表示されました。

dir proverif.exe

で実行すると、

ドライブCのボリュームラベルがありません。ボリュームシリアル番号はA01C-1530です

C:¥Users¥(ユーザー名)のディレクトリ

ファイルが見つかりません

と表示されました。

Answer 4

© ウィンドウズスクリプトプログラマ - Windows Script Programmer 2022

---

コマンドプロンプトで

'proverif.exe'は、内部コマンドまたは外部コマンド、操作可能なプログラムまたはバッチ　ファイルとして認識されていません。

dir

で出てくるのですか。

dir proverif.exe

で出てくるのですか。

Answer 5

手元で試しにダウンロードしてみましたが、コマンドとして認識されますね。

.tar.gz でダウンロードされるので、展開が正しくできていないか、コマンドの実行の仕方が悪いか（パスの通っていないところで実行しようとしている）、などじゃないですか？

因みにコマンドに引数としてファイル名を指定しないと何も表示せずに終了します。