Kani est-il sûr ?

Kani — Nerq Trust Score 57.2/100 (Note C). Score basé sur 2 independent trust signals. Dernière analyse : 2026-03-25

Kani est un package Rust avec un Nerq Trust Score de 57.2/100 (C), basé sur 3 dimensions de données indépendantes. Dernière analyse : 2026-03-25 Sécurité: 90/100. Popularité: 60/100. Données de crates.io registry, GitHub, NVD, and RustSec advisory database. Dernière mise à jour: 2026-03-25. Données lisibles par machine (JSON).

Kani est-il sûr ?

Détail du score de confiance — Kani has a Nerq Trust Score of 57.2/100 (C). Measured across 2 independent trust signals (as of 2026-03-25).

Analyse de Sécurité → Rapport de confidentialité de Kani →

Quel est le score de confiance de Kani ?

Kani a un Score de Confiance Nerq de 57.2/100, obtenant la note C. Ce score est basé sur 2 dimensions mesurées indépendamment.

Sécurité
90
Popularité
60

Quels sont les résultats de sécurité clés pour Kani ?

Le signal le plus fort de Kani est sécurité à 90/100. Aucune vulnérabilité connue n'a été détectée.

⚠Score de sécurité: 90/100 (fort)
⚠Popularité: 60/100 — adoption communautaire

Qu'est-ce que Kani et qui le maintient ?

AuteurUnknown
CatégorieRust Crates
SourceN/A

Crates similaires par Score de Confiance

indexmap (63)crypto-common (63)darling_core (63)windows-core (63)oorandom (63)
Voir tous les Crates les plus sûrs →

Comparer

Kani vs indexmapKani vs crypto-commonKani vs darling_core

Guide de Sécurité : Kani

Qu'est-ce que Kani?

Kani est un crate Rust — Placeholder crate for the library of the Kani Rust verifier..

Comment Vérifier la Sécurité

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

Vous pouvez également vérifier le score de confiance via l'API : GET /v1/preflight?target=kani

Principales Préoccupations de Sécurité pour Rust crate

Lors de l'évaluation de tout Rust crate, surveiller : dependency vulnerabilities, unsafe code, maintenance status.

Measured Signals

Kani has a Nerq Trust Score of 57/100 (C). This score is a composite of automated measurements of sécurité, maintenance, community, and quality signals.

Points Essentiels

Questions fréquentes

Kani est-il sûr ?
kani avec un Nerq Trust Score de 57.2/100 (C). Signal le plus fort : sécurité (90/100). Score basé sur Sécurité (90/100), Popularité (60/100).
Quel est le score de confiance de Kani ?
kani: 57.2/100 (C). Score basé sur Sécurité (90/100), Popularité (60/100). Les scores sont mis à jour lorsque de nouvelles données sont disponibles. API: GET nerq.ai/v1/preflight?target=kani
Quelles sont les alternatives plus sûres à Kani ?
Dans la catégorie Rust Crates, d'autres Rust crate sont en cours d'analyse — revenez bientôt. kani scores 57.2/100.
Est-ce que Kani a des vulnérabilités connues ?
Nerq vérifie Kani contre NVD, OSV.dev et les bases de données de vulnérabilités. Score de sécurité actuel : 90/100.
Does Kani use unsafe code?
Check Kani's crate documentation for unsafe code usage. Trust score: 57.2/100. Fewer unsafe blocks generally indicates better memory safety.
API: /v1/preflight Trust Badge API Docs

Parcourir les catégories

Voir aussi

Disclaimer: Les scores de confiance Nerq sont des évaluations automatisées basées sur des signaux publiquement disponibles. Ce ne sont pas des recommandations ou des garanties. Effectuez toujours votre propre vérification.

Nous utilisons des cookies pour l'analyse et le cache. Confidentialité