"-u, --uninitialized=VALUE Return VALUE any load which may read from an\n"
" uninitialized atomic.\n"
" Default: %u\n"
"-u, --uninitialized=VALUE Return VALUE any load which may read from an\n"
" uninitialized atomic.\n"
" Default: %u\n"
-"-t, --analysis=NAME Use Trace Analysis.\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"
+ model_print("Analysis plug ins:\n");
+ for(unsigned int i=0;i<registeredanalysis->size();i++) {
+ TraceAnalysis * analysis=(*registeredanalysis)[i];
+ model_print("%s\n", analysis->name());
+ }
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'},
{"verbose", optional_argument, NULL, 'v'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{"verbose", optional_argument, NULL, 'v'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;