Il MIT ha sviluppato un nuovo Bug Finder per il famoso Web Framework Ruby on the Rails

Пишем на ruby + Sinatra сервис, который советует игру в Steam

Пишем на ruby + Sinatra сервис, который советует игру в Steam
Anonim

I ricercatori del Massachusetts Institute of Technology hanno sviluppato un software che rappresenta una svolta nella sicurezza per i programmi scritti nel famoso framework per applicazioni web Ruby on the Rails.

Quando è stato testato su 50 app Web scritte in Ruby on Rails, il software ha identificato 23 bug senza impiegare più di 63 secondi per ispezionare qualsiasi singola app. Questa nuova forma di analisi statica analizza il modo in cui le informazioni fluiscono attraverso un programma utilizzando un linguaggio logico anziché di programmazione, consentendo ricerche rapide e risultati facilmente comprensibili.

"Quando guardi qualcosa come un'applicazione Web scritta in un linguaggio come Ruby on Rails, se provi a fare un'analisi statica convenzionale, di solito ti ritrovi impantanato in questa enorme palude", ha detto Daniel Jackson, professore nel Dipartimento di Ingegneria Elettrica e Computer Science in una dichiarazione al MIT News. "E questo lo rende davvero irrealizzabile nella pratica."

Ma poiché Ruby on Rails fa affidamento su una singola libreria per definire ogni proprietà del linguaggio, i ricercatori del MIT sono stati in grado di tradurre l'intera lingua in un codice logico che è leggibile da una macchina. Quindi il software interpreta il flusso di informazioni in un programma usando il linguaggio logico e riporta una semplice descrizione linea per linea di come funziona. Con una piccola esperienza, queste letture indicano aree del programma che possono consentire agli utenti non autorizzati di accedere a informazioni che non dovrebbero essere in grado di vedere.

Considerando la popolarità di Ruby on Rails, il nuovo software potrebbe svolgere un ruolo nel bloccare la sicurezza digitale di una vasta gamma di applicazioni e siti web. E i risultati notevoli dei primi test riflettono certamente l'attuale debolezza di molti, se non la maggior parte, programmi disponibili in commercio.

Un forte processo di debug per Ruby on Rails può anche aiutare a convincere i programmatori a scegliere Ruby per progetti futuri. Chiaramente, abbiamo un problema serio, e solo ora stiamo capendo come diagnosticarlo.

Secondo il MIT, i ricercatori presenteranno i loro risultati alla Conferenza internazionale sull'ingegneria del software, dal 14 al 22 maggio ad Austin, in Texas.