Het MIT claimt een methode gevonden te hebben om softwarebugs automatisch op te lossen door functionaliteit over te nemen uit een ander programma dat de situatie wel goed afhandelt. De Codephage-tooling extraheert de essentie van een controle uit de binary van het donorprogramma en zet deze om naar een broncode-patch voor de ontvanger.
De onderzoekers gaan in hun werk uit van het scenario dat een specifieke input een applicatie doet crashen, terwijl een andere toepassing deze goed afhandelt. Als voorbeeld toonden ze op de ACM Programming Language Design and Implementation-conferentie twee foto-viewers en een tiff-bestand dat verkeerde afmetingen voorschrijft. De ene applicatie gaat onderuit, de andere voert een controle uit en weigert verdere verwerking.
Van deze laatste maakt de Codephage-tool eerst een nauwgezette instructie-trace van elke conditionele vertakking en bewerking bij de weergave van een correct bestand. Vervolgens wordt de stap herhaald voor het foutieve bestand. Aan de hand hiervan worden mogelijke oplossingen voor de bug opgesteld. Die worden omgezet in een symbolische expressie.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
