Největší úspěchy Java (z neúspěchu): Top 10 Open-Source chyb roku 2025

Minecraft mods, katalánský jazyk a neobvyklé interakce s ternárním operátorem – kolik věcí se náš analytik setkal! Úvodní Letos jsme prozkoumali mnoho projektů s otevřeným zdrojovým kódem a napsali O nich . Články Nyní jsme vybrali deset nejzajímavějších chyb a bizarních fragmentů kódu. Výběr a hodnocení jsou samozřejmě subjektivní a založené na našem vlastním pocitu chladu. Je na čase – jdeme! 10. místo: vpravo doleva, vlevo vpravo Otevřeme náš top s případem z Projekt nějakým způsobem rezonuje s námi: stejně jako PVS-Studio, analyzuje jazyky – pouze ty přirozené, nikoliv umělé. Jazykový nástroj Zábavná věc je, že tato chyba souvisí s naším analyzátorem. Nicméně, zjistíme, že je to tak zábavné, že to prostě nemůžeme vynechat. Podívejte se na fragment kódu: public String getEnclitic(AnalyzedToken token) { .... if (word.endsWith("ه")) { suffix = "ه"; .... else if ((word.equals("عني") || word.equals("مني")) && word.endsWith("ني") // <= ) { suffix = "ني"; } .... } Upozornění od PVS-Studio: Výraz 'word.endsWith("ni")' je vždy falešný. V60007 ArabicTagger.java 428 Pokud se podíváme na řetězové konstanty tak, jak to obvykle dělají rodilí mluvčí levicově-pravicových jazyků (LTR), jako je angličtina nebo francouzština, varování analyzátora se zdá být spravedlivé. -Arabští mluvčí očekávají konec doslovného, ve skutečnosti uvidí jeho začátek. Mluví arabsky non can't Mimochodem, pokud víme, že existuje psaní RTL, uvědomujeme si, že podmínka je ve skutečnosti vždy Není to falešné. true Vše je jednoduché jako koláč: Java zpracovává Unicode namísto vizualizace textu. , tj. v pořadí, ve kterém je rodilí mluvčí čtou a píší. jsou uloženy v logickém pořadí To znamená, že Java nemusí provádět žádné speciální konverze pro manipulaci s textem RTL. Řetězec zůstává pravidelnou sekvencí bodů kódu Unicode a operace, jako je získání jeho délky, přístup k znakům nebo extrahování podřetězce, jsou pro všechny jazyky stejné. Proto pro takovou kontrolu: System.out.println("مرحباً بالجميع".endsWith("بالجميع")); The result will be , i když pokud čteme zleva doprava, řetězec začíná, spíše než končí, s "بالجميع". true Nicméně, protože analytik je zde technicky špatně, umístíme ho na 10. místě v našem žebříčku. Pokud se chcete dozvědět více, můžete si přečíst celý příběh o tom, jak jsme analyzovali LanguageTool v tomto článku. . článek 9. místo - Katalánština Opět se objeví v našem žebříčku! Jazykový nástroj Katalánský jazykový modul má metoda, která úhledně koriguje zastaralé pravopisné formy a odstraňuje zbytečné diakritiky. Například převádí "adéu" na "adieu", "dóna" na "dona", "vénen" na "venen" a tak dále: 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"); } Na první pohled se zdá, že je to v pořádku: funguje, opravuje a nikoho neobtěžuje. Analytik má však ještě jednu věc: Funkce „substituovat“ obdrží podivný argument. argument „véns“ byl předán několikrát. V60009 Katalánsko.java 453 Nejpravděpodobněji, když vývojáři pracovali s tímto blokem, jednoduše zkopírovali původní slovo a nahradili písmeno, ale v tomto případě zapomněli změnit písmeno ve druhém argumentu: .... .replace("véns", "vens") .... Vzhledem k tomu, že náš analyzátor umělých jazyků dokázal detekovat chybu ve svém analyzátoru přirozených jazyků, toto varování si zaslouží své místo v našem seznamu. 8th place. Last line effect Pojďme dál, nyní mluvíme o chybě z . Elastické hledání Podívejte se na fragment kódu: @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; // <= } Upozornění PVS-Studio: V6001 Na levé a pravé straně operátora "==" jsou identické podvýrazy "isMissingEventFilter". Štítek: java 116 Stejně jako v předchozím příkladu se zabýváme typem, ale s malou nuancí: chyba se vyskytuje v posledním blokovém řádku identického kódu. Tato situace se vyskytuje poměrně často během vývoje, tak často, že vývojáři dali jméno, Dokonce i v rámci tohoto projektu se nejedná o jediný případ: podobná chyba se objevuje v posledním řádku jiného bloku ve stejném kódu: 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; // <= } The PVS-Studio warning: V6001 There are identical sub-expressions 'stallTimeSeconds' to the left and to the right of the '==' operator. IndexError.java č. 147 Pokud se chcete dozvědět více o takovém účinku, zveme vás k přečtení následujících článků: Naše první setkání s ním: The Last Line Effect; podrobnější diskuse o fenoménu: Poslední řádek efekt vysvětlen. Vzhledem k tomu, že tato chyba demonstruje takový podivný jev, udělujeme mu místo v našem seznamu. 7. místo: Ztraceno v lokalizacích Přejděme k sedmé pozici. Už jsme se podívali na tři Java chyby, ale dosud jsme se nesetkali s Minecraftem. Podívejte se na fragment kódu z : ZákazníkNPC+ 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"); } Upozornění od PVS-Studio: Prohlášení „poté“ se rovná prohlášení „else“. V60004 GuiMailbox.java 16 Zde můžeme vidět typ, který vede k chybě lokalizace. V závislosti na počtu minut by měly být zobrazeny buď "minuty" nebo "minuty". a Odvětví je totožné, což vždy vydává „minuty“. then else Jako autor této uvádí: „Od té doby, co zdroj pro Odesílání kompromisu trvalo delší dobu než opravování kódu.“ Chcete-li ho opravit, vývojáři by měli vymazat jedno písmeno. článek mailbox.minute Samozřejmě, že chyba není tak vážná, ale protože ji lze reprodukovat bez jakýchkoliv problémů, získává sedmé místo v našem top: se 6. místo: To byla poslední sláva Přejděme k chybám z : AutoMQ 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]; // <= .... } .... } .... } } Upozornění od PVS-Studio: Možná, že index "typ" je mimo hranice. V6025 ByteBufAlloc.java 151 Jedná se o poměrně častou chybu (opravdu, tak častou, že ji autor tohoto seznamu velmi často udělal sám). Vzhledem k menší chybě ve stavu, a může se vyskytnout na řádku kódu uvedeném analyzátorem. MAX_TYPE_NUMBER OutOfBoundsException Může se to stát kvůli Umožňuje situace, kdy se v Brankář, The Parametry budou V tomto případě bude vyhozená výjimka mimo hranice, protože první řádek přistupuje k řadě pomocí a indexování. if (type > MAX_TYPE_NUMBER) else type MAX_TYPE_NUMBER type To fix it, we just need to use instead of . >= > Since this error is close to the author's heart, it earns sixth place in the top list. 5. místo: Externí data v HTML Nyní je to 's turn. Look at the code: Jetty public class HelloSessionServlet extends HttpServlet { .... @Override protected void doGet( HttpServletRequest request, HttpServletResponse response ) { .... String greeting = request.getParameter("greeting"); // " + greeting + " from HelloSessionServlet "); // " + message + "

"); // <= .... } } Upozornění od PVS-Studio: Možná injekce XSS. Potenciálně znečištěná data v proměnné „zpráva“ mohou být použita k spuštění škodlivého skriptů. ČT5330 Štítek: java 70 Analytici poukazují na to, že by mohlo dojít k . XSS injekce In the code, we obtain a string from the request, use it to generate messages, and then use those messages to generate an HTML page. Since the request data isn't V každém případě je možná injekce XSS. Sanitizace Jestliže se vnější je , the JavaScript Bude spuštěn, jakmile bude stránka otevřena. Stejně jako jakýkoliv jiný js kód. 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. Jako první -analýza varování v reálném projektu, ačkoli je to v demonstračním příkladu, udělujeme mu 5. místo v horní části. Taintová Čtvrté místo - dvojnásobek Podívejte se na chybu z . Elastické hledání 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; // <= } Upozornění od PVS-Studio: Výsledek tohoto výrazu bude implicitně hoden na "dvojnásobek". zkontrolujte, zda programová logika správně zachází s ním. Šumava 6088 Maths.java 122 Pro hodnoty celých čísel snižuje počet číslic, zatímco pro frakční hodnoty odstraňuje přebytečné číslice po desátém bodě. Soudě podle ternárního operátora, v případě frakcí, vývojáři chtějí, aby metoda vrátila totožné číslo, se kterým přišla k metodě (buď nebo Ale jeden jemný, ale důležitý detail byl přehlížen. Float Double Ternární operátor je výraz, což znamená, že jeho výsledek musí mít jediný a předem určený typ. Připojte se k nám. Stručně řečeno platí následující: Numerický kontext Pokud se ve výrazu objeví objekty různých typů, jsou převedeny na jeden společný typ. V tomto případě by společný typ byl Dvojnásobný, protože představuje jak Dvojnásobný, tak Float. To znamená, že navzdory očekávání, metoda vždy vrátí při zpracování frakčních čísel. Double Kompaktní formát nahrávání nás opravdu nechal dolů. Oprava může vypadat takto: public static Number truncate(Number n, Number precision) { .... if (n instanceof Float) { return result.floatValue(); } else { return result; } } Vzhledem k tomuto neobvyklému jazykovému nuanci získává chyba čtvrté místo v top deseti. Třetí místo, počkejte na svou řadu! Nyní přecházíme na ocenění podium. bronzový medailista byl nalezen v Podívejte se na fragment kódu: Inteligentní nápady 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(....); } } } .... } Upozornění od PVS-Studio: Class initialization cycle is present. Initialization of 'DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED' appears before the initialization of 'LOG'. V6050 Uživatelský typ.java 46 Analyzátor varuje před cyklickou závislostí během statické polové inicializace; jedna z těch nuancí Java, které je snadné vynechat. The constructor is used to initialize the Přístup - a my jsme v tomto konstruktoru. DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG polích Jak můžeme vidět, Nachází se nahoře , tj. je inicializována dříve. V důsledku toho, když konstruktér běží, , a když se pokusíme k němu přistupovat, narazíme na NPE. jsou inicializovány v pořadí, ve kterém jsou deklarovány DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG LOG Bude to null Stejně jako ve většině výše uvedených případů bude oprava velmi jednoduchá. Vyhlášení výše . LOG DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED 2nd place. Where did the block go? Přesunuli jsme se k stříbrnému medailistovi. Znovu se setkáme s modem Minecraft, . ZákazníkNPC+ Podívejte se na fragment kódu: 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(); } Upozornění od PVS-Studio: Výraz byl implicitně vyhozen z typu 'int' na typ 'dvojitý'. zvážit použití explicitního typu vyhození, aby se zabránilo ztrátě frakční části. Příklad: dvojitý A = (dvojitý)(X) / Y;. V6094 JobHealer.java 14 V tomto kódu snímek, hra pravidelně (na základě field) scans for entities inside a rectangular area with a radius defined by Věnuje se lékaři NPC. speed range Od té doby, co Metoda má Podpis, analyzátor má naprostou pravdu varovat o tomto fragmentu: is passed to the method where „Tak co?“ možná se zeptáte. „Myslíme si, že je to opravdu zvláštní, takže jsme se rozhodli tento případ vyšetřit. 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: se Kolize lékaře NPC je zvýrazněna v bílé barvě. Aktuálně prováděná kolize (5 / 2) je zvýrazněna červeně. The collision without integer division (5 / 2.0) is highlighted in green. Jak můžeme vidět, pokud používáme Doslovně ze Rozdělení již není celé číslo a v důsledku toho kolize pokrývá přesně poloměr, který chceme. 2.0 double And to confirm that it worked correctly, the author of the had to "ask the universe": článek Pozoruhodně vývojáři opravili tuto chybu v původním modu pro Minecraft 1.12.2. Bohužel nemohu poskytnout žádný přímý důkaz, takže řekněme, že jsem se zeptal vesmíru - a tento kódový snímek je to, co poslal zpět: 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. Vzhledem k tomu, že vývojáři opravili chybu v původní modifikaci, mělo by zde platit totéž. 1. místo: Tajemný případ zmeškaného bonusu And now, the gold medal goes to... Může být množství Minecraftových chyb proto, že polovina našeho týmu strávila nesčetné hodiny prací na mods a pluginech? ZákazníkNPC+ Přejděme k kódu: .... 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; } } .... Upozornění od PVS-Studio: V6001 There are identical sub-expressions 'startIndex' to the left and to the right of the '==' operator. ScriptDBCPlayer.java 289 V6007 Výraz ‚!číslo‘ je vždy pravdivý. ScriptDBCPlayer.java 289 V6033 Položka se stejným klíčem 'startIndex' již byla změněna. ScriptDBCPlayer.java 293 Opravdu varování naznačují chyby? a pokud ano, k čemu to vede? Zde nás čeká celé detektivní vyšetřování s zajímavým koncem. Nejprve se podívejme na první varování. with itself does seem odd. The intrepid author of the article, donning his detective hat and long cloak, goes to look for clues in the class. The evidence is lying right nearby: startIndex souboru : : 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; } } .... Kód vypadá velmi podobně, ale není náhoda, že v našem týmu nazýváme autora článku "The Keen Eye" - našel rozdíl! V tom Blokování a v Lukáš: Jsou a V prvním odstavci si nejprve připomeňme V tom blok, a pak iterovat přes to v a loop. different try for num i startIndex try for Proto se ve druhém fragmentu ve stejné kontrole porovnávají dvě různé proměnné: a . In the first one, we have what the analyzer pointed out— . num i startIndex == startIndex Teď už víme, jak by měl vypadat první díl. ? But what does the error impact V tomto okamžiku si detektiv všiml důležitého nápadu ve jménu samotné třídy: Prefix znamená, že třída se používá v herním skriptovacím mechanismu. Metoda s chybou je zodpovědná za přidělování bonusů herním atributům, jako jsou "Silnost", "Agilita" atd. Logicky by metoda měla číst konkrétní bonusový index ze scénáře ve hře a poté aplikovat odpovídající modifikátor. Script Nejprve je nutné vyhodnotit bonusový index v Blokování : try try { num = Integer.parseInt(bonusID); number = true; } .... A pak, v kruhu, nastavte hodnotu, která byla předána na bonus: for (int i = 0; i < bonuses.length; ++i) { .... if (number && i == num || ....) { noNBTText = bonusValues[i][0] + ";" + bonusValueString; bonuses[i] = ""; bonuses[i] = noNBTText; .... break; } } Ale v fragmentu s chybou je index atributu získaný ze skriptu přepsaný s nulou a poté srovnáván se sebou samým: 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; .... } } To znamená, že bonusová hodnota předaná ve scénáři je vždy přiřazena Bonus, protože Je to napsáno v stav a stává se nulou, a pak je srovnána se sebou.Nyní je problém křišťálově jasný.Podívejme se na důsledky chyby. first startIndex for Nejprve musíme napsat scénář ve hře, který vytvoří bonusy pro "Strength". Nejprve vytvořme dva bonusy s hodnotami 1, a pak nastavte jejich hodnoty na 5 a 15, respektive: se Vytvořili jsme bonusy pro „Strength“ s indexy 0 a 1, a pak jim přiřadili hodnoty. Teoreticky, pokud zobrazíme tyto dva bonusy z "Strength", dostaneme 5 a 15? Kdyby v kódu nebyla chyba, tak by se to stalo. Abychom toto chování potvrdili, napište další scénář ve hře, který jednoduše vytiskne hodnoty bonusů: se V důsledku toho získáváme: Ve skutečnosti druhý bonus v "Power" má také počáteční hodnotu 1, zatímco první bonus je nyní rovný 15. Ukázalo se, že nejprve nastavíme první bonus na 5, a pak ho přepíšeme hodnotou 15. Vzhledem k množství detektivní práce a skutečnosti, že tato chyba může být spolehlivě reprodukována v praxi, důvěřujeme jí V naší top 10! honorable first place Obaly Yay! Prošli jsme všemi deseti nejvíce bizarními, srdečními a vzdělávacími chybami a doufáme, že jste si cestu užili stejně jako my! Pokud máte své vlastní myšlenky o tomto vrcholu, nebo možná svůj oblíbený bug, rádi bychom vás viděli sdílet v komentářích. Chcete-li si přečíst více o kontrole dalších projektů, zveme vás na naše or on . blogování Tato stránka Pokud se cítíte inspirováni k prověření vašich jednotlivých projektů a chcete zkusit analyzátor PVS-Studio sami, postupujte podle A pokud jste student, učitel nebo správce open source projektů v C, C++, C# nebo Java, můžete použít PVS-Studio zdarma. . linky here Vše, co zbývá, je říct sbohem pro teď. Šťastné prázdniny!