in regression/analysis/cprover-analysis/main.c [29:46]
int main(int argc, char **argv )
{
char uninitialized_buffer [16];
if (argc < 2 ) return 0;
char *text = argv[1];
if (argc > 1 && argc % 2) {
printf("use uninit buffer\n");
text = uninitialized_buffer;
}
char *lower = to_lower( text );
printf( "sequence %d: %s\n", 0, text );
printf( "sequence %d: %s\n", 1, lower );
return 0;
}