tbeu / matio / #1078

83%

push

travis-ci

Validate dims before computing dimp in Mat_VarReadDataLinear73

A malformed v7.3 file with a zero-valued dimension causes a
divide-by-zero (SIGFPE) at the `coord / dimp[l]` computation,
since dimp entries become zero when any preceding dim is zero.

Check for zero dims before the cumulative product loop and return
MATIO_E_FILE_FORMAT_VIOLATION if found.

Reproducer: a v7.3 dataset with rank > 1 and dims[k] == 0,
read via Mat_VarReadDataLinear.

As reported by https://github.com/tbeu/matio/pull/302

2 of 7 new or added lines in 1 file covered. (28.57%)

13121 of 15802 relevant lines covered (83.03%)

53291.54 hits per line