ينشر المورد 500 تحديث لبرنامج التشغيل في السنة
├── 490 هي تغييرات ميزات/أداء/تجميلية
├── 8 هي إصلاحات أخطاء بسيطة
└── 2 هي إصلاحات أمان صامتة (بدون CVE مخصصة)

بدون أتمتة: مراجعة 500 يدوياً للعثور على 2
مع AutoPiff:     مراجعة 10 نتائج عالية التقييم للعثور على 2

┌─────────────────────────────────────────────────────────────────┐
│  تمت أتمتته بواسطة AutoPiff                                     │
│  ├── ابحث عن الإبرة: "هذه الدالة تغيرت بالقرب من ExFreePool"     │
│  ├── صنّف: "يبدو كإصلاح استخدام بعد التحرير"                     │
│  └── رتّب: "الدرجة 5.5 - يستحق التحقيق"                           │
├─────────────────────────────────────────────────────────────────┤
│  لا يزال يدوياً (خبرتك)                                          │
│  ├── تأكيد قابلية الاستغلال: "هل يمكنني بالفعل تشغيل هذا؟"        │
│  ├── تحليل السبب الجذري: "لماذا كانت هذه ثغرة؟"                   │
│  ├── تطوير الاستغلال: "كيف أصل إلى هذا الـ sink؟"                 │
│  └── تقييم التأثير: "ما هو الخطر في العالم الحقيقي؟"              │
└─────────────────────────────────────────────────────────────────┘

graph LR
    sources["WinBIndex<br/>VirusTotal"]:::src --> s0["Stage 0<br/>Monitor"]
    s0 --> s14["Stages 1-4<br/>Patch Differ"]
    s0 --> triage["DriverAtlas<br/>Triage"]:::triage
    s14 --> s5["Stage 5<br/>Reachability"]
    s5 --> s6["Stage 6<br/>Ranking"]
    s6 --> s7["Stage 7<br/>Report"]
    s6 --> s8["Stage 8<br/>Alerter"]
    triage --> alerts["MWDB Tags<br/>+ Alerts"]:::triage

    classDef src fill:#1a1a2e,stroke:#e94560,color:#eee
    classDef triage fill:#1a1a2e,stroke:#e9a345,color:#eee
    classDef default fill:#16213e,stroke:#0f3460,color:#eee

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 رمز واجهة برمجة تطبيقات خطير
│   └── 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/                 # واجهة ويب
├── tests/unit/                    # 137 اختبار وحدة
├── docker-compose.yml
└── README.md

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