github / github/codeql

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

未关闭
#1,531 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
false-positive Java
主要语言
CodeQL
星标
10.1k
派生
2.1k
平均合并
2 天 15 小时
30 天内合并 PR
141

描述

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

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。