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

Python: Call analysis fails in some scenarios

Ouverte
#19,288 1 commentaire 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
35/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
python
Domaine
devtools

Piste de recherche

Commencez par exécuter la requête CodeQL fournie sur l’exemple Python minimal et comparez les appels marqués comme fonctionnels ou défectueux. Examinez l’extracteur Python et le comportement de pointsTo pour les expressions d’affectation, et confirmez que la requête ne signale plus les appels dont les cibles ont une Value.

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

Description

question

While trying to use the 'pointsTo' approach for some basic control-flow-based queries (please let me know if there's a better approach to find 'all statements reachable from a function entry-point'), I've noticed that currently, some calls are incorrectly picked up without any value to point to.

MWE:

import sys

def mwe_callable():
    print("Hello, World!") # works

def mwe_broken():
    if herp := sys.argv[1]:
        raise Exception("merp") # broken
    
    mwe_callable() # broken

def mwe_broken2():
    if herp := "derp":
        print("merp") # broken
    
    mwe_callable() # works

def mwe_works():
    if sys.argv[1] == "derp":
        raise Exception("merp") # works
    
    mwe_callable() # works

def mwe_works2():
    print("merp") # works
    mwe_callable() # works

Test query:

import python

from Function f, Call c, Expr e
where
  f.contains(c) and
  e = c.getFunc() and
  not exists(Value v | e.pointsTo() = v)
select f, c, e

Every call I've marked here as 'broken' is returned by the query as not having any Value to point to, whereas the other calls are correctly identified and associated with their target.

I am using:

  • CodeQL CLI 2.21.0
  • CodeQL VSCode extension 1.17.2
  • codeql/python-all@4.0.4
  • Python extractor 1.22.1
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.