¿Es Taco Parser Seguro?

Taco Parser — Nerq Trust Score 48.2/100 (Grado D). Puntuación basada en 2 independent trust signals. Último análisis: 2026-03-25

Taco Parser es un paquete Rust con un Nerq Trust Score de 48.2/100 (D), basado en 3 dimensiones de datos independientes. Último análisis: 2026-03-25 Seguridad: 90/100. Popularidad: 0/100. Datos de crates.io registry, GitHub, NVD, and RustSec advisory database. Última actualización: 2026-03-25. Datos legibles por máquina (JSON).

Guía de Seguridad: Taco Parser

¿Qué es Taco Parser?

Taco Parser es un crate de Rust — A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files. This crate is part of the TACO toolsuite..

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=taco-parser

Principales Preocupaciones de Seguridad para Rust crate

Al evaluar cualquier Rust crate, observar: dependency vulnerabilities, unsafe code, mantenimiento status.

Measured Signals

Taco Parser has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of seguridad, mantenimiento, community, and quality signals.

Puntos Clave

• Taco Parser has a Trust Score of 48/100 (D).
• 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: 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.