analyze: add sum overflow detection