Czy Oak Lean jest bezpieczny?

Oak Lean — Nerq Trust Score 48.2/100 (Ocena D). Wynik oparty na 2 independent trust signals. Ostatnia analiza: 2026-03-25

Oak Lean to Rust crate z wynikiem zaufania Nerq 48.2/100 (D), based on 3 niezależnych wymiarów danych. Ostatnia analiza: 2026-03-25 Bezpieczeństwo: 90/100. Popularność: 0/100. Dane pochodzą z crates.io registry, GitHub, NVD, and RustSec advisory database. Ostatnia aktualizacja: 2026-03-25. Dane odczytywalne maszynowo (JSON).

Czy Oak Lean jest bezpieczny?

Szczegóły wyniku zaufania — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).

Analiza bezpieczeństwa → Raport prywatności Oak Lean →

Jaki jest wynik zaufania Oak Lean?

Oak Lean ma Nerq Trust Score 48.2/100 z oceną D. Ten wynik opiera się na 2 niezależnie mierzonych wymiarach, w tym bezpieczeństwie, konserwacji i adopcji społeczności.

Bezpieczeństwo
90
Popularność
0

Jakie są kluczowe ustalenia bezpieczeństwa dla Oak Lean?

Najsilniejszy sygnał Oak Lean to bezpieczeństwo na poziomie 90/100. Nie wykryto znanych luk w zabezpieczeniach.

⚠Ocena bezpieczeństwa: 90/100 (silny)
⚠Popularność: 0/100 — przyjęcie przez społeczność

Czym jest Oak Lean i kto go utrzymuje?

AutorUnknown
KategoriaRust Crates
ŹródłoN/A

Podobne Crates wg wyniku zaufania

lrtable (58)i-slint-backend-winit (58)pgrx-sql-entity-graph (58)myutil (58)rlua (58)
Zobacz wszystkie najbezpieczniejsze Crates →

Porównaj

Oak Lean vs lrtableOak Lean vs i-slint-backend-winitOak Lean vs pgrx-sql-entity-graph

Przewodnik bezpieczeństwa: Oak Lean

Czym jest Oak Lean?

Oak Lean to biblioteka Rust — Lean theorem prover language parser with support for dependent types and formal verification..

Jak zweryfikować bezpieczeństwo

Run cargo audit. Review on crates.io for activity.

Możesz również sprawdzić wynik zaufania przez API: GET /v1/preflight?target=oak-lean

Główne problemy bezpieczeństwa dla Rust crate

Oceniając każdy Rust crate, zwróć uwagę na: dependency vulnerabilities, unsafe code, konserwacja status.

Measured Signals

Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of bezpieczeństwo, konserwacja, community, and quality signals.

Kluczowe wnioski

Często zadawane pytania

Czy Oak Lean jest bezpieczny?
oak-lean z wynikiem zaufania Nerq 48.2/100 (D). Najsilniejszy sygnał: bezpieczeństwo (90/100). Wynik oparty na Bezpieczeństwo (90/100), Popularność (0/100).
Jaki jest wynik zaufania Oak Lean?
oak-lean: 48.2/100 (D). Wynik oparty na Bezpieczeństwo (90/100), Popularność (0/100). Oceny aktualizują się, gdy pojawiają się nowe dane. API: GET nerq.ai/v1/preflight?target=oak-lean
Jakie są bezpieczniejsze alternatywy dla Oak Lean?
W kategorii Rust Crates, więcej Rust crate jest analizowanych — sprawdź wkrótce. oak-lean scores 48.2/100.
Czy Oak Lean ma znane luki?
Nerq sprawdza Oak Lean w NVD, OSV.dev i bazach danych luk. Aktualny wynik bezpieczeństwa: 90/100.
Does Oak Lean use unsafe code?
Check Oak Lean's crate dokumentacja for unsafe code usage. Trust score: 48.2/100. Fewer unsafe blocks generally indicates better memory safety.
API: /v1/preflight Trust Badge API Docs

Zobacz także

Disclaimer: Wyniki zaufania Nerq to zautomatyzowane oceny oparte na publicznie dostępnych sygnałach. Nie stanowią rekomendacji ani gwarancji. Zawsze przeprowadzaj własną weryfikację.

Używamy plików cookie do analiz i buforowania. Prywatność