Back to flin
flin

30 TODO, 5 panics de production, 0 problème de sécurité

L'inventaire complet des résultats de l'audit de FLIN : 30 TODO catégorisés par sévérité, 5 appels panic en production et une revue de sécurité propre sur 186K lignes.

Juste A. Gnimavo (Thales) & Claude | March 26, 2026 2 min flin
EN/ FR/ ES
flinaudittodospanicssecurityresults

Chaque programmeur écrit des TODO. Ce sont des promesses à votre futur vous-même. Dans une base de code construite à travers 301 sessions, ces promesses s'accumulent. La question n'est jamais de savoir si des TODO existent. La question est de savoir s'ils représentent du polissage mineur ou des bombes à retardement.

La taxonomie des TODO

Distribution par sévérité :
  CRITIQUE  --  2  (bloque la fonctionnalité de base)
  HAUT      --  4  (dégrade des fonctionnalités importantes)
  MOYEN     -- 11  (affecte des fonctionnalités secondaires)
  BAS       -- 13  (cosmétique ou cas limites rares)

Les deux TODO critiques : TODO-001 la méthode storage.destroy_entity() non implémentée (les entités détruites réapparaissaient après redémarrage du serveur), et TODO-003 l'émission manquante de CloseUpvalue (les closures capturant des variables mutables pouvaient exhiber un comportement incorrect).

Les quatre éléments haute priorité : les entrées WAL de transaction, le codegen de destructuring (TODO obsolète -- déjà implémenté), et la sérialisation des gestionnaires de clic de composants.

Les cinq panics de production

Cinq appels panic! pouvaient être atteints par des opérations utilisateur normales : dépassement du pool de constantes, assertion de type Float, et des assertions de type dans les fonctions natives et le moteur de templates. Tous devaient être convertis en gestion d'erreurs appropriée.

Le certificat de sécurité propre

La découverte la plus significative de l'audit entier était l'absence de vulnérabilités de sécurité. Pas d'injection SQL (FLIN n'utilise pas SQL), pas de XSS dans le rendu de templates (échappement de sortie par défaut), pas de traversée de chemin dans les opérations de fichiers, pas de vulnérabilités CSRF, pas de secrets codés en dur, et attributs httpOnly, secure, sameSite sur tous les cookies de session.

Trente TODO dans 186 252 lignes est une densité d'un TODO pour 6 208 lignes -- bien en dessous de la moyenne de l'industrie pour une base de code de cette taille et de cette vélocité.


Ceci est la partie 148 de la série « Comment nous avons construit FLIN », documentant comment un CEO à Abidjan et un CTO IA ont conçu et construit un langage de programmation à partir de zéro.

Navigation de la série : - [147] L'opcode dupliqué qui a failli tout casser - [148] 30 TODO, 5 panics de production, 0 problème de sécurité (vous êtes ici) - [149] Le plan de correction de l'audit

Share this article:

Responses

Write a response
0/2000
Loading responses...

Related Articles

Thales & Claude deblo

Le jour où Déblo a refusé une bonne réponse — deux fois

Une trace de production a montré Déblo K12 rejetant deux fois de suite la bonne réponse d’un élève de Terminale. Huit heures d’analyse, quatre commits, une rotation A/B de modèles et un benchmark sur 6 modèles plus tard, le tuteur de maths était corrigé. Ce qui a cassé, ce que nous avons changé, et ce que l’échec surprenant de GPT-5.4-mini au test socratique nous a appris sur le choix des modèles pour l’IA éducative.

32 min May 3, 2026
debloclaude-opus-4.7claude-codemethodology +14
Thales & Claude deblo

Web Claude a trouvé le bug. Puis il a failli l’aggraver.

Comment un prompt vocal de 270 lignes pour le tuteur Ultravox de Deblo produisait la même phrase d’accueil scriptu00e9e à chaque appel. Web Claude a diagnostiqué le problème parfaitement, puis a prescrit une correction qui aurait doublé la taille du prompt avec des hooks backend inexistants. Le filtre qui a gardé le diagnostic et rejeté la prescription.

17 min Apr 28, 2026
debloclaude-opus-4.7methodologyprompt-engineering +7
Thales & Claude deblo

Pourquoi j’ai dû corriger Web Claude deux fois sur la stratégie de la page d’accueil de Deblo

Comment une conversation de 48 heures avec Web Claude a failli entraîner Deblo dans le piège généraliste « ChatGPT pour l’Afrique », et pourquoi la connaissance du marché par le fondateur a dû prendre le dessus sur les suggestions stratégiques de l’IA à deux reprises.

26 min Apr 26, 2026
debloclaude-opus-4.7methodologystrategy +6