[
  ["warning", "Division by zero", "clang-analyzer-core.DivideZero"],
  { "reliability": "high" }
]