All pull requests

Pull requests

• Convert the IntRangeFrom* aliases when the Value Checker creates an abstract value

  #8279·mernst opened Sep 23, 2026Member·

  ·
  5

• Make checkPurity pass for javacutils.

  #8262·smillst opened Sep 22, 2026Member·

  ·
  1

  

• Unit-test name resolution for unnameable classes and non-canonical names

  #8248·mernst opened Sep 22, 2026Member·

  ·
  3

• Speed up merging dataflow stores

  #8243·mernst opened Sep 22, 2026Member·

  ·
  5

• Add the Modifiability Checker

  #8234·YukiYang31 opened Sep 20, 2026Contributor·

  ·
  11

• Compute a correct JVML descriptor for a type variable

  #8225·mernst opened Sep 19, 2026Member·

  ·
  23

• Memoize the default qualifiers that apply to a scope

  #8216·mernst opened Sep 19, 2026Member·

  ·
  5

• Check type parameter bounds on override

  #8212·mernst opened Sep 19, 2026Member·

  ·
  1

• Use a type variable's upper bound when deciding relevance

  #8208·mernst opened Sep 18, 2026Member·

  ·
  8

• Check functional-interface arguments of side-effect-free methods

  #8204·smillst opened Sep 17, 2026Member·

  ·
  30

  

• Don't write irrelevant annotations in .ajava files

  #8177·mernst opened Sep 15, 2026Member·

  ·
  18

• Check a constructor's purity against its class's instance initializers

  #8113·smillst opened Sep 8, 2026Member·

  ·
  4

  

• Permit a constructor to write an element of an array that it owns

  #8112·smillst opened Sep 8, 2026Member·

  ·
  5

  

• Enforce @TargetLocations; fixes #8042

  #8084·w3lld1 opened Sep 3, 2026·

  ·
  1

  11

  

• Ensure soundness of StructuralEqualityComparer

  #8071·junho0831 opened Aug 29, 2026·

  ·
  1

  4

  

• Support IntelliJ IDEA external annotations (annotations.xml); fixes #6258

  #8045·ceasermikes002 opened Aug 23, 2026·

  ·
  44

  

• Check @SideEffectsOnly on overrides and method references

  #8040·mernst opened Aug 21, 2026Member·

  ·
  17

• RLC extension for resource collection

  #7602·iamsanjaymalakar opened Mar 31, 2026Member·

  ·
  333

  

• Add Resource Leak Checker tests for JDBC and RowSet resource types

  #7480·parameshn opened Feb 6, 2026·

  ·
  21

  

• Fix false-negative when overriding method type-parameter bounds

  #7467·Suvrat1629 opened Jan 30, 2026·

  ·
  1

  6

• Filter dependent type annotations referencing out-of-scope local vari…

  #7448·shubhamk0205 opened Jan 19, 2026Contributor·

  ·
  15

  

• Fix NPE in CFAbstractValue

  #7428·Suvrat1629 opened Dec 27, 2025·

  ·
  1

  16

  

• Fix interaction between @NotOnlyInitialized and @UnderInitialization

  #7426·PraneethKulukuri26 opened Dec 20, 2025·

  ·
  1

  4

• Enhancement #5666: enhancing report with adding Sarif Report(POC)

  #7408·Gaoyan1999 opened Dec 3, 2025Contributor·

  ·
  37

• Added confidential checker

  #6981·iywang2016 opened Mar 3, 2025Contributor·

  ·
  46