LIVARA / Wewnętrzna weryfikacja bezpieczeństwa
Dowody, zakres i ograniczenia opublikowane razem.
Weryfikacja częściowaWeryfikacja wewnętrzna nie jest niezależnym audytem ani certyfikacją.
Liczby dotyczą zapisanych przypadków i ograniczonych kontroli, nie pełnej zgodności z ASVS. Szersze błędy regresji i obszary nieprzetestowane pozostają jawne.
API 0.9.6 · Web 0.9.6 · Android 0.9.17 (65)b1375b306e7ba2b823dfeabe8398950b510d749b + WORKTREESHA-256 2ccce4a9696a8037683bb883a021d2470557b84a5dd58f9e43696a98d418c69fTesty produkcyjne są niedestrukcyjne. Walidacja urządzeń, konfiguracja chmury i formalna weryfikacja protokołów pozostają niepełne.
Lokalne narzędzia i syntetyczne dane. Liczby pochodzą z zapisanych wyników; niewykonane kontrole nigdy nie są zaliczone.
Poprawka wymaga odtwarzalnego testu regresji i udanego ponownego testu przed zamknięciem. Niepełne kontrole pozostają widoczne.
LVR1 i LGS1 używają szyfrowania uwierzytelnionego. Wybrane testy sprawdzają hybrydowe uzgadnianie kluczy i odrzucanie manipulacji; nie dowodzą bezpieczeństwa protokołu. Serwer widzi metadane routingu.
Wybrane testy sprawdzają powiązanie tokenów, ochronę CSRF, unieważnianie sesji i izolację użytkowników. Dostarczanie kodu WWW i urządzenia pozostają granicami zaufania.
17 Nie przetestowano
Publiczne podsumowanie dowodów ↗14 Nie przetestowano
API używa ograniczonej roli bazy danych. Migracje schematu i replikacja używają oddzielnych ról.
Potwierdzone problemy i luki walidacji są śledzone oddzielnie. Brak potwierdzonych ustaleń nie oznacza braku podatności.
Pozostają ostrzeżenia dotyczące zależności i nieukończone testy. Zobacz ograniczenia zakresu.
Krytyczna 0 · Wysoka 0 · Średnia 0 · Niska 0
Użyj poniższego adresu z SECURITY w temacie. Nie publikuj danych logowania ani prywatnych wiadomości.
[email protected] ↗OWASP ASVS 5.0.0 · WSTG 4.2 · API Security Top 10 2023 · MASVS 2.1.0 · MASTG 2.0.0
Node.js 24.18.0 · PostgreSQL 16.15 · OSV-Scanner 2.7.0 · Vitest 4.1.12 · ESLint · TypeScript · Next.js
Publiczne podsumowanie dowodów ↗