In src/voz1b1.c the array orig can be accessed at an invalid index,
yielding what to the user appears to be a programming error but in
reality is an unwise choice of analysis parameters. This bug is
listed as https://github.com/seshnadathur/Revolver/issues/9 .
This commit solves the bug by initialising a boolean array
orig_exists to have all members false. This array is updated along
with the two lines that evaluate orig. When orig is used later
on, orig_exists is first checked to see if this is valid. If it's
invalid, the user is warned and a fatal error occurs.
In src/voz1b1.c the array orig can be accessed at an invalid index, yielding what to the user appears to be a programming error but in reality is an unwise choice of analysis parameters. This bug is listed as https://github.com/seshnadathur/Revolver/issues/9 .
This commit solves the bug by initialising a boolean array
orig_exists
to have all members false. This array is updated along with the two lines that evaluateorig
. Whenorig
is used later on,orig_exists
is first checked to see if this is valid. If it's invalid, the user is warned and a fatal error occurs.