GitHub · Where software is built

Labels Milestones New issue

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

#1531

· s0 opened

on Jul 1, 2019

Java: FP in java/integer-multiplication-cast-to-long when using Long.BYTES

#1060

· s0 opened

on Mar 7, 2019

Java: FP in java/index-out-of-bounds when index known to be less than the length of the array

#1061

· s0 opened

on Mar 7, 2019

LGTM.com - false positive for extending java.io.OutputStream

#4101

· einrobin opened

on Aug 18, 2020

Java: Add Import.getATypeImport

#4119

· Marcono1234 opened

on Aug 23, 2020

Java: Consider some support for backwards flow through writer wrappers

#6402

· aschackmull opened

on Aug 3, 2021

Java: <code>java/ineffective-annotation-present-check</code> should cover more cases

#6244

· Marcono1234 opened

on Jul 10, 2021

Java: Add predicates for <code>AnnotationElement</code> default value

#6275

· Marcono1234 opened

on Jul 13, 2021

Java: Explicit <code>ArrayInit</code> containing annotation nested inside annotation as implicit array value is malformed

#6276

· Marcono1234 opened

on Jul 14, 2021

Java: Improve <code>NonConstantTimeCheckOnSignatureQuery.qll</code>

#9499

· Marcono1234 opened

on Jun 11, 2022

Java: Clarify that Expr.getLocation does not include parentheses

#3908

· Marcono1234 opened

on Jul 6, 2020

Java: Support flow summaries specifications with arbitrary read step sequences

#5985

· aschackmull opened

on Jun 2, 2021