¿Es Kani Seguro?
Kani — Nerq Trust Score 57.2/100 (Grado C). Puntuación basada en 2 independent trust signals. Último análisis: 2026-03-25
Kani es un paquete Rust con un Nerq Trust Score de 57.2/100 (C), basado en 3 dimensiones de datos independientes. Último análisis: 2026-03-25 Seguridad: 90/100. Popularidad: 60/100. Datos de crates.io registry, GitHub, NVD, and RustSec advisory database. Última actualización: 2026-03-25. Datos legibles por máquina (JSON).
¿Es Kani Seguro?
Desglose de Puntuación de Confianza — Kani has a Nerq Trust Score of 57.2/100 (C). Measured across 2 independent trust signals (as of 2026-03-25).
¿Cuál es la puntuación de confianza de Kani?
Kani tiene una Puntuación de Confianza Nerq de 57.2/100, obteniendo un grado C. Esta puntuación se basa en 2 dimensiones medidas independientemente.
¿Cuáles son los hallazgos de seguridad clave de Kani?
La señal más fuerte de Kani es seguridad con 90/100. No se han detectado vulnerabilidades conocidas.
¿Qué es Kani y quién lo mantiene?
| Autor | Unknown |
| Categoría | Rust Crates |
| Fuente | N/A |
Similar Crates por Puntuación de Confianza
Guía de Seguridad: Kani
¿Qué es Kani?
Kani es un crate de Rust — Placeholder crate for the library of the Kani Rust verifier..
Cómo Verificar la Seguridad
Run cargo audit. Review on crates.io for activity.
También puede verificar la puntuación de confianza vía API: GET /v1/preflight?target=kani
Principales Preocupaciones de Seguridad para Rust crate
Al evaluar cualquier Rust crate, observar: dependency vulnerabilities, unsafe code, mantenimiento status.
Measured Signals
Kani has a Nerq Trust Score of 57/100 (C). This score is a composite of automated measurements of seguridad, mantenimiento, community, and quality signals.
Puntos Clave
- 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.
Preguntas Frecuentes
¿Es Kani Seguro?
¿Cuál es la puntuación de confianza de Kani?
¿Cuáles son alternativas más seguras a Kani?
¿Tiene Kani vulnerabilidades conocidas?
Does Kani use unsafe code?
Popular en Rust Crates
Explorar categorías
Ver también
Disclaimer: Las puntuaciones de confianza de Nerq son evaluaciones automatizadas basadas en señales disponibles públicamente. No son respaldos ni garantías. Siempre realice su propia diligencia debida.