El MIT ha desenvolupat un nou cercador d’errors per Ruby Web Framework popular a Rails

Els investigadors del Massachusetts Institute of Technology han desenvolupat un programari que representa un avanç en la seguretat per a programes escrits en el popular framework d'aplicacions web Ruby on the Rails.

Quan es van provar en 50 aplicacions web escrites a Ruby on Rails, el programari va identificar 23 errors sense necessitar més de 63 segons per inspeccionar qualsevol aplicació única. Aquesta nova forma d’anàlisi estàtica analitza com el flux d’informació a través d’un programa utilitza un llenguatge lògic més que un llenguatge de programació, cosa que permet realitzar cerques ràpides i obtenir resultats fàcils d’entendre.

"Quan mireu alguna cosa així com una aplicació web escrita en un llenguatge com Ruby on Rails, si intenteu fer una anàlisi estàtica convencional, normalment us trobareu embolicats en aquest enorme turó", va dir Daniel Jackson, professor del Departament d'Enginyeria Elèctrica. i Informàtica en un comunicat a Notícies del MIT. "I això fa que sigui realment inviable a la pràctica".

Però com que Ruby on Rails confia en una única biblioteca per definir totes les propietats de la llengua, els investigadors del MIT van poder traduir tot el llenguatge en un codi lògic que és llegible per màquina. Per tant, el programari interpreta el flux d’informació d’un programa utilitzant el llenguatge lògic i informa d'una descripció simple línia per línia de com funciona. Amb una mica de coneixement, aquestes lectures apunten a àrees del programa que poden permetre als usuaris no autoritzats accedir a la informació que no haurien de ser capaços de veure.

Tenint en compte la popularitat de Ruby on Rails, el nou programari podria tenir un paper important en la seguretat digital d’una àmplia gamma d’aplicacions i llocs web. I els resultats notables de les primeres proves reflecteixen sens dubte la feblesa actual de molts, si no la majoria, dels programes disponibles comercialment.

Un fort procés de depuració de Ruby on Rails pot fins i tot ajudar a convèncer els programadors d’escollir Ruby per a futurs projectes. És evident que tenim un problema seriós, i només ara esbrina com diagnosticar-lo.

Segons el MIT, els investigadors presentaran els seus resultats a la Conferència Internacional sobre Enginyeria del Programari, del 14 al 22 de maig a Austin, Texas.