Labels

• crash

  An unexpected unhandled exception or simliar defect.
• dependencies

  Pull requests that update a dependency file
• documentation
• dx

  Improvement to Developer Experience
• enhancement

  An enhancement other than a new detector.
• false negative

  An error wasn't reported when it should
• false positive

  An error is reported when it shouldn't
• needs decision

  A decision to go forward or close the issue is needed.
• new detector

  A detector for a new kind of problem.
• qa

  Improvements to the test suite or other quality measures.