Ini adalah perintah cccheck yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
cccheck - Lakukan verifikasi kontrak kode statis untuk rakitan CLR.
RINGKASAN
periksa cc --perakitan= [pilihan]
DESKRIPSI
Lakukan verifikasi kontrak kode statis untuk menemukan bug dan inkonsistensi antar kode
dan spesifikasi. Ini termasuk non-null, analisis bilangan bulat.
Rakitan harus dibangun dengan simbol CONTRACTS_FULL yang ditentukan, jika tidak,
panggilan ke metode kontrak akan dihapus oleh kompiler.
Saat ini hanya metode Contract.Assume() dan Contract.Assert() yang didukung. Hanya non-
analisis nol didukung, analisis berturut-turut sedang dalam pengembangan. Pesan kesalahan
akan ditampilkan jika cccheck tidak dapat memproses semua atau beberapa metode yang ditentukan
majelis.
KONFIGURASI PILIHAN
--perakitan
Majelis untuk melakukan verifikasi statis.
--debug
Menampilkan informasi debug tentang proses pembuktian pernyataan. Ini menunjukkan empat
lapisan abstraksi, lapisan mentah, lapisan tumpukan, lapisan tumpukan, dan tersubstitusi
tingkat ekspresi.
--metode=
String untuk menemukan metode. Ini menyaring semua metode dalam perakitan di mana nama metode memiliki
parameter ini sebagai substring.
--membantu Tampilkan bantuan untuk cccheck, daftar opsi konfigurasi.
CONTOH
Misalkan Anda memiliki metode:
metode batal() {
objek x = nol;
ke dalam kamu = 1;
jika (y % 2 == 1)
x = objek baru();
lain
x = string baru();
Kontrak.Tegaskan(x != null); }
Setelah verifikasi alat akan memiliki hasil dalam format berikut: "Pernyataan
di : [Subrutin: Memblokir PC ] :
adalah (benar|salah|tidak terbukti|tidak dapat dijangkau)". (PC adalah penghitung program)
Gunakan cccheck online menggunakan layanan onworks.net