Los mayores éxitos de Java (del fracaso): Top 10 errores de código abierto de 2025

Los mods de Minecraft, el idioma catalán y las interacciones no obvias con el operador ternario — ¡cuántas cosas ha encontrado nuestro analista! Así que es hora de compartir los puntos destacados con ustedes. Introduction Este año, revisamos muchos proyectos de código abierto y escribimos Sobre ellos . Artículos Ahora, hemos seleccionado diez de los errores más curiosos y extraños fragmentos de código. La selección y el ranking son, por supuesto, subjetivos y basados en nuestro propio sentido de la frescura. ¡Es hora de irnos, vamos! 10o lugar: derecha a izquierda, izquierda a derecha Abrimos nuestro top con un caso de En cierto modo, el proyecto resuena con nosotros: al igual que PVS-Studio, analiza lenguajes —sólo los naturales, no los artificiales. Lenguaje Lo divertido es que este error se refiere a nuestro analista. Sin embargo, lo encontramos tan divertido que simplemente no podemos saltarlo. Mira el fragmento del código: public String getEnclitic(AnalyzedToken token) { .... if (word.endsWith("ه")) { suffix = "ه"; .... else if ((word.equals("عني") || word.equals("مني")) && word.endsWith("ني") // <= ) { suffix = "ني"; } .... } El aviso del PVS-Studio: Expression 'word.endsWith("ني")' is always false. El 6007 ÁrabeTagger.java 428 Si miramos las constantes de cuerdas de la manera en que los hablantes nativos de lenguas de izquierda a derecha (LTR), como el inglés o el francés, suelen hacerlo, la advertencia del analista parece justa. -Los hablantes de árabe esperan el final de un literal, en realidad verán su comienzo. Habla en árabe. non can't Por cierto, si sabemos que hay una escritura RTL, nos damos cuenta de que la condición es en realidad siempre No es falso. true Eso nos hizo curiosos: ¿cómo maneja Java los idiomas de derecha a izquierda? todo es fácil como un pastel: Java maneja Unicode en lugar de la visualización de texto. , es decir, en el orden en que los hablantes nativos los leen y los escriben. Se almacenan en orden lógico Esto significa que Java no necesita realizar ninguna conversión especial para manejar el texto RTL. La cadena sigue siendo una secuencia regular de puntos de código Unicode, y operaciones como obtener su longitud, acceder a caracteres, o extraer una substring trabajando lo mismo para todos los idiomas. Por lo tanto, para tal control: System.out.println("مرحباً بالجميع".endsWith("بالجميع")); El resultado será , aunque si leemos de izquierda a derecha, la cadena comienza, en lugar de terminar, con "بالجميع". true Still, since the analyzer is technically wrong here, we're placing it at 10th place in our ranking. Si estás interesado en aprender más, puedes leer la historia completa de cómo analizamos LanguageTool en este artículo. . Artículo 9o Lugar: Lengua catalana ¡Aparece de nuevo en nuestro ranking! Lenguaje El módulo de idioma catalán tiene la método, que corregirá cuidadosamente las formas de ortografía obsoletas y eliminará las diacriticas innecesarias. Por ejemplo, convierte "adéu" en "adieu", "dóna" en "dona", "vénen" en "venen" y así sucesivamente: 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"); } A primera vista, parece bien: funciona, corrige y no molesta a nadie. Sin embargo, el analista tiene otro punto: La función "reemplazar" recibe un argumento extraño. El argumento "véns" ha sido aprobado varias veces. V6009 Cataluña.java 453 El problema es que el método reemplaza "véns" por "véns", es decir, nada se reemplaza en absoluto.Más probablemente, cuando los desarrolladores trabajaron con este bloque, simplemente copiaron la palabra original y sustituyeron la letra, pero en este caso se olvidó de cambiar la letra en el segundo argumento: .... .replace("véns", "vens") .... Dado que nuestro analizador de lenguas artificiales logró detectar un error en su analizador de lenguas naturales, esta advertencia gana su lugar en nuestra lista principal. 8o lugar: efecto de última línea Vamos más allá, ahora hablamos del error de . Elasticar Mira el fragmento del código: @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; // <= } El aviso de PVS-Studio: V6001 Hay subexpresiones idénticas 'isMissingEventFilter' a la izquierda y a la derecha del operador '=='. Archivo de la etiqueta: java 116 Como en el ejemplo anterior, estamos tratando de un tipo, pero con un ligero matiz: el error ocurre en la última línea de bloque de código idéntico. Esta situación ocurre bastante a menudo durante el desarrollo, tan a menudo que los desarrolladores le han dado un nombre, . Even within this project, this isn't a single case: a similar error appears in the last line of another block in the identical code: 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; // <= } El aviso de PVS-Studio: V6001 Hay subexpresiones idénticas 'stallTimeSeconds' a la izquierda y a la derecha del operador '=='. ÍndiceError.java 147 Si desea saber más sobre este efecto, le invitamos a leer los siguientes artículos: Nuestro primer encuentro con él: El efecto de la última línea. una discusión más detallada sobre el fenómeno: El efecto de la última línea explicado. Como este error demuestra un fenómeno tan curioso, le otorgamos un lugar en nuestra lista principal. Séptimo lugar: Perdido en la localización Pasemos a la séptima posición. Ya hemos examinado tres errores de Java, pero aún no hemos encontrado Minecraft. Mira el fragmento de código de : Conexión + 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"); } El aviso del PVS-Studio: La declaración "entonces" es equivalente a la declaración "else". V6404 GuiMailbox.java 76 Aquí podemos ver un tipo que conduce a un error de localización. Dependiendo del número de minutos, se debería haber mostrado "minutos" o "minutos". y las ramas es idéntica, que siempre emite "minutos". then else Como autor de este dice: "Desde que el recurso de texto para Ya está en las fuentes del juego, el envío del comité tomó más tiempo que corregir el código."Para corregirlo, los desarrolladores deben borrar una letra. Artículo mailbox.minute Por supuesto, el error no es tan grave, pero porque se puede reproducir sin ningún problema, gana el séptimo lugar en nuestro top: y Séptimo lugar: Esa fue la última paja Pasemos al error de : Automóviles 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]; // <= .... } .... } .... } } El aviso del PVS-Studio: Posiblemente el índice 'tipo' está fuera de límites. V6025 Página de inicio.java 151 Este es un error bastante común (honestamente, tan común que el autor de esta lista superior lo ha hecho a menudo él mismo). Debido a un pequeño error en la condición, un puede ocurrir en la línea de código indicada por el analizador. MAX_TYPE_NUMBER OutOfBoundsException Esto puede ocurrir debido a Permite una situación en la que, en el La rama, el parameter will have , que excede el índice de matriz válido máximo por uno. En este caso, se lanzará una excepción fuera de límites, ya que la primera línea accede a la matriz usando el El índice. if (type > MAX_TYPE_NUMBER) else type MAX_TYPE_NUMBER type Para corregirlo, sólo tenemos que usar En lugar de . >= > Dado que este error está cerca del corazón del autor, gana el sexto lugar en la lista principal. 5o lugar. datos externos en HTML Now it's Vea el código: Jetty public class HelloSessionServlet extends HttpServlet { .... @Override protected void doGet( HttpServletRequest request, HttpServletResponse response ) { .... String greeting = request.getParameter("greeting"); // " + greeting + " from HelloSessionServlet "); // " + message + "

"); // <= .... } } El aviso del PVS-Studio: . Possible XSS injection. Potentially tainted data in the 'message' variable might be used to execute a malicious script. V5330 HolaSesiónServlet.java 70 Los analistas señalan que podría haber un . Injecciones XSS En el código, obtenemos una cadena de la solicitud, la usamos para generar mensajes, y luego usamos esos mensajes para generar una página HTML. En cualquier caso, la inyección de XSS es realmente posible. sanitarios Si el exterior pasa es por el JavaScript se ejecutará cuando se abra la página. al igual que cualquier otro código js. message alert("XSS Injection") alert("XSS Injection") Si esta es una vulnerabilidad real, ¿por qué no se clasifica más alto en la lista? Porque es parte de un ejemplo de demostración. En otras palabras, mostramos el código sólo para ver lo que puede ocurrir en Jetty. Sin embargo, vale la pena recordar que el ejemplo de demostración no se podía copiar en producción. Después de todo, no es la mejor práctica mostrar código inseguro. Como el primer -Alerta de análisis en un proyecto real, aunque en un ejemplo de demostración, le otorgamos el quinto lugar en la parte superior. Tintín Cuarto lugar, doble Mira el error de . 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; // <= } El aviso del PVS-Studio: El resultado de esta expresión será implícitamente lanzado a 'doble'. Compruebe si la lógica del programa lo maneja correctamente. Siguiente 6088 Página 122 de Java Este método corta el número pasado según la precisión especificada. Para los valores enteros, reduce el número de dígitos, mientras que para los valores fraccionales, elimina los dígitos excesivos después del punto decimal. A juzgar por el operador ternario, en el caso de fracciones, los desarrolladores quieren que el método devuelva un número idéntico con el que llegó al método (o o Pero un detalle sutil pero importante ha sido ignorado. Float Double El operador ternario es una expresión, lo que significa que su resultado debe tener un tipo único y predeterminado. en el juego. En resumen, se aplica lo siguiente: numeric context Si los objetos de diferentes tipos aparecen en una expresión, se convierten en un único tipo común. In this case, the common type would be , since it represents both and . Double Double Float Es decir, a pesar de las expectativas, el método siempre devuelve una Procesamiento de los números fraccionales. Double El formato de grabación compacto realmente nos deja abajo. Una corrección puede parecer así: public static Number truncate(Number n, Number precision) { .... if (n instanceof Float) { return result.floatValue(); } else { return result; } } Debido a este matiz lingüístico no obvio, el error gana el cuarto lugar en el top diez. 3o lugar, por favor, espera tu turno. Ahora vamos al podio del premio.El medallista de bronce ha sido encontrado en Mira el fragmento del código: Ideas inteligentes 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(....); } } } .... } El aviso del PVS-Studio: La inicialización de 'DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED' aparece antes de la inicialización de 'LOG'. V6050 UsageType.java 46 El analizador advierte sobre una dependencia cíclico durante la inicialización de campo estático; uno de esos matices de Java que es fácil de perder. El constructor se utiliza para inicializar el campo. y tenemos acceso en este constructor. DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG campos Como podemos ver, Está ubicado por encima , es decir, se inicia antes. Como resultado, cuando el constructor se ejecuta, , y cuando intentemos acceder a ella, nos encontraremos con un NPE. están inicializados en el orden en el que se declaran DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED LOG LOG Será null Como en la mayoría de los casos anteriores, la solución será extremadamente simple. statement above . LOG DELEGATE_TO_ANOTHER_INSTANCE_PARAMETERS_CHANGED 2 ¿Dónde fue el bloqueo? Hemos pasado a la medalla de plata. Conoce de nuevo el mod de Minecraft, . Conexión + Mira el fragmento del código: 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(); } El aviso del PVS-Studio: La expresión se lanzó implícitamente del tipo 'int' al tipo 'doble'. considere utilizar un tipo explícito para evitar la pérdida de una parte fraccional. Siguiente 6094 Trabajador.java 41 En este fragmento de código, el juego periódicamente (basado en campo) escáneres para entidades dentro de un área rectangular con un radio definido por , centrado en torno a un médico NPC. speed range Desde el El método tiene la La firma, el analista tiene absolutamente razón en advertir sobre este fragmento: Se utiliza el método en el que “Entonces ¿qué?” podrías preguntar.Consideramos que esto es realmente extraño, así que hemos decidido investigar este caso. expand expand(double x, double y, double z) int double Este defecto menor conduce a la siguiente consecuencia: si el radio es un número extraño, al evaluar el eje Y, perdemos la mitad de un bloque en la parte superior y en la inferior (es decir, un bloque entero en total). y La colisión del médico NPC se destaca en blanco. La colisión actualmente implementada (5 / 2) se destaca en rojo. La colisión sin división de números enteros (5 / 2.0) se destaca en verde. Como podemos ver, si utilizamos el literal de la tipo, la división ya no es un número entero, y como resultado, la colisión cubrirá exactamente el radio que queremos. 2.0 double Y para confirmar que funcionó correctamente, el autor de la Teníamos que “preguntar al universo”: Artículo Notablemente, los desarrolladores han corregido este error en el mod original para Minecraft 1.12.2.Desafortunadamente, no puedo proporcionar ninguna evidencia directa, así que digamos que le pregunté al universo, y este fragmento de código es lo que envió de vuelta: Notablemente, los desarrolladores han corregido este error en el mod original para Minecraft 1.12.2.Desafortunadamente, no puedo proporcionar ninguna evidencia directa, así que digamos que le pregunté al universo, y este fragmento de código es lo que envió de vuelta: .... this.npc.world.getEntitiesWithinAABB( EntityLivingBase.class, npc.getEntityBoundingBox().expand(range, range / 2.0, range) ); .... Dado que los desarrolladores han corregido el bug en la modificación original, lo mismo debería aplicarse aquí. Dado que los desarrolladores han corregido el bug en la modificación original, lo mismo debería aplicarse aquí. 1er lugar: El caso misterioso de los bonos perdidos Y ahora, la medalla de oro va a... ! Could the abundance of Minecraft bugs be because half our team spent countless hours working on mods and plugins for it? Who knows. Conexión + Pasemos al código: .... 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; } } .... El aviso del PVS-Studio: V6001 Existen subexpresiones idénticas 'startIndex' a la izquierda y a la derecha del operador '=='. ScriptDBCPlayer.java 289 V6007 La expresión '!número' siempre es verdadera. ScriptDBCPlayer.java 289 V6033 Un elemento con la misma clave 'startIndex' ya ha sido cambiado. ScriptDBCPlayer.java 293 ¿Realmente las advertencias indican errores?Y si es así, ¿a qué conduce?Aquí nos espera toda una investigación detective con un final interesante. Primero, miremos la primera advertencia. El autor intrépido del artículo, usando su sombrero de detective y un largo manto, va a buscar pistas en la clase. startIndex El archivo: : 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; } } .... El código parece muy similar, pero no es coincidencia que en nuestro equipo, llamemos al autor del artículo "The Keen Eye" - él encontró la diferencia! En la Bloqueo y en el Loop: Ellos están y . In the first fragment, we first initialize En la bloqueo, y luego iterarlo en un El loop. different try for num i startIndex try for Por lo tanto, en el segundo fragmento, se comparan dos variables diferentes en una verificación idéntica: y . In the first one, we have what the analyzer pointed out— . num i startIndex == startIndex Así que ahora sabemos cómo se suponía que se trataba el primer fragmento. ? But what does the error impact En este punto, el detective notó una pista importante en el nombre de la clase misma: el Prefixo significa que la clase se utiliza en el mecanismo de scripting del juego. El método con error es responsable de asignar bonos a atributos del juego como "Forza", "Agilidad", etc. Lógicamente, el método se supone que lee un índice de bonos específico del script en el juego y luego aplica el modificador correspondiente. Script En primer lugar, debemos analizar el índice de bonificación en el El Bloque: try try { num = Integer.parseInt(bonusID); number = true; } .... Y luego, en el loop, establezca el valor pasado al bono: 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; .... } } Es decir, el valor de bonificación pasado en el guión siempre se asigna al bonus because Está escrito en la 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 First, we need to write an in-game script that will create bonuses for "Strength". First, let's create two bonuses with values of 1, and then set their values to 5 and 15, respectively: y Creamos bonos para "Forza" con índices 0 y 1, y luego les asignamos los valores. Now, in theory, if we display these two bonuses from "Strength", we will obtain 5 and 15? If there had been no error in the code, that's what would have happened. However, as we understood from the block above, the error leads to the value of the first bonus being overwritten. Para confirmar este comportamiento, escribamos otro guión en el juego que simplemente imprime los valores de bonificación: y Como resultado, obtendremos: y De hecho, el segundo bono en "Power" también tiene un valor inicial de 1, mientras que el primer bono ahora equivale a 15. Dada la cantidad de trabajo detective involucrado y el hecho de que este bug se puede reproducir de manera fiable en la práctica, confiamos en otorgarle la ¡En nuestro top 10! honorable first place Encuentro Yay! lo hemos hecho a través de todos los diez de los errores más extraños, calurosos y educativos, y esperamos que disfrutes del viaje tanto como lo hicimos! Si tienes tus propios pensamientos sobre este top, o tal vez un error favorito de tu propio, estaríamos encantados de ver que los compartas en los comentarios. Si desea leer más sobre comprobar otros proyectos, le invitamos a nuestro o en . El blog Esta página Si se siente inspirado para comprobar sus proyectos individuales y desea probar el analizador PVS-Studio usted mismo, siga el . And if you're a student, teacher, or maintainer of open-source projects in C, C++, C#, or Java, you can use PVS-Studio for free. All the details are . Enlace Aquí Todo lo que queda es decir adiós por ahora. Felices vacaciones!