این دستور cpbm است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
cpbm - یک جعبه ابزار تجزیه و تحلیل نرم افزار (در اصل: چارچوب معیار CPROVER)
خلاصه
cpbm فرمان فرعی [گزینه های] ...
شرح
این صفحه راهنما به اختصار مستندات cpbm فرمان
cpbm دسترسی به مجموعه ای از اسکریپت ها و ابزارها را برای محک زدن تجزیه و تحلیل نرم افزار فراهم می کند
ابزار.
دستورات فرعی
دستورات فرعی زیر موجود است. هر کدام از آنها مجموعه ای از گزینه های خاص خود را دارند که هستند
نشان داده شده توسط cpbm فرمان --کمک.
کمک | --کمک
متن راهنمای cpbm را نمایش دهید.
- نسخه
نمایش نسخه فعلی
خانه مسیری را که اسکریپت های cpbm در آن قرار دارند چاپ کنید.
باز کردن بسته بندی معیار CPROVER را باز کنید.
به روز رسانی بسته معیار CPROVER را به روز کنید.
init انجام یک بسته معیار CPROVER ایجاد کنید.
اجرا یک ابزار تأیید را روی یک معیار مشخص اجرا کنید و گزارشها را بدست آورید.
ملوان کردن
منابع C را از طریق Cil اجرا کنید.
فهرست ادعاها
همه ادعاها را در یک معیار فهرست کنید.
CSV یک جدول CSV از اجراهای معیار تولید کنید.
جدول یک جدول LaTeX از CSV تولید کنید.
گراف اسکریپت های GNUplot را برای نمودارهای جعبه و پراکنده تولید کنید.
وب جدول HTML ایجاد کنید و فایل های گزارش را برای انتشار وب جمع آوری کنید
با استفاده از خدمات onworks.net از cpbm آنلاین استفاده کنید