Найбільші хіти Java (провал): Топ 10 помилок з відкритим кодом 2025 року

Моди Minecraft, каталонська мова та неочевидні взаємодії з тернарним оператором — скільки речей наш аналізатор зіткнувся! Введення Цього року ми перевірили багато проектів з відкритим вихідним кодом і написали Про них Статті Тепер ми вибрали десять найцікавіших помилок і дивні фрагменти коду. Вибір і рейтинг, звичайно, суб'єктивні і засновані на нашому власному почутті про холод. Well, it's time~ Let's go! 10th place. Right to left, left to right Ми відкриваємо наш верх з приводу У певному сенсі проект резонує з нами: як і PVS-Studio, він аналізує мови – тільки природні, а не штучні. Мова Смішним є те, що ця помилка стосується нашого аналізатора. Однак, ми вважаємо це настільки смішним, що ми просто не можемо пропустити його. Дивіться фрагмент коду: public String getEnclitic(AnalyzedToken token) { .... if (word.endsWith("ه")) { suffix = "ه"; .... else if ((word.equals("عني") || word.equals("مني")) && word.endsWith("ني") // <= ) { suffix = "ني"; } .... } Про це повідомляє PVS-Studio: Вираз «word.endsWith» завжди помилковий. В6007 ArabicTagger.java 428 Якщо ми подивимося на струнні константи так, як робітники ліво-правових (LTR) мов, таких як англійська або французька, зазвичай роблять, попередження аналітика здається справедливим. -Арабські мовники очікують кінця буквального, вони насправді побачать його початок. Говорити арабською мовою. non can't До речі, якщо ми знаємо, що є RTL написання, ми розуміємо, що стан насправді завжди , not false. true Все так просто, як пиріг: Java обробляє Unicode замість візуалізації тексту.У Unicode, символи з будь-якої мови - будь то написані зліва направо або праворуч наліво - , тобто в порядку, в якому рідні читають і пишуть їх. Зберігаються в логічному порядку Це означає, що Java не потребує будь-яких спеціальних конверсій для обробки тексту RTL. Стрічка залишається регулярною послідовністю пунктів коду Unicode, і такі операції, як отримання її довжини, доступ до символів або вилучення підстрочки, працюють однаково для всіх мов. Для такої перевірки: System.out.println("مرحباً بالجميع".endsWith("بالجميع")); Результатом буде , хоча якщо ми читаємо зліва направо, то строк починається, а не закінчується, з "بالجميع". true Проте, оскільки аналітик технічно помиляється тут, ми розміщуємо його на 10-му місці в нашому рейтингу. Якщо вам цікаво дізнатися більше, ви можете прочитати повну історію про те, як ми проаналізували LanguageTool в цьому розділі. . Стаття 9 місце – каталонська мова Знову з'являється в нашому рейтингу! LanguageTool Модуль каталонської мови має метод, який акуратно виправляє застарілі форми правопису і видаляє непотрібну діакритику. Наприклад, він перетворює «adéu» на «adieu», «dóna» на «dona», «vénen» на «venen» і так далі: removeOldDiacritics() private String removeOldDiacritics(String s) { return s .replace("contrapèl", "contrapel") .replace("Contrapèl", "Contrapel") .replace("vés", "ves") .replace("féu", "feu") .replace("desféu", "desfeu") .replace("adéu", "adeu") .replace("dóna", "dona") .replace("dónes", "dones") .replace("sóc", "soc") .replace("vénen", "venen") .replace("véns", "véns") // <= .replace("fóra", "fora") .replace("Vés", "Ves") .replace("Féu", "Feu") .replace("Desféu", "Desfeu") .replace("Adéu", "Adeu") .replace("Dóna", "Dona") .replace("Dónes", "Dones") .replace("Sóc", "Soc") .replace("Vénen", "Venen") .replace("Véns", "Vens") .replace("Fóra", "Fora"); } На перший погляд, це здається нормальним: це працює, виправляє і нікого не турбує. Однак у аналітика є ще один момент: Функція «замінити» отримує дивний аргумент. аргумент «» véns » був пройдений кілька разів. В6009 Каталонська.java 453 Найімовірніше, коли розробники працювали з цим блоком, вони просто скопіювали оригінальне слово і замінили букву, але в цьому випадку забули змінити букву в другому аргументі: .... .replace("véns", "vens") .... Оскільки нашому аналізатору штучних мов вдалося виявити помилку в їх аналізаторі природних мов, це попередження заслуговує на своє місце в нашому списку. 8-е місце - останній ефект лінії Давайте підемо далі, тепер ми говоримо про помилку від . Еластичність Дивіться фрагмент коду: @Override public boolean equals(Object obj) { .... KeyedFilter other = (KeyedFilter) obj; return Objects.equals(keys, other.keys) && Objects.equals(timestamp, other.timestamp) && Objects.equals(tiebreaker, other.tiebreaker) && Objects.equals(child(), other.child()) && isMissingEventFilter == isMissingEventFilter; // <= } Попередження PVS-Studio: V6001 Є ідентичні суб-вирази «isMissingEventFilter» зліва і зправа від оператора «==». Джерело: Java 116 Як і в попередньому прикладі, ми маємо справу з типом, але з невеликою нюансом: помилка виникає в останньому блоковому рядку ідентичного коду. Ця ситуація виникає досить часто під час розробки, настільки часто, що розробники дали їй назву, Навіть в рамках цього проекту, це не єдиний випадок: схожа помилка з'являється в останньому рядку іншого блоку в ідентичному коді: the last line effect @Override public boolean equals(Object o) { if (this == o) return true; if (o == null || getClass() != o.getClass()) return false; IndexError that = (IndexError) o; return indexName.equals(that.indexName) && Arrays.equals(shardIds, that.shardIds) && errorType == that.errorType && message.equals(that.message) && stallTimeSeconds == stallTimeSeconds; // <= } Попередження PVS-Studio: V6001 Є ідентичні підвираження «stallTimeSeconds» зліва і праворуч від оператора «==». ІндексПомилка.java 147 Якщо ви хочете дізнатися більше про такий ефект, ми запрошуємо вас прочитати наступні статті: Наше перше знайомство з ним: ефект останньої лінії; Детальніше про цей феномен: Ефект останньої лінії пояснюється. Оскільки ця помилка демонструє таке дивне явище, ми присвоюємо їй місце в нашому верхньому списку. 7-е місце: Загублено в локалізації Переходимо до сьомої позиції. Ми вже розглянули три помилки Java, але ми ще не стикалися з Minecraft. Дивіться фрагмент коду з : Клієнт + private String getTimePast() { .... if(selected.timePast > 3600000){ int hours = (int) (selected.timePast / 3600000); if(hours == 1) return hours + " " + StatCollector.translateToLocal("mailbox.hour"); else return hours + " " + StatCollector.translateToLocal("mailbox.hours"); } int minutes = (int) (selected.timePast / 60000); if(minutes == 1) return minutes + " " + StatCollector.translateToLocal("mailbox.minutes"); else return minutes + " " + StatCollector.translateToLocal("mailbox.minutes"); } Про це повідомляє PVS-Studio: The 'then' statement is equivalent to the 'else' statement. V6004 GuiMailbox.java 16 Тут ми можемо побачити тип, який призводить до помилки локалізації. Залежно від кількості хвилин, повинно бути відображено або "хвилини" або "хвилини". та Рівні ідентичні, що завжди виводить «хвилини». then else Як автор цього Він зазначив, що "з огляду на те, що текст Для того, щоб виправити його, розробники повинні видалити одну букву. Потім, правильна форма слова буде відображатися на всіх мовах, підтримуваних модом. Стаття mailbox.minute Of course, the error isn't so serious, but because it can be reproduced without any problems, it earns seventh place in our top: І 6-е місце – це була остання солома Let's move on to the error from : Автомобіль public static final int MAX_TYPE_NUMBER = 20; private static final LongAdder[] USAGE_STATS = new LongAdder[MAX_TYPE_NUMBER]; .... public static ByteBuf byteBuffer(int initCapacity, int type) { try { if (MEMORY_USAGE_DETECT) { .... if (type > MAX_TYPE_NUMBER) { counter = UNKNOWN_USAGE_STATS; } else { counter = USAGE_STATS[type]; // <= .... } .... } .... } } The PVS-Studio warning: . Possibly index 'type' is out of bounds. В6025 ByteBufAlloc.java 151 Це досить поширена помилка (чесно, настільки поширена, що автор цього верхнього списку зробив це дуже часто сам). Через невелику помилку в стані, а may occur on the code line indicated by the analyzer. MAX_TYPE_NUMBER OutOfBoundsException Це може статися через Це дозволяє встановити ситуацію, коли в галузі, на Параметри будуть У цьому випадку буде викинуто виняток поза межами, оскільки перший ряд отримує доступ до матриці за допомогою Індекс . if (type > MAX_TYPE_NUMBER) else type MAX_TYPE_NUMBER type Щоб виправити це, нам просто потрібно використовувати Замість того щоб . >= > Since this error is close to the author's heart, it earns sixth place in the top list. П'яте місце: зовнішні дані в HTML Тепер це Подивіться на цей код: Джетті public class HelloSessionServlet extends HttpServlet { .... @Override protected void doGet( HttpServletRequest request, HttpServletResponse response ) { .... String greeting = request.getParameter("greeting"); // " + greeting + " from HelloSessionServlet "); // " + message + "

"); // <= .... } } Про це повідомляє PVS-Studio: Можливе введення XSS. Потенційно забруднені дані у змінній "повідомлення" можуть бути використані для виконання шкідливого сценарію. В5330 Джерело: Java 70 Експерти зазначають, що може бути . XSS ін'єкції У коді ми отримуємо рядку з запиту, використовуємо її для генерації повідомлень, а потім використовуємо ці повідомлення для генерації HTML-сторінки. У будь-якому випадку, ін'єкція XSS дійсно можлива. Здоров'я Якщо зовнішній прохід є Про JavaScript Це буде виконано, коли сторінка буде відкрита, як і будь-який інший JS-код. message alert("XSS Injection") alert("XSS Injection") If this is a real vulnerability, why doesn't it rank higher on the list? Because it's a part of a demonstration example. In other words, we show the code just to see what can happen in Jetty. Nevertheless, it's worth remembering that the demonstration example couldn't be copied into production. After all, it's not best practice to show off unsafe code. Як перший -analysis warning in a real project, although it's in a demonstration example, we award it 5th place in the top. Таїн Четверте місце – тільки подвійне Види помилок від . Elasticsearch public static Number truncate(Number n, Number precision) { .... Double result = (((n.doubleValue() < 0) ? Math.ceil(g) : Math.floor(g)) / tenAtScale); return n instanceof Float ? result.floatValue() : result; // <= } Про це повідомляє PVS-Studio: Результат цього вираження буде недвозначно викинуто на "подвійний". Перевірте, якщо логіка програми обробляє його правильно. V6088 Вікісховище: Java 122 Цей метод розрізає пройдене число відповідно до зазначеної точності. Для цільних значень він зменшує кількість цифр, тоді як для фракційних значень він видаляє надлишки цифр після десяткової точки. Судячи з тернарного оператора, у випадку фракцій розробники хочуть, щоб метод повернув ідентичне число, з яким він прийшов до методу (або або Але одна тонка, але важлива деталь була проігнорована. Float Double Тернарний оператор є виразом, що означає, що його результат повинен мати єдиний і заздалегідь визначений тип. Встаньте в гру. Коротше кажучи, це стосується наступного: Чисельний контекст Якщо в виразі з'являються об'єкти різних типів, вони перетворюються на єдиний загальний тип. In this case, the common type would be , since it represents both and . Double Double Float Тобто, незважаючи на очікування, метод завжди повертає При обробці фракційних чисел. Double Формат компактного запису нас дійсно опустив. Виправлення може виглядати так: public static Number truncate(Number n, Number precision) { .... if (n instanceof Float) { return result.floatValue(); } else { return result; } } Через цей неочевидний нюанс мови помилка зайняла четверте місце в першій десятці. 3rd place. Please wait your turn! Тепер ми переходимо до нагородного подиуму. Бронзовий медаліст був знайдений в Подивіться на фрагмент коду: Інтелектуальні ідеї public final class UsageType { .... public static final UsageType DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED = new UsageType( UsageViewBundle.messagePointer( "usage.type.delegate.to.another.instance.method.parameters.changed" ) );

private static final Logger LOG = Logger.getInstance(UsageType.class);

public UsageType(@NotNull Supplier nameComputable) { myNameComputable = nameComputable; if (ApplicationManager.getApplication().isUnitTestMode()) { String usageTypeString = myNameComputable.get(); if (usageTypeString.indexOf('{') != -1) { LOG.error(....); } } } .... } Про це повідомляє PVS-Studio: Class initialization cycle is present. Initialization of 'DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED' appears before the initialization of 'LOG'. В6050 Використання.java 46 Аналізатор попереджає про циклічну залежність під час ініціалізації статичного поля; один з тих нюансів Java, який легко пропустити. Конструктор використовується для ініціалізації Доступ - і ми Завантажити в цьому конструкторі DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG Поля Як ми бачимо, Розташований вище , i.e. it's initialized earlier. As a result, when the constructor runs, , і коли ми спробуємо отримати доступ до нього, ми зустрінемо NPE. Ініціалізуються в тому порядку, в якому вони оголошені. DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG LOG will be null Як і в більшості випадків вище, виправлення буде надзвичайно простим. Заява вище . LOG DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED Наступна стаття: Куди пішла блокада? Ми перейшли до срібного медаліста. Знову зустрінемося з модом Minecraft, . Клієнт + Дивіться фрагмент коду: public int range = 5; public int speed = 5; .... public boolean aiShouldExecute() { healTicks++; if (healTicks < speed * 10) return false;

