.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.4.
.TH D: "1" "December 2011" "D: undertaker v1.1+179-2bb9f3f-dirty" "User Commands"
.SH NAME
D: \- find defects in conditinal C code
.SH SYNOPSIS
.B undertaker
[\fIOPTIONS\fR] \fI<file\fR..\fI>\fR
.SH DESCRIPTION
I: undertaker v1.1+179\-2bb9f3f\-dirty
`undertaker' analyzes conditional C code with #ifdefs.
.SH OPTIONS
.TP
\fB\-V\fR
print version information
.TP
\fB\-v\fR
increase the log level (more verbose)
.TP
\fB\-q\fR
decrease the log level (less verbose)
.TP
\fB\-m\fR
specify the model(s) (directory or file)
.TP
\fB\-M\fR
specify the main model
.TP
\fB\-w\fR
specify a whitelist
.TP
\fB\-b\fR
specify a worklist (batch mode)
.TP
\fB\-t\fR
specify count of parallel processes
.TP
\fB\-I\fR
add an include path for #include directives
.TP
\fB\-j\fR
specify the jobs which should be done
.br
.B dead
 dead/undead file analysis (default)
.br
.B coverage
 coverage file analysis
.br
.B cpppc
 CPP Preconditions for whole file
.br
.B blockpc: Block precondition (format: <file>:<line>
 <column>)
.br
.B symbolpc
 Symbol precondition (format <symbol>)
.br
.B checkexpr
 Find a configuration that satisfies expression
.br
.B interesting
 Find related items (negated items are not in the model)
.SS "Coverage Options:"
.HP
\fB\-O\fR: specify the output mode of generated configurations
.IP
.br
.B kconfig
 generated partial kconfig configuration (default)
.br
.B stdout
 print on stdout the found configurations
.br
.B cpp
 print on stdout cpp \fB\-D\fR command line arguments
.br
.B exec:cmd
 pipe file for every configuration to cmd
.br
.B model
 print all options which are in the configuration space
.br
.B all
 dump every assigned symbol (both items and code blocks)
.HP
\fB\-C\fR: specify coverage algorithm
.TP
simple
\- relative simple and fast algorithm (default)
.TP
min
\- slow but generates less configuration sets
.SS "Specifying Files:"
.IP
You can specify one or many files (the format is according to the
job (\fB\-j\fR) which should be done. If you specify \- as file, undertaker
will load models and whitelist and read files from stdin (interactive).
.PP
please specify a file to scan or a worklist
.PP
`undertaker' analyzes conditional C code with #ifdefs.
.PP
Usage: undertaker [OPTIONS] <file..>
.TP
\fB\-V\fR
print version information
.TP
\fB\-v\fR
increase the log level (more verbose)
.TP
\fB\-q\fR
decrease the log level (less verbose)
.TP
\fB\-m\fR
specify the model(s) (directory or file)
.TP
\fB\-M\fR
specify the main model
.TP
\fB\-w\fR
specify a whitelist
.TP
\fB\-b\fR
specify a worklist (batch mode)
.TP
\fB\-t\fR
specify count of parallel processes
.TP
\fB\-I\fR
add an include path for #include directives
.TP
\fB\-j\fR
specify the jobs which should be done
.br
.B dead
 dead/undead file analysis (default)
.br
.B coverage
 coverage file analysis
.br
.B cpppc
 CPP Preconditions for whole file
.br
.B blockpc: Block precondition (format: <file>:<line>
 <column>)
.br
.B symbolpc
 Symbol precondition (format <symbol>)
.br
.B checkexpr
 Find a configuration that satisfies expression
.br
.B interesting
 Find related items (negated items are not in the model)
.SS "Coverage Options:"
.HP
\fB\-O\fR: specify the output mode of generated configurations
.IP
.br
.B kconfig
 generated partial kconfig configuration (default)
.br
.B stdout
 print on stdout the found configurations
.br
.B cpp
 print on stdout cpp \fB\-D\fR command line arguments
.br
.B exec:cmd
 pipe file for every configuration to cmd
.br
.B model
 print all options which are in the configuration space
.br
.B all
 dump every assigned symbol (both items and code blocks)
.HP
\fB\-C\fR: specify coverage algorithm
.TP
simple
\- relative simple and fast algorithm (default)
.TP
min
\- slow but generates less configuration sets
.SS "Specifying Files:"
.IP
You can specify one or many files (the format is according to the
job (\fB\-j\fR) which should be done. If you specify \- as file, undertaker
will load models and whitelist and read files from stdin (interactive).
.SH AUTHOR
Written by the VAMOS team <URL:http://vamos.informatik.uni\-erlangen.de>
.SH "REPORTING BUGS"
Report bugs to <vamos\-dev@i4.informatik.uni\-erlangen.de>.
.SH "SEE ALSO"
\fIundertaker\fP(1) \fIundertaker-kconfigdump\fP(1), \fIundertaker-linux-tree\fP(1).