これは「MOPS:MOdelchecking Programs for Security」というLinuxアプリで、最新リリースはmops10.tar.gzとしてダウンロードできます。ワークステーション向けの無料ホスティングプロバイダーであるOnWorksでオンラインで実行できます。
MOPS:MOdelchecking Programs for Security というアプリを OnWorks で無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
MOPS:セキュリティのためのモデルチェックプログラム
説明：
MOdelchecking Programs for Security(MOPS)プロジェクトは、Cプログラムのセキュリティバグを見つけるために使用します。例えば、チェック時間から使用時間までのバグ、setuidの悪用などです。
Audience
開発者向け
プログラミング言語
C
このアプリケーションは、https://sourceforge.net/projects/mopscode/ からも入手できます。OnWorks でホストされているため、無料のオペレーティングシステムから最も簡単にオンラインで実行できます。