Задача найти ошибку в коде

Найдите ошибку в коде

unsigned int i;
for (i = 100; i >= 0; --i)
	printf("%dn", i);

unsigned int i;
for (i = 100; i > 0; --i)
	printf("%dn", i);
printf("%dn", i);

unsigned int i;
for (i = 100; i > 0; --i)
	printf("%un", i);

Время на прочтение
2 мин

Количество просмотров 8.6K

Авторы анализатора PVS-Studio предлагают вам проверить свою внимательность и развлечься. Попробуйте быстро отыскать баг в фрагменте исходного кода и ткнуть в него мышкой.

Анализаторы кода работают без устали и умеют находить множество ошибок, которые сложно заметить. Мы отобрали несколько фрагментов кода, в которых выявили ошибки с помощью PVS-Studio. Все фрагменты взяты из известных Open Source проектов.

Предлагаем вам посоревноваться с анализатором в прозорливости и попробовать самостоятельно найти ошибки. Вам будет предложено 10 случайно выбранных заданий. За верный ответ начисляется одно очко, если баг найден в течение 1 минуты.

Ограничение в 1 минуту сделано для интереса. Иначе вы, скорее всего, верно найдёте и укажете каждую ошибку, так как фрагменты кода короткие. В любом случае относитесь к этому просто как к игре, а не как к настоящему тестированию программистских навыков у вас или ваших коллег

Когда нашли ошибку, выделите её кликом мышки и нажмите кнопку «Ответ». Бывает, что в коде есть сразу несколько мест, куда вы можете «ткнуть» — и ответ зачтётся как правильный. Поясним это на примере.

case FuriHalSubGhzPreset2FSKDev476Async:
  preset_name = "FuriHalSubGhzPreset2FSKDev476Async";
  break;
  FURI_LOG_E(SUBGHZ_PARSER_TAG, "Unknown preset");
default:

Этот код взят из проекта FlipperZero. Анализатор PVS-Studio сообщает, что часть кода никогда не выполняется: V779 [CWE-561, CERT-MSC12-C] Unreachable code detected. It is possible that an error is present. subghz_i.c 44

Кто-то поспешил и использовал макрос логирования после оператора break. Или это следствие неудачного рефакторинга. В любом случае ошибка очевидна, но вот куда именно ткнуть мышкой – вопрос сложнее.

С одной стороны, в качестве ответа можно выбрать оператор break. Он расположен до макроса FURI_LOG_E и прерывает выполнение оператора switch. Значит, проблема здесь.

С другой стороны, можно выбрать макрос логирования. Ведь это недостижимый код.

Так как же быть? Очень просто. В данном случае правильным ответом будет считаться как выделенный оператор break, так и макрос FURI_LOG_E.

Думаем, правила понятны. Желаем вам удачи: начать игру.

Не забудьте, показать этот Quiz вашим коллегам! Развлекайтесь, и безбажного вам кода!

Если хотите поделиться этой статьей с англоязычной аудиторией, то прошу использовать ссылку на перевод: Andrey Karpov. PVS-Studio’s challenge: can you spot an error?.

Что делает цикл for?

Он итерируется по объекту и присваивает значения элементов в переменную:

for i in 1, 2, 3, 4, 5:
    print(i)
print(i)

Выведет:

1
2
3
4
5
5

Вы, видимо, подумали, что значение i = 0, которые вы присвоили до цикла, останется и после него, но в вашем первом цикле вы изменяете значение i на индексы строки, потому после цикла значение i == len(a) - 1

Ок, исправляем, переносим i после цикла:

a = input()
col = 2
my_dict = {}

for i in range(len(a)):
    my_dict[a[i]] = 1

i = 0
while i < len(a):
    if a[i] * col in a:
        my_dict[a[i]] += 1
        col += 1
    elif col > 2:
        i += col
    else:
        col = 2
        i += 1

for i in sorted(my_dict.items()):
    print(i[0], i[1])

Проверяем приведённых значениях, вроде работает, а что если сделать не два, а три или более повторяющихся элементов .. не работает

Проверка того, что впереди есть такая последовательность

В строке a[i] * col in a вы пытаетесь понять, существует ли последовательность символов такой длинны впереди, а проверяете, существует ли такая последовательность во всей строке:
Есил ввести "ataaa", то вот, что произойдёт:
(мы уже инициализиировали dict и в нём уже лежит {"a": 1, "t": 1})

if a[i] * col in a:, проверяем

i == 0
a[i] == "a"
col == 2
a[i] * col == "aa"

следовательно "aa" in a == True, потому, что в a есть "aa", хоть не в начале.

Ок, давайте исправим, используем срезы:

if a[i: i+col] == a[i] * col:

a[i: i+col] — это срез с индекса i до i+col, не включая, пример:

если a == "abcdef", i == 3, col == 2, то с той нашей строкой у нас будет a[i: i+col] == "de"

Ок, заменяем: if a[i] * col in a: на if a[i: i+col] == a[i] * col:
(Проверяем, что все буквы в срезе — те, что нам нужны)

Смотрим, что если ввести "ataaapppp", опять не то считает …

Несколько длинных последовательностей

Логика таква, если есть последоательность такой длины, то мы задаём её, когда ма нашли конец последоательности, мы перезапускаем процесс, прасваивая col = 2, и перескакиваем к концу последовательности, , если же мы не находили последовательности, то просто идём дальше, и вот проблема, вы перескакиваете не к концу, а на один символ дальше, а также перепутали места, где мы перезапусчкаем процесс, исправляем:

elif col > 2:
    i += col - 1
    col = 2
elif col == 2:
    i += 1

Такс, проверяем, вроде работает, а есди использовать "ataaappppaaaaaaa", опять проблема, теперь с "a"

Несколько одинаковых последовательностей

Каждый раз, когды вы находите более длинную последовательность, вы добавляете к максимуму, и если длинных последовательностей несколько, то вы будете добавлять и добавлять, исправляем:

my_dict[a[i]] += 1

на

if my_dict[a[i]] < col:
    my_dict[a[i]] = col

Результат

В итоге у нас получается что-то такое:

a = input()
col = 2
my_dict = {}

for i in range(len(a)):
    my_dict[a[i]] = 1

i = 0
while i < len(a):
    if a[i: i+col] == a[i] * col:
        if my_dict[a[i]] < col:
            my_dict[a[i]] = col
        col += 1
    elif col > 2:
        i += col - 1
        col = 2
    elif col == 2:
        i += 1

for i in sorted(my_dict.items()):
    print(i[0], i[1])

Альтернативы

Это далеко не лучший или не самый просто способ рещить эту задачу, вот идейка, как бы реализовать это лучше:

Идти по строке, и запоминать, какой был последний символ, и как долго он повторяется:

string = input()
max_lengths = {}
sequence_length = 1
latest_symbol = None

for char in string:
    if latest_symbol != char:
        sequence_length = 1

    if max_lengths.get(char, 0) < sequence_length:
        max_lengths[char] = sequence_length

    sequence_length += 1
    latest_symbol = char

for i in sorted(max_lengths.items()):
    print(*i)