Dit is de opdracht cccheck die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
cccheck - Voer verificatie van statische codecontracten uit voor CLR-assemblages.
KORTE INHOUD
cccheck --montage= [Opties]
PRODUCTBESCHRIJVING
Voer statische codecontractverificatie uit om bugs en inconsistenties tussen code te vinden
en specificatie. Dit geldt ook voor niet-nul, integer-analyses.
De assembly moet gebouwd zijn met het symbool CONTRACTS_FULL gedefinieerd, anders wordt de
aanroepen van de contractmethoden zijn door de compiler verwijderd.
Momenteel worden alleen de methoden Contract.Assume() en Contract.Assert() ondersteund. Alleen niet-
nulanalyse wordt ondersteund, de opeenvolgende analyses zijn in ontwikkeling. Een foutmelding
wordt weergegeven als cccheck niet alle of sommige van de opgegeven methoden kan verwerken
bijeenkomst.
CONFIGURATIE OPTIES
--montage
De assemblage om statische verificatie uit te voeren.
--debuggen
Toont foutopsporingsinformatie over het proces van het bewijzen van de beweringen. Er staan er vier op
lagen van abstractie, ruwe laag, stapellaag, heaplaag en gesubstitueerd
expressie niveau.
--methode=
Tekenreeks voor zoekmethode. Het filtert alle methoden in de assembly waar de methodenaam voorkomt
deze parameter als een subtekenreeks.
--help Help voor cccheck weergeven, met configuratieopties.
Voorbeelden
Stel dat je een methode hebt:
ongeldige methode() {
object x = nul;
int y = 1;
als (y% 2 == 1)
x = nieuw object();
anders
x = nieuwe tekenreeks();
Contract.Assert(x != nul); }
Na de verificatie zal de tool resultaten opleveren in het volgende formaat: "Bewering
bij: [Subroutine: Blok PC ]:
is (waar | onwaar | onbewezen | onbereikbaar)". (PC is een programmateller)
Gebruik cccheck online met behulp van onworks.net-services
