bug-import

{
  "type": "fact",
  "content": "BMS 模块历史累计 8 个缺陷，主要集中在心跳超时处理...",
  "confidence": 0.85,
  "tags": ["bug_pattern", "module:BMS", "pattern:heartbeat_timeout"],
  "metadata": {
    "source_bug_ids": ["BUG-102", "BUG-118", "BUG-203", "..."],
    "extraction_type": "module_hotspot",
    "extraction_dimension": "module",
    "project": "BMS-v3",
    "ltm_extracted_at": "2026-04-23T06:00:00Z",
    "bug_count": 8,
    "severity_distribution": {"critical": 2, "major": 4, "minor": 2}
  }
}

{
  "type": "fact",
  "content": "bms/heartbeat.c 是高频缺陷文件，历史关联 4 个 Bug，涉及问题类型：心跳定时器泄漏、线程并发访问、异常分支资源泄漏、边界值处理。此文件有变更时需格外仔细审核。",
  "confidence": 0.9,
  "tags": ["bug_pattern", "file_hotspot", "file:bms/heartbeat.c"],
  "metadata": {
    "source_bug_ids": ["BUG-118", "BUG-203", "BUG-301", "BUG-412"],
    "extraction_type": "file_hotspot",
    "bug_count": 4,
    "severity_distribution": {"critical": 1, "major": 2, "minor": 1}
  }
}

--- a/bms/heartbeat.c
+++ b/bms/heartbeat.c
@@ -42,7 +42,7 @@ static void bms_start_heartbeat(session_t *s) {
     pthread_mutex_lock(&s->lock);
     s->hb_enabled = true;
-    s->hb_interval_ms = 3000;
+    s->hb_interval_ms = 5000;
     schedule_timer(&s->hb_timer, s->hb_interval_ms, on_hb_tick);
     pthread_mutex_unlock(&s->lock);
 }
@@ -71,6 +71,9 @@ static void on_hb_timeout(session_t *s) {
-    close_session(s);
+    if (s->hb_enabled) {
+        close_session(s);
+    }
 }

unified_search(
  sources=["fact"],
  tags_include=["bug_pattern", "file:bms/heartbeat.c"],
  min_confidence=0.7
)

## 审核发现
 
### ⚠️ Severe · bug_pattern_match · bms/heartbeat.c:73
 
**命中历史模式**（来自 LTM · confidence 0.9）：
> bms/heartbeat.c 是高频缺陷文件，历史关联 4 个 Bug，涉及问题类型：
> 心跳定时器泄漏、线程并发访问、异常分支资源泄漏、边界值处理。
 
**本次 PR 改动的风险点**：
 
1. **心跳间隔从 3000 → 5000（line 45）**
   参考 BUG-412（边界值处理）：心跳间隔配置为 0 时会死循环。
   本次虽然不是改成 0，但建议补一个入参校验确保新值在合法区间
   （例如 [1000, 60000]ms），防止后续配置下发时意外归零。
 
2. **on_hb_timeout 新增 `if (s->hb_enabled)` 判断（line 72-74）**
   参考 BUG-203（线程并发访问）：本文件历史上有回调与心跳发送线程
   并发访问 session 状态的问题。
   **`s->hb_enabled` 的读取没有在锁保护内**——bms_start_heartbeat 写它时
   持 `s->lock`，但 on_hb_timeout 读它时没加锁，可能读到中间态。
   建议将这段判断放入 `pthread_mutex_lock(&s->lock)` 保护。
 
3. **关联历史 Bug**（点击跳 KB 原文）：
   - [BUG-118](#) · 心跳 timeout 后未清定时器
   - [BUG-203](#) · 断连回调与心跳发送线程并发访问 session 状态 ← **与本次改动强相关**
   - [BUG-301](#) · 异常分支未关闭 socket
   - [BUG-412](#) · 心跳间隔配置为 0 时进入死循环 ← **与本次改动强相关**
 
**建议**：本次 PR 表面是简单的数值调整，但落在历史缺陷热点文件上，
需要在评审中同步核查心跳相关的 3 个历史风险维度（定时器生命周期 /
并发保护 / 边界值校验），不要只看 diff 本身。

{
  "pr_id": "PR-2341",
  "findings": [
    {
      "category": "bug_pattern_match",
      "severity": "severe",
      "file": "bms/heartbeat.c",
      "line": 73,
      "evidence": {
        "ltm_fact_id": "ltm-fact-7821",
        "ltm_confidence": 0.9,
        "source_bug_ids": ["BUG-118", "BUG-203", "BUG-301", "BUG-412"],
        "matched_pattern": "file_hotspot + concurrent_access"
      },
      "advice": "s->hb_enabled 读取未加锁，参考 BUG-203 可能存在竞态..."
    }
  ]
}

/bug-import 把 Jira 项目 ABC 过去一年的已关闭 Bug 导入