Labels

• Android
• Breaking change

  Breaks some clients. Requires minor version number increase (middle number in the version number).
• bug
• crash
• Dataflow
• dependencies

  Pull requests that update a dependency file
• duplicate
• Eclipse
• enhancement
• False Negative (missing warning or unsoundness)
• False Positive (false warning or imprecision)
• Flow
• good first issue

  A beginner-friendly place to start contributing to the Checker Framework
• Index
• Intersections
• invalid
• java

  Pull requests that update java code
• Java 11
• Java8
• JavaExpressions
• Keyfor
• Manual
• Maven
• nondeterminism
• Performance
• PolyCollector
• QualifierFramework
• question
• ResourceLeakChecker
• StubParser