CWE-595 Variante Incomplet

Comparison of Object References Instead of Object Contents

This vulnerability occurs when code incorrectly checks if two object references point to the same memory location, rather than comparing the actual data or values contained within the objects. This…

Définition

What is CWE-595?

This vulnerability occurs when code incorrectly checks if two object references point to the same memory location, rather than comparing the actual data or values contained within the objects. This mistake prevents the software from correctly identifying when two separate objects hold equivalent content.
In many programming languages, the default comparison operator (like `==` in Java or `is` in Python) checks for *reference equality*. This means it only returns true if both variables point to the exact same object in memory. To properly compare the internal state or data of two objects, you must use a method designed for *value equality*, such as `.equals()` in Java, `.equals()` or value comparators in C#, or overriding the `==` operator in languages that support it. This is a common pitfall, especially with strings and collections. For instance, using `==` on two Java `String` objects with the same text will often fail because they are distinct objects in memory. Developers must be intentional about their comparison logic, choosing the correct method based on whether they need to verify object identity or object content, as using the wrong check leads to flawed program logic and unexpected behavior.
Impact réel

Real-world CVEs caused by CWE-595

Aucune référence CVE publique n'est liée à ce CWE dans le catalogue MITRE pour le moment.

Comment les attaquants l'exploitent

Parcours de l'attaquant étape par étape

  1. 1

    In the example below, two Java String objects are declared and initialized with the same string values. An if statement is used to determine if the strings are equivalent.

  2. 2

    However, the if statement will not be executed as the strings are compared using the "==" operator. For Java objects, such as String objects, the "==" operator compares object references, not object values. While the two String objects above contain the same string values, they refer to different object references, so the System.out.println statement will not be executed. To compare object values, the previous code could be modified to use the equals method:

  3. 3

    In the following Java example, two BankAccount objects are compared in the isSameAccount method using the == operator.

  4. 4

    Using the == operator to compare objects may produce incorrect or deceptive results by comparing object references rather than values. The equals() method should be used to ensure correct results or objects should contain a member variable that uniquely identifies the object.

  5. 5

    The following example shows the use of the equals() method to compare the BankAccount objects and the next example uses a class get method to retrieve the bank account number that uniquely identifies the BankAccount object to compare the objects.

Exemple de code vulnérable

Vulnerable Java

In the example below, two Java String objects are declared and initialized with the same string values. An if statement is used to determine if the strings are equivalent.

Vulnérable Java
String str1 = new String("Hello");
  String str2 = new String("Hello");
  if (str1 == str2) {
  	System.out.println("str1 == str2");
  }
Exemple de code sécurisé

Secure Java

However, the if statement will not be executed as the strings are compared using the "==" operator. For Java objects, such as String objects, the "==" operator compares object references, not object values. While the two String objects above contain the same string values, they refer to different object references, so the System.out.println statement will not be executed. To compare object values, the previous code could be modified to use the equals method:

Sécurisé Java
if (str1.equals(str2)) {
  	System.out.println("str1 equals str2");
  }
What changed: the unsafe sink is replaced (or the input is validated/escaped) so the same payload no longer triggers the weakness.
Liste de contrôle de prévention

How to prevent CWE-595

  • Implementation In Java, use the equals() method to compare objects instead of the == operator. If using ==, it is important for performance reasons that your objects are created by a static factory, not by a constructor.
Signaux de détection

How to detect CWE-595

Automated Static Analysis High

Automated static analysis, commonly referred to as Static Application Security Testing (SAST), can find some instances of this weakness by analyzing source code (or binary/compiled code) without having to execute it. Typically, this is done by building a model of data flow and control flow, then searching for potentially-vulnerable patterns that connect "sources" (origins of input) with "sinks" (destinations where the data interacts with external components, a lower layer such as the OS, etc.)

Correction automatique Plexicus

Plexicus détecte automatiquement CWE-595 et ouvre une PR de correction en moins de 60 secondes.

Codex Remedium analyse chaque commit, identifie cette faiblesse précise et livre une pull request prête à être relue avec le correctif. Pas de tickets. Pas de transferts.

Questions fréquentes

Frequently asked questions

Qu'est-ce que CWE-595 ?

This vulnerability occurs when code incorrectly checks if two object references point to the same memory location, rather than comparing the actual data or values contained within the objects. This mistake prevents the software from correctly identifying when two separate objects hold equivalent content.

Quelle est la gravité de CWE-595 ?

MITRE n'a pas publié de note de probabilité d'exploitation pour cette faiblesse. Traitez-la comme un impact moyen jusqu'à ce que votre modèle de menace prouve le contraire.

Quels langages ou plateformes sont affectés par CWE-595 ?

MITRE lists the following affected platforms: Java, JavaScript, PHP.

Comment puis-je prévenir CWE-595 ?

In Java, use the equals() method to compare objects instead of the == operator. If using ==, it is important for performance reasons that your objects are created by a static factory, not by a constructor.

Comment Plexicus détecte et corrige CWE-595 ?

Le moteur SAST de Plexicus reconnaît la signature de flux de données de CWE-595 à chaque commit. Lorsqu'une correspondance est trouvée, notre agent Codex Remedium ouvre une PR de correction avec le code corrigé, les tests et un résumé d'une ligne pour le relecteur.

Où puis-je en savoir plus sur CWE-595 ?

MITRE publie la définition canonique à https://cwe.mitre.org/data/definitions/595.html. Vous pouvez également consulter la documentation OWASP et NIST pour des conseils adjacents.

Prêt quand vous l'êtes

Arrêtez de payer par développeur.
Commencez à fermer la boucle.

Plexicus est l'ASPM natif IA qui scanne, filtre, corrige, penteste et explique — de façon autonome. Développeurs illimités, dépôts illimités, actions IA à usage équitable. Vrai niveau gratuit, €269/mo annuel quand vous êtes prêt.