オーバーフローならC++(gcc)だったら-fsanitize=undefinedで見つかるかも