in regression/analysis/afl-mini/read-stdin.c [10:36]
int main(int argc, char **argv )
{
int i = 0, index = -1, number = 0;
char buffer [16];
int elements = scanf("%s", buffer);
if ( buffer[0] == 'A' ) index = -256;
while( buffer[i] >= '0' && buffer[i] <= '9' )
{
number = number * 10 + (buffer[i] - '0');
index = i;
++i;
}
printf("number: %d\n", number);
printf("last digit: %c at %d \n", buffer[index], index);
assert( (index < -100 || index >= 0) && "wonder whether we can ever get here after the buffer access above" );
if (elements % 8 == 0 ) {
buffer[elements] = 'A';
printf("new buffer: %s\n", buffer);
}
return 0;
}