Winfunc Scanner — SAST з формальною верифікацією вразливостей

Winfunc Scanner — це SAST-платформа для глибокого статичного аналізу коду з фокусом на доказовість знайдених вразливостей. Ключова фішка — формальна верифікація: кожна вразливість математично підтверджується в виді executable proof-of-concept. Якщо систему не вдалося експлуатувати — звіт про неї просто не будує.

Мотор виконує багатофазний аналіз (SCA, Threat Hunter, Hunter engines), відстежує дата-флоу від користувацького вводу до вразливого коду з повною візуалізацією. Розуміє бізнес-логіку — ловить auth bypass, фінансові маніпуляції, race conditions та TOCTOU. Кожна знахідка отримує CVSS-скор з детальним розбиттям векторів та AI-confidence метрику (0–1.0).

Підтримує інкрементальні й повні скани, диференційний аналіз між версіями, дублікейт-детекцію з similarity scoring. Повний трайаж-вorkflow зі статусами (Pending → Validating → Accepted → Resolved), експорт у PDF, full-text пошук по находкам. Підтримує універсальний набір мов програмування.