Најголемите хитови на Java (од неуспех): Топ 10 грешки со отворен код од 2025 година

Minecraft mods, каталонскиот јазик, и не-очигледни интеракции со тројниот оператор - колку многу работи нашиот аналитичар се сретна со! Воведување Оваа година, проверивме многу проекти со отворен код и напишавме За нив статии Сега, ние избравме десет од најинтересните грешки и чудни фрагменти од кодот. Изборот и рангирањето се, се разбира, субјективни и врз основа на нашето чувство за кул. Време е – одиме! Десето место: Десно на лево, лево на десно Ние го отвораме нашиот врв со случај од На некој начин, проектот резонира со нас: исто како PVS-Studio, анализира јазици – само природни, а не вештачки. јазикот Смешната работа е дека оваа грешка се однесува на нашиот аналитичар. Сепак, го наоѓаме толку смешно што едноставно не можеме да го пропуштиме. Погледнете го фрагментот од кодот: public String getEnclitic(AnalyzedToken token) { .... if (word.endsWith("ه")) { suffix = "ه"; .... else if ((word.equals("عني") || word.equals("مني")) && word.endsWith("ني") // <= ) { suffix = "ني"; } .... } Предупредувањето на ПВС-Студио: Изразувањето 'word.endsWith("ni")' е секогаш лажно. В6707 Арапски Таг.јава 428 Ако ги погледнеме стручните константи на начинот на кој мајчин јазик на лево-десно (LTR) јазици – како што се англискиот или францускиот – обично го прават, предупредувањето на аналитичарот навистина изгледа фер. -Арапските говорници го очекуваат крајот на буквалната, тие всушност ќе го видат нејзиниот почеток. Говорете на арапски. non can't Патем, ако знаеме дека постои RTL пишување, сфаќаме дека состојбата е всушност секогаш Не е лажно. true Тоа нè тера да бидеме љубопитни: како Јава се справува со јазиците од десно кон лево воопшто?Сè е едноставно како пирог: Јава се справува со Уникод наместо со визуелизацијата на текстот. , т.е. во редоследот во кој мајчин јазик ги читаат и пишуваат. се складираат во логичен редослед Ова значи дека Java не треба да извршува никакви посебни конверзии за да се справи со RTL текстот. Стрелката останува редовна секвенца на Unicode кодни точки, и операции како што се добивање на неговата должина, пристапување на знаци или извлекување на подредот работа иста за сите јазици. За таква проверка: System.out.println("مرحباً بالجميع".endsWith("بالجميع")); Резултатот ќе биде , иако ако читаме од лево на десно, низата започнува, наместо да завршува, со "بالجميع". true Сепак, бидејќи аналитичарот е технички погрешен тука, ние го ставаме на 10-то место во нашиот ранг. Ако сте љубопитни да дознаете повеќе, можете да ја прочитате целосната приказна за тоа како го анализиравме LanguageTool во ова . статија 9. место – Каталонски јазик Повторно се појавува во нашиот ранг! јазикот Модулот за каталонски јазик има метод, кој уредно ги коригира застарените облици на правописот и ги отстранува непотребните дијакритици. На пример, конвертира "адеу" во "адеу", "дона" во "дона", "вен" во "вен" и така натаму: 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" е пропишан неколку пати. В6109 Каталонски.јава 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' на левата и десната страна на операторот '=='. Јава 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 Ако сакате да дознаете повеќе за таков ефект, ве покануваме да ги прочитате следниве статии: нашата прва средба со него: Последниот линиски ефект; Подетална дискусија за феноменот: Ефектот на последната линија објаснува. Бидејќи оваа грешка демонстрира таков чуден феномен, му доделуваме место на нашата врвна листа. Седмо место – изгубени во локализација Да преминеме на седмата позиција. Веќе погледнавме три Java грешки, но сè уште не се сретнавме со Minecraft. Погледнете го кодот од : ЗаедничкиNPC+ 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"); } Предупредувањето на ПВС-Студио: Изјавата „тогаш“ е еквивалентна на изјавата „else“. В6404 GuiMailbox.java 76 Овде можеме да видиме тип што доведува до грешка во локализацијата. Во зависност од бројот на минути, требаше да се прикаже или "минута" или "минута". и гранки е идентична, која секогаш излегува "минути". then else Како автор на ова вели: "Откако текстот ресурс за е веќе во играта извори, испраќање на коммисијата потраеше подолго отколку поправање на кодот.“ За да го поправите, програмерите треба да избришете едно писмо. статија mailbox.minute Се разбира, грешката не е толку сериозна, но бидејќи може да се репродуцира без никакви проблеми, таа заслужува седмо место во нашиот врв: Ѕидот Шесто место – тоа беше последната слама Да преминеме на грешката од : Автомобилот 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]; // <= .... } .... } .... } } Предупредувањето на ПВС-Студио: Можеби индексот "тип" е надвор од границите. В625 Битола.јава 151 Ова е прилично честа грешка (искрено, толку честа што авторот на оваа врвна листа многу често го прави самиот). Поради мала грешка во состојбата, може да се појави на кодниот ред назначен од аналитичарот. MAX_TYPE_NUMBER OutOfBoundsException Тоа може да се случи поради . It allows a situation where, in the Покрај тоа, на Параметрите ќе бидат , which exceeds the maximum valid array index by one. In this case, an out-of-bounds exception will be thrown, since the very first line accesses the array using the Индексот е 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. 5. надворешни податоци во HTML Now it's Погледнете го кодот: Џети public class HelloSessionServlet extends HttpServlet { .... @Override protected void doGet( HttpServletRequest request, HttpServletResponse response ) { .... String greeting = request.getParameter("greeting"); // " + greeting + " from HelloSessionServlet "); // " + message + "

"); // <= .... } } Предупредувањето на ПВС-Студио: . Possible XSS injection. Potentially tainted data in the 'message' variable might be used to execute a malicious script. Водич 5330 ЗдравоСексСервис.јава 70 Аналитичарите истакнуваат дека може да има . XSS инјекција Во кодот, добиваме низа од барањето, го користиме за да генерираме пораки, а потоа ги користиме тие пораки за да генерираме HTML страница. Во секој случај, XSS инјекција е навистина можно. санитација Ако надворешноста помине is за JavaScript ќе се изврши кога ќе се отвори страницата. Исто како и секој друг js код. message alert("XSS Injection") alert("XSS Injection") Ако ова е вистинска ранливост, зошто не се рангира повисоко на листата? Бидејќи тоа е дел од пример за демонстрација. Со други зборови, ние го прикажуваме кодот само за да видиме што може да се случи во Jetty. Сепак, вреди да се запамети дека примерот за демонстрација не може да се копира во производството. Како прв -анализа предупредување во вистински проект, иако тоа е во демонстрација пример, ние му доделуваме 5-то место во врвот. Таинт Четврто место – само двојно Погледнете ја грешката од . Еластична 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; // <= } Предупредувањето на ПВС-Студио: Резултатот од овој израз ќе биде имплицитно фрлен на "двоен". Проверете дали логиката на програмата го обработува правилно. 6088 возење Јава 122 Овој метод го намалува пропуштениот број според наведената прецизност. За цели вредности, го намалува бројот на цифри, додека за фракционални вредности, ги отстранува вишокот на цифри по десетичната точка. Судејќи по тернарниот оператор, во случај на фракции, програмерите сакаат методот да врати идентичен број со кој дојде до методот (или или Но, еден суптилен, но важен детаљ е занемарен. Float Double Тернарниот оператор е израз, што значи дека неговиот резултат мора да има единствен и предодреден тип. дојдете во игра. накратко, следново важи: Бројниот контекст If objects of different types appear in an expression, they're converted to a single common type. Во овој случај, вообичаениот тип ќе биде Двоен, бидејќи претставува и Двоен и Пловечки. Тоа е, и покрај очекувањата, методот секогаш враќа при обработка на фракционални броеви. Double Компактниот формат за снимање навистина нè остави надолу. public static Number truncate(Number n, Number precision) { .... if (n instanceof Float) { return result.floatValue(); } else { return result; } } Поради оваа неочигледна нијанса на јазикот, грешката зазема четврто место во првите десет. Трето место: Ве молиме почекајте го вашиот ред! Сега се враќаме на наградниот подиум.Бронзениот медалист е пронајден во Погледнете го фрагментот од кодот: Интелигентна идеја 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(....); } } } .... } Предупредувањето на ПВС-Студио: Иницијализацијата на 'DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED' се појавува пред иницијализацијата на 'LOG'. В650 UsageType.java 46 Анализаторот предупредува за циклична зависност за време на статичко поле иницијализација; една од оние нијанси на Јава што е лесно да се пропушти. Конструкторот се користи за иницијализирање на field. And we access logger in this constructor. DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG Fields Како што може да се види, се наоѓа над , т.е. тоа е инициализирано порано. Како резултат на тоа, кога конструкторот работи, , и кога ќе се обидеме да пристапиме до него, ќе наидеме на NPE. се иницијализираат во редоследот во кој се декларирани DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG LOG will be null Како и во повеќето случаи погоре, исправката ќе биде исклучително едноставна. Изјава погоре . LOG DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED Второ место: Каде отиде блокот? Ние се преселивме на сребрен медалист. Повторно да се сретне со Minecraft mod, . ЗаедничкиNPC+ Look at the code fragment: 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 expression was implicitly cast from 'int' type to 'double' type. Consider utilizing an explicit type cast to avoid the loss of a fractional part. An example: double A = (double)(X) / Y;. В694 Јава 41 Во овој код фрагмент, играта периодично (базирано на поле) скенирање на ентитети во правоаголна област со радиус дефиниран од , центриран околу лекар на НПЦ. speed range Од времето на Методот има Анализаторот е апсолутно во право да го предупреди за овој фрагмент: is passed to the method where Можеби ќе прашате „Што е тоа?“ Мислам дека ова е навистина чудно, па затоа одлучивме да го истражиме овој случај. expand expand(double x, double y, double z) int double This minor flaw leads to the following consequence: if the radius is an odd number, when evaluating the Y axis, we lose half a block at the top and at the bottom (i.e., a whole block in total). We've proved it by visualizing the collision box calculated from the radius. Look at the visualization: The NPC doctor collision is highlighted in white. Судирот во моментов имплементиран (5 / 2) е истакнат во црвено. The collision without integer division (5 / 2.0) is highlighted in green. Како што можеме да видиме, ако се користи literal of the Типот, поделбата повеќе не е цела бројка, и како резултат на тоа, судирот ќе го покрие токму радиусот што го сакаме. 2.0 double And to confirm that it worked correctly, the author of the Треба да го прашате универзумот: статија Особено, програмерите ја поправија оваа грешка во оригиналниот модул за Minecraft 1.12.2. За жал, не можам да дадам никакви директни докази, па да речеме дека го прашав универзумот - и овој код е она што го испрати назад: Notably, developers have fixed this error in the original mod for Minecraft 1.12.2. Unfortunately, I can't provide any direct evidence, so let's say I asked the universe—and this code snippet is what it sent back: .... this.npc.world.getEntitiesWithinAABB( EntityLivingBase.class, npc.getEntityBoundingBox().expand(range, range / 2.0, range) ); .... Бидејќи програмерите ја поправија грешката во оригиналната модификација, истото треба да се примени и тука. Since devs have fixed the bug in the original modification, the same should apply here. Мистериозниот случај на пропуштениот бонус And now, the gold medal goes to... Дали изобилството на Minecraft грешки може да биде затоа што половина од нашиот тим помина безброј часови работат на mods и приклучоци за тоа? ЗаедничкиNPC+ Да преминеме на кодот: .... 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; } } .... Предупредувањето на ПВС-Студио: V6001 Постојат идентични под-експресии 'startIndex' на левата и десната страна на операторот '=='. ScriptDBCPlayer.java 289 V6007 Expression '!number' is always true. ScriptDBCPlayer.java 289 V6033 An item with the same key 'startIndex' has already been changed. ScriptDBCPlayer.java 293 Дали предупредувањата навистина укажуваат на грешки? И ако е така, што води до тоа? Прво, да го погледнеме првото предупредување. Нетрпеливиот автор на статијата, носејќи го детективскиот шешир и долгиот капут, оди да бара траги во класата. startIndex датотеки : : ScriptDBCPlayer.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" - тој ја најде разликата! Во на block and in the Лов: Тие се and Во првиот дел, ние првично Во на блок, а потоа итерирајте низ него во loop. 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; } } But in the fragment with the error, the attribute index obtained from the script is overwritten with zero and then compared with itself: 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; .... } } Тоа е, бонус вредноста пренесена во сценариото секогаш е доделена на Бонус затоа што Напишано е во состојба и станува нула, а потоа се споредува со себе. Сега проблемот е кристално јасен. Да ги разгледаме последиците од грешката. first startIndex for Прво, треба да напишеме скрипта во играта која ќе создаде бонуси за "Сила". Прво, да создадеме два бонуси со вредности од 1, а потоа да ги поставиме нивните вредности на 5 и 15, респективно: Ѕидот Ние создадовме бонуси за "Сила" со индекси 0 и 1, а потоа им ги доделивме вредностите. Сега, во теорија, ако ги прикажеме овие два бонуси од "Сила", ќе добиеме 5 и 15? Ако немаше грешка во кодот, тоа е она што би се случило. За да го потврдите ова однесување, ајде да напишеме уште еден скрипт во играта кој едноставно ги отпечатува бонус вредностите: Ѕидот Како резултат на тоа, добиваме: Ѕидот Всушност, вториот бонус во "Моќ" исто така има почетна вредност од 1, додека првиот бонус сега е еднаков на 15. Излегува дека прво го поставивме првиот бонус на 5, а потоа го препишеме со вредност од 15. Given the amount of detective work involved and the fact that this bug can be reliably reproduced in practice, we confidently award it the Во нашите топ десет! honorable first place Вклучување Yay! We've made it through all ten of the most bizarre, heart-warming, and educational bugs, and we hope you enjoyed the journey as much as we did! If you have your own thoughts about this top, or maybe a favorite bug of your own, we'd be happy to see you share them in the comments. Ако сакате да прочитате повеќе за проверка на други проекти, ние ве покануваме на нашиот или на . Блогот Оваа страница Ако се чувствувате инспирирани да ги проверите вашите индивидуални проекти и сакате сами да го пробате PVS-Studio анализаторот, следете го И ако сте студент, учител или одржувач на проекти со отворен код во C, C++, C# или Java, можете да го користите PVS-Studio бесплатно. . link Овде Сè што останува е да се каже збогум за сега. Среќни празници!