Relevéscargowasip21.0.4+wasi-0.2.12
Détail de l'environnement
Les observations au niveau projet et les vérifications de symbole/contrat sont comptées séparément et jamais additionnées.
Ces chiffres ne distinguent pas la façon dont le symbole a été appelé : surcharges, formes d'arguments et options sont regroupées. Ce que fait une forme d'appel précise est prouvé par le contrat d'un échantillon, pas par ces nombres.
| Environnement | Confiance | Observations | Vérifié | Taux de réussite | Pairs | Dernière observation |
|---|---|---|---|---|---|---|
| rust 1 · Rust · cargo · linux musl · docker
Usage: USED 1✓
|
LOW | 0 +1 | 0 | — | 1 | 2026-09-08 |
Symboles
Pas encore de symboles avec des preuves.
Exemples publiés
- wasip2 1.0.4+wasi-0.2.12 Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. HOW MIT-0 · 2026-09-18