Lo strumento AI di Facebook per il debug è ora aperto a tutti

Facebook rende il suo strumento AI per il debug liberamente disponibile a tutti

Facebook era solito muoversi rapidamente e rompere le cose. Bene, ora sta facendo sforzi per muoversi rapidamente e riparare le cose. Per eseguire questo, l’azienda ha progettato uno strumento di intelligenza artificiale chiamato Infer che può localizzare i bug nelle sue app mobili prima che entrino in contatto con i clienti. L’azienda ora vuole che tutti controllino il proprio software in questo modo.

Oggi, l’azienda ha reso il suo codice open source Infer liberamente disponibile a qualsiasi sviluppatore indipendente o azienda che desideri eseguire il debug delle proprie app in modi nuovi.

Peter O’Hearn, co-creatore di Infer, ha dichiarato: “Esamina il programma e fa supposizioni o ipotesi sul programma, come potrebbe fare un umano.”

Tuttavia, a differenza di un umano, può leggere migliaia di righe di codice in pochi minuti per localizzare potenziali bug. Facebook afferma di avere un tasso di riparazione dei bug di circa l’80%, il che è notevolmente buono per un sistema così automatizzato.

I debugger, molti di loro, eseguono un programma e cercano o scansionano il codice riga per riga e cercano errori. Infer ha la capacità di esaminare metodicamente il codice e cercare problemi senza effettivamente terminarlo, un concetto chiamato “analisi statica del programma.”

Basato sul concetto di analisi statica, sia strumenti di test commerciali che open source sono disponibili e sono in circolazione da decenni. Tuttavia, questi strumenti non possono eseguire un’analisi profonda del codice al livello che Infer può, afferma O’Hearn. A differenza di altri strumenti, Infer è in grado di analizzare grandi basi di codice, esaminare metodicamente le parti più piccole e poi unire i risultati, mantenendo il compromesso tra velocità e profondità.

O’Hearn dice: “Lo considero come AI.” Tuttavia, afferma che è molto più vicino al ramo dell’intelligenza artificiale simbolica del campo rispetto alle tecniche di rete neurale ispirate al cervello che altri ricercatori di Facebook stanno inventando.

Infer è stato sviluppato a partire da ricerche accademiche che O’Hearn aveva iniziato con il compianto scienziato informatico John Reynolds, insieme a lui ha sviluppato un concetto di informatica chiamato logica di separazione. La successiva scoperta importante è arrivata più tardi, quando O’Hearn si rese conto che poteva applicare un concetto chiamato ragionamento abductivo all’analisi statica.

O’Hearn ha lavorato con Dino Distefano, che era il suo assistente di ricerca, e Cristiano Calcagno, che era uno dei suoi studenti di dottorato presso la Queen Mary University di Londra. Distefano e Calcagno sono andati in diversi istituti e hanno continuato con la loro ricerca. Tuttavia, alla fine, si sono trovati a voler lasciare un’impressione nel mondo dello sviluppo software al di fuori del mondo accademico. Hanno preso una decisione e fondato una startup chiamata Monoidics e hanno chiesto a O’Hearn di unirsi a loro.

Il piano originale era di sviluppare un prodotto commerciale basato sul loro lavoro. Tuttavia, quando hanno ricevuto un’offerta da Facebook per acquistare l’azienda, il team si è reso conto che non sarebbero stati in grado di avere un impatto maggiore come piccola startup rispetto a quello che sarebbero stati in grado di fare su Facebook, afferma O’Hearn. Il team ora è in grado di offrire l’intera piattaforma gratuitamente. “Ci è voluto del tempo per arrivare a quella decisione, ma quella è sempre stata la situazione ideale,” dice.

O’Hearn è fiducioso che rendendo Infer liberamente disponibile per tutti, il team sarà in grado di aiutare altre aziende, raccogliere reazioni da esse e attirare l’attenzione sui contributi degli accademici.

“L’analisi statica è piena di grandi idee ma anche di problemi irrisolti,” dice. “Speriamo che questo possa stimolare la collaborazione tra industria e accademia e far fluire la ricerca in entrambe le direzioni.