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