Coverifix: overflows and uninitialized vars