Politique de sécurité

Signaler une vulnérabilité#

Signalez-la en privé, par l'une ou l'autre de ces voies :

• Signalement privé de vulnérabilité de GitHub — le bouton Report a vulnerability de l'onglet Security du dépôt. Le signalement n'est visible que des mainteneurs, et un correctif peut être préparé dans un fork privé puis publié sous forme d'avis de sécurité GitHub (GitHub Security Advisory).
• E-mail — contact@ashforde.org, avec les détails et les étapes de reproduction.

Merci de ne pas ouvrir de ticket public pour les signalements sensibles du point de vue de la sécurité. Nous visons un accusé de réception sous quelques jours ouvrés.

Versions prises en charge#

Avant la 1.0 : seule la dernière version publiée (étiquetée) est prise en charge.

Sûreté mémoire#

La crate de bibliothèque déclare #![forbid(unsafe_code)] à sa racine (src/lib.rs) ; ainsi, tout bloc unsafe, fn, impl ou extern n'importe où dans la bibliothèque est une erreur de compilation, et non quelque chose qu'un relecteur doit repérer. L'attribut n'est pas placé derrière un cfg : il s'applique donc à toutes les configurations dans lesquelles la bibliothèque est livrée, et les trois compilent sans erreur sous son régime : la compilation Rust par défaut, le module d'extension Python (--features python) et le module WebAssembly (--features wasm).

Portée, énoncée précisément, car forbid s'applique par crate :

• Il ne régit que la crate de bibliothèque. Le binaire CLI (src/main.rs), les binaires auxiliaires sous src/bin/, la crate kshana-mcp publiée séparément et les crates de validation croisée xval/ exclues de l'espace de travail sont des racines de crate distinctes et ne sont pas couverts. Aucun d'eux ne contient unsafe aujourd'hui, mais c'est une discipline, et non une propriété imposée par le compilateur.
• Il ne dit rien des dépendances. Celles-ci sont contrôlées séparément par cargo deny check advisories licenses bans sources dans l'intégration continue — pour la crate racine et, dans une tâche à part, pour la crate du serveur MCP exclue de l'espace de travail — et surveillées par les alertes et les mises à jour de sécurité de Dependabot sur le dépôt.

Note sur le contrôle des exportations et le double usage#

La résilience PNT et la détection quantique peuvent relever des contrôles d'exportation des biens à double usage. Ce dépôt public se limite à des modèles et des méthodes génériques et publiés. N'y apportez pas de détail sensible du point de vue des exportations sur la résilience ou l'anti-leurrage ; il relève d'une surcouche privée. En cas de doute, écrivez d'abord par e-mail.