Labels

• Android

  Android

• Breaking change

  Breaking change

  Breaks some clients. Requires minor version number increase (middle number in the version number).

• bug

  bug

• crash

  crash

• Dataflow

  Dataflow

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

• Eclipse

  Eclipse

• enhancement

  enhancement

• False Negative (missing warning or unsoundness)

  False Negative (missing warning or unsoundness)

• False Positive (false warning or imprecision)

  False Positive (false warning or imprecision)

• Flow

  Flow

• good first issue

  good first issue

  A beginner-friendly place to start contributing to the Checker Framework

• Index

  Index

• Intersections

  Intersections

• invalid

  invalid

• java

  java

  Pull requests that update java code

• Java 11

  Java 11

• Java8

  Java8

• JavaExpressions

  JavaExpressions

• Keyfor

  Keyfor

• Manual

  Manual

• Maven

  Maven

• nondeterminism

  nondeterminism

• Performance

  Performance

• PolyCollector

  PolyCollector

• python:uv

  python:uv

  Pull requests that update python:uv code

• QualifierFramework

  QualifierFramework

• question

  question

• ResourceLeakChecker

  ResourceLeakChecker