공급업체가 연간 500건의 드라이버 업데이트 출시
├── 490건은 기능/성능/미용 변경
├── 8건은 사소한 버그 수정
└── 2건은 묵시적 보안 수정 (CVE 미할당)

자동화 없음: 500건을 수동 검토하여 2건 발견
AutoPiff 사용: 10개의 고점수 항목을 검토하여 2건 발견

┌─────────────────────────────────────────────────────────────────┐
│  AutoPiff에 의해 자동화                                            │
│  ├── 바늘 찾기: "ExFreePool 근처에서 변경된 함수"                     │
│  ├── 분류: "Use-After-Free 수정처럼 보임"                         │
│  └── 순위 지정: "점수 5.5 - 조사할 가치 있음"                      │
├─────────────────────────────────────────────────────────────────┤
│  여전히 수동 (귀하의 전문성)                                        │
│  ├── 익스플로잇 가능성 확인: "실제로 이걸 트리거할 수 있나?"          │
│  ├── 근본 원인 분석: "왜 취약했을까?"                               │
│  ├── 익스플로잇 개발: "이 싱크에 어떻게 도달하나?"                   │
│  └── 영향 평가: "실제 위험은 무엇인가?"                              │
└─────────────────────────────────────────────────────────────────┘

final_score = semantic_score + reachability_bonus + sink_bonus - penalties

git clone https://github.com/splintersfury/AutoPiff.git
cd AutoPiff
docker compose up -d

pip install pyyaml

from services.karton_patch_differ.rule_engine import SemanticRuleEngine

engine = SemanticRuleEngine('rules/semantic_rules.yaml', 'rules/sinks.yaml')
hits = engine.evaluate(func_name, old_code, new_code, diff_lines)

rules:
  - rule_id: my_custom_rule
    category: bounds_check
    confidence: 0.85
    required_signals:
      - sink_group: memory_copy
      - change_type: guard_added
      - guard_kind: length_check
    plain_english_summary: Added length validation before memory copy.

{
  "pairing": {
    "driver_new": {"sha256": "...", "version": "2.0.9.0"},
    "driver_old": {"sha256": "...", "version": "2.0.8.0"},
    "decision": "accept",
    "confidence": 0.95
  },
  "semantic_deltas": {
    "deltas": [
      {
        "function": "HandleIoctl",
        "rule_id": "null_after_free_added",
        "category": "lifetime_fix",
        "confidence": 0.88,
        "sinks": ["pool_free"],
        "final_score": 5.5,
        "why_matters": "Pointer is now set to NULL after freeing memory."
      }
    ],
    "summary": {
      "total_deltas": 1,
      "top_score": 5.5,
      "match_rate": 100.0
    }
  }
}

AutoPiff/
├── Docs/                          # 설계 문서 및 사양
├── ghidra/scripts/                # Ghidra 헤드리스 스크립트
│   └── autopiff_reachability.py   # 도달 가능성 BFS + 디컴파일 내보내기
├── rules/
│   ├── semantic_rules.yaml        # 58개 탐지 규칙
│   ├── sinks.yaml                 # 50개 이상의 위험한 API 심볼
│   └── scoring.yaml               # 점수 모델 구성
├── schemas/                       # 각 단계에 대한 JSON 스키마
├── services/
│   ├── karton-patch-differ/       # 1-4단계: 차이 분석 + 의미 분석
│   ├── karton-reachability/       # 5단계: 호출 그래프 + 디컴파일
│   ├── karton-ranking/            # 6단계: 점수화
│   ├── karton-report/             # 7단계: 보고서 생성
│   ├── karton-driver-triage/      # DriverAtlas 공격 표면 트라이지
│   ├── autopiff-alerter/          # 8단계: Telegram 알림
│   ├── driver-monitor/            # 0단계: 버전 폴링
│   └── dashboard/                 # 웹 UI
├── tests/unit/                    # 137개 단위 테스트
├── docker-compose.yml
└── README.md

# driver_analyzer/docker-compose.yml 내
karton-driver-patch-differ:
  build:
    context: ../AutoPiff
    dockerfile: services/karton-patch-differ/Dockerfile
  volumes:
    - ../AutoPiff/rules:/app/rules:ro