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) - kconfig
- -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) - kconfig
- -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).