08 novembre 2009

 

Le logiciel qui s'auto-corrigeait

informatique

Des chercheurs de l'Institut des Technologies du Massachussetts (le célèbre MIT), menés par le professeur Martin Rinard, ont développé Clearview, un logiciel capable de trouver et de corriger certains types de bugs en quelques minutes!

Rinard présentait récemment ce logiciel incroyable au congrès ACM, il expliquait que le but est tout simplement de créer "un programme immortel et invulnérable". Notez que si ce billet provenait de Gizmodo, le parallèle avec Skynet serait déjà établi!

Quoiqu'il en soit, ClearView peut agir sans aucune assistance humaine et sans accéder à un code source séparé. En observant le comportement normal d'un programme et en créant un ensemble de règles, ClearView peut détecter certaines erreurs, notamment celles créées par des programmes malveillants. Il détecte aussi toute anomalie qui viole les règles et fournit dès lors plusieurs corrections potentielles qui le ramènent dans le droit chemin. Ces corrections sont appliquées directement au code binaire sans passer par le code source.

ClearView analyse les solutions possibles pour décider quelles corrections sont susceptibles de fonctionner, installe les meilleurs candidats et teste leur efficacité. Par la suite, si d'autres règles sont violées ou si la correction crashe le système, ClearView rejette ces solutions et en trouve d'autres.

Les chercheurs déclarent que le système est particulièrement efficace sur un groupe de machines faisant tourner le même logiciel. Ils l'ont d'ailleurs testé en l'installant sur un groupe d'ordinateurs équipés de Firefox, ce même Firefox étant attaqué par une équipe indépendante d'hackeurs utilisant dix techniques différentes. ClearView a bloqué les attaques avec succès, détectant les anomalies et terminant l'application avant que l'attaque puisse faire effet.


Source: Technology Review, la semaine passée.

Libellés :





Commentaires: Enregistrer un commentaire



archives >> fevrier10 - janvier10 - novembre09 - octobre09 - septembre09 - août09 - juillet09 - mars09 - février09 - janvier09 - decembre08 - novembre08 - octobre08 - septembre08 - août08 - juillet08 - juin08 - mars08 - fevrier08 - janvier08 - decembre07 - novembre07 - octobre07 - septembre07 - août07 - juillet07 - juin07 - mai07 - avril07 - mars07 - février07 - janvier07 - decembre06 - novembre06 - octobre06 - septembre06 - août06 - juillet06 - juin06 - mai06 - avril06 - mars06 - février06 - janvier06 - decembre05 - novembre05 - octobre05

Powered by Stuff-a-Blog
une page au hasard

This page is powered by Blogger. Isn't yours?