This is the command undertaker that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
D: - find defects in conditinal C code
SYNOPSIS
undertaker [OPTIONS] <file..>
DESCRIPTION
I: undertaker v1.1+179-2bb9f3f-dirty `undertaker' analyzes conditional C code with
#ifdefs.
OPTIONS
-V print version information
-v increase the log level (more verbose)
-q decrease the log level (less verbose)
-m specify the model(s) (directory or file)
-M specify the main model
-w specify a whitelist
-b specify a worklist (batch mode)
-t specify count of parallel processes
-I add an include path for #include directives
-j specify the jobs which should be done
dead
dead/undead file analysis (default)
coverage
coverage file analysis
cpppc
CPP Preconditions for whole file
blockpc: Block precondition (format: <file>:<line>
<column>)
symbolpc
Symbol precondition (format <symbol>)
checkexpr
Find a configuration that satisfies expression
interesting
Find related items (negated items are not in the model)
Coverage Options:
-O: specify the output mode of generated configurations
kconfig
generated partial kconfig configuration (default)
stdout
print on stdout the found configurations
cpp
print on stdout cpp -D command line arguments
exec:cmd
pipe file for every configuration to cmd
model
print all options which are in the configuration space
all
dump every assigned symbol (both items and code blocks)
-C: specify coverage algorithm
simple
- relative simple and fast algorithm (default)
min - slow but generates less configuration sets
Specifying Files:
You can specify one or many files (the format is according to the job (-j) which
should be done. If you specify - as file, undertaker will load models and whitelist
and read files from stdin (interactive).
please specify a file to scan or a worklist
`undertaker' analyzes conditional C code with #ifdefs.
Usage: undertaker [OPTIONS] <file..>
-V print version information
-v increase the log level (more verbose)
-q decrease the log level (less verbose)
-m specify the model(s) (directory or file)
-M specify the main model
-w specify a whitelist
-b specify a worklist (batch mode)
-t specify count of parallel processes
-I add an include path for #include directives
-j specify the jobs which should be done
dead
dead/undead file analysis (default)
coverage
coverage file analysis
cpppc
CPP Preconditions for whole file
blockpc: Block precondition (format: <file>:<line>
<column>)
symbolpc
Symbol precondition (format <symbol>)
checkexpr
Find a configuration that satisfies expression
interesting
Find related items (negated items are not in the model)
Coverage Options:
-O: specify the output mode of generated configurations
kconfig
generated partial kconfig configuration (default)
stdout
print on stdout the found configurations
cpp
print on stdout cpp -D command line arguments
exec:cmd
pipe file for every configuration to cmd
model
print all options which are in the configuration space
all
dump every assigned symbol (both items and code blocks)
-C: specify coverage algorithm
simple
- relative simple and fast algorithm (default)
min - slow but generates less configuration sets
Specifying Files:
You can specify one or many files (the format is according to the job (-j) which
should be done. If you specify - as file, undertaker will load models and whitelist
and read files from stdin (interactive).
Use undertaker online using onworks.net services
