Abstract-Automatic buggfixning har blivit en lovande riktning för att minska manuella insatser för felsökning. Generella tillvägagångssätt för automatisk felrättning kan dock ställas inför vissa grundläggande svårigheter. I detta dokument hävdar vi att automatisk fixering av specifika typer av buggar kan vara ett användbart komplement. Denna tidning rapporterar vårt första försök att automatiskt fixa minnesläckage i C-program. Vårt tillvägagångssätt genererar endast säkra korrigeringar, som garanteras att inte avbryta normalt genomförande av programmet. För att utforma en sådan strategi måste vi ta itu med flera utmanande problem som t.ex. interprocedurala läckor, globala variabler, slingor och läckor från flera tilldelningar. Vi föreslår lösningar på alla problem och integrerar lösningarna i en sammanhängande strategi. Vi implementerade vår inter-procedural memory läckfixning i ett verktyg som heter LeakF ix och utvärderade LeakF ix på 15 program med 522k rader kod. Vår utvärdering visar att LeakF ix framgångsrikt kan fixa ett stort antal minnesläckage, och LeakF ix är skalbar för stora applikationer.
LeakFix REF föreslår att fixa minnesläckage i C-program genom att infoga deallocations automatiskt.
Safe memory-leak fixing for C programs
{'venue': "ICSE '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}