Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

False negative: DoubleCheckedLocking.ql cannot detect scenarios with ternary expressions.

Ouverte
#21,395 2 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
38/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
java
Domaine
devtools, security

Piste de recherche

Commencez par java/Likely Bugs/Concurrency/DoubleCheckedLocking.ql et reproduisez les deux extraits Java de l’issue afin de comparer les résultats de la requête. C’est terminé lorsque la requête signale le scénario non sûr de double-checked locking basé sur un opérateur ternaire tout en continuant à signaler le motif direct existant.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

question

Version
codeql 2.23.9
Description of the issue
When I detect the code like this using java/Likely Bugs/Concurrency/DoubleCheckedLocking.ql, the problem is reported normally:


public class PosCase1 {
    private Object instance; // Non-volatile field
    public Object getInstance() {
        if (instance == null) { // First null check
            synchronized (this) { // [REPORTED LINE]
                if (instance == null) { // Second null check inside synchronized block
                    instance = new Object(); // Initialization
                }
            }
        }
        return instance; // Return after double-checked locking
    }
}

However, when ternary expressions are introduced into the code, DoubleCheckedLocking.ql fails to detect the problem:

public class PosCase1_Var1 {
    private Object instance; // Non-volatile field
    public Object getInstance() {
        // Use ternary for outer check, but preserve unsafe pattern
        return (instance != null) ? instance : createInstance();
    }
    private Object createInstance() {
        synchronized (this) {
            if (instance == null) {
                instance = new Object();
            }
            return instance;
        }
    }
}

These two code snippets are semantically identical, only using a ternary expression with some transformations, which is why DoubleCheckedLocking.ql cannot detect the problem.

Langage dominant
CodeQL
Étoiles
10.1k
Forks
2.1k
Merge moyen
2 j 16 h
PR mergées (30 j)
143

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de github/codeql

Toutes les issues de github/codeql

Issues similaires

Plus d'issues DevTools

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.