Acesta este operatorul de comandă care poate fi rulat în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
D: - găsiți defecte în codul C conditinal
REZUMAT
funerar [OPŢIUNI] <fișier..>
DESCRIERE
I: undertaker v1.1+179-2bb9f3f-dirty „undertaker” analizează codul C condiționat cu
#ifdefs.
OPŢIUNI
-V informații despre versiunea tipărită
-v crește nivelul jurnalului (mai pronunțat)
-q reduceți nivelul jurnalului (mai puțin pronunțat)
-m specificați modelul(ele) (director sau fișier)
-M specificați modelul principal
-w specificați o listă albă
-b specificați o listă de lucru (mod lot)
-t specificați numărul de procese paralele
-I adăugați o cale include pentru directivele #include
-j specificați lucrările care trebuie făcute
mort
analiza fișierului mort/nemort (implicit)
acoperire
analiza fișierului de acoperire
cpppc
CPP Precondiții pentru întregul fișier
blockpc: Bloca condiție prealabilă (format: :
)
simbolpc
Condiție prealabilă pentru simbol (format )
checkexpr
Găsiți o configurație care satisface expresia
interesant
Găsiți articole înrudite (articolele respinse nu sunt în model)
Acoperire Opțiuni:
-O: specificați modul de ieșire al configurațiilor generate
kconfig
configurație kconfig parțială generată (implicit)
stdout
tipăriți pe stdout configurațiile găsite
cpp
imprimare pe stdout cpp -D argumentele liniei de comandă
exec:cmd
fișier pipe pentru fiecare configurație la cmd
model
tipăriți toate opțiunile care se află în spațiul de configurare
toate
aruncați fiecare simbol alocat (atât articolele, cât și blocurile de cod)
-C: specificați algoritmul de acoperire
simplu
- algoritm relativ simplu și rapid (implicit)
min - lent, dar generează mai puține seturi de configurare
specificarea Fişiere:
Puteți specifica unul sau mai multe fișiere (formatul este în funcție de lucrare (-j) care
ar trebui făcut. Dacă specificați - ca fișier, Undertaker va încărca modelele și lista albă
și citiți fișiere din stdin (interactiv).
vă rugăm să specificați un fișier de scanat sau o listă de lucru
„Undertaker” analizează codul C condiționat cu #ifdefs.
Utilizare: pompe funebre [OPȚIUNI]
-V informații despre versiunea tipărită
-v crește nivelul jurnalului (mai pronunțat)
-q reduceți nivelul jurnalului (mai puțin pronunțat)
-m specificați modelul(ele) (director sau fișier)
-M specificați modelul principal
-w specificați o listă albă
-b specificați o listă de lucru (mod lot)
-t specificați numărul de procese paralele
-I adăugați o cale include pentru directivele #include
-j specificați lucrările care trebuie făcute
mort
analiza fișierului mort/nemort (implicit)
acoperire
analiza fișierului de acoperire
cpppc
CPP Precondiții pentru întregul fișier
blockpc: Bloca condiție prealabilă (format: :
)
simbolpc
Condiție prealabilă pentru simbol (format )
checkexpr
Găsiți o configurație care satisface expresia
interesant
Găsiți articole înrudite (articolele respinse nu sunt în model)
Acoperire Opțiuni:
-O: specificați modul de ieșire al configurațiilor generate
kconfig
configurație kconfig parțială generată (implicit)
stdout
tipăriți pe stdout configurațiile găsite
cpp
imprimare pe stdout cpp -D argumentele liniei de comandă
exec:cmd
fișier pipe pentru fiecare configurație la cmd
model
tipăriți toate opțiunile care se află în spațiul de configurare
toate
aruncați fiecare simbol alocat (atât articolele, cât și blocurile de cod)
-C: specificați algoritmul de acoperire
simplu
- algoritm relativ simplu și rapid (implicit)
min - lent, dar generează mai puține seturi de configurare
specificarea Fişiere:
Puteți specifica unul sau mai multe fișiere (formatul este în funcție de lucrare (-j) care
ar trebui făcut. Dacă specificați - ca fișier, Undertaker va încărca modelele și lista albă
și citiți fișiere din stdin (interactiv).
Utilizați funcționar online folosind serviciile onworks.net
