"-b, --bound=MAX Upper length bound.\n"
" Default: %d\n"
"-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
"-b, --bound=MAX Upper length bound.\n"
" Default: %d\n"
"-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
" Default: %d\n"
"-u, --uninitialized=VALUE Return VALUE any load which may read from an\n"
" uninitialized atomic.\n"
" Default: %u\n"
"-t, --analysis=NAME Use Analysis Plugin.\n"
"-o, --options=NAME Option for previous analysis plugin. \n"
" Default: %d\n"
"-u, --uninitialized=VALUE Return VALUE any load which may read from an\n"
" uninitialized atomic.\n"
" Default: %u\n"
"-t, --analysis=NAME Use Analysis Plugin.\n"
"-o, --options=NAME Option for previous analysis plugin. \n"
" -o help for a list of options\n"
" -- Program arguments follow.\n\n",
program_name,
" -o help for a list of options\n"
" -- Program arguments follow.\n\n",
program_name,
model_print("Analysis plugins:\n");
for(unsigned int i=0;i<registeredanalysis->size();i++) {
TraceAnalysis * analysis=(*registeredanalysis)[i];
model_print("Analysis plugins:\n");
for(unsigned int i=0;i<registeredanalysis->size();i++) {
TraceAnalysis * analysis=(*registeredanalysis)[i];
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
{"liveness", required_argument, NULL, 'm'},
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
{"liveness", required_argument, NULL, 'm'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{"options", optional_argument, NULL, 'o'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{"options", optional_argument, NULL, 'o'},
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;