UNDERTAKER-KCONFIGDUMP(1) User Commands UNDERTAKER-KCONFIGDUMP(1)NAME
undertaker-kconfigdump - get a configuration dump from a Linux kernel tree
SYNOPSIS
undertaker-kconfigdump
DESCRIPTION
This script should be run with the current directory set to the top level of a Linux kernel source tree. It extracts information from the
Kconfig files, and processes that information to produce a model.
ENVIRONMENT VARIABLES
MODELS If set, the directory where models are placed. Default: "model".
DEBUG If set (to any value), print some debug information.
AUTHOR
Written by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>
REPORTING BUGS
Report bugs to <vamos-dev@i4.informatik.uni-erlangen.de>.
SEE ALSO undertaker(1)undertaker-kconfigdump(1), undertaker-linux-tree(1).
Undertaker 1.1 UNDERTAKER-KCONFIGDUMP(1)
Check Out this Related Man Page
D:(1) User Commands D:(1)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, under-
taker 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, under-
taker will load models and whitelist and read files from stdin (interactive).
AUTHOR
Written by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>
REPORTING BUGS
Report bugs to <vamos-dev@i4.informatik.uni-erlangen.de>.
SEE ALSO undertaker(1)undertaker-kconfigdump(1), undertaker-linux-tree(1).
D : undertaker v1.1+179-2bb9f3f-dirty December 2011 D:(1)