Skip to content

fix(show): check the bound before reading zone_table in show path - #3939

Merged
bylins merged 2 commits into
masterfrom
fix/show-path-out-of-range
Sep 21, 2026
Merged

bylins merged 2 commits into
masterfrom
fix/show-path-out-of-range

Conversation

@bylins

@bylins bylins commented Sep 21, 2026 •

Copy link
Copy Markdown
Owner

Closes #3938.

Что падало

show path 506 на зоне, которой нет. Трассировка из issue:

std::vector<ZoneData>::operator[] (__n=659)
do_show (...) at do_show.cpp:820
command_interpreter (argument="show path 506")

Почему

Зона по внуму искалась самодельным циклом, и обращение стояло перед проверкой границы:

for (zvn = atoi(value), zrn = 0;
     zone_table[zrn].vnum != zvn && zrn < static_cast<ZoneRnum>(zone_table.size());
     zrn++)

Пока зона находится — всё хорошо. Если не находится, zrn доходит до size(), и читается zone_table[size]. Под _GLIBCXX_ASSERTIONS (включены в сборке) это assert и SIGABRT; без них — чтение за концом вектора, то есть мусор вместо внума.

Правка

Оба поиска зоны по внуму в do_show переведены на GetZoneRnum — она давно есть, делает двоичный поиск и возвращает kNoZone, когда зоны нет. Заодно ушла переменная zvn: она была нужна только этим циклам.

Второй поиск (в show zone) написан был правильно, но такой же рукописный — теперь оба одинаковые и короче.

Проверка

Сборка чистая, 723 теста проходят. Воспроизведение: show path <несуществующий внум зоны>.

🤖 Generated with Claude Code

bylins and others added 2 commits September 21, 2026 13:35
"show path 506" на несуществующей зоне валил сервер. В цикле поиска
зоны по внуму обращение стояло перед проверкой границы:

    for (zvn = atoi(value), zrn = 0;
         zone_table[zrn].vnum != zvn && zrn < zone_table.size();
         zrn++)

Когда зона не находится, zrn доходит до size, и читается
zone_table[size]. Под _GLIBCXX_ASSERTIONS это assert и SIGABRT, без
них -- чтение за концом вектора.

Условия переставлены. Строкой 547 в этом же файле тот же поиск написан
правильно -- здесь просто перепутан порядок.

Closes #3938

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Первая правка просто переставляла условия в самодельном цикле, но
искать зону по внуму уже умеет GetZoneRnum -- двоичный поиск, который
возвращает kNoZone, когда зоны нет. Оба поиска в do_show переведены на
него: и тот, что падал в "show path", и такой же в "show zone".

Заодно ушла переменная zvn -- она была нужна только этим циклам.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@bylins
bylins merged commit 149fcea into master Sep 21, 2026
20 checks passed
@bylins
bylins deleted the fix/show-path-out-of-range branch September 21, 2026 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

креш

1 participant