Il fornitore rilascia 500 aggiornamenti driver/anno
├── 490 sono modifiche estetiche/di funzionalità/prestazioni
├── 8 sono correzioni di bug minori
└── 2 sono correzioni di sicurezza silenziose (nessun CVE assegnato)

Senza automazione: revisione manuale di 500 per trovare 2
Con AutoPiff:      revisione di 10 con punteggio alto per trovare 2

┌─────────────────────────────────────────────────────────────────┐
│  AUTOMATIZZATO da AutoPiff                                       │
│  ├── Trova l'ago: "Questa funzione è cambiata vicino a ExFreePool"│
│  ├── Classifica: "Sembra una correzione use-after-free"          │
│  └── Classifica: "Punteggio 5.5 - vale la pena indagare"         │
├─────────────────────────────────────────────────────────────────┤
│  ANCORA MANUALE (La tua competenza)                              │
│  ├── Conferma sfruttabilità: "Posso davvero attivarlo?"          │
│  ├── Analisi delle cause profonde: "Perché era vulnerabile?"     │
│  ├── Sviluppo exploit: "Come raggiungo questo sink?"             │
│  └── Valutazione dell'impatto: "Qual è il rischio nel mondo reale?"│
└─────────────────────────────────────────────────────────────────┘

punteggio_finale = punteggio_semantico + bonus_raggiungibilità + bonus_sink - penalità

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(nome_funzione, codice_vecchio, codice_nuovo, linee_diff)

rules:
  - rule_id: mia_regola_personalizzata
    category: bounds_check
    confidence: 0.85
    required_signals:
      - sink_group: memory_copy
      - change_type: guard_added
      - guard_kind: length_check
    plain_english_summary: Aggiunta validazione lunghezza prima della copia di memoria.

{
  "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": "Il puntatore ora viene impostato a NULL dopo la liberazione della memoria."
      }
    ],
    "summary": {
      "total_deltas": 1,
      "top_score": 5.5,
      "match_rate": 100.0
    }
  }
}

AutoPiff/
├── Docs/                          # Documenti di progettazione e specifiche
├── ghidra/scripts/                # Script Ghidra headless
│   └── autopiff_reachability.py   # BFS raggiungibilità + esportazione decompilazione
├── rules/
│   ├── semantic_rules.yaml        # 58 regole di rilevamento
│   ├── sinks.yaml                 # Oltre 50 simboli API pericolosi
│   └── scoring.yaml               # Configurazione del modello di punteggio
├── schemas/                       # Schemi JSON per ogni fase
├── services/
│   ├── karton-patch-differ/       # Fasi 1-4: diffing + analisi semantica
│   ├── karton-reachability/       # Fase 5: grafo chiamate + decompilazione
│   ├── karton-ranking/            # Fase 6: punteggio
│   ├── karton-report/             # Fase 7: generazione report
│   ├── karton-driver-triage/      # Triage superficie d'attacco DriverAtlas
│   ├── autopiff-alerter/          # Fase 8: avvisi Telegram
│   ├── driver-monitor/            # Fase 0: polling versioni
│   └── dashboard/                 # Interfaccia web
├── tests/unit/                    # 137 test unitari
├── 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