Heal.dev lève 4 millions d’euros pour vérifier le code que l’IA écrit

La start-up française Heal.dev a annoncé le 10 novembre 2026 une levée de 4 millions d’euros menée par Mango Capital et Alven. Fondée en 2023, elle développe des agents d’intelligence artificielle qui parcourent une application comme le ferait un utilisateur, pour y débusquer failles de sécurité et bugs d’affichage avant la mise en production.

La vérification logicielle regroupe l’ensemble des contrôles qui s’assurent qu’un programme fait ce qu’il doit, et seulement cela : tests, revue de code, recherche de vulnérabilités. Elle prend une importance nouvelle à mesure que les assistants de programmation écrivent une part croissante du code. Selon l’enquête annuelle de Stack Overflow, 80 % des développeurs utilisent désormais des outils d’IA, mais seuls 29 % font confiance à leur exactitude. Qu’est-ce que la trajectoire de Heal.dev apprend à une entreprise qui confie une partie de son développement à l’IA ?

Du test automatisé à l’agent qui explore l’application

Heal.dev a été créée par Ben Lang, Pierre Oucif et Malo Marrec, qui en assure la direction générale. La jeune pousse a commencé par automatiser l’écriture et l’exécution des tests logiciels, un marché déjà occupé par de nombreux outils, avant de changer de cap en moins de trois ans.

Son produit actuel ne se contente plus de rejouer des scénarios écrits à l’avance. Il confie à des agents d’IA le soin d’explorer activement l’application, écran par écran, pour repérer les comportements anormaux que des tests classiques, limités à ce qu’un humain a prévu, laissent passer. Ce pivot place l’entreprise sur un problème plus large que l’automatisation des tests.

Prouver chaque anomalie avant de la signaler

L’agent ne transmet pas une simple liste de suspicions. Il reproduit chaque défaut repéré et en apporte la preuve avant d’alerter les équipes techniques, ce qui doit réduire le temps perdu sur les fausses alertes, l’un des principaux reproches adressés aux scanners de code. Une équipe qui reçoit cinquante alertes non qualifiées finit par les ignorer.

L’entreprise revendique un chiffre fort : selon elle, 70 % des défauts détectés par son agent échappent aux outils traditionnels de revue de code. Cette donnée provient de la société elle-même et n’a pas fait l’objet d’une mesure indépendante publiée, ce qui invite à la lire comme un argument commercial plus que comme une référence.

La démonstration a pourtant de quoi parler aux directions techniques, car le coût d’un bug grandit à chaque étape qu’il franchit. Un défaut repéré avant la mise en ligne coûte quelques heures de correction, alors qu’une faille exploitée en production engage la réputation et parfois la responsabilité de l’éditeur.

Un marché porté par le code écrit par l’IA

L’enquête 2025 de Stack Overflow, menée auprès de plus de 49 000 développeurs, chiffre le paradoxe qui fait le marché de Heal.dev :

• 80 % des répondants utilisent des outils d’IA dans leur travail quotidien ;
• 29 % seulement font confiance à l’exactitude de leurs réponses, contre 40 % les années précédentes ;
• 45 % citent comme première frustration des solutions presque justes, mais pas tout à fait ;
• 66 % passent davantage de temps à corriger du code généré presque correct.

Le code se produit plus vite qu’il ne se contrôle, et le goulot d’étranglement se déplace vers la vérification. C’est ce déplacement que Heal.dev cherche à monétiser, sur un terrain où les investisseurs se positionnent déjà.

Une concurrence qui converge vers la sécurité continue

Heal.dev n’est pas seule à parier sur des agents capables de contrôler un logiciel en permanence. En octobre, la française Fleuret AI a levé 4 millions d’euros pour automatiser le test d’intrusion, avec le même montant et la même promesse de passer du contrôle ponctuel au contrôle permanent. Les deux approches se complètent plus qu’elles ne s’opposent, l’une visant les bugs, l’autre l’attaquant.

L’atout de Heal.dev tient à la preuve, sa faiblesse à sa taille : la société compte une douzaine de start-up clientes, selon Maddyness, et doit encore convaincre des comptes plus exigeants. Son dirigeant assume une ambition qui dépasse le seul outil.

Nous sommes convaincus que la prochaine révolution du développement logiciel sera celle de la vérification.

Malo Marrec, cofondateur et directeur général de Heal.dev, à l’annonce de la levée de fonds, propos publiés par Maddyness le 10 novembre 2026

Les fonds serviront à affiner la détection des anomalies dans les applications complexes, à renforcer les équipes produit et ingénierie et à développer les ventes en Europe, selon l’annonce relayée par Maddyness.

La vérification devient une obligation européenne

Le contexte réglementaire joue en faveur de ce marché. Depuis le 11 septembre 2026, le volet signalement du Cyber Resilience Act impose de déclarer en 24 heures toute faille activement exploitée d’un produit numérique, logiciel métier compris. Le cœur du règlement s’appliquera le 11 décembre 2027, avec une sécurité exigée dès la conception et une gestion documentée des vulnérabilités.

Le manquement expose à une amende pouvant atteindre 15 millions d’euros ou 2,5 % du chiffre d’affaires mondial. Pour un éditeur, savoir démontrer qu’un défaut a été cherché, trouvé et corrigé avant la commercialisation devient un élément de conformité, et plus seulement une question de qualité.

Le périmètre est plus large que le seul secteur numérique. Sont visés les éditeurs de logiciels installés sur un poste, y compris des outils métier vendus à quelques dizaines de clients, les fabricants d’objets connectés, les industriels qui embarquent de l’électronique communicante et les importateurs. Seul un logiciel sans aucun accès réseau sort du champ, ce qui laisse peu d’entreprises éditrices à l’abri, même parmi les plus petites.

Ce que le cas Heal.dev dit aux entreprises qui codent avec l’IA

La leçon dépasse le cercle des start-up du logiciel. Une PME qui fait développer son site marchand, son extranet ou un outil interne avec l’aide d’assistants de programmation gagne en vitesse, mais déplace son risque vers ce qu’elle ne contrôle pas. Le budget consacré à la vérification mérite alors d’être posé à côté du budget de développement, pas après lui.

Pour Heal.dev, les prochains mois diront si une preuve par anomalie suffit à séduire des clients plus grands que la douzaine de start-up actuelles. Pour ses utilisateurs potentiels, la question se pose déjà en d’autres termes : qui, dans l’entreprise, signe la mise en production d’un code que personne n’a entièrement écrit.