Soundness: a field of another class or object is read as this class's field with the same name
Les mainteneurs répondent en général sous 2 jours
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 76/100
Piste de recherche
Start at OperationsChecker.getOperationRefinements and RefinementTypeChecker.visitCtFieldRead, using the supplied Limits/Repro example as the first reproducer. Trace how CtFieldRead targets are resolved for class fields, object fields, and enum constants, then verify that the reproducer reports a refinement error and that the name-clash cases no longer use the current class's field refinement.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Description
Reading a field of another class or object (Limits.max, other.val) resolves to the current class's own field with the same name (this.max) when the current class has one. The wrong refinement is used, so real violations are accepted.
Minimal reproducer
import liquidjava.specification.Refinement;
class Limits {
static final int max = 10;
}
public class Repro {
int max = 5; // this class also has a field named max
void check() {
@Refinement("_ == 5") int k = Limits.max; // expected error: Limits.max is 10
}
}
Expected
A refinement error: Limits.max is 10, not 5.
Actual
Correct! Passed Verification.
Removing the field int max = 5; from Repro gives the expected error (k == 10 is not a subtype of k == 5), so the name clash is what hides it.
Reproduced on main at fbfb4e23.
Where
OperationsChecker.getOperationRefinements / RefinementTypeChecker.visitCtFieldRead: a CtFieldRead is named with Formats.THIS (this#<name>) regardless of its target, so any field read whose simple name matches a field of the current class picks up that field's refinement. The same shape affects enum constants (Format.JPG read as this.JPG when the class has a field JPG) and fields of other objects (other.val read as this.val).
Context
Found by the adversarial review of #319 (fix for #302). Pre-existing on main, independent of #319.
- Langage dominant
- Java
- Étoiles
- 67
- Forks
- 36
- Merge moyen
- 3 j 16 h
- PR mergées (30 j)
- 9
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de liquid-java/liquidjava
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
liquid-java/liquidjava#321 ·
Les mainteneurs répondent en général sous 2 jours
-
Soundness: short-circuit RHS assignments are treated as executedPeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 68/100
liquid-java/liquidjava#323 ·
Les mainteneurs répondent en général sous 2 jours
-
Fields with the same name in different classes collidePeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 52/100
liquid-java/liquidjava#318 ·
Les mainteneurs répondent en général sous 2 jours
-
Nested classes wipe the outer class's field refinementsPeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 55/100
liquid-java/liquidjava#317 ·
Les mainteneurs répondent en général sous 2 jours
-
Reading a field of a class declared later in the file loses its refinementPeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 62/100
liquid-java/liquidjava#316 ·
Les mainteneurs répondent en général sous 2 jours
Toutes les issues de liquid-java/liquidjava
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
objectionary/hone-maven-plugin#1295 ·
Les mainteneurs répondent en général sous 1 jour
-
Clarify Javadoc for Logger methods taking Object... arguments with regards to Throwable detectionOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulté 1/5 1-3 heures Accessibilité débutants 88/100
-
enhancement good first issue
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
Les mainteneurs répondent en général sous 1 jour
-
[Bug] The shared instance selector's placeholder and no-match text ignore the display languagePeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 90/100
apache/rocketmq-dashboard#5561 ·
Les mainteneurs répondent en général sous 3 jours