Test case 2073

Description

Buffer Overflow. This code has been donated by MIT. This test case has
the following characteristics:
write/read = Write,
Which bound = Upper,
Data type = character,
Memory location = stack,
Scope = same,
Container = no,
Pointer = no,
Index complexity = function return value,
Address complexity = constant,
Length complexity = N/A,
Address alias = no,
Index alias = none,
Local control flow = if,
Secondary control flow = none,
Loop structure = N/A,
Loop complexity = no,
Asynchrony = argc/argv,
Taint = yes,
Runtime env. dependence = none,
Magnitude = discrete,
Continuous/discrete = discrete,
Signedness = no.
This is a fixed version of case 834.