[Cannotate] Arithmetic exception introuduced by mutation
Such case can be found in libtiff libtiff/tif_dirread.c with the usage of UINT64_MAX
.
There are code such as
if( rowbytes > 0 && rowsperstrip > UINT64_MAX / rowbytes )
return -1;
Where our mutation will try to create lables such as
if ((18446744073709551615UL) * (rowbytes) != (18446744073709551615UL) / (rowbytes))
that will result in Arithmetic exception