github / github/codeql

Java: FP in java/abstract-to-concrete-cast when typechecked against wildcard type

Aperta
#1,531 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
false-positive Java
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

See: https://discuss.lgtm.com/t/java-false-positive-imho-cast-from-abstract-to-concrete-collection/2168

It seems that this query does attempt to filter when such a typecheck is present, but only takes into account raw types and not parameterized types with wildcards.

Example: https://lgtm.com/projects/g/fschopp/java-types/snapshot/6a6a2e9ec45512ab691927bcd767e300bf968389/files/src/main/java/net/florianschoppmann/java/reflect/ImmutableList.java#x1d138b35162e042f:1

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.