Auteur : Gautier Dorval

Études techniques

Vérifier le code et interpréter ses preuves

Trois études fondées sur des essais internes et une revue indépendante : l’identité du code autorisé, le diagnostic du harnais et la stabilité des octets.

Lier une autorisation aux dépendances du code

Une étude technique sur les autorisations périmées, les dépendances oubliées et les essais nécessaires avant une acquisition.

Distinguer un défaut logiciel d’un défaut du harnais

Comment 26 échecs liés à un dossier temporaire ont été diagnostiqués, puis réexécutés en conservant les protections du logiciel.

Vérifier les octets couverts par une empreinte

Une étude de 34 fichiers montre comment les fins de ligne et les attributs Git influencent la comparaison entre dépôt et copie de travail.