Hacktoberfest 2026: as issues que os mantenedores marcaram para outubro, abertas e boas para iniciantes. Ver issues do Hacktoberfest

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

Aberta
#21,395 2 comentários 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
38/100
Tipo de issue
Bug
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Stack de tecnologia
java
Domínio
devtools, security

Direção de pesquisa

Comece por java/Likely Bugs/Concurrency/DoubleCheckedLocking.ql e reproduza os dois trechos de Java da issue para comparar os resultados da consulta. O trabalho estará concluído quando a consulta reportar o cenário inseguro de double-checked locking baseado em um operador ternário, continuando a reportar o padrão direto existente.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

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.

Linguagem predominante
CodeQL
Estrelas
10.1k
Forks
2.1k
Merge médio
2d 16h
PRs com merge (30d)
143

Guia de contribuição

Abrir o guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de github/codeql

Todas as issues de github/codeql

Issues semelhantes

Mais issues de DevTools

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.