for (Object plObj : npc.worldObj.getEntitiesWithinAABB( EntityLivingBase.class, npc.boundingBox.expand( range, range / 2, // <= range)) ) { .... } healTicks = 0; return !toHeal.isEmpty(); } The PVS-Studio warning: Вираз був побічно відкинутий від типу «int» до типу «двійковий». Розглянемо використання експлицитного типу відкиду, щоб уникнути втрати фракційної частини. Приклад: подвійний A = (подвійний)(X) / Y;. В6094 Джерело: Java 41 У цьому кодовому фрагменті гра періодично (на основі поля) сканування суб'єктів у прямокутному просторі з радіусом, визначеним Це стосується і лікаря НПЗ. speed range З тих пір Метод має Підпис, аналізатор абсолютно правий, щоб попередити про цей фрагмент: Переходимо до методу, в якому Ми думаємо, що це дійсно дивно, тому ми вирішили розслідувати цей випадок. expand expand(double x, double y, double z) int double Цей незначний дефект призводить до наступного наслідку: якщо радіус є дивним числом, при оцінці осі Y ми втрачаємо половину блоку вгорі і внизу (тобто цілий блок в цілому). І Зіткнення лікаря NPC підкреслюється в білому кольорі. В даний час реалізований зіткнення (5 / 2) підкреслюється червоним. Зіткнення без поділу цілих чисел (5 / 2.0) підкреслюється зеленим. Як бачимо, якщо використовувати Буквально від Тип, поділ більше не є цілим числом, і, як наслідок, зіткнення буде покривати саме радіус, який ми хочемо. 2.0 double And to confirm that it worked correctly, the author of the Потрібно було «запитувати Всесвіт»: Стаття Примітно, що розробники виправили цю помилку в оригінальному моде для Minecraft 1.12.2.На жаль, я не можу надати жодних прямих доказів, так що давайте припустимо, що я запитав всесвіт - і цей фрагмент коду це те, що він відправив назад: Примітно, що розробники виправили цю помилку в оригінальному моде для Minecraft 1.12.2.На жаль, я не можу надати жодних прямих доказів, так що давайте припустимо, що я запитав всесвіт - і цей фрагмент коду це те, що він відправив назад: .... this.npc.world.getEntitiesWithinAABB( EntityLivingBase.class, npc.getEntityBoundingBox().expand(range, range / 2.0, range) ); .... Оскільки розробники виправили помилку в оригінальній модифікації, те ж саме має застосовуватися і тут. Оскільки розробники виправили помилку в оригінальній модифікації, те ж саме має застосовуватися і тут. 1 місце: Таємничий випадок пропущеного бонусу And now, the gold medal goes to... ! Could the abundance of Minecraft bugs be because half our team spent countless hours working on mods and plugins for it? Who knows. CustomNPC+ Let's move on to the code: .... int startIndex = -1; boolean number = false;

try { startIndex = Integer.parseInt(bonusID); number = true; } catch (Exception var34) { number = false; }

for (startIndex = 0; startIndex < bonuses.length; ++startIndex) { .... if (number && startIndex == startIndex || // <= !number && bonusValues[startIndex][0].equals(bonusID) ) { noNBTText = bonusValues[startIndex][0] + ";" + bonusValueString; bonuses[startIndex] = ""; bonuses[startIndex] = noNBTText; .... break; } } .... Про це повідомляє PVS-Studio: V6001 Ідентичні субвирази «startIndex» знаходяться вліво і праворуч від оператора «==». ScriptDBCPlayer.java 289 V6007 Expression '!number' is always true. ScriptDBCPlayer.java 289 V6033 Елемент з одним і тим же ключем 'startIndex' вже був змінений. ScriptDBCPlayer.java 293 Чи дійсно попередження вказують на помилки? І якщо так, то до чого це призводить? Тут нас чекає ціле детективне розслідування з цікавим закінченням. First, let's look at the first warning. Comparing Нестерпний автор статті, що носить детективський капелюх і довгий плащ, йде шукати підказки в класі. startIndex Файли : : СкриптDBCPlayer.java(224) .... int num = -1; boolean number;

try { num = Integer.parseInt(bonusID); number = true; } catch (Exception var33) { number = false; }

for (int i = 0; i < bonuses.length; ++i) { .... if (number && i == num || !number && bonusValues[i][0].equals(bonusID) ) { bonuses[i] = ""; break; } } .... Код виглядає дуже схожим, але це не випадково, що в нашій команді ми називаємо автора статті "The Keen Eye" - він знайшов різницю! У Блок і в loop: they're та У першому розділі ми спочатку розглянемо У block, and then iterate through it in a Прогулянка different try for num i startIndex try for Тому у другому фрагменті дві різні змінні порівнюються в ідентичній перевірці: та У першому з них ми маємо те, що вказував аналітик - . num i startIndex == startIndex Так що тепер ми знаємо, як повинен був виглядати перший фрагмент. ? But what does the error impact На цьому етапі детектив помітив важливу ознаку в самому назві класу: Префікс означає, що клас використовується в ігровому механізмі скрипту. Метод з помилкою відповідає за присвоєння бонусів ігровим атрибутам, таким як "Сила", "Агільність" і т. Д. Логічно, що метод повинен читати конкретний бонусний індекс зі скрипту в грі, а потім застосовувати відповідний модифікатор. Script По-перше, ми повинні визначити індекс бонусів у Блоки : try try { num = Integer.parseInt(bonusID); number = true; } .... А потім, в циклі, встановити перенесене значення до бонусу: for (int i = 0; i < bonuses.length; ++i) { .... if (number && i == num || ....) { noNBTText = bonusValues[i][0] + ";" + bonusValueString; bonuses[i] = ""; bonuses[i] = noNBTText; .... break; } } Але в фрагменті з помилкою індекс атрибуту, отриманий зі сценарію, переписується з нулем, а потім порівнюється з самим собою: try { startIndex = Integer.parseInt(bonusID); number = true; } catch (Exception var34) { number = false; }

for (startIndex = 0; startIndex < bonuses.length; ++startIndex) { .... if (number && startIndex == startIndex || // <= !number && bonusValues[startIndex][0].equals(bonusID) ) { noNBTText = bonusValues[startIndex][0] + ";" + bonusValueString; .... } } Тобто бонусна вартість, що передається в сценарії, завжди призначається Бонус тому, що is overwritten in the condition and becomes zero, and then is compared with itself. Now the problem is crystal clear. Let's look at the consequences of the error. first startIndex for По-перше, нам потрібно написати в грі сценарій, який створить бонуси за «Силу». Спочатку, давайте створимо два бонуси з значенням 1, а потім встановимо їх значення на 5 і 15, відповідно: І Ми створили бонуси для "Сила" з індексами 0 і 1, а потім присвоїли їм значення. Теоретично, якщо ми покажемо ці два бонуси з "Сила", ми отримаємо 5 і 15? Якщо в коді не було помилки, це те, що трапилося б. Однак, як ми зрозуміли з блоку вище, помилка призводить до значення першого бонусу, який був переписаний. Щоб підтвердити цю поведінку, давайте напишемо ще один сценарій в грі, який просто друкує бонусні значення: І В результаті ми отримуємо: І Дійсно, другий бонус в "Потужності" також має початкову вартість 1, тоді як перший бонус тепер дорівнює 15. Враховуючи обсяг детективної роботи і той факт, що цей помилка може бути надійно відтворений на практиці, ми впевнено присуджуємо йому У нашій топ-10! honorable first place Завантажити Yay! Ми зробили це через всі десять найдивніших, гарячих і освітніх помилок, і ми сподіваємося, що ви насолоджуєтеся подорожей так само, як і ми! Якщо у вас є власні думки про цю вершину, або, можливо, ваш улюблений помилка, ми будемо раді бачити вас поділитися ними в коментарях. Якщо ви хочете прочитати більше про перевірку інших проектів, ми запрошуємо вас на наш або на . Блог Ця сторінка If you feel inspired to check your individual projects and want to try PVS-Studio analyzer yourself, follow the І якщо ви студент, викладач або керівник проектів з відкритим вихідним кодом в C, C++, C# або Java, ви можете використовувати PVS-Studio безкоштовно. . Лінк Тут Все, що залишилося, - це попрощатися з нами зараз.Щасливі канікули!