Kani có an toàn không?

Kani — Nerq Trust Score 57.2/100 (Hạng C). Điểm dựa tr��n 2 independent trust signals. Phân tích gần nhất: 2026-03-25

Kani là một gói Rust với Điểm tin cậy Nerq 57.2/100 (C), dựa trên 3 chiều dữ liệu độc lập. Phân tích gần nhất: 2026-03-25 Bảo mật: 90/100. Độ phổ biến: 60/100. Dữ liệu từ crates.io registry, GitHub, NVD, and RustSec advisory database. Cập nhật lần cuối: 2026-03-25. Dữ liệu máy đọc được (JSON).

Hướng dẫn bảo mật: Kani

là gì Kani?

Kani là một thư viện Rust — Placeholder crate for the library of the Kani Rust verifier..

Cách xác minh an toàn

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

Bạn cũng có thể kiểm tra điểm tin cậy qua API: GET /v1/preflight?target=kani

Vấn đề bảo mật chính cho Rust crate

Khi đánh giá bất kỳ Rust crate, cần chú ý: dependency vulnerabilities, unsafe code, bảo trì status.

Measured Signals

Kani has a Nerq Trust Score of 57/100 (C). This score is a composite of automated measurements of bảo mật, bảo trì, community, and quality signals.

Điểm chính

• Kani has a Trust Score of 57/100 (C).
• The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
• Query the current measured values via the Nerq API.

Disclaimer: Điểm tin cậy Nerq là đánh giá tự động dựa trên tín hiệu công khai. Đây không phải khuyến nghị hay bảo đảm. Hãy luôn tự xác minh.