هل Kani آمن؟
Kani — Nerq درجة الثقة 57.2/100 (الدرجة C). التقييم مبني على 2 independent trust signals. آخر تحليل 2026-03-25
Kani هو Rust crate بدرجة ثقة Nerq 57.2/100 (C), بناءً على 3 أبعاد بيانات مستقلة. آخر تحليل 2026-03-25 الأمان: 90/100. الشعبية: 60/100. البيانات مصدرها قراءة آلية.
هل Kani آمن؟
تفاصيل درجة الثقة — Kani لديه درجة ثقة Nerq تبلغ 57.2/100 (C). Measured across 2 independent trust signals (as of 2026-03-25).
ما هي درجة ثقة Kani؟
حصل Kani على درجة ثقة Nerq تبلغ 57.2/100 بدرجة C. يعتمد هذا التقييم على 2 أبعاد مُقاسة بشكل مستقل.
ما هي النتائج الأمنية الرئيسية لـ Kani؟
أقوى إشارة لـ Kani هي الأمان بدرجة 90/100. لم يتم اكتشاف أي ثغرات أمنية معروفة.
ما هو Kani ومن يديره؟
| المؤلف | Unknown |
| الفئة | Rust Crates |
| المصدر | N/A |
Crates مشابهة حسب درجة الثقة
دليل الأمان: Kani
ما هو Kani?
Kani is a Rust crate — Placeholder crate for the library of the Kani Rust verifier..
كيفية التحقق من الأمان
Run cargo audit. Review on crates.io for activity.
يمكنك أيضًا التحقق من درجة الثقة عبر API: GET /v1/preflight?target=kani
مخاوف الأمان الرئيسية لـ Rust crate
When evaluating any Rust crate, watch for: dependency vulnerabilities, unsafe code, maintenance status.
Measured Signals
Kani لديه درجة ثقة Nerq تبلغ 57/100 (C). This score is a composite of automated measurements of security, maintenance, community, and quality signals.
النقاط الرئيسية
- Kani has a درجة الثقة 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.
الأسئلة الشائعة
هل Kani آمن؟
ما هي درجة ثقة Kani؟
ما هي البدائل الأكثر أمانًا لـ Kani؟
هل لدى Kani ثغرات أمنية معروفة؟
Does Kani use unsafe code?
شائع في Rust Crates
تصفح الفئات
انظر أيضاً
إخلاء المسؤولية: درجات ثقة Nerq هي تقييمات آلية مبنية على إشارات متاحة للعموم. وهي ليست توصيات أو ضمانات. قم دائمًا بإجراء العناية الواجبة الخاصة بك.